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 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...
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 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...
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...
Ich bin daran interessiert, mehr über Cache-vergessene Algorithmen und Datenstrukturen zu erfahren, aber es gibt so viele Artikel, dass ich ehrlich gesagt nicht weiß, wo ich anfangen soll. Ich habe Prokups ursprüngliche These zu diesem Thema gefunden, was ein guter Ausgangspunkt zu sein scheint,...
Ich habe eine Familie linearer Programmierprobleme: Maximiere vorbehaltlich A x ≤ b , x ≥ 0 . Die Elemente von A , b und c sind nichtnegative ganze Zahlen, c streng positiv. ( x sollte auch ganzzahlig sein, aber darüber werde ich mich später Gedanken machen.)c′xc′xc' xAx≤bAx≤bA x\le...
Überall, wo ich über das dünnste Schnittproblem lese, heißt es nur, dass das Problem als NP- hart bekannt ist. Wo finde ich einen Beweis dafür? Welches bekannte NP- harte Problem reduziert sich auf das dünnste Schnittproblem? Ich konnte keinen Beweis in Vaziranis Buch "Approximationsalgorithmen"...
Für eine Anwendung zum maschinellen Lernen muss meine Gruppe den euklidischen Abstand zum ten nächsten Nachbarn in einer Menge X für jedes x ∈ ( X ∪ Y ) ⊂ R d (für d zwischen 5 und etwa 100 und | X | ≈ ) berechnen | Y | einige hundert bis einige Millionen). Wir verwenden derzeit entweder den...
Nehmen Sie einen Rahmen für die Kommunikationskomplexität an, in dem wir zwei Spieler A (Läuse) und B (ob) und einen R (eferee) haben. A und B kommunizieren nicht direkt miteinander. In jeder Kommunikationsrunde sendet jeder von ihnen eine Nachricht ( , ) an das R. R berechnet zwei Funktionen und...
Was ist das Stand der Technik über die Abfragekomplexität von richtigen PAC-Lern-2-DNF-Formeln mit Beispielabfragen und unter gleichmäßiger Verteilung ? Oder eine nicht triviale Bindung daran? Da ich mit Lerntheorie überhaupt nicht vertraut bin und diese Frage von einem anderen Bereich motiviert...
Im Zusammenhang mit einigen neueren Arbeiten haben wir eine Sprache definiert, die auf einer dreiwertigen Logik à la Kleene basiert, wobei für wahr, 0 für falsch und ⊥ für Fehler oder Nichtwissen steht . Um zu zeigen, dass unsere Sprache ausdrucksstark ist, wollten wir beweisen, dass wir eine Reihe...
Meine Frage ist etwas vage. Ich habe mich gefragt, ob (und wie) wir den Begriff der Baumbreite auf Packprobleme in Grafiken anwenden können. Ich würde mich über Erkenntnisse oder Referenzen früherer Forschungsarbeiten zu diesem Thema freuen (vorausgesetzt, es handelt sich um eine Beziehung). Vielen...
Fasziniert von Chris Presseys interessanter Frage zu elementar-rekursiven Funktionen , habe ich mehr untersucht und konnte im Internet keine Antwort auf diese Frage finden. Die elementaren rekursiven Funktionen entsprechen gut der exponentiellen Hierarchie
Das Folgende scheint mir eine natürliche Definition zu sein und ich frage mich, ob es irgendwo studiert wurde Betrachten Sie eine Reihe von Sprachen. Dann heißt K ⊂ { 0 , 1 } ω " X- überprüfbare Information", wenn L ∈ X st vorliegtX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1...
Ich interessiere mich für verifizierte Compiler, die in der Martin-Löf-Typentheorie formalisiert sind, dh Coq / Agda. Im Moment habe ich ein kleines Spielzeugbeispiel geschrieben. Damit kann ich beweisen, dass meine Optimierungen korrekt sind. Zum Beispiel können Additionen mit Null eliminiert...
Stellen Sie sich ein Problem vor, bei dem Sie ein 2D-Raster (z. B. ein Schachbrett) erhalten, in dem bestimmte Quadrate belegt sind, und Sie müssen die Mindestanzahl nicht überlappender Rechtecke beliebiger Größe wxh mit w = 1 oder h = 1 (dh "Quadrat" angeben Segmente ") so, dass alle nicht...