Als «boolean-functions» getaggte Fragen

Wie in der Arbeit "Monotone Schaltungen für die Mehrheitsfunktion" gezeigt, ist es möglich, eine monotone boolesche Schaltung für die Mehrheitsfunktion auf n Variablen mit der Größe O (n ^ 3) und der Tiefe 5,3 log (n) + O (1) zu konstruieren. http://link.springer.com/chapter/10.1007/11830924_38...

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

Die jüngste Herstellung der Beziehungbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) geht durch Gotsman, Linial . Kann der gleiche Ansatz zu oder gibt es eine wesentliche Einschränkung des Ansatzes?O(s(f)2)O(s(f)2)O(s(f)^2)