Sei ein Grad- Polynom in Variablen über , wobei konstant ist (sagen wir 2 oder 3). Ich möchte die kleinste Formel finden , wobei „Formel“ und „Formel Größe“ sind in der offensichtlichen Weise definiert (z. B. die kleinste Formel für das Polynom ist ).d n F 2 d f x 1 x 2 + x 1 x 3 x 1 ( x 2 + x 3...
Frage: Was ist die bekannteste untere Grenze der Formelgröße für eine explizite Funktion in AC 0 ? Gibt es eine explizite Funktion mit einem Ω ( n2)Ω(n2)\Omega(n^2) unteren Grenze von ? Hintergrund: Wie die meisten Untergrenzen sind auch Untergrenzen für die Formelgröße schwer zu bekommen. Ich...
Sei eine erfüllbare CNF-Formel mit Variablen und Klauseln. Sei der Lösungsraum von . n m S F 1 F 1F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Betrachten Sie das Problem, mit andere CNF-Formel mit demselben Satz von Variablen wie bestimmen, mit (demselben Lösungsraum wie ), aber mit möglichst wenigen...
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...
Hintergrund Eine Read-Once-Formel über eine Reihe von Gattern (auch Basis genannt) ist eine Formel, in der jede Eingabevariable einmal vorkommt. Einmal-Lese-Formeln werden üblicherweise über die De Morgan-Basis (die die 2-Bit-Gatter AND und OR und das 1-Bit-Gatter NOT aufweist) und die vollständige...
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:
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...
Ich möchte sehr spezifisch sein. Kennt jemand einen Disproof oder einen Beweis für den folgenden Satz: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in...
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...
Eine monotone CNF-Formel mit m Termen für n Variablen ( ) ist eine Formel der Form , wobei jedes ein ODER einer Teilmenge der Variablen ist und reichen von bis .x1,…,xnx1,…,xnx_1,\ldots,x_nf(x1,…,xn)=⋀Cif(x1,…,xn)=⋀Cif(x_1,\ldots,x_n) = \bigwedge C_iCiCiC_ix1,…,xnx1,…,xnx_1,\ldots,x_niii111mmm Zum...
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"...
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...