Es ist bekannt , dass , wenn P=NPP=NPP=NP dann CoNP=PCP[O(log(n)),O(1)]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Es ist auch bekannt, dass NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Es scheint, dass PCP uns nicht sagen kann, welche natürlichen Probleme...
Das Problem # MONOTONE-2SAT ist bekanntermaßen # P-vollständig. Dies bedeutet, dass #SAT darauf reduziert werden kann. Meine Frage lautet: Wenn eine # SAT- Instanz , welche Transformation konvertiert in die entsprechende # MONOTONE-2SAT-Instanz ?FFFF 'FFFF′F′F' Eine zweite Frage ist: Lassen‚die...
Ich fand einen Artikel mit dem Titel " Faktorisierung von ganzen Zahlen und Berechnung diskreter Logarithmen durch diophantinische Approximation " von CP Schnorr aus dem Jahr 1993. Es sieht so aus, als würde eine probabilistische Methode mit erwarteter Polynomlaufzeit (und Raum) vorgestellt, um...
Ich habe eine Arbeit eines mathematischen Chemikers gelesen. Er schlägt einige Indizes vor, um die Komplexität von Molekülen zu messen. Denken Sie von nun an anstelle von Molekülen an ungerichtete zusammenhängende Graphen: Ein Scheitelpunkt ist ein Atom, und eine Kante ist eine Bindung zwischen...
Diese Frage ergibt sich aus einer Antwort, die Joe Fitzsimons auf eine andere Frage gab . Die meisten Klassen für natürliche Komplexität haben eine einzeilige "intuitive Beschreibung", mit deren Hilfe Kernprobleme in dieser Klasse charakterisiert werden können. Bei NP geht es um "effiziente...
Vor einigen Jahren nahm ich an einem Kurs über Komplexitätstheorie von Steven Rudich teil, und ich erinnere mich, dass er einen interessanten Vortrag hielt, in dem statistische Tests (wie sie in statistischen Abteilungen zu finden sind!) Mit der Komplexität von Schaltkreisen in Verbindung gebracht...
Ist bekannt, ob SPACE (n) (die Klasse von Sprachen, die von deterministischen TMs mit linearem Raum erkannt werden) eine geeignete Teilmenge von E ist (die Klasse von Sprachen, die von deterministischen TMs in der Zeit 2 ^ O (n) erkannt
Kennt jemand Arbeiten zur Spielesemantik für koinduktive Prädikate? Ein koinduktives Prädikat ist eines, bei dem das Prädikat selbst im Körper des Prädikats aufgerufen wird, und wir nehmen die Bedeutung des Prädikats als den größten Fixpunkt der zugrunde liegenden Definition. Ein solches Prädikat...
In der Arbeit Relativierungen des P =? NP Question , Baker et al. zeigten, dass es relativierte Welten gibt, in denen entweder P = NP oder P ≠ NP gilt. Alle Orakel in ihren Einstellungen waren rekursive Mengen. In einer anderen Arbeit in Bezug auf ein zufälliges Orakel , P A ≠ N P A ≠ co- N P A mit...
(Ich bin mitten in meinem ersten theoretischen CSS-Kurs, also entschuldige ich mich im Voraus für die wahrscheinlich dumme Frage.) Wir sagen also, dass eine Sprache L in P ist, was bedeutet, dass eine Turing-Maschine konstruiert werden kann, die eine 1 ausgibt, wenn x in L ist und andernfalls 0;...
Ich möchte den Status der unteren Untergrenze für die Lösung des Konnektivitätsproblems im Stream in Durchgängen überprüfen . Das wurde in der Literatur angegeben, scheint aber für ein etwas anderes Problem zu sein. Habe ich etwas verpasst? Details unten. Ω ( n / p )pppΩ ( n / p )Ω(n/p)\Omega(n/p)...
Ein Quine ist ein Computerprogramm, das als einzige Ausgabe eine Kopie seines eigenen Quellcodes erstellt. Gibt es ein Quine-Programm, das sich n-mal ausdrucken könnte, wobei n auf irgendeine Weise im Programm angegeben
Angenommen, wir haben einen Multigraph (später einen Multihypergraphen). Eine Kantenclique ist eine Reihe von Kanten, die sich alle paarweise schneiden (mindestens einen gemeinsamen Scheitelpunkt haben). Dann fällt jede Kantenclique in einem Multigraph immer in eine von zwei Kategorien:C.CC Ein...
Bei einem Turnier bei dem und zwei azyklische Unterturniere von .S 1 S 2 T.T.TTS.1S1S_1S.2S2S_2T.TT Ist das folgende Problem NP-Complete: Finden eines maximalen azyklischen Subturniers , das Teilmenge von ?S 1 ∪ S 2S.SSS.1∪ S.2S1∪S2S_1 \cup S_2 Kann das gegebene Problem in Polynomzeit gelöst...
Der Versuch, die optimale Lösung für WEIGHTED-MAX-3SAT, die gewichtete Version des 3-SAT-Optimierungsproblems, zu finden, ist NP-schwer. Tatsächlich ist es nach dem PCP-Theorem nachweislich NP-schwer, die nicht gewichtete Version von MAX-SAT willkürlich gut zu approximieren. Ein kanonischer...
Ein Verweis auf Techniken zum Nachweis, dass die Größe einer Integritätslücke durch einen Ausdruck für eine bestimmte LP (oder SDP, aber weniger wichtig) begrenzt ist, ist erforderlich. Es wäre auch schön, einen Verweis auf einen Ort zu haben, an dem Techniken zur Minimierung von Integritätslücken...
Ich möchte die VC-Dimension eines Bereichsraums der wie folgt aufgebaut ist:( X., R )(X,R)(X,\mathcal{R}) { ( x , y , z ) ∈ R 3 | x 2 + y 2 ≤ 1 }X.XX ist der Zylinder {(x,y,z)∈R3|x2+y2≤1}{(x,y,z)∈R3|x2+y2≤1}\{(x,y,z)\in\mathbb{R}^3|x^2+y^2\leq 1\} Die Bereiche in werden gebildet, indem die...
Die Phrasen: Der schnelle Braunfuchs springt über den faulen Hund [A] und Der schnelle braune Fuchs springt über den faulen Hund [B] kann unter Verwendung des Levenshtein-Entfernungsalgorithmus verglichen werden, um die Ähnlichkeit zu bestimmen, indem die minimale Anzahl von Hinzufügungen,...
Wir wissen, dass alle Push-Down-Automaten mit kontextfreien Grammatiken darstellbar sind. Darüber hinaus gibt es einen Algorithmus zum Erstellen eines CFG aus einem beliebigen PDA (z. B. Sipsers Beweis im Intro zur Theorie der Berechnung). Gibt es Tools für diese Übersetzung? Das heißt, ich kann...
Betrachten Sie die folgenden zwei Algorithmen für die Suche in einem sortierten Array von nnn Elementen: A) parallel simulierte Interpolationssuche und binäre Suche und B) Durchsuchen abwechselnder Interpolationsschritte und binärer Schritte. Beide Algorithmen haben eine Worst-Case-Komplexität von...