Es gibt einige NP-vollständige Probleme ( , S U B S E T S U M usw.), von denen bekannt ist, dass sie in D S P A C E ( n ) auftreten . Was ist mit den sublinearen Räumen?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Gibt es ein bekanntes NP-Complete-...
Background––––––––––––––Background_\underline{\bf Background} Im Jahr 2005 führte Regev [1] das Problem des Lernens mit Fehlern (Learning with Errors, LWE) ein, eine Verallgemeinerung des Problems der Lernparität mit Fehlern. Die Annahme der Härte dieses Problems für bestimmte Parameterauswahl...
Meine Frage bezieht sich auf die endliche Modelltheorie / deskriptive Komplexität, daher bedeutet "erste Ordnung über endlichen binären Wörtern unter Verwendung der Prädikate Rs und eines unären Prädikats P, das an der Position der 1 im Wort wahr ist".FO(R)FO(R)FO(R) Ich würde gerne wissen, gibt es...
Das Buch von Arora und Barak enthält in Kapitel Anmerkungen zu PCP Wir stellen fest, dass Dinurs allgemeine Strategie etwas an die Zick-Zack-Konstruktion von Expander-Graphen und den in Kapitel 20 beschriebenen deterministischen Logspace-Algorithmus von Reingold für ungerichtete Konnektivität...
Es ist bekannt , dass beschränkte Fehler quantum query Komplexität der Funktion ist , Θ ( √OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Nun ist die Fragewas passiertwenn wir unser Quantenalgorithmus für jede Eingabe mitWahrscheinlichkeit erfolgreich sein wollen1-εanstatt der üblichen2/3....
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
Das Folgende scheint mir eine natürliche Definition zu sein und ich frage mich, ob es irgendwo studiert wurde Betrachten Sie eine Reihe von Sprachen. Dann heißt K ⊂ { 0 , 1 } ω " X- überprüfbare Information", wenn L ∈ X st vorliegtX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1...
Hat jede Turing-erkennbare unentscheidbare Sprache eine NP-vollständige Teilmenge? Die Frage könnte als eine stärkere Version der Tatsache angesehen werden, dass jede unendliche Turing-erkennbare Sprache eine unendlich entscheidbare Teilmenge
In der Arbeit von Adi Shamir [1] aus dem Jahr 1979 zeigt er, dass Factoring in einer polynomiellen Anzahl von arithmetischen Schritten durchgeführt werden kann . Diese Tatsache wurde in der jüngsten Veröffentlichung von Borwein und Hobart [2] im Zusammenhang mit linearen Programmen (SLP) wiederholt...
Sei die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die in der Zeit f ( n ) unter Verwendung des Raums g ( n ) anhalten . Sei A A L T S P ( f ( n ) , g ( n ) ) die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die mit f ( aufhören )A...
Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Theoretische Informatik Stapel Austausch. Geschlossen vor 7 Jahren . Wie können wir " " als Formel erster Ordnung...
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...
Angenommen, wir arbeiten in einem endlichen Feld. Über diesem Feld erhalten wir ein großes festes Polynom p (x) (von beispielsweise Grad 1000). Dieses Polynom ist im Voraus bekannt und wir dürfen in der "Anfangsphase" mit vielen Ressourcen rechnen. Diese Ergebnisse können in relativ kleinen...
Betrachten Sie eine monotone 3CNF-Formel mit den folgenden zusätzlichen Einschränkungen: Jede Variable erscheint in genau Klauseln.222 Bei beliebigen Klauseln teilen sie höchstens 1 Variable.222111 Ich würde gerne wissen, wie schwer es ist, die zufriedenstellenden Aufgaben einer solchen Formel zu...
Sei eine Familie von Element-Teilmengen eines endlichen Universums von Objekten. Eine Familie von Element-Teilmengen von mit ist eine - Schlagmenge von wenn für jedes mindestens eine Menge wie z daß .FF.FdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW...
Ich suche nach der Komplexität der Erfüllbarkeit einer Formel oder einer Formel wobei die Formel der Form ist: Wobei die Konstante in und die Domäne der Variablen auch .∃ x 1 , ... , x m ∀ y 1 , ... , y n , & phiv; & phiv; & phiv; : = & phiv; ∧ & phiv; | ¬ ϕ | ϕ → ϕ | ψ ψ : = 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...
Do Natürliche Proofs , Relativierung und Algebrization beeinflussen auch die Trennung von anderen Komplexitätsklassen wie etc?L≠NL≠NP≠coNP≠PH≠PSPACEL.≠N.L.≠N.P.≠cÖN.P.≠P.H.≠P.S.P.EINC.E.L\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Zum Beispiel sollte die Barriere für natürliche Beweise jeden Beweis...
Wir alle wissen, dass die minimale Komplexität eines vergleichsbasierten Sortieralgorithmus Vergleiche sind. Ich versuche eine blinde Sortierung durchzuführen, dh wenn eine Zahl einen Schaltkreis (mit booleschen, arithmetischen und "Vergleichs" -Gattern) ausgibt, der eine Liste von Elementen...
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...