Was bedeutet es, dieses Puzzle als CSP

Question

auszudrücken Was bedeutet das unten für das beigefügte Bild.

By labelling each cell with a variable, express the puzzle as a CSP. Hint: 
recall that a CSP is composed of three parts. 

Ich dachte zunächst nur Variablen hinzufügen zu jeder Zelle wie A, B, C usw. zu jeder Zelle und dann diese Zellen beschränken, aber ich glaube nicht, das ist richtig. Ich will nicht, dass die Antwort nur eine Erklärung dafür ist, was erforderlich ist. in Bezug auf CSP.

Answer 1

Meiner Meinung nach ist ein CSP am besten in zwei Teile gegliedert:

1. die Einschränkungen Staat. Dies wird Modellierung Teil oder Modell genannt.
2. Suche für Lösungen mit Aufzählung Prädikate wie labeling/2.

Diese Teile werden am besten getrennt gehalten durch ein Prädikat verwendet, die wir Kern   Beziehung nennen und das die folgenden Eigenschaften aufweist:

• Es Beiträge die Zwänge, dh sie drückt Teil (1) oben.
• Das letzte Argument ist die Liste der Variablen, die noch beschriftet werden müssen.
• Per Konvention endet der Name mit einem Unterstrich   _.

diese Unterscheidung in Ort ermöglicht es Ihnen zu:

• versuchen, verschiedene Suchstrategien, ohne dass Sie Ihren Code
• Grund zur Terminierung Eigenschaften des Kerns   Beziehung losgelöst von einer konkreten neu kompilieren (und oft sehr   teuer) Suche.

Ich kann sehen, wie einige Ausbilder Teil (1) in zersetzen:

1a. unter Angabe der Domänen der Variablen, zum Beispiel in/2 Einschränkungen
1b. Angabe der anderen Einschränkungen, die zwischen den Variablen enthalten sind.

Meiner Ansicht nach ist diese Unterscheidung künstliche, weil in/2 Einschränkungen Einschränkungen sind wie alle anderen Einschränkungen bei der Modellierung Teil, aber einige Lehrer diese separat auch aus historischen Gründen lehren können, auf die Zeit aus dem Jahr, als CSP-Systeme waren nicht so dynamisch wie sie jetzt sind.

Heutzutage können Sie in der Regel weitere Domäneneinschränkungen jederzeit veröffentlichen und frei in/2   Constraints mit anderen Einschränkungen in einer beliebigen   Reihenfolge mischen.

also die Teile, die von Ihnen erwartet wird, sind wahrscheinlich: (a)   Zustand in/2   Einschränkungen, (b)   Staat weitere Einschränkungen und (c)   Verwendung Aufzählung   Prädikate für konkrete   Lösungen zu suchen. Es scheint auch, dass Sie bereits die richtige Idee haben, wie Sie diese konkrete   CSP mit dieser Methode lösen können.