Der Coppersmith-Winograd-Algorithmus ist der asymptotisch schnellste bekannte Algorithmus zum Multiplizieren von zwei Quadratmatrizen. Die Laufzeit ihres Algorithmus ist , die bisher bekannteste. Was ist die Raumkomplexität dieses Algorithmus? Liegt es in ?O ( n 2,376 ) Θ ( n 2 )n × nn×nn \times nO...
Es ist bekannt, dass es NP-vollständig ist, um zu testen, ob ein Hamilton-Zyklus in einem 3-regulären Graphen existiert, auch wenn es planar (Garey, Johnson und Tarjan, SIAM J. Comput. 1976) oder bipartit (Akiyama, Nishizeki, und Saito, J. Inform. Proc. 1980) oder um zu testen, ob ein...
Es ist klar, dass jedes Problem, das im deterministischen Lograum ( ) entscheidbar ist, höchstens zur Polynomzeit ( P ) auftritt . Zwischen L und P gibt es eine Fülle von Komplexitätsklassen . Beispiele umfassen N L , L o g C F L , N C i , S A C i , A C i , S C i . Es wird allgemein angenommen ,...
Ich bin mir bewusst, dass dies eine sehr spezielle Frage ist, und ich bezweifle, dass sie von jedem beantwortet wird, der mit den Regeln der Magie noch nicht vertraut ist. Cross-posted zu Draw3Cards . Hier sind die umfassenden Regeln für das Spiel Magic: the Gathering . In dieser Frage finden Sie...
Es gibt eine reiche Literatur und mindestens ein sehr gutes Buch, in dem die bekannte Härte von Näherungsergebnissen für NP-harte Probleme im Zusammenhang mit multiplikativen Fehlern dargelegt ist (z. B. ist die 2-Näherung für die Vertex-Abdeckung unter der Annahme von UGC optimal). Dies schließt...
Ein Graph H ist ein Kern, wenn jeder Homomorphismus von H zu sich selbst eine Bijektion ist. Ein Teilgraph von G H ist ein Kern von G , wenn H ein Kern und es gibt einen Homomorphismus von G nach H ist http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Was ist der bekannteste exakte Algorithmus,...
Das Zählen der Anzahl perfekter Übereinstimmungen in einem zweigeteilten Graphen ist sofort auf die Berechnung der bleibenden Karte reduzierbar. Da sich das Finden einer perfekten Übereinstimmung in einem nicht bipartiten Graphen in NP befindet, gibt es eine gewisse Reduktion von nicht bipartiten...
Suchen Sie aus einer riesigen Datenbank mit zulässigen Wörtern (alphabetisch sortiert) und einem Wort das Wort aus der Datenbank, das dem angegebenen Wort in Bezug auf die Levenshtein-Entfernung am nächsten liegt. Der naive Ansatz besteht natürlich darin, einfach den Abstand zwischen dem...
Rekonstruktionsvermutung besagt, dass Graphen (mit mindestens drei Scheitelpunkten) eindeutig durch ihre gelöschten Scheitelpunkt-Untergraphen bestimmt werden. Diese Vermutung ist fünf Jahrzehnte alt. In der einschlägigen Literatur habe ich festgestellt, dass die folgenden Klassen von Diagrammen...
Stabiles Eheproblem: http://en.wikipedia.org/wiki/Stable_marriage_problem Mir ist bekannt, dass für eine SMP-Instanz neben der vom Gale-Shapley-Algorithmus zurückgegebenen viele andere stabile Ehen möglich sind. Wenn wir jedoch nur , die Anzahl der Männer / Frauen, erhalten, stellen wir die...
Typen und Programmiersprachen konzentrieren sich ziemlich stark auf Subtypisierung, aber soweit ich das beurteilen kann, scheint die Subtypisierung nicht besonders grundlegend zu sein. Gibt es bei der Subtypisierung mehr als bei abhängigen Typen? Das Arbeiten mit abhängigen Typen ist sicherlich...
Ich möchte einen ersten SAT-Löser machen. Ich kenne den SAT-Wettbewerb und die SAT-Konferenz, und es gibt einfach so viele Artikel zu diesem Thema. Ich bin ein Starter, ein überwältigter Starter. Wo soll ich anfangen Schließlich möchte ich den Stand der Technik vorantreiben. Ich möchte einen...
Bei Teilmengen von .S 1 , … , S n { 1 , … , d }nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Überprüfen Sie, ob es Mengen mit . (Wenn ja, finden Sie ein Beispiel, wenn nicht, sagen Sie einfach "nein".)Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Die triviale Lösung für dieses Problem...
Für jede Sprache über Σ * definieren L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . In Worten, L 1 / 2 besteht aus allen x für die eine ist y gleich lang , so daß x y ∈ L .LLLΣ∗Σ∗\Sigma^*L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|}...
In "Anforderung für die Quantenberechnung" fassen Bartlett und Sanders einige der bekannten Ergebnisse für die kontinuierliche variable Quantenberechnung in der folgenden Tabelle zusammen: Meine Frage ist dreifach: Kann die letzte Zelle neun Jahre später ausgefüllt werden? Wenn eine Spalte mit dem...
Es ist bekannt, dass es eine Rauschschwelle für die Quantenberechnung gibt, so dass unterhalb dieser Schwelle die Berechnung so codiert werden kann, dass sie mit begrenzter Wahrscheinlichkeit (mit höchstens polynomialem Rechenaufwand) das richtige Ergebnis liefert. Diese Schwelle hängt von der...
Dies hängt mit der Frage zusammen, ob die Mitgliederzahl der Zeugen für jede NP-Sprache bereits bekannt ist. Einige natürliche (-vollständige) Probleme haben Zeugen linearer Länge: eine befriedigende Zuordnung für S A T , eine Folge von Eckpunkten für H A M P A T H
Bearbeiten: Ich habe meine Einschränkung (2) zuerst falsch formuliert, sie ist jetzt korrigiert. Ich habe auch weitere Informationen und Beispiele hinzugefügt. Mit einigen Kollegen, die sich mit einer anderen algorithmischen Frage befassten, konnten wir unser Problem auf das folgende interessante...
BEARBEITEN (v2): Am Ende wurde ein Abschnitt hinzugefügt, der beschreibt, was ich über das Problem weiß. EDIT (v3): Diskussion zum Schwellenwert am Ende hinzugefügt. Frage Diese Frage ist hauptsächlich eine Referenzanfrage. Ich weiß nicht viel über das Problem. Ich möchte wissen, ob bereits an...
Welche Implikationen hätte ein Beweis der abc-Vermutung für tcs?