Ich suche nach einer Datenstruktur, die im Grunde genommen ein Baum von Karten ist, in der die Karte an jedem Knoten einige neue Elemente sowie die Elemente in der Karte des übergeordneten Knotens enthält. Mit map meine ich hier eine Programmierkarte mit Schlüsseln und Werten, wie map in der STL...
Zuerst auf math.SE ohne Antworten gefragt . Angenommen, ich habe ein planares Diagramm mit einer planaren Einbettung. Wie finde ich die Baumzerlegung? Was ist die optimale Baumzerlegung eines by- d- Quadratgitters? Nicht ganz sicher, wie man "optimal" definiert, aber es sollte zwischen Zersetzung...
Ist das folgende Entscheidungsproblem NP-vollständig: Sei ein ungerichteter Graph und b ≤ c zwei ganze Zahlen. Ist es möglich, für jeden Scheitelpunkt von G genau b verschiedene Nachbarn auszuwählen, so dass kein Knoten mehr als c- mal ausgewählt wird.GGGb ≤ cb≤cb \le cGGGbbbccc Der Fall kann für...
Wie können Sie eine Partei zwingen, ehrlich zu sein (Protokollregeln befolgen)? Ich habe einige Mechanismen wie Verpflichtungen, Beweise usw. gesehen, aber sie scheinen einfach nicht das ganze Problem zu lösen. Es scheint mir, dass die Struktur des Protokolldesigns und solche Mechanismen die...
Ich frage mich, ob es irgendwelche Ansätze gibt, die ein Fahrzeugroutenproblem mit Zeitfenstern ( VRPTW ) (als Entscheidungsproblem) als SAT / SMT-Instanz formulieren . (Alternative: TSP) Zum Beispiel: "Gibt es eine gültige Lösung, die alle Kunden innerhalb ihrer Zeitfenster mit n = 10 Fahrzeugen...
Als ich " Ein dynamischer Programmieransatz für Sequenzierungsprobleme " von Michael Held und Richard M. Karp durchgesehen habe , stellte ich die folgende Frage: Warum ist die Komplexität ihres Algorithmus für TSP (S. 199), ich meine, woher nehmen sie den Faktor k ? Wenn ich richtig verstanden...
Kurz gesagt : Können wir unter der Annahme , dass Einwegpermutationen existieren, eine konstruieren, die keine Falltür hat? Mehr Info: Eine Einweg-Permutation ist eine Permutation die einfach zu berechnen, aber schwer zu invertieren ist ( eine formellere Definition finden Sie im...
Als Folge meiner vorherigen Frage , die von Hsien-Chih Chang gelöst wurde, ist hier ein weiterer Versuch, eine angemessene Verallgemeinerung von Ramseys Theorem zu finden. (Sie müssen die vorherige Frage nicht lesen. Dieser Beitrag ist in sich geschlossen.) Parameter: Es werden ganze Zahlen...
Sei eine Menge von dimensionalen rechteckigen Formen. Für und , beschreibt die Länge von in der Dimension . Die gleiche Notation wird für den Container . Das dimensionale orthogonale Packungsproblem (OPP- ) besteht darin, zu entscheiden, ob ohne Überlappung in den Behälter passt . Formal besteht...
Aus dem Satz von Rice folgt, dass Sie nicht bestimmen können, ob zwei Turing-Maschinen dieselbe Sprache entscheiden oder nicht. Meine Frage lautet: Gilt dies auch für beschreibende Komplexitätseinstellungen, insbesondere wenn zwei SO-Horn-Abfragen getestet werden sollen, um festzustellen, ob sie...
Für ein Projekt, an dem ich arbeite, sollte ich zufällige Spannbäume mit begrenzter Höhe generieren. Grundsätzlich mache ich Folgendes: 1) Generiere einen Spanning Tree 2) Überprüfe die Machbarkeit, wenn machbar, behalte sie. 1) Ausgehend von einem minimalen Spannbaum (Prims oder Kruskals) füge ich...
Es fiel mir schwer, einen Algorithmus zu finden oder Artikel über die Triangulation von sich selbst schneidenden Polygonen (auch Polygone mit Lochstruktur) zu veröffentlichen. Kann mich bitte jemand anleiten, veröffentlichte Artikel / Algorithmen zu finden? PS: Jemand markiert diese Frage bitte...
Ich würde gerne wissen, wo ich mich für eine gute, sanfte Einführung in k-SAT wenden kann (dies kann für Mathematiker sein, die möglicherweise keinen guten Informatik-Hintergrund haben). Ich würde auch gerne Artikel kennenlernen, die möglicherweise aktuelle Methoden zur Lösung von k-SAT untersuchen...
Ich beziehe mich hier auf die Frage: Leistungsstarke Algorithmen, die zu komplex sind, um sie zu implementieren . Wenn ein Algorithmus leistungsfähig, aber zu komplex für die Implementierung ist, wie können Sie sicher sein, dass der Algorithmus korrekt ist? Ohne Implementierung können Sie den...
Nach meiner Erfahrung werden kontextsensitive Sprachen und linear begrenzte Automaten in Kursen zur Berechenbarkeitstheorie häufig übersprungen oder übersprungen und sogar in einigen bemerkenswerten Lehrbüchern weggelassen, obwohl endliche und Pushdown-Automaten viel Aufmerksamkeit erhalten....
Dies ist ein Beitrag, der von den Konsequenzen von UP gleich NP getrennt ist , und auch eine Folgefrage zu semantischen vs. syntaktischen Komplexitätsklassen . Im obigen Beitrag haben wir etwas über die semantischen und syntaktischen Klassen gelernt . Kurz gesagt, wenn eine Klasse als...
Vor kurzem hat Craig Gentry das erste Verschlüsselungsschema für öffentliche Schlüssel (über Klartextraum {0,1}) veröffentlicht, das vollständig homomorph ist. Dies bedeutet, dass AND und XOR in verschlüsselten Klartexten ohne Kenntnis des geheimen Entschlüsselungsschlüssels effizient und kompakt...
Bekannte Beispiele für Berechnungen, die von Naturphänomenen inspiriert sind, sind Quantencomputer und DNA-Computer. Was ist über das Potenzial und / oder die Einschränkungen des Rechnens mit Maxwells Gesetzen oder der Schwerkraft bekannt? Das heißt, die "schnellen" Lösungen der Natur für Maxwells...
Wie Sie alle wissen, fällt die Finanzkrise von 2008 immer wieder aus. Ich habe darüber nachgedacht, wie die Komplexitätstheorie in all dies passt, als mir klar wurde, dass ich die grundlegenden Komplexitätsklassen in Bezug auf Finanzökonomie nicht kenne. Meine Frage ist also, wie die...
Gibt es Permutationen und Polynomgröße (in ) kontextfreie Grammatik, die die endliche Sprache über Alphabet ?| w | = n { w π 1 ( w ) π 2 ( w ) } { 0 , 1 }π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} UPDATE: Für eine Permutation es möglich....