Eine kürzlich von Huck Bennett gestellte Frage, ob die Klasse PH in der Klasse PP enthalten ist, erhielt etwas widersprüchliche Antworten (alles scheint wahr zu sein). Einerseits wurden mehrere Orakelergebnisse für das Gegenteil angegeben, und andererseits schlug Scott vor, dass die Antwort...
Hintergrund Vor einigen Jahren, als ich ein Student war, erhielten wir eine Hausaufgabe über die amortisierte Analyse. Ich konnte eines der Probleme nicht lösen. Ich hatte es in comp.theory gefragt , aber es kam kein zufriedenstellendes Ergebnis zustande. Ich erinnere mich an den Kurs, in dem TA...
Es gibt einige Zählprobleme, bei denen exponentiell viele Dinge gezählt werden (im Verhältnis zur Größe der Eingabe) und die dennoch überraschende, polynomzeitgenaue, deterministische Algorithmen aufweisen. Beispiele beinhalten: Zählen perfekter Übereinstimmungen in einem planaren Graphen (dem...
Es ist bekannt, dass bestimmte Probleme unentscheidbar sind, es ist jedoch möglich, einige Fortschritte bei ihrer Lösung zu erzielen. Zum Beispiel ist das Problem des Anhaltens nicht zu entscheiden, aber praktische Fortschritte können bei der Erstellung von Tools zum Erkennen potenzieller...
Wir wissen , dass L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} und dass L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , wobei L2=DSPACE(log2n)L2=DSPACE(log2n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Wir wissen auch...
Gibt es irgendwelche Vorteile bei der Berechnung der zeitlichen Komplexität eines Algorithmus unter Verwendung der Lambda-Berechnung? Oder gibt es ein anderes System für diesen Zweck? Alle Referenzen wäre
Meine Frage ist einfach: Was ist die Worst-Case-Laufzeit des bekanntesten Algorithmus zur Berechnung einer eigendekomposition einer Matrix?n×nn×nn \times n Reduziert sich die Zersetzung auf Matrixmultiplikation oder handelt es sich im schlimmsten Fall um die bekanntesten Algorithmen (über SVD...
In den 1980er Jahren hat Razborov gezeigt, dass es explizite monotone Boolesche Funktionen gibt (wie die CLIQUE-Funktion), für deren Berechnung exponentiell viele UND- und ODER-Gatter erforderlich sind. Die Basis {AND, OR} über der Booleschen Domäne {0,1} ist jedoch nur ein Beispiel für eine...
NN_N000N−1N−1N-1O(loglogN)O(loglogN)O(\log\log N) Andrew Chi-Chih Yao, Einige Komplexitätsfragen im Zusammenhang mit Distributed Computing (vorläufiger Bericht) , STOC 1979, S. 209–213. doi: 10.1145 / 800135.804414 P(x)P(x)P(x)qqqp−1p−1p-1p∈[3n,6n]p∈[3n,6n]p \in [3n,6n]n=⌈logN⌉n=⌈logN⌉n = \lceil...
Dies ist eine Frage zur Schaltungskomplexität. (Definitionen finden Sie unten.) Yao und Beigel-Tarui zeigten, dass jede Schaltkreisfamilie der Größe eine äquivalente Schaltkreisfamilie der Größe der Tiefe zwei aufweist , wobei das Ausgangsgatter eine symmetrische Funktion ist und die zweite Ebene...
Ryan Williams hat gerade seine Untergrenze für ACC angegeben , die Klasse von Problemen mit Schaltkreisen mit konstanter Tiefe und unbegrenztem Fan-In und Gates AND, OR, NOT und MOD_m für alle möglichen m. Was ist das Besondere an MOD_m-Gattern? Sie erlauben es, Arithmetik über jeden Ring Z_m zu...
Das Immerman-Vardi-Theorem besagt, dass PTIME (oder P) genau die Klasse von Sprachen ist, die durch einen Satz der Logik erster Ordnung zusammen mit einem Festkommaoperator über die Klasse von geordneten Strukturen beschrieben werden kann. Der Fixpunktoperator kann entweder der kleinste Fixpunkt...
Es wird manchmal behauptet, dass Ketan Mulmuleys geometrische Komplexitätstheorie das einzige plausible Programm ist, um die offenen Fragen der Komplexitätstheorie wie die P vs. NP-Frage zu klären. Es gab mehrere positive Kommentare von berühmten Komplexitätstheoretikern zum Programm. Laut Mulmuley...
Wir wissen, dass die erste Ebene der Polynomhierarchie (dh NP und co-NP) in PP liegt und dass . Aus Todas Theorem wissen wir auch, dass .P H ⊆ P P PPP⊆ PSPA CEPP⊆PSPACEPP \subseteq PSPACEPH⊆ PPPPH⊆PPPPH \subseteq P^{PP} Wissen wir, ob ? Wenn nicht, warum ist mit einem Orakel stärker als ? Ist es...
Diese Frage ist inspiriert von einer ähnlichen Frage zur angewandten Mathematik in Bezug auf den Mathoverflow, und diese nörgelnden Gedanken, dass wichtige Fragen von TCS wie P vs. NP von ZFC (oder anderen Systemen) unabhängig sein könnten. Als kleiner Hintergrund ist die umgekehrte Mathematik das...
Soweit ich weiß, versucht das Programm der geometrischen Komplexitätstheorie, zu trennen, indem es beweist, dass das Permament einer komplexwertigen Matrix viel schwerer zu berechnen ist als die Determinante.VP≠ VNPVP≠VNPVP \neq VNP Die Frage , die ich hatte , nachdem sie durch das GCT Paper...
Ich interessiere mich für die parametrisierte Komplexität des sogenannten d-dimensionalen Schlagsets-Problems: bei gegebenem Bereichsraum (dh einem festgelegten System / Hypergraph) S = (X, R) mit einer VC-Dimension von höchstens d und a positive ganze Zahl k, enthält X eine Teilmenge der Größe k,...
Im Allgemeinen wissen wir, dass die Komplexität des Testens, ob eine Funktion an einem bestimmten Eingang einen bestimmten Wert annimmt, einfacher ist als die Bewertung der Funktion an diesem Eingang. Beispielsweise: Das Auswerten der bleibenden Zahl einer nichtnegativen Ganzzahlmatrix ist #...
Sei eine feste positive ganze Zahl der Größe Bits.AAAnnn Man darf diese ganze Zahl entsprechend vorverarbeiten. Wie komplex ist die Multiplikation anderen positiven ganzen Zahl einer Größe von Bits ?BBBmmmABABAB Beachten Sie, dass wir bereits -Algorithmen haben. Die Frage hier ist, ob wir von etwas...
Dies ist eine naive Frage, aus meiner Erfahrung heraus; Entschuldigung im Voraus. Goldbachs Vermutung und viele andere ungelöste Fragen in der Mathematik können als kurze Formeln in Prädikatenrechnung geschrieben werden. Zum Beispiel Cooks Artikel "Können Computer routinemäßig mathematische Beweise...