Die Sprache der whileProgramme kann die rechnerisch aufzählbaren Funktionen ausdrücken. (Dies gilt auch dann, wenn die einzigen arithmetischen Operationen für Variablen beispielsweise Inkrementierung und Dekrementierung sind.) Wenn whiledurch ersetzt wird forund Schleifen immer begrenzt werden,...
Welche Anwendungen der modularen Graphzerlegung gibt es in der TCS / Komplexitätstheorie? Ich bin besonders an seiner Verwendung in Proofs oder oberen / unteren Grenzen interessiert, wenn es auftritt. [1] Modulare Graphzerlegung , Wikipedia. [2] Referenzen für modulare Zerlegung ,...
Während ich ein Problem in der algorithmischen Spieltheorie studierte, interessierte ich mich für die Komplexität der folgenden Optimierungsfrage: Problem Gegeben: Bodenmenge gegeben durch ,nU.= [ n ] = { 1 , … , n }U=[n]={1,…,n}U = [n] = \{1,\ldots,n\}nnn mmm Ranglisten als Gesamtbestellungen...
Ich habe das berühmte Buch von Alon und Spencer über die probabilistische Methode in der Kombinatorik gelesen. Gibt es eine Umfrage oder Vorlesungsunterlagen zu den jüngsten Fortschritten und Beziehungen zu den folgenden komplexitätstheoretischen Themen dieser Methode über dieses Lehrbuch hinaus?...
Betrachten Sie jede Sprache . Definieren Sie s ( L ) ∈ { 0 , 1 } ω (eine unendliche Folge von Bits) durch die rekursive FormelLLLs(L)∈{0,1}ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s(L)n=χL(s(L)<n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{0:s(L, a)_{2n}=\chi_V(s(L,...
Dies ist durch meine vorherige Frage, Superpolynom-Zeitnäherungsalgorithmen für MAX-3SAT, motiviert . Für viele Optimierungsprobleme haben wir für jedes eine ungefähre Untergrenze Annahme einer weithin angenommenen komplexitätstheoretischen Vermutung. Mit anderen Worten, es gibt keinen...
Um Nicht-Mathematikern das P vs NP-Problem erklären zu können, hätte ich gerne ein pädagogisches Beispiel dafür, wann eine Brute-Force-Suche vermieden werden kann. Das Problem sollte im Idealfall sofort verständlich sein und der Trick sollte weder zu einfach noch zu schwer sein. Das Beste, was ich...
In der Arbeit "Effiziente CNF-Codierung zur Auswahl von 1 aus N Objekten" stellen die Autoren ihre "Commander Variable" -Technik zur Codierung der Einschränkung vor und sprechen dann über das Pigeonhole-Problem. Da mein Fehler möglicherweise im Verständnis auf niedrigerer Ebene besteht, möchte ich...
Akzeptierte Antwort Scott Aaronsons Antwort wurde "akzeptiert" (hauptsächlich, weil es die einzige Antwort ist!) Zusammenfassung der Antwort in einem Satz Plausibel natürliche Verallgemeinerungen der Frage P gegen NP sind offensichtlich nicht einfacher zu lösen als P gegen NP selbst. Ein...
Während ich die Frage diskutiere, die ich hier gestellt habe , stoßen @NealYoung und ich auf ein anderes Problem, nämlich die Beurteilung der Komplexität des folgenden Problems: Bei einem verbundenen ungerichteten Graphen wird eine Teilmenge der Kanten mit maximaler Größe gefunden, sodass jeder...
Die Komplexitätstheorie scheint eher auf Entscheidungsproblemen als auf Funktionen zu beruhen. Wer hat dies zuerst eingeführt und was ist der Grund für diese Wahl? Zum Beispiel wird Edmonds 'Papier "Pfade, Bäume und Blumen" im Allgemeinen als Quelle des Begriffs " der die Menge der...
Definieren Sie das SAT-Problem: Gegeben sei , eine erfüllbare 3-CNF-Formel, und , eine 2-CNF-Formel ( und sind für dieselben Variablen definiert). Ist erfüllbar?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Was ist die Komplexität dieses Problems? (Wurde es schon einmal...
Mich interessiert, wie man beweist, dass ein Satz relativiert. Natürlich ist es einfach zu beweisen, dass ein Satz nicht relativiert, wie das Ergebnis von Baker-Gill-Solovay zeigt; aber wie kann man beweisen , dass ein Satz tut relativieren das heißt , dass es wahr relativ zu jedem Orakel ist? Gibt...
Beim Durchsuchen alter CStheory.se-Beiträge stieß ich auf einen faszinierenden Blog-Beitrag zum Problem der Matrixsterblichkeit . Sofern ich das Problem nicht falsch interpretiert habe, heißt es, dass bei einer endlichen Sammlung von 3 x 3 Matrizen mit ganzzahligen Einträgen für jeden Matrixwert...
Wie viele Kanten von müssen bei einem Diagramm mindestens gelöscht werden, um das Diagrammdreieck frei zu machen? Für mein ungeübtes Auge scheint dies ein schwieriges Problem zu sein.G.GGGGGG Ist bekannt, dass dieses Problem NP-vollständig ist? Was ist mit dem Analogon für orientierte Graphen (dh...
(Ich habe diese Frage vor zehn Tagen auf CS gepostet , seitdem keine Antwort mehr - also poste ich sie hier.) Jede CNF-Formel kann in Polynomzeit unter Verwendung neuer Variablen in eine 3-CNF-Formel umgewandelt werden. Es ist nicht immer möglich, wenn neue Variablen nicht zulässig sind (nehmen Sie...
Ich suche nach einer Referenz zum "Reduzieren" von Turing-Reduzierungen auf Mehrfachreduzierungen. Ich denke an eine Aussage der folgenden Form (ähnlich genug Aussagen würden mich auch befriedigen): Satz. Wenn , dann .A ≤ 2 f m B t tA ≤fT.B.A≤TfB\mathsf{A}\leq_T^f \mathsf{B}A≤2fmBttA≤m2fBtt\mathsf...
Was ist der schnellste bekannte Algorithmus zum Faktorisieren von Polynomen mit Variablen und Gesamtgrad ? Hier wächst und ist fest. Die meisten Arbeiten scheinen den Fall zu berücksichtigen, wenn wächst und fest ist. Ich interessiere mich für Ergebnisse sowohl über endliche Felder als auch über...
Eine Möglichkeit, NP coNP zu beweisen, besteht darin, zu zeigen, dass es für jedes in Polynomzeit berechenbare Aussagenbeweissystem eine Familie von Tautologien gibt, für die Superpolynombeweislängen erfordert (wobei die Länge der Tautologie nachgewiesen wird). Ergebnisse wie das von Haken und...
Gibt es ein natürliches vollständiges Graphproblem, das N P- vollständig bleibt, selbst wenn es auf eine in der Polynomzeit erkennbare Graphklasse beschränkt ist? Um degenerierte Fälle zu vermeiden, betrachten wir nur dichte Graphenklassen, in denen die Anzahl der nicht isomorphen ≤ n-...