constraint-programming

0Hitze

4Antwort

Lösen von gegenseitig rekursiven Bedingungen in Prolog

Ich versuche einige wechselseitig rekursive Bedingungen mit SWI-Prolog zu lösen. Diese Einschränkungen sind relativ einfach, aber die Abfrage jeder dieser Prädikate führt zu unendlicher Rekursion: %If

0Hitze

2Antwort

MiniZinc - Aufgabenplanung auf mehreren Einrichtungen - kumulativ ‚var opt error‘

Ich bin neu in MiniZinc und ich habe Probleme mit einer Implementierung der folgenden CP Formulierung (vollständige Formulierung des Problems kann here (page 4/16) zu finden) Meine Implementierung sch

0Hitze

1Antwort

Choco Solver Constraint/Variable Definition

Ich versuche, ein Minizinc-Modell in Schokolade zu portieren. Ich weiß, wie man Variablen und andere grundlegende Dinge definiert, aber obwohl ich das Tutorial und einige Codebeispiele gelesen habe, h

3Hitze

2Antwort

Set Partitionierung

Ich versuche, ein gutes Verständnis mit diesem Problem zu bekommen, aber ich kämpfe. Nehmen wir an, ich habe ein S = {1,2,3,4,5}, ein L = {(1,3,4), (2,3), (4,5), (1,3) , (2), (5)} und ein anderes Tupe

4Hitze

1Antwort

3-in-einer-Reihe-Logik-Puzzle: Optimierung für sequenz Constraints in Listen/Arrays

Im folgenden Puzzle wir versuchen, das Netz mit den blauen und weißen Quadraten in einer solchen Weise zu füllen, dass: A 3 Eine Reihe (oder Spalte) derselben Farbe ist nicht zulässig. Jede Zeile und

2Hitze

1Antwort

eine Variable in addConstraint mit erzeugt eine falsche Antwort, aber nicht mit Variablen funktioniert

mein Code wie so würde, wenn getan arbeitet from constraint import * import itertools def main(): problem = Problem() x = [0,1,2,3] f = list(itertools.product(x,x,x,x)) problem.

2Hitze

1Antwort

Wie überprüfen Sie die Elemente einer Submatrix in Prolog

Ich versuche, einen Shikaku Solver in EclipsE Prolog zu schreiben. Meine contraints sind wie folgt definiert: solve(Problemname):- writeln("Start shikaku."), problem(Problemname, Width, Height, Hint

2Hitze

1Antwort

Einschränkung Programmierung Solver JaCoP Lösung gefunden, aber speichern inkonsistent

Ich verwende JaCoP - eine Constraint-Programmierung Solver für Java - um eine Lösung für ein komplexes Scheduling-Problem zu berechnen. Jetzt stehe ich vor dem Problem, dass die gefundene Lösung nicht

0Hitze

1Antwort

Wie ordnen Sie Datenbankwerte in Zielfunktion in Mixed-Integer-Programmierung mit IBM Cplex?

Ich versuche, ein Student Assignment Probelm mit Cplex zu modellieren. Ich habe Student Details in einer Access-Datenbank (zB: Student ID und Marken) Ich konnte diese Werte von db zu .mod-Datei mit Tu

1Hitze

1Antwort

Converting MiniZinc-Modell zu Choco-Code

Mein Minizinc-Modell funktioniert gut, aber ich muss es in Java-Code konvertieren, also habe ich Choco, um es zu tun. Das Problem, mit dem ich gerade konfrontiert bin, ist der Mechanismus, mit dem Min