Als «polynomial-time» getaggte Fragen

2
Welche Klassen mathematischer Programme können in polynomialer Zeit genau oder ungefähr gelöst werden?
Ich bin ziemlich verwirrt von der Literatur zur kontinuierlichen Optimierung und der TCS-Literatur darüber, welche Arten von (kontinuierlichen) mathematischen Programmen (MPs) effizient gelöst werden können und welche nicht. Die Community für kontinuierliche Optimierung scheint zu behaupten, dass alle konvexen Programme effizient gelöst werden können, aber ich glaube, dass ihre Definition …
2
Gibt es einen polynomiellen Zeitalgorithmus, um zu bestimmen, ob die Spanne einer Reihe von Matrizen eine Permutationsmatrix enthält?
Ich möchte einen polynomiellen Zeitalgorithmus finden, der bestimmt, ob die Spanne einer gegebenen Menge von Matrizen eine Permutationsmatrix enthält. Wenn jemand weiß, ob dieses Problem von einer anderen Komplexitätsklasse ist, wäre das genauso hilfreich. EDIT: Ich habe diese Frage mit Linear Programming markiert, weil ich den starken Verdacht habe, dass …
1
Kann
Betrachten Sie die Sprache .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Es ist bekannt, dass von keiner sublogarithmisch-raumwechselnden Turing-Maschine (ATM) erkannt werden kann (Szepietowski, 1994) . (Es gibt einen Geldautomaten, der sublogarithmischen Raum für Mitglieder, aber nicht für alle Nichtmitglieder verwendet!)EQUALITYEQUALITY \mathtt{EQUALITY} Andererseits zeigte Freivalds (1981) , …
3
Wie schnell können wir ein völlig unimodulares ganzzahliges lineares Programm lösen?
(Dies ist ein Follow-up zu dieser Frage und ihrer Antwort .) Ich habe das folgende völlig unimodulare (TU) ganzzahlige lineare Programm (ILP). Hier sind alle positive ganze Zahlen, die als gegeben sind Teil der Eingabe. Eine angegebene Teilmenge der Variablen wird auf Null gesetzt, und der Rest kann positive Integralwerte …
6
Gibt es ein natürliches Problem in der Quasi-Polynom-Zeit, aber nicht in der Polynom-Zeit?
László Babai hat kürzlich bewiesen, dass das Graph-Isomorphismus-Problem in quasipolynomialer Zeit vorliegt . Siehe auch seinen Vortrag an der Universität von Chicago, Anmerkung aus den Vorträgen von Jeremy Kun GLL nach 1 , GLL nach 2 , GLL nach 3 . Nach Ladner Theorem, wenn P≠ NPP≠NPP \neq NP , …
5
Welche bemerkenswerten Automatenmodelle haben einen polynomisch entscheidbaren Einschluss?
Ich versuche, ein bestimmtes Problem zu lösen, und dachte, ich könnte es mithilfe der Automatentheorie lösen. Ich frage mich, welche Automatenmodelle haben eine Einschließung, die in der Polynomzeit entscheidbar ist? dh wenn Sie Maschinen , können Sie testen, ob effizient ist.M1, M2M1,M2M_1, M_2L ( M1) ⊆ L ( M2)L(M1)⊆L(M2)L(M_1) \subseteq …
2
Können wir bei einem 4-Zyklus-freien Graphen bestimmen, ob er in quadratischer Zeit einen 3-Zyklus hat?
Das Cycle-Problem ist wie folgt:kkk Instanz: Ein ungerichteter Graph mit Eckpunkten und bis zu Kanten.nGGGnnn(n2)(n2)n \choose 2 Frage: Gibt es in G ein (richtiges) Rad ?GkkkGGG Hintergrund: Für jedes feste kkk können wir 2k2k2k Zyklen in O (n ^ 2) lösen O(n2)O(n2)O(n^2). Raphael Yuster, Uri Zwick: Noch schneller zu geraden …
4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen: …
3
Enthält P Sprachen, deren Existenz unabhängig von PA oder ZFC ist? (TCS Community Wiki)
Antwort: nicht bekannt. Die gestellten Fragen sind natürlich, offen und anscheinend schwierig. die frage ist jetzt ein community wiki. Überblick Die Frage versucht, Sprachen der KomplexitätsklassePPP - zusammen mit den Entscheidungs-Turing-Maschinen (TMs), die diese Sprachen akzeptieren - in zwei komplementäre Unterklassen zu unterteilen: gnostische Sprachen und TMs (die validiert / …
2
Zählung der Anzahl zufriedenstellender Aufträge in einem POSITIVEN CNF-SAT
Wir kennen das Problem, die Anzahl der erfüllenden Zuordnungen in einer gegebenen allgemeinen Booleschen Formel (CNF-SAT), einer gegebenen DNF-Formel oder sogar einer gegebenen 2SAT-Formel zu zählen, als ein # P-vollständiges Problem. Betrachten Sie nun ein CNF-SAT ohne negatives Literal (no , immer ). Das Entscheidungsproblem ist sehr einfach (setzen Sie …
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.