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...
Lassen Sie mich mit einigen Beispielen beginnen. Warum ist es so trivial zu zeigen, dass CVP in P ist, aber so schwer zu zeigen, dass LP in P ist? während beide P-vollständige Probleme sind. Oder nimm die Ursprünglichkeit. Es ist einfacher, Komposite in NP zu zeigen als Primzahlen in NP (für die...
Was sind die besten Stromuntergrenzen für Zeit und Schaltkreistiefe für
Die Chomsky (-Schützenberger) -Hierarchie wird in Lehrbüchern der theoretischen Informatik verwendet, deckt jedoch im Vergleich zum vollständigen Komplexitäts-Zoo-Diagramm offensichtlich nur einen sehr kleinen Teil der formalen Sprachen (REG, CFL, CSL, RE) ab . Spielt die Hierarchie in der...
Ladners Theorem besagt, dass wenn P ≠ NP ist, es eine unendliche Hierarchie von Komplexitätsklassen gibt, die ausschließlich P enthalten und ausschließlich in NP enthalten sind. Der Beweis verwendet die Vollständigkeit von SAT unter einer um ein Vielfaches verringerten NP. Die Hierarchie enthält...
Aroras und Baraks Buch beschreibt Factoring als folgendes Problem: FACTORING = { ⟨ L , U, N⟩|( ∃ a prime p ∈ { L , … , U} ) [ p | N] }FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Weiter...
Ich suche nach Vermutungen über Algorithmen und Komplexität, die von vielen zu einem bestimmten Zeitpunkt als glaubwürdig angesehen wurden, aber später aufgrund zunehmender Gegenbeweise entweder widerlegt oder zumindest nicht geglaubt wurden. Hier sind zwei Beispiele: Zufällige Orakelhypothese:...
Ich hatte immer Probleme, die Wichtigkeit der Integritätslücke (IG) und ihrer Grenzen zu verstehen . IG ist das Verhältnis von (der Qualität von) einer optimalen ganzzahligen Antwort zu (der Qualität von) einer optimalen realen Lösung der Entspannung des Problems. Betrachten wir als Beispiel Vertex...
Informell ausgedrückt ist die Kolmogorov-Komplexität eines Strings Länge eines kürzesten Programms, das x ausgibt . Wir können einen Begriff von 'zufälliger Zeichenfolge' definieren, indem wir ihn verwenden ( x ist zufällig, wenn K ( x ) ≥ 0,99 | x | ). Es ist leicht zu erkennen, dass die meisten...
Es ist bekannt, dass der metrische TSP innerhalb von approximiert werden kann und nicht besser als 123 approximiert werden kann1.51.51.5 in polynomialer Zeit. Ist etwas über das Finden von Approximationslösungen in exponentieller Zeit bekannt (z. B. weniger als2nSchritte mit nur polynomialem Raum)?...
Welche theoretischen Erklärungen gibt es für den praktischen Erfolg von SAT-Lösern, und kann jemand einen Überblick im "Wikipedia-Stil" geben und sie alle zusammenfassen? Analog dazu liefert die geglättete Analyse ( arXiv-Version ) für den Simplex-Algorithmus eine hervorragende Erklärung dafür,...
In einem anderen Thread fragte Joe Fitzsimons nach "den derzeit besten Untergrenzen für 3SAT". Ich mag den anderen Weg gehen: Was ist die besten aktuellen oberen Schranken für 3SAT? Mit anderen Worten, was ist die zeitliche Komplexität des effizientesten SAT-Lösers? Ist es insbesondere denkbar,...
Kann jemand eine kurze Erklärung für Mulmuleys GCT-Ansatz liefern, die auch für Laien verständlich ist? Eine Erklärung, die für eine Wikipedia-Seite zum Thema geeignet wäre (die im Moment stumm ist). Motivation: Ich "lese" Scott Aaronsons Buch "Quantum Computing since Democritus" zusammen mit einem...
Ich schreibe gerade eine Umfrage zu Hierarchietheoremen über TCS. Auf der Suche nach verwandten Arbeiten habe ich festgestellt, dass Hierarchie nicht nur in FHM und Mathematik, sondern in zahlreichen Wissenschaften, von Theologie und Soziologie bis Biologie und Chemie, ein grundlegendes Konzept...
Hintergrund Die Berechnung über reelle Zahlen ist komplizierter als die Berechnung über natürliche Zahlen, da reelle Zahlen unendliche Objekte sind und es unzählige reelle Zahlen gibt, weshalb reelle Zahlen nicht durch endliche Zeichenfolgen über einem endlichen Alphabet genau dargestellt werden...
Das Graph Isomorphism Problem (GI) ist wohl der bekannteste Kandidat für ein NP-intermediäres Problem. Der bekannteste Algorithmus ist der subexponentielle Algorithmus mit einer Laufzeit von . Es ist bekanntdass GI nichtNP-komplette es sei
Sei eine algorithmische Aufgabe. (Dies kann ein Entscheidungsproblem, ein Optimierungsproblem oder eine andere Aufgabe sein.) Nennen wir X "auf der Polynomseite", wenn die Annahme, dass X NP-hart ist, impliziert, dass die Polynom-Hieararchie zusammenbricht. Nennen wir X "auf der NP-Seite", wenn die...
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...
Dies ist ein Cross-Post von math.stackexchange. Lassen Sie FACT bezeichnen die ganze Zahl Faktorisierungsproblem: Da finden Primzahlen p i ∈ N , und ganze Zahlen e i ∈ N , so dass n = Π k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},pich∈ N ,pich∈N,p_i \in \mathbb{N},eich∈ N ,eich∈N,e_i \in...
Lass PRIMES (aka Primality Testing ) das Problem sein: Gegeben eine natürliche Zahl , ist eine Primzahl?nnnnnn Lass FACTORING das Problem sein: In Anbetracht natürliche Zahlen , mit , ist einen Faktor mit ?nnnmmm1≤m≤n1≤m≤n1 \leq m \leq nnnnddd1<d<m1<d<m1 < d < m Ist bekannt, ob PRIMES...