Savitch gab einen deterministischen Algorithmus zum Lösen der st-Konnektivität unter Verwendung des -Raums an, der N L ⊆ D S P A C E ( log 2 n ) impliziert . Der Savitch-Algorithmus läuft in der Zeit 2 O ( log 2 n ) . Es ist ein großes offenes …
In einer Präsentation von 2006 mit dem Titel EXPANDER GRAPHS - GIBT ES NOCH GEHEIMNISSE? Nati Linial stellte das folgende offene Problem: Welches -harte Rechenproblem im Graphen bleibt schwierig, wenn es auf Expandergraphen beschränkt ist?NPNPNP Seitdem hat sich bisher keine Fortschritte gemacht solches Ergebnis für einen zu beweisen , -hard …
Natürliche Beweise sind ein Hindernis für den Nachweis der unteren Schranken der Schaltungskomplexität von Booleschen Funktionen. Sie implizieren keine solche Barriere für den Nachweis der unteren Schranken der Komplexität der Schaltung. Gibt es Fortschritte bei der Identifizierung solcher Hindernisse? Gibt es andere Barrieren in der monotonen Einstellung?monotonemonotonemonotone
Dies ist eine Antwort auf diese Frage und steht im Zusammenhang mit dieser Frage von Shiva Kinali. Es scheint, dass die Beweise in diesen Arbeiten ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) Hierarchiesätze verwenden. Ich möchte wissen, ob es sich bei den Beweisen um " reine " Diagonalisierungssätze handelt oder …
Entschuldigung im Voraus, wenn diese Frage zu einfach ist. Grundsätzlich möchte ich wissen, ob es Funktionen f( x)f(x)f(x) mit den folgenden Eigenschaften gibt: Nehmen Sie als wenn die Domäne und die Codomäne auf Bit-Zeichenfolgen beschränkt sind. Dannf ( x ) nfn(x )fn(x)f_n(x)f( x )f(x)f(x)nnn fn( x )fn(x)f_n(x) ist injektiv fn( …
Eine erbliche Klasse von Strukturen (z. B. Graphen) ist eine, die unter induzierten Unterstrukturen geschlossen ist oder gleichwertig unter Vertex-Entfernung geschlossen ist. Klassen von Diagrammen, die eine untergeordnete Komponente ausschließen, haben nette Eigenschaften, die nicht von der spezifischen ausgeschlossenen untergeordneten Komponente abhängen. Martin Grohe hat gezeigt, dass es für Graphenklassen …
Ich bin immer fasziniert von dem Mangel an numerischen Beweisen aus der experimentellen Mathematik für oder gegen die P vs NP-Frage. Während die Riemann-Hypothese einige Belege aus der numerischen Verifikation enthält, sind mir keine ähnlichen Belege für die P-gegen-NP-Frage bekannt. Außerdem sind mir keine direkten Konsequenzen für die physische Welt …
Es wird gesagt, dass ein Problem P in APX vorliegt, wenn eine Konstante c> 0 existiert, so dass ein Polynomzeit-Approximationsalgorithmus für P mit einem Approximationsfaktor von 1 + c existiert. APX enthält PTAS (durch einfaches Auswählen einer beliebigen Konstanten c> 0) und P. Ist APX in NP? Bedeutet die Existenz …
Die Komplexitätsklasse BQP entspricht polynomiellen Zeitquanten-Subroutinen, die klassische Eingaben aufnehmen und eine probabilistische klassische Ausgabe ausgeben. Der Quantenratschlag modifiziert diesen, um Kopien einiger vorbestimmter Quantenratschlagzustände einzuschließen, jedoch mit klassischen Eingaben wie üblich. Was ist die Komplexitätsklasse für Polynomialzeit-Quantensubroutinen, die willkürliche Quantenzustände als Eingaben annehmen, wobei nur eine Kopie ohne Klonen …
Was soll ich lesen, um dieses Problem zu verstehen? Die Leistung von Quantenschaltungen mit geringer Tiefe. Ist ? Mit anderen Worten, kann der "Quanten" -Teil eines beliebigen Quantenalgorithmus auf Polylog (n) -Tiefe komprimiert werden, vorausgesetzt, wir sind bereit, eine klassische Nachbearbeitung in Polynomzeit durchzuführen? (Es ist bekannt, dass dies für …
Wir betrachten häufig Komplexitätsklassen, bei denen wir in Bezug auf den Platz, den unsere Turing-Maschine verwenden kann, begrenzt sind, zum Beispiel: oder NSPACE ( f ( n ) ) . Es scheint, dass es in der frühen Komplexitätstheorie viel Erfolg mit diesen Klassen wie dem Raumhierarchiesatz und dem Erstellen wichtiger …
Was ist die folgende Variation von Set Cover? Wenn eine Menge S, eine Sammlung C von Teilmengen von S und eine positive ganze Zahl K gegeben sind, gibt es K Mengen in C, so dass jedes Paar von Elementen von S in einer der ausgewählten Teilmengen liegt. Hinweis: Es ist …
Wie komplex ist die Entscheidung, ob ein Intervall der natürlichen Zahlen eine Primzahl enthält? Eine Variante des Sieve von Eratosthenes gibt einen Algorithmus, wobei L die Länge des Intervalls ist und ~ Häute poly-logarithmische Faktoren in dem Ausgangspunkt des Intervalls; können wir es besser machen (in Bezug auf L allein)?O~(L)O~(L)\tilde …
Eine Sprache ist in , wenn es eine logspace Turingmaschine vorhanden ist , der die Sprache mit Polynom Menge Rat entscheidet.L/polyL/polyL/poly Weitere Informationen finden Sie hier: https://en.wikipedia.org/wiki/L/poly Frage Was sind die Konsequenzen von ?P⊆L/polyP⊆L/polyP \subseteq L/poly
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.