Suchergebnisse für Anfrage "constraint-programming"
Rekursion: Wie vermeide ich, dass Python-Set während der Iteration RuntimeError gesetzt wird?
Hintergrund und Problembeschreibung:Ich habe einen Code, der das Problem der Diagrammfärbung löst (allgemein definiert als das Problem der Zuweisung von "Farben" zu einem ungerichteten Diagramm, wobei sichergestellt wird, dass keine zwei durch ...
Das passende Modell in Z3py abrufen?
Im folgenden Arbeitsbeispiel: Wie wird das übereinstimmende Modell abgerufen?
Multi-Sudoku AI Ansatz
Ich entwerfe einen Löser für eine Variante von sudoku namens Multi-Sudoku, wobei sich mehrere Karten wie folgt überlappen: Wenn ich das Spiel richtig verstehe, müssen Sie jedes Gitter so lösen, dass die Überlappung zwischen zwei oder mehr ...
Wie wird die Constraint-Programmierung zur Optimierung von Einkaufskörben verwendet?
Ich habe eine Liste der Artikel, die ich kaufen möchte. Die Artikel werden in verschiedenen Läden zu unterschiedlichen Preisen angeboten. Die Shops haben individuelle Versandkosten. Ich suche eine optimale Einkaufsstrategie (und ...
Konvertieren Sie Boolean FlatZinc in CNF DIMACS
A. LösenSatz von Booleschen Gleichungen [http://arxiv.org/abs/1108.2830]Ich experimentiere mit demConstraint-Programming Solver MiniZinc [http://www.minizinc.org/]unter Verwendung der folgenden Eingabe: % Solve system of Brent's equations modulo ...