Ich suche nach Referenzen über die Komplexität des Booleschen Formelausgleichsproblems . Speziell,
- War bekannt, dass Boolesche Formeln in ausgeglichen werden können ?
- Gibt es einen einfachen Beweis dafür, dass der Boolesche Formelausgleich in ?
Mit "einfach" meine ich einen Beweis, der einfacher ist als der unten erwähnte, insbesondere suche ich einen Beweis, der nicht davon abhängt, dass die Bewertung der Booleschen Formel in vorliegt .
Hintergrund
Hier sind alle genannten Komplexitätsklassen einheitlich.
BFB (Boolean Formel Balancing):
eine Boolesche Formel , findet eine äquivalente ausgewogene Boolesche Formel.
Ich interessiere mich für die Komplexität dieses Problems, insbesondere für einfache Beweise, die zeigen, dass das Problem in (oder sogar T C 0 oder N C 1 ) vorliegt. Die gängigen Ausgleichsargumente, wie sie auf Spiras Lemma basieren, wenden wiederholte strukturelle Modifikationen auf den Formelbaum an, die nur B F B ∈ N C 2 zu ergeben scheinen .
Motivation
Ein einfacheres Argument für in (oder oder sogar ) würde einen neuen einfacheren Beweis für da es leicht zu erkennen ist, dass die ausgeglichene Version von BFE in gelöst werden kann und wir sie mit komponieren können und das Ergebnis in .
Fragen
- War bekannt, dass Boolesche Formeln in ( ) ausgeglichen werden können ?
- Gibt es ein einfacheres Argument (z. B. ohne ) für ?