Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Quadratisches Verhältnis zwischen nichtdeterministischem und deterministischem Raum?
Der Satz von Savitch zeigt, dass für alle ausreichend großen Funktionen f und der Beweis, dass dies eng ist, seit Jahrzehnten ein offenes Problem ist .NSPACE(f(n))⊆DSPACE(f(n)2)NSPEINCE(f(n))⊆DSPEINCE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Nehmen wir an, wir nähern uns dem Problem vom anderen Ende. Nehmen Sie der Einfachheit halber das boolesche Alphabet an. Der von …
3
Die Kategorie der Turingmaschinen?
Haftungsausschluss: Ich weiß sehr wenig über Komplexitätstheorie. Es tut mir leid, aber es gibt wirklich keine Möglichkeit, diese Frage zu stellen, ohne (schrecklich) präzise zu sein: Was sollen die Morphismen in "der" Kategorie der Turingmaschinen sein? Dies ist offensichtlich subjektiv und hängt von der Interpretation der Theorie ab. Daher sollte …
3
Zeitklassen trennen
Ein Student von mir hat kürzlich die folgende Frage gestellt: Es sei angenommen , D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).Muss es ein h ( n ) geben,h(n)h(n) so dass …
2
Zum in
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, ist: Alle können in quasipolynomialer Zeit …
2
Wie klein kann ein NFA sein, verglichen mit dem minimalen eindeutigen endlichen Automaten (UFA) derselben regulären Sprache?
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 UFA\subset NFA Bekannte verwandte Automatenergebnisse: Die NFA-Minimierung ist PSPACE-Complete. Die NFA-Minimierung über …
4
Graphprobleme, die in gerichteten Graphen NP-vollständig, in ungerichteten Graphen jedoch polynomisch sind
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 Härte auf der gerichteten Seite. Zum Beispiel …
1
Gowers 'diskretisierter Borel-Bestimmungsansatz'
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 würde es brauchen, um mit diesem Ansatz irgendetwas zu beweisen , einschließlich …
1
Implikationen der Approximation der Determinante
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 ‖ A ‖ ≤ 1log2(n)log2⁡(n)\log^2(n)111∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} Was wäre in dieser Hinsicht …
2
Neuer Algorithmus für das diskrete Protokoll und seine Auswirkungen auf das Quantencomputing
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 diskrete Logarithmusproblem mehr haben? Hat dies Auswirkungen auf die Theorie der Quantenkomplexität?
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.