Als «constraint-programming» getaggte Fragen

1
Wann ist SAT vs. Constraint Satisfaction anzuwenden?
Wenn ich ein schweres Problem habe, besteht ein Standardansatz darin, es als SAT-Instanz auszudrücken und einen SAT-Solver darauf auszuführen. Ein weiterer Standardansatz besteht darin, es als Problem der Einschränkungszufriedenheit auszudrücken und einen CSP-Löser zu verwenden. Die beiden fühlen sich irgendwie vage ähnlich, was Arten von Problemen angeht, die sich natürlich …
4
Können Constraint-Zufriedenheitsprobleme mit Prolog gelöst werden?
Ist „Partybesuch“ Art von Problemen auflösbar in Prolog? Beispielsweise: Klette Muldoon und Carlotta Pinkstone sagten beide, sie würden kommen, wenn Albus Dumbledore käme. Albus Dumbledore und Daisy Dodderidge sagten beide, sie würden kommen, wenn Carlotta Pinkstone käme. Albus Dumbledore, Burdock Muldoon und Carlotta Pinkstone sagten alle, sie würden kommen, wenn …
2
Ein vorläufiger Erfüllbarkeitsalgorithmus
Es wird nicht angenommen, dass die allgemeine Erfüllbarkeit (mit wenigen Ausnahmen wie Horn-Klauseln) eine algorithmische Lösung hat. Der folgende Algorithmus scheint jedoch eine Lösung für die allgemeine Erfüllbarkeit zu sein. Was genau ist der Fehler mit dem folgenden Algorithmus? Sei WWW eine leere Menge, die alle Variablen enthält, die notwendigerweise …
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.