Die Auswirkungen der unteren Grenze der Schaltung sind eng

7

Es gibt ein grundlegendes Ergebnis in der Schaltungskomplexität, das besagt:

Es gibt eine Sprache, die mit Schaltkreisen der Größe nicht gelöst werden kann .o(2nn)

Das Argument ist ein einfaches Zählargument für die Anzahl der Booleschen Funktionen und die Anzahl der verschiedenen Schaltkreise. Siehe zum Beispiel diese Vorlesungsunterlagen .

Ich glaube, es ist nicht bekannt, ob diese Grenze eng ist oder nicht. Das heißt, wir wissen nicht, ob die folgende Aussage wahr ist:

Jede Sprache kann mit Schaltkreisen der Größe gelöst werden .O(2nn)

Wenn diese Aussage wahr wäre, hätte sie interessante Auswirkungen auf die Komplexitätstheorie?

GMB
quelle

Antworten:

7

Dies hat Müller bereits 1956 bewiesen . Hier ist die Konstruktion. Sei ein Parameter. Wir berechnen zunächst alle möglichen Funktionen an den ersten Eingängen in Größe (siehe unten). Wir konstruieren dann einen Entscheidungsbaum für die anderen Variablen und verbinden ihn mit der richtigen Funktion für die verbleibenden Variablen. Dies dauert (siehe unten) für insgesamt . Wenn wir wählen, erhalten wir die gewünschte Grenze.kkO(22k)nkO(2nk)O(22k)+O(2nk)k=log(nlogn)

Wir berechnen alle möglichen Funktionen an Eingängen induktiv. Sei die Größe einer Schaltung, die alle möglichen Funktionen an Eingängen berechnet . Es gibt zwei Funktionen für Null-Eingänge, also ist . Jede Funktion an Eingängen kann als , also . Die Lösung dieser Wiederholung ist .kZkkZ0=2f(x1,,xk)kxkf(x1,,xk1,1)+xk¯f(x1,,xk1,0)Zk=Zk1+22kO(1)Zk=O(22k)

Um den Entscheidungsbaum zu berechnen, verwenden wir eine ähnliche Konstruktion: Wenn ein Baum für die ersten Variablen gegeben ist, können wir einen Baum für die ersten Variablen der Form konstruieren . Die Wiederholung, die wir erhalten, ist , dessen Lösung .Tk1kxkT+xk¯TWk=2Wk1+O(1)Wk=O(2k)

Yuval Filmus
quelle
Ich verstand den Aufbau des Entscheidungsbaums und der Schaltung, die alle möglichen Ausgaben berechnet, konnte aber nicht ganz verstehen, wie die Kombination dieser Schaltungen eine Schaltung für ergibt . Würde es Ihnen etwas ausmachen, darauf etwas näher einzugehen? f
Dean Gurvitz
Siehe Satz 1.5 hier: people.csail.mit.edu/rrw/cs294-2018/hardest-fns.pdf .
Yuval Filmus