Als «backtracking» getaggte Fragen

Konfliktgesteuerte Klausel Lernen der Klärung von Backtracking

Auf der Wikipedia-Seite hier wird der CDCL-Algorithmus ziemlich gut beschrieben (und es scheint, dass die Bilder von Folien stammen, die von Sharad Malik in Princeton erstellt wurden). Bei der Beschreibung des Zurückverfolgens heißt es jedoch nur "zum richtigen Punkt". MiniSAT verwendet auch eine Variante des CDCL-Algorithmus, daher habe ich dieses …

9 machine-learning satisfiability sat-solvers backtracking

Verzweigen und binden für minimale lineare Anordnung

Ich versuche, dieses Problem zu lösen, aber ich konnte keine ungefähre Kostenfunktion finden, die besser ist als die Kosten. Angenommen, ist ein Graph von n Knoten \ {1, 2, 3, \ ldots, n \} . Für eine Permutation f des Knoten von G , das Gewicht jeder Kante (x, y) …

7 algorithms graph-theory optimization backtracking branch-and-bound

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.

Licensed under cc by-sa 3.0 with attribution required.