Als «boolean-formulas» getaggte Fragen

18

Ist es möglich zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist?

Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...

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

Quantifizierte Boolesche Formeln mit logarithmischen Abwechslungen

Ich untersuche ein Problem, das für die Klasse der quantifizierten Booleschen Formeln mit einer logarithmischen Anzahl von Quantifiziererwechseln schwierig ist. Ein Problem in dieser Klasse würde so aussehen:

cc.complexity-theory boolean-formulas

14

Das Problem der Entscheidung, ob ein monotoner CNF einen monotonen DNF impliziert

Betrachten Sie das folgende Entscheidungsproblem Eingabe : Ein monotoner CNF und ein monotoner DNF .& PSgr;ΦΦ\PhiΨΨ\Psi Frage : Ist eine Tautologie?Φ→ΨΦ→Ψ\Phi \to \Psi Definitiv können Sie dieses Problem in lösen, wobei die Anzahl der Variablen in und die Länge der Eingabe ist. Andererseits ist...

exp-time-algorithms boolean-formulas fine-grained

11

Was ist die Komplexität des Äquivalenzproblems für einmal gelesene Entscheidungsbäume?

Ein einmal gelesener Entscheidungsbaum ist wie folgt definiert: und F a l s e sind einmal gelesene Entscheidungsbäume.T.r u eTrueTrueF.a l s eFalseFalse Wenn und B einmal gelesene Entscheidungsbäume sind und x eine Variable ist, die in A und B nicht vorkommt , dann ist ( x ∧ A ) ∨ ( ˉ x ∧ B ) auch...

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

10

Boolescher Formelausgleich in

Ich suche nach Referenzen über die Komplexität des Booleschen Formelausgleichsproblems . Speziell, War bekannt, dass Boolesche Formeln in ausgeglichen werden können ?AC0AC0\mathsf{AC^0} Gibt es einen einfachen Beweis dafür, dass der Boolesche Formelausgleich in ?AC0AC0\mathsf{AC^0} Mit "einfach"...

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

8

Umwandlung zwischen k-SAT und XOR-SAT

Laut dem XOR Satisfiability Solver-Modul für die DPLL-Integration von Tero Laitinen benötigen wir CNF-Klauseln, um eine Literal-XOR-SAT-Klausel zu konvertieren , wenn wir die Anzahl der Literale nicht erhöhen möchten. Ich verstehe also, dass der Rechenaufwand für die Umwandlung eines...

sat boolean-functions boolean-formulas