Als «complexity-theory» getaggte Fragen

Fragen zur (rechnerischen) Komplexität der Problemlösung

1
Zeigen, dass das minimale Löschen von Scheitelpunkten in einem zweigeteilten Diagramm NP-vollständig ist
Betrachten Sie das folgende Problem, dessen Eingabeinstanz ein einfacher Graph und eine natürliche ganze Zahl .GGGkkk Gibt es eine Menge so dass zweigeteilt ist und ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Ich möchte zeigen, dass dieses Problem ist -komplette entweder durch 3-SAT, wodurch -CLIQUE, -DOMINATING SET oder -eckiges COVER …
1
Mathe für TCS-Hauptfach
Ich suche ein Hauptfach in Theoretischer Informatik; Insbesondere interessiere ich mich für Komplexitätstheorie und probabilistische Automatentheorie. Welche fortgeschrittenen Kurse in Mathematik (wie zum Beispiel Galois-Theorie oder Harmonische Analyse) halten Sie nach meinem Abschluss in einem Jahr für nützlich, um die nächsten zwei Semester zu übernehmen? Warum?
1
Beweisen Sie, dass eine in T (n) von einer RAM-Maschine berechenbare Boolesche Funktion in DTIME (T (n) ^ 2) ist.
Die Frage ist Übung 1.9 aus Arora-Baraks Buch Computational Complexity - A Modern Approach : Definieren Sie eine RAM-Turing-Maschine als Turing-Maschine mit Direktzugriffsspeicher. Wir formalisieren dies wie folgt: Die Maschine hat ein unendliches Array A, das für alle Leerzeichen initialisiert wird. Es greift wie folgt auf dieses Array zu. Eines …
2
NP-Vollständigkeit eines Diagrammfärbungsproblems
Alternative Formulierung Ich habe eine alternative Formulierung zum folgenden Problem gefunden. Die alternative Formulierung ist eigentlich ein Sonderfall des unten aufgeführten Problems und verwendet zweigeteilte Diagramme, um das Problem zu beschreiben. Ich glaube jedoch, dass die alternative Formulierung immer noch NP-hart ist. Die alternative Formulierung verwendet einen disjunkten Satz eingehender …
1
Wie kann man beweisen, dass eine eingeschränkte Version von 3SAT, in der kein Literal mehr als einmal vorkommen kann, in Polynomzeit lösbar ist?
Ich versuche, eine Aufgabe zu erarbeiten (entnommen aus dem Buch Algorithmen - von S. Dasgupta, CH Papadimitriou und UV Vazirani , Kapitel 8, Problem 8.6a), und paraphrasiere, was darin steht: Angesichts der Tatsache, dass 3SAT auch dann NP-vollständig bleibt, wenn es auf Formeln beschränkt ist, in denen jedes Literal höchstens …
1
Warum sind P und P / Poly nicht trivial gleich?
Die Definition von P ist eine Sprache, die durch einen Polynomzeitalgorithmus bestimmt werden kann. Unter der Definition von P / Poly kann eine Sprache verstanden werden, die von einer Schaltung mit Polynomgröße bestimmt werden kann (siehe http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Warum kann eine polynomgroße Schaltung nicht in Polynomzeit simuliert werden?
4
Eine Sprache in NSPACE (O (n)) und sehr wahrscheinlich nicht in DSPACE (O (n))
Tatsächlich habe ich festgestellt, dass die Menge der kontextsensitiven Sprachen ( akzeptierte Sprachen) nicht so häufig diskutiert wird wie (reguläre Sprachen). oder (kontextfreie Sprachen). Und auch das offene Problem ist nicht so berühmt wie das "analoge" Problem: " ".CSLCSL\mathbf{CSL}=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA}REGREG\mathbf{REG}CFLCFL\mathbf{CFL}DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))}P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP} Gibt es wirklich eine solche …
1
Warum ist diese Funktion in
In meinem Lehrbuch heißt es: "Wir definieren die Funktion wie folgt: und . Beachten Sie, dass wir bei gegebener leicht in Zeit die Zahl so dass zwischen und . "f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N}f(1)=2f(1)=2f(1)=2f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}nnnO(n1.5)O(n1.5)O(n^{1.5})iiinnnf(i)f(i)f(i)f(i+1)f(i+1)f(i+1) Wie kann ich mich davon überzeugen, dass wir tatsächlich in Zeit leicht finden können? Da rekursiv definiert ist, müssen …
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.