constraint-programming

6Hitze

2Antwort

Choco erzwingt eine Variable auf True, wenn es nicht sollte

Ich bin völlig neu in Choco und CP, aber ich mache ein kleines Modell, um das Steiner-Baum-Problem zu lösen, und Choco zwingt den ersten Knoten, unabhängig vom Graphen wahr zu sein ist (und es ist nic

6Hitze

1Antwort

Setup-Zeit mit Kumulativen ausdrücken

Es gibt viele Familien von Planungsproblemen. Ich untersuche ein Problem, wo Ich habe Familien von Jobs/Aufgaben, wo der Übergang von einer Familie zu einer anderen Familie erfordern Neukonfiguration

1Hitze

2Antwort

Constraints Programmierung in Java

Wie entwickelt man eine effiziente Job-Scheduling mit Einschränkungen? sollte der Planer diese Methoden sind: startBeforeEndOf(Job j) startAfterEndOf(Job j) startBeforeStartOf(Job j) startAfterStar

8Hitze

1Antwort

Was ist der Vorteil von SMT-Solver gegenüber CSP-Solver bei der Constraint-Lösung?

SMT-Solver kann zum Lösen von Abhängigkeiten verwendet werden. Wie wir wissen, sind CSP Solver auch für Constraint-Lösung für viele Jahre. Was ist der Vorteil von SMT-Solver gegenüber CSP-Solvern?

5Hitze

2Antwort

Constraint-Programmierung in PHP

Gibt es Constraint-Programmierbibliotheken für PHP? Etwas, das in der Lage wäre, eine Situation wie this zu behandeln.

7Hitze

2Antwort

Lösung "Feed the Golorp" Puzzle in Prolog

Vor einiger Zeit habe ich ein Problem für den Codeforces April Fools Day Wettbewerb 2014 - "Feed the Golorp": http://codeforces.com/contest/409/problem/I erstellt. Bitte lesen Sie die Problembeschreib

0Hitze

1Antwort

Choco Solver ICF Einschränkung, um den Abstand zwischen min und max Variable in einem Array zu definieren

Ich habe eine Reihe von Choco Solver IntVar Variablen, sagen wir, X1, X2, ..., Xn. Ich muss eine Einschränkung definieren, die die Regel erzwingt - der Abstand (absolute Differenz) zwischen der minima

0Hitze

1Antwort

Choco Solver ICF-Einschränkung, um die Standardabweichung eines IntVar-Arrays innerhalb der Grenze zu definieren

Angenommen, ich habe ein IntVar-Array int n = 10; IntVar [] x = VariableFactory.boundedArray ("x", n, 0, 100, Solver); Ich muss eine Einschränkung definieren, die die Standardabweichung (kann eine Zah

5Hitze

2Antwort

Multi-Sudoku AI Ansatz

Ich bin ein Solver für eine Variante von Sudoku Konzeptualisierung genannt Multi-Sudoku, wo mehrere Karten überlappen etwa so: Wenn ich das Spiel richtig verstehen , müssen Sie jedes Gitter so lösen,

5Hitze

1Antwort

Unterstützt OptaPlanner Optimierungen und Einschränkungen für kontinuierliche Variablen?

Ich lese widersprüchliche Dinge in der Dokumentation. Auf der einen Seite scheint diese Stelle, um anzuzeigen, dass eine kontinuierliche Planung Variablen sind möglich: Ein Planungswertebereich ist di