Inwieweit hilft die Rechenfähigkeit für schwierige Aufgaben bei der Lösung einfacher Aufgaben

Kurz gesagt, die Frage ist: Inwieweit hilft Ihnen die Rechenfähigkeit für schwierige Aufgaben wirklich bei der Lösung einfacher Aufgaben. (Es gibt verschiedene Möglichkeiten, diese Frage interessant und nicht trivial zu machen, und hier ist ein solcher Versuch.)

Frage 1:

Betrachten Sie eine Schaltung zum Lösen von SAT für eine Formel mit n Variablen. (Oder um den Hamilton-Zyklus für einen Graphen mit Kanten zu finden.) $n$

Angenommen, jedes Gate erlaubt die Berechnung einer beliebigen Booleschen Funktion für Variablen. Der Vollständigkeit halber nehmen wir . $m$ $m=0.6 n$

Die Hypothese der starken exponentiellen Zeit (SETH) besagt, dass wir selbst bei solch starken Gattern eine Superpolynomschaltungsgröße benötigen. Tatsächlich benötigen wir für jedes eine Größe von mindestens In gewisser Weise bieten Gates für einen Bruchteil der Variablen, die sehr komplizierte Boolesche Funktionen darstellen (weit über die NP-Vollständigkeit hinaus), keinen großen Vorteil. $\Omega (2^{(0.4-\epsilon) n})$ $\epsilon.$

Wir können weiter fragen:

(i) Können wir eine solche Schaltung der Größe ? ? $2^{0.9 n}$ $2^{(1-\epsilon)n}$

Eine "Nein" -Antwort wird eine enorme Stärkung des SETH sein. Natürlich gibt es vielleicht eine einfache Ja-Antwort, die ich einfach vermisse.

(ii) Wenn die Antwort auf (i) JA lautet, bieten Gates, die beliebige Boolesche Funktionen berechnen, einige Vorteile gegenüber Gates, die „nur“ beliebige NP-Funktionen berechnen (sagen wir); oder nur kleinere Instanzen von SAT selbst?

Die nächste Frage versucht, etwas Ähnliches für Fragen in . $P$

Frage 2:

Wie zuvor sei und der Vollständigkeit halber sei . (Andere Werte von , wie beispielsweise sind ebenfalls von Interesse.) Die folgenden Arten von Schaltungen: $m< n$ $m=0.6n$ $m$ $m=n^\alpha$

a) In einem Schritt können Sie eine beliebige Boolesche Funktion für Variablen berechnen. $m$

b) In einem Schritt können Sie ein SAT-Problem mit Variablen lösen . Oder vielleicht eine beliebige nichtdeterministische Schaltung mit Polynomgröße in Variablen. $m$ $m$

c) In einem Schritt können Sie eine beliebige Schaltung für Variablen der Größe ( ist fest). $m$ $m^d$ $d$

d) In einem Schritt können Sie gewöhnliche Boolesche Gatter ausführen.

$n$

(Dies kann mit bekannten Problemen bei der parallelen Berechnung oder bei Orakeln zusammenhängen.)

cc.complexity-theory dc.parallel-comp

— Gil Kalai
quelle

O ({1.9999}^{n})

$O(1.9999^n)$

c n

$cn$

c

$c$

Lieber Rayan, richtig, ich fühle mich einfach wohler, wenn ich den uneinheitlichen Fall betrachte. Eine Nichtantwort auf Frage 1 wird eine enorme Stärkung des ungleichmäßigen SETH sein. (Ich dachte, dass ungleichmäßiges SETH eine Stärkung von SETH ist, aber vielleicht habe ich mich geirrt.) Möglicherweise können Sie die Fragen 1 und 2 für einheitliche Algorithmen neu formulieren. In jedem Fall wird es vielleicht mit solch starken Versionen von SETH und ungleichmäßigem SETH möglich sein, ein Gegenbeispiel zu finden.

— Gil Kalai

n

$n$

.1 n

$.1n$

2^{.9 n}

$2^{.9n}$

n

$n$

.9 n

$.9n$

.1 n

$.1n$

$2^{2^m \cdot s}$ $s$ $s=2^{n-m}$

— Boaz Barak
quelle

Hallo, @Boaz Barak. Würde es Ihnen etwas ausmachen, wenn ich Ihre beiden Konten auf dieser Website zusammenführen würde?

— Lev Reyzin

Danke Boaz. Ich denke, der Geist der Frage ist folgender: Wenn Sie weit unter das hinausgehen, was zur Berechnung aller Funktionen erforderlich ist, können Sie trotzdem eine NP-Gesamtfunktion berechnen.

— Gil Kalai