El lenguaje Critical SAT se define como el conjunto de fórmulas booleanas f tal que f ∈ U N S A T, pero eliminar cualquier cláusula de f lo hace satisfactorio. Se sabe que el SAT crítico es D P -completo. Me pregunto acerca de la siguiente variante: dada una fórmula C N F f , ¿es el caso que f está...
Como se muestra en el documento "Circuitos monótonos para la función mayoritaria", es posible construir un circuito booleano monótono para la función mayoritaria en n variables con tamaño O (n ^ 3) y profundidad 5.3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Mi...
De acuerdo con el Módulo XOR Satisfiability Solver para la integración DPLL por Tero Laitinen, necesitamos cláusulas CNF para convertir una cláusula XOR-SAT literal si no queremos aumentar el número de literales. Entonces, entiendo que el costo computacional para convertir una expresión XOR-SAT en...
El establecimiento reciente de la relaciónbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) pasa por Gotsman, Linial . ¿Puede el mismo enfoque llegar a o hay una limitación esencial para el enfoque?O ( s (