Función booleana 2-monótona

En matemáticas, una función booleana 2-monótona (más conocida en inglés como 2-monotone boolean function) es una función booleana monótona ƒ : {0,1}n → {0,1}, para la cual existe un ordenamiento lineal de sus variables w1, w2, ..., wn, de modo que se convierte también en una función booleana regular.

[1]​ Estas funciones han sido estudiadas en muchos contextos, tales como la threshold logic,[2]​ teoría de juegos,[3]​ teoría de hipergrafos[4]​ y teoría del aprendizaje.

[5]​ Estas funciones fueron definidas por primera vez en 1965,[6]​ y desarrolladas más extensamente en 1971.

[2]​ En teoría de juegos cooperativos, una función booleana 2-monótona es equivalente a un juego completo.

[7]​ Del punto de vista de la complejidad computacional, se sabe que son computables en tiempo polinómico.