8.3.3.4 Vollständige Suche und Suche mit Look-Ahead (1)

Für das Smuggler's-Knapsack-Problem existieren vier mögliche Lösungen, die die beiden Constraints mit einer Begrenzung auf 9 Wareneinheiten und min. 30$ Profit erfüllen. Die Variablen W (Whisky), C (Zigaretten) und P (Parfüm) verfügen über Domänen mit den Werten von 0 bis 9. Eingesetzt in die beiden Ungleichungen

(4*W)+(3*P)+(2*C)<=9 und (15*W)+(10*P)+(7*C)>=30,

ergeben sich ausschließlich die folgenden möglichen Belegungen:

1. W=0, C=0, P=3
2. W=0, C=3, P=1
3. W=1, C=1, P=1
4. W=2, C=0, P=0

Das Ergebnis der Strategie search stellt sich dementsprechend wie folgt dar:

Ergebnis fuer Smuggler's Knapsack (1):
======================================
Strategie: 'search'
Expression: ((((4*W)+(3*P))+(2*C))<=9); ((((15*W)+(10*P))+(7*C))>=30)
Primitive Constraints: (2)
((((4*W)+(3*P))+(2*C))<=9)
((((15*W)+(10*P))+(7*C))>=30)
Variablen: [W, C, P]
Domaenen der Constraint-Variablen: (3)
W: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
C: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
P: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
Inkonsistenz: false

Loesung(en):
(1) W = 0, C = 0, P = 3; 
(2) W = 0, C = 3, P = 1; 
(3) W = 1, C = 1, P = 1; 
(4) W = 2, C = 0, P = 0;

Der vollständige Suchalgorithmus der Strategie search liefert wie erforderlich alle möglichen Lösungen für das Smuggler's-Knapsack-Problem. Dies geschieht analog für die Strategie search_with_look-ahead, deren Ausgaben hier aus Platzgründen nicht separat aufgeführt werden.