Preguntas etiquetadas con boolean-formulas

18

¿Es posible probar si un número computable es racional o entero?

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...

computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

15

Fórmulas booleanas cuantificadas con alternancias logarítmicas

Estoy estudiando un problema que es difícil para la clase de fórmulas booleanas cuantificadas con un número logarítmico de alternancias de los cuantificadores. Un problema en esta clase se vería así: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(X1,X2,...Xun1)∃(Xun1+1,...Xun2),...∃(XunIniciar...

cc.complexity-theory boolean-formulas

14

El problema de decidir si un CNF monótono implica un DNF monótono

Considere el siguiente problema de decisión Entrada : Un monótono CNF ΦΦ\Phi y un monótono DNF ΨΨ\Psi . Pregunta : ¿Es Φ → ΨΦ→Ψ\Phi \to \Psi una tautología? Definitivamente puede resolver este problema en -time, donde es el número de variables en y es la longitud de la entrada. Por otro lado,...

exp-time-algorithms boolean-formulas fine-grained

11

¿Cuál es la complejidad del problema de equivalencia para los árboles de decisión de lectura única?

Un árbol de decisión de lectura única se define de la siguiente manera: y F a l s e son árboles de decisión de una sola lectura.Tr u eTrueTrueFa l s eFalseFalse Si y B son árboles de decisión de lectura única yx es una variable que no ocurre en A y B , entonces ( x ∧ A ) ∨ ( ˉ x ∧ B ) también...

cc.complexity-theory lo.logic decision-trees boolean-formulas

10

Fórmula booleana equilibrada en

Estoy buscando referencias sobre la complejidad del problema de equilibrio de la fórmula booleana . En particular, ¿Se sabía que las fórmulas booleanas se pueden equilibrar en ?AC0AC0\mathsf{AC^0} ¿Hay alguna prueba simple de que el equilibrio de la fórmula booleana esté en...

cc.complexity-theory ds.algorithms reference-request lo.logic boolean-formulas

8

Conversión entre k-SAT y XOR-SAT

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...

sat boolean-functions boolean-formulas