Fárys Theorem besagt, dass ein einfacher planarer Graph ohne Kreuzungen gezeichnet werden kann, so dass jede Kante ein gerades Liniensegment ist. Meine Frage ist, ob es einen analogen Satz für Graphen mit begrenzter Kreuzungszahl gibt . Können wir insbesondere sagen, dass ein einfacher Graph mit...
In der Entscheidungsbaumkomplexität einer Booleschen Funktion besteht eine sehr bekannte Methode der unteren Grenze darin, ein (ungefähres) Polynom zu finden, das die Funktion darstellt. Paturi gab eine Charakterisierung für symmetrische boolesche (Teil- und Gesamt-) Funktionen in Form einer mit...
Diese Frage stellte sich im Zusammenhang mit der Kryptographie, aber ich werde sie im Folgenden in Bezug auf die Komplexitätstheorie vorstellen, da die Menschen hier mit letzterer besser vertraut sind. Diese Frage bezieht sich auf Probleme in NP, jedoch nicht auf Average-P / Poly und Beating...
Ich war fasziniert von der außergewöhnlichen Explosion in der geglätteten Analyse und wurde von einer Behauptung in der Arbeit Smoothed Analysis of Integer Programming beeindruckt . Dies besagt, dass die ganzzahlige lineare Programmierung in geglättetem P ist, wenn sie polynomiell begrenzt ist....
Betrachten Sie einen Hilbert-Raum . Eine nicht erweiterbare Produktbasis (UPB) ist eine Menge von Produktvektoren so dass:H.= H.1⊗ ⋯ ⊗ H.nH.=H.1⊗⋯⊗H.nH = H_1 \otimes \dots \otimes H_n| vich⟩ = | v1ich⟩ ⊗ ⋯ ⊗ | vnich⟩|vich⟩=|vich1⟩⊗⋯⊗|vichn⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots...
Definieren Sie das Rechenmodell MPostBQP so, dass es mit PostBQP identisch ist, außer dass wir vor der Nachauswahl und der endgültigen Messung polynomiell viele Qubit-Messungen zulassen. Können wir Hinweise darauf geben, dass MPostBQP leistungsfähiger als PostBQP ist? Definieren Sie MPostBQP [k],...
Ich habe einen Graphen der nur aus Sterngraphen besteht. Ein Sterngraph besteht aus einem zentralen Knoten mit Kanten zu jedem anderen Knoten darin. Sei H 1 , H 2 , … , H n verschiedene Sterngraphen unterschiedlicher Größe, die in G vorhanden sind . Wir nennen die Menge aller Knoten, die Zentren in...
Hier ist ein Problem, das mich schon eine Weile nervt. Angenommen, eine Zeichenfolge ist eine Folge von 1s und 0s, und eine Platzhalterzeichenfolge ist eine Folge von 1, 0 und? S. Alle Zeichenfolgen und Platzhalterzeichenfolgen haben dieselbe Länge. Dies sind Standard-UNIX-Platzhalter. 10 ?? 1...
Ich frage mich, ob das folgende Problem einen Namen hat oder irgendwelche damit verbundenen Ergebnisse. Sei G=(V,w)G=(V,w)G = (V,w) ein gewichteter Graph, wobei das Gewicht der Kante zwischen und bezeichnet und für alle , . Das Problem besteht darin, eine Teilmenge von Eckpunkten zu finden, die die...
Da es Freitag ist, ist es Zeit für eine CW-Frage. Ich suche nach Heuristiken, die bei Optimierungsproblemen weit verbreitet sind. Um den Umfang auf "theoretisch freundlichere" Heuristiken zu beschränken, sind hier die Regeln (einige willkürlich, andere nicht). Es sollte eine genau definierte...
Es scheint, dass es in gängigen Abfragesprachen für relationale Datenbanken möglich ist, Abfragen zu erstellen, für deren Beantwortung viele Ressourcen erforderlich sind. In der Praxis verwalten Datenbankadministratoren dies, indem sie die Speichermenge pro Abfrage begrenzen und nach lang laufenden...
Wir haben eine Menge von Listen von Elementen aus der Menge . Jedes Element von wird in einer einzigen Liste in . Ich suche eine Datenstruktur, die die folgenden Aktualisierungen durchführen kann:LLLN={1,2,3,...,n}N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}NNNLLL concat(x,y)concat(x,y)concat(x, y) :...
Update: Es scheint, dass dieses Problem kürzlich untersucht und gelöst wurde. Siehe diesen Wiki-Artikel: http://en.wikipedia.org/wiki/Tree_walking_automaton Und auch diese Umfrage: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Angenommen, anstelle der üblichen Wortgruppe {0,1} * sind unsere...
Eines der Hauptprobleme bei der Aufzählung von Graphen ist die Bestimmung der "Form" eines Graphen, z. B. der Isomorphismusklasse eines bestimmten Graphen. Mir ist völlig bewusst, dass jeder Graph als symmetrische Matrix dargestellt werden kann. Um die Form zu erhalten, benötigen Sie jedoch eine...
Auch wenn es kein entscheidender Punkt ist, sehe ich keine Literatur zu dieser Frage. Gibt es Relativierungsergebnisse? Wäre es nicht ganz einfach, eine strikte Einbeziehung durch Anpassung des nicht deterministischen Zeithierarchiesatzes zu beweisen, indem alle möglichen Pfade der NP-Maschine...
Ich habe mich gefragt, ob die Reihenfolge der induktiven Deklarationen von Bedeutung sein kann. In Coq können Sie beispielsweise Folgendes definieren Nat: Inductive Nat := | O : Nat | S : Nat -> Nat. oder Inductive Nat := | S : Nat -> Nat | O : Nat. Dies wird möglicherweise die Reihenfolge...
In einigen Forschungsbereichen in CS haben wir einige sehr interessante Ergebnisse erzielt. Jetzt denken wir darüber nach, sie zu veröffentlichen. In der Gruppe, die wir sind, besteht die Philosophie darin, sofort kleine Dinge in Konferenzbeiträgen zu veröffentlichen, was in Ordnung, aber nicht das...
Definieren Sie ein Netz in 3D als zusammenhängende Sammlung von Tetraedern mit disjunkten Innenräumen (Tetraeder teilen also nur k-Flächen, ). Gibt es bei einem beliebigen Graphen ein effizientes Verfahren, um zu testen, ob es als Netz eingebettet werden kann?k ≤ 2k≤2k \le 2 Hier ist eine...
Ich würde mich über Hinweise oder Begriffe freuen, die mich in die richtige Richtung führen könnten. Wir haben einen gerichteten Graphen und Längen l i j für jede Kante i j , die als positiv angenommen werden können. Es gibt einen speziellen Startknoten s und einen speziellen Endknoten t...
Da keine Antwort gegeben wurde, wurde ein Flag gesetzt, das die Konvertierung dieser Frage in ein Community-Wiki anfordert. Die Kommentare von Aaron Sterling, Sasho Nikolov und Vor wurden in der folgenden Entschließung zusammengefasst, die für Community-Wiki-Diskussionen offen ist: Behoben: In...