Perguntas com a marcação «monotone»

O estado de nosso conhecimento sobre circuitos aritméticos gerais parece ser semelhante ao estado de nosso conhecimento sobre circuitos booleanos, ou seja, não temos bons limites inferiores. Por outro lado, temos limites inferiores de tamanho exponencial para circuitos booleanos monótonos . O que sabemos sobre circuitos aritméticos monótonos ? Temos …

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

O problema a seguir é PTIME ou coNP-hard: Dadas duas expressões booleanas e e 2 nas variáveis x 1 , … , x n , sem negação (ou seja, as expressões são totalmente construídas via ∧ e ∨ ). Decida se e 1 ≡ e 2 , ou seja, eles …

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

Razborov provou que a função monótona não está em mP . Mas podemos calcular a correspondência usando um circuito de tamanho polinomial com algumas negações? Existe um circuito P / poli com negações que calcula a correspondência? Qual é o compromisso entre o número de negações e o tamanho da …

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

Sabemos que o problema de contar o número de atribuições satisfatórias em uma determinada fórmula booleana geral (CNF-SAT), em uma fórmula DNF ou em uma fórmula 2SAT é um problema # P-complete . Agora, considere um CNF-SAT sem literal negativo (sem negativo , sempre ). O problema de decisão é …

13 sat  counting-complexity  polynomial-time  monotone 

P / poly é a classe de problemas de decisão solucionáveis ​​por uma família de circuitos booleanos de tamanho polinomial. Como alternativa, ela pode ser definida como uma máquina de Turing de tempo polinomial que recebe uma sequência de conselhos que é polinomial de tamanho em n e que é …

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

O peso de uma cadeia binária x ∈ { 0 , 1 } n é o número de unidades na cadeia. O que acontece se estivermos interessados ​​em calcular uma função monótona em entradas com poucas?| x ||x||x|x ∈ { 0 , 1 }nx∈{0,1}nx\in\{0,1\}^n Sabemos que decidir se um gráfico …

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