Search for:

Type your search term and press [Enter]

Das 8-Damen-Problem

Versuchen Sie, acht Damen so auf einem Schachbrett zu platzieren, dass keine die andere schlagen kann.

Dieses Problem mit Hilfe der Configit Runtime zu lösen, ist sehr einfach. Die Laufzeitumgebung blendet alle Felder des Schachbretts aus, die nicht zu einer Lösung führen. Versuchen Sie es selbst, indem Sie eine Dame auf das Feld A4 platzieren und achten Sie darauf, was mit dem Feld E3 passiert.

 

Das 8-Damen-Problem

8-Damen-Problem geöffnen

Ohne Unterstützung eines Konfigurationssystems

Ohne Zuhilfenahme eines Konfigurationssystems ist es sehr mühsam, die Damen zu platzieren. Die Anzahl an Möglichkeiten zur Platzierung der acht Damen ist enorm: 4.426.165.368 verschiedene Wege. Und nur 92 davon führen zur Lösung des 8-Damen-Problems.

In der Produktmodellierungssprache von Configit ist das Produktmodell sehr kurz und knapp beschrieben:

constant
 N: 8;
 variable
 col: array N of [0..N-1];
 rule
 forall i in [0..N-2]:
 (forall j in [i+1..N-1]:
 ((col[i] <> col[j]) and 
 (i+col[i]) <> (j+col[j]) and
 (i+col[j]) <> (j+col[i])));