Das direkte Arbeiten mit Zeitkomplexität oder Schaltkreisuntergrenzen ist beängstigend. Daher entwickeln wir Tools wie die Komplexität von Abfragen (oder die Komplexität von Entscheidungsbäumen), um die unteren Grenzen in den Griff zu bekommen. Da jede Abfrage mindestens einen Einheitsschritt...
In der offiziellen Clay-Problembeschreibung für P versus NP heißt es, dass aus dem folgt, dass "jede Sprache in [die in exponentieller Zeit mit einer deterministischen Turing-Maschine erkennbare Klasse von Sprachen] von einer Booleschen Schaltkreisfamilie berechnet werden kann , so dass für...
Ich interessiere mich für eine explizite Boolesche Funktion f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}mit der folgenden Eigenschaft: wenn auf einem affinen Unterraum von konstant istfff , dann ist die Dimension dieses Unterraums o ( n ) .0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Es ist...
Gibt es ein laufendes Projekt, um die Theoreme und Beweise der Komplexitätstheorie mit einem Beweisassistenten wie Coq formal zu verifizieren? Gibt es dafür
Kategorietheorie und abstrakte Algebra befassen sich mit der Art und Weise, wie Funktionen mit anderen Funktionen kombiniert werden können. Die Komplexitätstheorie befasst sich damit, wie schwer eine Funktion zu berechnen ist. Es ist seltsam für mich, dass ich niemanden gesehen habe, der diese...
Ich würde gerne etwas über parametrisierte Komplexität lernen (sowohl auf der algorithmischen Seite als auch auf der Härteseite). Welche Bücher / Vorlesungsunterlagen kann ich zu diesem Thema
Betrachten Sie die Sprache L k - d i s t i n c t,Lk−distinctL_{k-distinct} die aus allen kkk -letter-Zeichenfolgen über Σ bestehtΣ\Sigma , sodass keine zwei Buchstaben gleich sind: L k - d i s t i n c t : = { w = σ 1 σ 2 . . . σ k | ∀ i ∈ [ k ] : σ i ∈ & Sgr; und ∀ j ≠ i : σ j ≠ σ i...
Die Treewidth spielt eine wichtige Rolle in FPT-Algorithmen, unter anderem, weil viele Probleme durch die Treewidth der FPT parametrisiert werden. Ein verwandter, eingeschränkterer Begriff ist der der Pfadbreite. Wenn ein Graph eine Pfadbreite , hat er auch eine Baumbreite von höchstens k , während...
Wie komplex ist die Berechnung der diskreten Fourier- Standardtransformation eines Vektors von ganzen Zahlen (im Standard-Ganzzahl-RAM) ?nnn Der klassische Algorithmus für schnelle Fourier-Transformationen [1] , der Cooley und Tukey unangemessen zugeschrieben wird, wird normalerweise als in -Zeit...
Angenommen, ist ein Baum konstanten Grades, dessen Struktur wir nicht kennen. Das Problem besteht darin, den Baum durch Fragen des Formulars auszugeben : "Liegt der Knoten auf dem Pfad von Knoten zu Knoten ?". Angenommen, jede Abfrage kann von einem Orakel in konstanter Zeit beantwortet werden. Wir...
Ich versuche, ein bestimmtes Problem zu lösen, und dachte, ich könnte es mithilfe der Automatentheorie lösen. Ich frage mich, welche Automatenmodelle haben eine Einschließung, die in der Polynomzeit entscheidbar ist? dh wenn Sie Maschinen , können Sie testen, ob effizient ist.M1, M2M1,M2M_1, M_2L (...
Wurde daran gearbeitet, wie die Komplexität zufälliger Instanzen von # 2-SAT mit der Klauseldichte variiert? Das heißt: Wie variiert die Schwierigkeit, zufriedenstellende Lösungen für eine zufällig generierte Instanz von 2-SAT zu zählen , wenn sich die Klauseldichte ändert ? Gibt es insbesondere...
Ich habe noch nie einen Algorithmus mit einem Protokoll im Nenner gesehen und frage mich, ob es tatsächlich nützliche Algorithmen für dieses Formular gibt. Ich verstehe viele Dinge, die zur Multiplikation eines Protokollfaktors in der Laufzeit führen können, z. B. Sortier- oder baumbasierte...
Wie kann ich die Anzahl der eindeutigen einfachen Pfade in einem ungerichteten Diagramm bestimmen? Entweder für eine bestimmte Länge oder für einen Bereich akzeptabler Längen. Denken Sie daran, dass ein einfacher Pfad ein Pfad ohne Zyklen ist. Ich spreche daher von der Zählung der Anzahl der Pfade...
Ich denke, dass ein Größenhierarchiesatz für die Schaltungskomplexität ein großer Durchbruch in diesem Bereich sein kann. Ist es ein interessanter Ansatz zur Klassentrennung? Die Motivation für die Frage ist, dass wir sagen müssen Es gibt eine Funktion, die nicht mit Schaltkreisen der Größe...
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...
BEARBEITEN (22. August 2011): Ich vereinfache die Frage weiter und lege ein Kopfgeld auf die Frage. Vielleicht hat diese einfachere Frage eine einfache Antwort. Ich werde auch alle Teile der ursprünglichen Frage durchstreichen, die nicht mehr relevant sind. (Vielen Dank an Stasys Jukna und Ryan...
Werden alle Funktionen, deren Fouriergewicht sich auf die kleinen Mengen (oder Terme mit niedrigem Grad) konzentriert, von Kreisen berechnet ?A
Teaser Da das Problem hier länger ist, handelt es sich um einen Sonderfall, der seine Essenz erfasst. Problem: Sei A ein detrministischer Algorithmus für 3-SAT. Ist das Problem der vollständigen Simulation des Algorithmus A (bei jedem Auftreten des Problems). P-Space schwer? (Genauer gesagt, gibt...
Was ist, wenn irgendetwas über die parametrisierte Komplexität der Berechnung der Schnittmenge eines Graphen bekannt ist (die kleinste Anzahl von Cliquen, die erforderlich sind, um alle seine Kanten abzudecken)? Es ist seit langem bekannt, dass es NP-vollständig ist, und es ist offensichtlich FPT,...