Preguntas etiquetadas con monotone

El estado de nuestro conocimiento sobre los circuitos aritméticos generales parece ser similar al estado de nuestro conocimiento sobre los circuitos booleanos, es decir, no tenemos buenos límites inferiores. Por otro lado, tenemos límites inferiores de tamaño exponencial para circuitos booleanos monótonos . ¿Qué sabemos sobre los circuitos aritméticos monótonos …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

¿Es el siguiente problema en PTIME o coNP-hard: Dadas dos expresiones booleanas y e 2 en variables x 1 , ... , x n , sin negación (es decir, las expresiones se construyen completamente a través de ∧ y ∨ ). Decida si e 1 ≡ e 2 , es …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Razborov demostró que la coincidencia de la función monótona no está en mP . Pero, ¿podemos calcular la correspondencia utilizando un circuito de tamaño polinómico con algunas negaciones? ¿Hay un circuito P / poly con negaciones que calcule la coincidencia? ¿Cuál es la compensación entre el número de negaciones y …

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Conocemos el problema de contar el número de asignaciones satisfactorias en una fórmula booleana general dada (CNF-SAT), una fórmula DNF dada, o incluso una fórmula 2SAT dada es un problema # P-completo . Ahora, considere un CNF-SAT sin literal negativo (no , siempre A ). El problema de decisión es …

13 sat  counting-complexity  polynomial-time  monotone 

P / poly es la clase de problemas de decisión que puede resolver una familia de circuitos booleanos de tamaño polinómico. Alternativamente, se puede definir como una máquina de Turing de tiempo polinómico que recibe una cadena de aviso que tiene un tamaño polinómico en n y que se basa …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

El peso El | x ||x||x|de una cadena binaria x ∈ { 0 , 1 }nortex∈{0,1}nx\in\{0,1\}^n es el número de unos en la cadena. ¿Qué sucede si estamos interesados ​​en calcular una función monótona en entradas con pocas? Sabemos que decidir si un gráfico tiene una kkk -clique es difícil …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone