Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

3
Konstruktivität in natürlichem Beweis und geometrischer Komplexität
Kürzlich hat Ryan Willams bewiesen, dass Konstruktivität in natürlichem Beweis unvermeidbar ist, um eine Trennung der Komplexitätsklassen abzuleiten: und . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} Die Konstruktivität in Natural Proof ist eine Bedingung, die alle kombinatorischen Beweise in auf die Schaltungskomplexität erfüllen, und dass wir durch einen ausgeführten …
3
Komplexität von "ist ein Graph ein Produkt"
Diese Frage ergibt sich aus purer Neugier (sie tauchte auf , als ich darüber nachdachte, eine Saite zu mischen , aber ich bin mir nicht sicher, ob sie tatsächlich verwandt ist), also hoffe ich, dass sie angemessen ist. Es gibt verschiedene Grafikprodukte, und ich interessiere mich für eines davon hier. …
11
Ein Beispiel, bei dem die Äquivalenz einfach ist, es jedoch schwierig ist, einen Klassenvertreter zu finden
Angenommen, wir haben eine Klasse von Objekten (z. B. Graphen, Zeichenfolgen) und eine Äquivalenzbeziehung für diese Objekte. Bei Diagrammen kann dies ein Isomorphismus sein. Für Zeichenfolgen können zwei Zeichenfolgen als äquivalent deklariert werden, wenn sie Anagramme voneinander sind. Ich interessiere mich für die Berechnung eines Vertreters für eine Äquivalenzklasse. Das …
4
Was ist die "kleinste" Komplexitätsklasse, für die eine superlineare Schaltungsgrenze bekannt ist?
Entschuldigung für die Frage, die sicherlich in vielen Standardreferenzen enthalten sein muss. Ich bin neugierig auf genau die Frage im Titel, insbesondere denke ich an Boolesche Schaltkreise, die keine Tiefe haben. Ich habe "kleinste" in Anführungszeichen gesetzt, um die Möglichkeit zu berücksichtigen, dass es mehrere verschiedene Klassen gibt, von denen …
5
Subexponentiell lösbare harte Graphprobleme
Angesichts der jüngsten Ergebnisse von Arora, Barak und Steurer, Subexponentielle Algorithmen für einzigartige Spiele und verwandte Probleme , interessiere ich mich für Graphprobleme , die subexponentielle Zeitalgorithmen haben, aber als nicht polynomiell lösbar gelten. Ein bekanntes Beispiel ist die Graphisomorphie subexponentiellen Algorithmus hat 2O(n1/2logn)2O(n1/2log⁡n)2^{O(n^{1/2} \log n)} Laufzeit. Ein weiteres Beispiel …
4
Beweise, Barrieren und P vs NP
Es ist allgemein bekannt, dass jeder Beweis, der die P-gegen-NP- Frage löst , Relativierung , natürliche Beweise und Algebrierungsbarrieren überwinden muss. Das folgende Diagramm unterteilt den "Proof Space" in verschiedene Regionen. Beispielsweise entspricht der Menge von Beweisen, die relativieren und naturalisieren. (Geometric Complexity Theory) ist natürlich die rein äußere Region.G …
4
Warum werden Gleichheiten zwischen Komplexitätsklassen nach oben und nicht nach unten übersetzt?
, ich verstehe, dass der Auffülltrick es uns ermöglicht, Komplexitätsklassen nach oben zu übersetzen - zum Beispiel . Das Auffüllen funktioniert, indem die Eingabe "aufgeblasen" und die Konvertierung ausgeführt wird (etwa von in P ). Dies ergibt einen "magischen" Algorithmus, den Sie für die aufgefüllte Eingabe ausführen können. Obwohl dies …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.