Als «complexity-classes» getaggte Fragen

Computerkomplexitätsklassen und ihre Beziehungen

3
Welche Beweise gibt es dafür, dass
Welche Beweise gibt es dafür, dass ?coRP≠NPcoRP≠NPcoRP \neq NP ist die Klasse von Sprachen, für die es eine probabililistische Turing-Maschine gibt, die in Polynomzeit läuft und bei einer Eingabe, die zur Sprache gehört, immer mit Ja und bei einer Eingabe, die nicht zur Sprache gehört, mit mindestens der Hälfte mit …

1
Natürliche Kandidaten für NP-E und E-NP
Es ist seit den frühen 70er Jahren bekannt, dass NPNP{\bf NP} und E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) nicht gleich sind (weil EE{\bf E} im Gegensatz zu NPNP{\bf NP} nicht unter polynomialen Mehrfachreduktionen geschlossen ist ). . Soweit ich weiß, ist jedoch noch offen, ob eine Klasse eine Teilmenge der anderen ist oder ob …

2
Gibt es ein Rechenproblem, das quasi-polynomial ist, aber (vielleicht) nicht in ?
Quasi-Polynomialzeit, kurz QP, ist eine Komplexitätsklasse auf deterministischen Turing-Maschinen. Hier ist die genaue Definition: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Während βP eine Komplexitätsklasse mit begrenztem Nichtdeterminismus ist. Hier ist die genaue Definition: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Es ist leicht zu erkennen, dass jede Maschine von βP durch eine Maschine von QP simuliert werden kann, nämlich βP QP.⊆⊆\subseteq …

1
2-NEXPTIME-vollständige Probleme
Wir haben ein Problem und haben einen Algorithmus gefunden, der 2-nexptime zu sein scheint. Ich würde gerne bekannte 2-Nexptime-vollständige Probleme finden, um eine Untergrenze zu finden. Ich fand in der Literatur hauptsächlich zwei solche Probleme: ob PCP als Lösung mit einer Größe von weniger als22n22n2^{2^n} und das Bodenbearbeitungsproblem für ein …


2
Konsequenzen von OWFs für die Komplexität
Es ist bekannt, dass die Existenz von Einwegfunktionen für einen Großteil der Kryptographie (digitale Signaturen, Pseudozufallsgeneratoren, Verschlüsselung mit privatem Schlüssel usw.) notwendig und ausreichend ist. Meine Frage ist: Was sind die komplexitätstheoretischen Konsequenzen der Existenz von Einwegfunktionen? OWFs implizieren beispielsweise, dass , und . Gibt es andere bekannte Konsequenzen? Bedeuten …

2
Ist adiabatisches Quantencomputing so leistungsfähig wie das Schaltungsmodell?
Ein Großteil der Quantencomputerliteratur konzentriert sich auf das Schaltungsmodell. Adiabatisches Quantencomputing basiert nicht auf der Anwendung einer Folge von Einheitsoperatoren, sondern auf der Änderung eines zeitabhängigen Hamilton-Operators. Ich suche nach einem Einblick in eines der folgenden Dinge. Ist adiabatisches Quantencomputing so leistungsfähig wie das Schaltungsmodell oder ist es von Natur …

1
Auf
Wir wissen, dass L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Aus Savitchs Theorem,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal PL2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P Darüber hinaus ist es eine offene Frage , ob ein -Problem vorliegt oder nicht, das nicht -vollständig ist, und eine solche Existenz würde , da jedes Problem für . Aber wissen wir wirklich …



2
Komplexitätsergebnisse für rekursive Funktionen mit niedrigerer Elementarzahl?
Fasziniert von Chris Presseys interessanter Frage zu elementar-rekursiven Funktionen , habe ich mehr untersucht und konnte im Internet keine Antwort auf diese Frage finden. Die elementaren rekursiven Funktionen entsprechen gut der exponentiellen Hierarchie .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Aus der Definition geht hervor, dass Entscheidungsprobleme, die durch Funktionen mit niedrigeren …

1
Literatur rund um NP vs EXPTIME
Auch wenn es kein entscheidender Punkt ist, sehe ich keine Literatur zu dieser Frage. Gibt es Relativierungsergebnisse? Wäre es nicht ganz einfach, eine strikte Einbeziehung durch Anpassung des nicht deterministischen Zeithierarchiesatzes zu beweisen, indem alle möglichen Pfade der NP-Maschine untersucht werden?



1
Was ist falsch an diesem uniform ?
Folgendes wird nicht als wahr angesehen: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Können Sie mir helfen zu sehen, wo das Argument zusammenbricht? Das Problem der gerichteten Erreichbarkeit ist für . Ich behaupte, dass es in -uniform .LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} Das Problem der gerichteten Erreichbarkeit über Konfigurationsgraphen der deterministischen Log-Space-Turing-Maschine ist für …

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.