SAT-Löser bieten eine leistungsstarke Möglichkeit, die Gültigkeit einer Booleschen Formel mit einem Quantifizierer zu überprüfen. Zum Beispiel, um die Gültigkeit von zu überprüfen . φ ( x ) können wir einen SAT-Löser verwenden, um zu bestimmen, ob φ ( x ) erfüllt werden kann. Überprüfung der...
Was sind einige nicht-triviale Probleme, bei denen wir wissen, dass der derzeitige Algorithmus der asymptotisch optimale ist? (Für Turingmaschinen) Und wie ist das
Gibt es einen linearen Time-In-Place-Riffle-Shuffle-Algorithmus? Dies ist der Algorithmus, den einige besonders geschickte Hände ausführen können: Ein Eingangsarray mit gerader Größe wird gleichmäßig aufgeteilt und die Elemente der beiden Hälften werden verschachtelt. Mathworld hat eine kurze Seite...
Betrachten Sie das folgende Problem: Wenn ein Abfragegraph und ein Referenzgraph , möchten wir die injektive Abbildung , die die Anzahl von minimiert Kanten so dass . Dies ist eine Verallgemeinerung des Subgraphen-Isomorphismus-Problems, bei dem wir zulassen, dass die Subgraphen bis zu einigen...
Ich frage mich, wie man den Umfang eines spärlichen ungerichteten Graphen findet. Mit spärlich meine ich . Mit optimal meine ich die geringste zeitliche Komplexität.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Ich dachte über eine Modifikation von Tarjans Algorithmus für ungerichtete Graphen nach, fand aber...
Gegeben als Eingabe eine ganze Zahl nnn und ein Satz SSS von Sätzen von Elementen von {1,...,n}{1,...,n}\{1, ..., n\} , was die Komplexität einen Satz zu finden , TTT von Elementen von {1,...,n}{1,...,n}\{1, ..., n\} so, dass TTT eine minimale Kardinalität hat und TTT in keiner der Mengen von SSS ?...
Ich habe ernsthafte Probleme, einen Schritt in der Arbeit von Dobkin und Kirkpatrick über die Trennung von Polyedern zu verstehen. Ich versuche diese Version zu verstehen: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Es wird argumentiert, dass wir, nachdem wir...
Ich interessiere mich für Graphen auf nnn Eckpunkten, die nach folgendem Verfahren erzeugt werden können. Beginnen Sie mit einem beliebigen Graphen auf k ≤ n Ecken. Beschriften Sie alle Eckpunkte in G als nicht verwendet .GGGk ≤ nk≤nk\le nGGG Erstellen Sie einen neuen Graphen indem Sie einen neuen...
Ich habe eine Implementierung des Kuhn-Munkres-Algorithmus für das zweigliedrige Problem der perfekten Anpassung mit minimalem Gewicht geschrieben, basierend auf Vorlesungsnotizen, die ich hier und da im Internet gefunden habe. Es funktioniert wirklich gut, auch auf Tausenden von Eckpunkten. Und...
Ich implementiere einen Teil des Systems, für den Hilfe erforderlich ist. Ich gestalte es daher als Grafikproblem, um es domänenunabhängig zu machen. Problem: Wir erhalten den gerichteten azyklischen Graphen . Ohne Einschränkung der Allgemeinheit wird angenommen, dass G genau einen...
In ihrer Arbeit Approximate Distance Oracles zeigten Thorup und Zwick, dass es möglich ist, für jeden gewichteten ungerichteten Graphen eine Datenstruktur der Größe zu konstruieren , die ein ( 2 k - 1 ) -Näherungswert liefert Abstand zwischen zwei Scheitelpunkten im Diagramm.O ( k n1 + 1 /...
Wir wissen, dass Kargers Mincut-Algorithmus verwendet werden kann, um (auf nicht konstruktive Weise) zu beweisen, dass die maximale Anzahl möglicher Mincuts, die ein Graph haben kann, .( n2)(n2)n \choose 2 Ich habe mich gefragt, ob wir diese Identität irgendwie beweisen können, indem wir einen...
Konstante Zeit ist die absolut niedrige Komplexität der Endzeit. Man mag sich fragen: Gibt es etwas Nichttriviales, das in konstanter Zeit berechnet werden kann? Wenn wir uns an das Modell der Turingmaschine halten, kann nicht viel getan werden, da die Antwort nur von einem Anfangssegment...
Ich erinnere mich an eine Studie oder einen Artikel vor einiger Zeit, in dem behauptet wurde, dass der größte Teil der in Computerprogrammen in den letzten Jahrzehnten beobachteten Beschleunigung auf besseren Algorithmen und nicht auf schnellerer Hardware beruht. Kennt jemand die Studie oder den...
Ich habe diese Frage bereits beim Stackoverflow gestellt , aber vielleicht ist sie besser für diese Site geeignet. Das Problem ist: Ich habe N Paare von vorzeichenlosen ganzen Zahlen. Ich muss sie sortieren. Der Endvektor von Paaren sollte nicht absteigend nach der ersten Zahl in jedem Paar und...
Welcher Algorithmus berechnet bei einer Matrix ( m ≥ n vorausgesetzt ) am schnellsten den Rang und die Basis der Spalten?m×nm×nm \times nm≥nm≥nm \ge n Mir ist bewusst, dass es durch eine lineare Überschneidung der Matroiden gelöst werden kann, die einen -Zeit- deterministischen Algorithmus und...
Sei G ein ungerichteter Graph mit n Knoten und sei T eine Knotenuntermenge von V (G), die Terminals genannt wird . Ein Entfernungsbewahrer von (G, T) ist ein Graph H, der die Eigenschaft erfüllt dH(u,v)=dG(u,v)dH(u,v)=dG(u,v)d_H(u,v) = d_G(u,v) für alle Knoten u, v in T. (Beachten Sie, dass H NICHT...
Ich bin an der Implementierung von SM für LP-Aufgaben interessiert, habe jedoch von möglichen Fallstricken gehört: Cormens Buch sagt, dass es möglich ist, Eingabedaten zu haben, die eine naive Implementierung dazu bringen, sich in exponentieller Zeit zu verhalten. Ich habe auch gehört, dass naive...
Gibt es etwas über das folgende Problem bekannt? Macht es überhaupt Sinn? Wie heißt es? Entspricht es trivial einem anderen Problem? Was ist die zeitliche Komplexität? Finden Sie bei einem ungerichteten (allgemein / planar / begrenzt / usw.) Graphen G = (V, E) eine maximale Teilmenge von Kanten E...
Ich bereite einige Kursmaterialien zu Heuristiken für die Optimierung vor und beschäftige mich mit Methoden der Koordinatenabnahme. Die Einstellung ist hier eine multivariate Funktion , die Sie optimieren möchten. die Eigenschaft auf eine einzelne Variable beschränkt ist, ist die Optimierung...