Die Komplexitätsklasse PPAD (zB Berechnung verschiedener Nash-Gleichgewichte) kann definiert werden als die Menge der Gesamtsuchprobleme, die polytime auf END OF THE LINE reduziert : ENDE DER LINIE : Wenn die Schaltungen S und P mit n Eingangsbits und n Ausgangsbits so gegeben sind, dass P (0 n ) =...
Es gibt eine große Literatur über „Eigenschaft Test“ - das Problem der eine kleine Anzahl von Black - Box - Anfragen an eine Funktion zu machen zwischen zwei Fälle zu unterscheiden:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R ist ein Mitglied einer Funktionsklasse CfffCC\mathcal{C} ist ε -Far von...
Wikipedia bietet Beispiele für Probleme, bei denen die Zählversion schwierig ist, während die Entscheidungsversion einfach ist. Einige von diesen zählen perfekte Übereinstimmungen, zählen die Anzahl der Lösungen zu SAT und die Anzahl der topologischen Sortierungen.222 Gibt es noch andere wichtige...
Eine Additionskette ist eine Folge von positiven ganzen Zahlen wobei und jeder Index ist. Für einige Indizes gilt . Die Länge der Additionskette beträgt ; Das Ziel der Additionskette ist .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i( x1, x2, … , Xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n)x1= 1x1=1x_1 =...
Während Adlemans Theorem zeigt, dass , ist mir keine Literatur bekannt, die den möglichen Einschluss von B Q P ⊆ P / poly untersucht . Welche komplexitätstheoretischen Konsequenzen hätte eine solche Einbeziehung?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq
Ein klassisches Problem in der Wahrscheinlichkeitstheorie besteht darin, die Wahrscheinlichkeit eines Ereignisses in spezifischeren Ereignissen auszudrücken. Im einfachsten Fall kann man sagen: P[ A ∪ B ] = P[ A ] + P[ B ] - P[ A ∩ B ]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B] ....
Ich bin auf der Suche nach einer guten Übersicht über Algorithmen und Komplexität der linearen Algebra (Operationen wie Rang, Inverse, Eigenwerte, ... für Boolesche, und Ganzzahlen / Rationale Matrizen) mit Schwerpunkt auf Parallelität ( Hierarchie). und Polyzeitalgorithmen. Ich konnte keinen neuen...
In der Komplexitätsklasse gibt es einige Probleme, von denen angenommen wird, dass sie NICHT in der Klasse , dh Probleme mit deterministischen parallelen Algorithmen. Das Problem des maximalen Durchflusses ist ein Beispiel. Und es gibt Probleme, von denen man glaubt, dass sie in , aber ein Beweis...
Wurden Untersuchungen zur Implementierung von Zufallsextraktorkonstruktionen durchgeführt? Es scheint, dass Extractor-Proofs Big-Oh verwenden, was die Möglichkeit für große versteckte Konstanten lässt und programmatische Implementierungen möglicherweise unrealistisch macht. Kontext: Ich bin daran...
Welche Ergebnisse sind bekannt, um ein genaues n-dimensionales Subarray in einem n-dimensionalen Array zu finden? In 1D handelt es sich nur um ein String-Matching-Problem. KMP führt dies in linearer Zeit durch. In 2D wurde in diesem Artikel gezeigt, dass dies in linearer Zeit mit wenig zusätzlichem...
Angenommen, ein GraphGGG mit nnn Eckpunkten wird als Strom von mmm Kanten dargestellt, aber es sind mehrere Durchgänge über den Strom zulässig. Monika Rauch Henzinger, Prabhakar Raghavan und Sridar Rajagopalan stellten fest, dass ein Ω(n/k)Ω(n/k)\Omega(n/k) -Raum erforderlich ist, um zu bestimmen,...
Ich bin auf der Suche nach Tutorial-Material, das Compiler-Korrektheitsnachweise, vorzugsweise unter Verwendung von Bezeichnungsmethoden, auf der Ebene eines Studienanfängers enthält. Kennen Sie alternativ einige einfache Compiler-Beispiele, anhand derer ich die Probleme veranschaulichen könnte?...
Das folgende interessante Problem ist kürzlich in meiner Forschung aufgetaucht: INSTANZ: Graph .G ( V, E)G(V,E)G(V, E) LÖSUNG: Eine akkordlose ungerade Zyklus-Vervollständigung, definiert als eine Obermenge der Kantenmenge so dass der vervollständigte Graph die Eigenschaft hat, dass jede Kante in...
Ich habe zwei historische Fragen: Wer hat das nicht deterministische Rechnen zuerst beschrieben? Ich weiß, dass Cook NP-vollständige Probleme beschrieb und dass Edmonds vorschlug, dass P-Algorithmen "effiziente" oder "gute" Algorithmen sind. Ich suchte in diesem Wikipedia-Artikel und überflog "Über...
Diese Frage ähnelt einer allgemeineren Frage nach dem richtigen theoretischen Modell eines Computers zum Entwerfen von Algorithmen und Datenstrukturen. Ich frage hier speziell nach aktuellen Hochleistungscomputern (wie den als Top 500 aufgelisteten ) oder sogar nach kommende Supercomputer....
Gibt es eine Übersicht über Algorithmen zur Berechnung von Interpolanten? Was ist mit Beiträgen zu nur einem Algorithmus? Der Fall, an dem ich am meisten interessiert bin, ist und C = q , plus der Einschränkung, dass der Interpolant so klein wie möglich ist. (Ich kenne McMillans Artikel aus dem...
Es ist schwer, den Aktienmarkt vorherzusagen! Kann TCS dieses Gefühl formeller machen? Vor kurzem habe ich angefangen, ein wenig über Finanzen nachzudenken, und mich gefragt, wie Kenntnisse über TCS helfen könnten. Hedge-Fonds und Wertpapierfirmen scheinen ständig algorithmischen Handel,...
Haupt / Allgemeine Frage Sei eine Sprache. Definieren Sie die Sprachen mit und für . Betrachte . Wir haben also wiederholt in sich "eingebettet" , um .L i L 0 = L L i = { x w y : x y ∈ L i - 1 , w ∈ L } i ≥ 1 L = ⋃ L i L LLLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy...
Diese Frage wurde von Physics Stack Exchange migriert, da sie über Theoretical Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Bei der adiabatischen Quantenberechnung (AQC) wird die Lösung eines Optimierungsproblems im Grundzustand eines [problem] Hamiltonian . Um...
Die Berechnung der Cheeger-Konstante eines Graphen , auch als isoperimetrische Konstante bekannt (da es sich im Wesentlichen um ein Mindestverhältnis von Fläche zu Volumen handelt), ist bekanntermaßen NP-vollständig. Im Allgemeinen ist es angenähert. Ich bin daran interessiert zu erfahren, ob...