Ich suche nach einem Problem, das in allgemeinen Diagrammen zu ΣP2Σ2P\mathsf{\Sigma^P_2} gehört, in Diagrammen mit begrenzter Baumbreite jedoch zu Tatsächlich halte ich diese Probleme für schwerer als die Verwendung normaler dynamischer Programmierung in Diagrammen mit begrenzter Baumbreite, um sie...
Wie viele binäre Gatter sind mindestens erforderlich, um UND und ODER von Eingangsbits gleichzeitig zu berechnen ? Die triviale Obergrenze ist . Ich glaube, das ist optimal, aber wie kann man das beweisen? Die Standard-Gate-Eliminierungstechnik funktioniert hier nicht, da durch Zuweisen einer...
Nach einem klassischen Ergebnis von Kuroda ist die Komplexitätsklasse NSPACE [ ]nnn (auch bekannt als NLIN-SPACE) genau die Klasse CSL von kontextsensitiven Sprachen . Das Erfüllbarkeitsproblem SAT liegt in NSPACE [ ] vor, da eine lineare Schätzung für eine Lösung mit höchstens einem linearen...
Dieses Problem interessiert mich: Gibt es bei einem ungerichteten Graphen eine Aufteilung von G in Graphen G 1 ( E 1 , V 1 ) und G 2 ( E 2 , V 2 ), so dass G 1 und G 2 sind isomorph?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Hier ist in zwei...
Ich habe mich gefragt, ob Probleme, für die sublineare Zeitalgorithmen (in der Eingabegröße) existieren, als solche mit spezifischen Eigenschaften charakterisiert werden können. Dies umfasst die sublineare Zeit (z. B. Eigenschaftstests, ein alternativer Begriff der Approximation für...
Es ist nicht bekannt, ob der Graphisomorphismus (GI) für stark reguläre Graphen (SRGs) in P ist . Gibt es irgendwelche Hinweise, dass es GI- vollständig sein könnte oder nicht ? Gibt es in solchen Fällen starke Konsequenzen? (Ähnlich wie der Glaube, dass GI möglicherweise nicht NP-vollständig...
In dem Rechteck Packungsproblem wird man eine Menge von Rechtecken gegeben und begrenzende Rechteck R . Die Aufgabe besteht darin, eine Platzierung von r 1 , … , r n innerhalb von R so zu finden, dass sich keines der n Rechtecke überlappt. Im Allgemeinen ist die Ausrichtung jedes Rechtecks r i...
Angenommen, für jedes gibt es eine Turingmaschine , die eine Sprache in der Zeit . Gibt es einen einzelnen Algorithmus, der in der Zeit ? (Hier wird der Term in Form von , der Eingabelänge, gemessen .)M ε L O ( n a + ε ) L O ( n a + O ( 1 ) ) O ( 1 ) nϵ>0ϵ>0\epsilon >
Ich kenne mich auf dem Gebiet der Komplexitätstheorie mit Gruppen nicht aus und entschuldige mich, wenn dies ein bekanntes Ergebnis ist. Frage 1. Sei ein einfacher ungerichteter Graph der Ordnung n . Was ist die rechnerische Komplexität (in Bezug auf n ) der Bestimmung, ob G vertextransitiv...
Nehmen wir an , dass . N P I ist die Klasse von Problemen in N P, die weder in P noch in N P -hard sind. Eine Liste der Probleme, von denen vermutet wird, dass sie N P I sind, finden Sie hier .P≠NPP≠NP\mathsf{P} \neq
Es ist bekannt, dass man die Determinante einer n×nn×nn\times n Matrix im deterministischen -Raum genau berechnen kann . Welche Komplexitätsauswirkungen hätte die Approximation der Determinante einer reellen Matrix, von höchstens ( ) im randomisierten logarithmischen Raum, also eines Genauigkeit?1...
In einer neuen Veröffentlichung wurde der quasi-polynomiale Algorithmus für den diskreten Logarithmus beschrieben. http://arxiv.org/abs/1306.4244 Wenn richtig, bedeutet dies, dass wir keine exponentielle Trennung in der Komplexität eines klassischen Algorithmus und seiner Quantenversion für das...
Es gibt nur sehr wenige Informationen über das NP-vollständige Problem der Lösung der linearen Diophantingleichung in nicht-negativen ganzen Zahlen. Das heißt, gibt es eine Lösung in nicht-negativen zu der Gleichung a 1 x 1 + a 2 x 2 + . . . + a n x n = b , wo alle Konstanten positiv sind? Die...
Gowers hat kürzlich ein Problem umrissen , das er "diskretisierte Borel-Determiniertheit" nennt und dessen Lösung mit dem Nachweis von Schaltkreisuntergrenzen zusammenhängt. Können Sie einen Überblick über den Ansatz geben, der auf ein Publikum von Komplexitätstheoretikern zugeschnitten ist? Was...
Eindeutige endliche Automaten (UFA) sind spezielle Arten nicht deterministischer endlicher Automaten (NFA). Eine NFA wird als eindeutig bezeichnet, wenn jedes Wort höchstens einen akzeptierenden Pfad hat.w ∈ & Sigma;∗w∈Σ∗w\in \Sigma^* Dies bedeutet .D FA ⊂ UFA ⊂ NFEINDFEIN⊂UFEIN⊂NFEINDFA\subset...
Ich suche nach Problemen, die bekanntermaßen NPC für gerichtete Graphen sind, aber einen Polynomalgorithmus für ungerichtete Graphen haben. Ich habe die Frage in Bezug auf die Umkehrung hier gesehen, dass "gerichtete" Probleme einfacher sind als ihre "ungerichtete" Variante , aber ich suche nach...
Hierarchietheoreme sind grundlegende Werkzeuge. Eine gute Anzahl von ihnen wurde in einer früheren Frage gesammelt (siehe Welche Hierarchien und / oder Hierarchiesätze kennen Sie? ). Einige Komplexitätsklassentrennungen ergeben sich direkt aus Hierarchiesätzen. Beispiele für solche gut bekannte...
Ist NP in DTIME(npolylogn)DTIME(npolylogn)DTIME(n^{poly\log n})
Ich versuche die Komplexität von Funktionen zu verstehen, die über Schwellenwert-Gatter und dies führte mich zu . Insbesondere interessiert mich, was derzeit über das Lernen in , da ich kein Experte auf diesem Gebiet bin.T C 0T C0TC0\mathsf{TC}^0T C0TC0\mathsf{TC}^0 Was ich bisher entdeckt habe,...
Ich habe gelesen, dass die ganzzahlige lineare Programmierung in Polynom-Zeit lösbar ist, wenn die Anzahl der Variablen fest ist, dh n ∈ O ( 1 ) . Wenn die Anzahl der Variablen logarithmisch ansteigt, dh n ∈ O ( log 2 ( N ) ) für eine gegebene Eingabe der Größe N , ist das Problem in der...