Das 8-Damen-Problem

Auf einem Schachbrett sollen 8 Damen so platziert werden, dass sie sich nicht gegenseitig bedrohen. Die Lösung des 8-Damen-Problems ist mithilfe von Configit Runtime ganz einfach. Runtime beginnt damit, alle Positionen auf dem Schachbrett auszuschließen, die nicht zu einer Lösung führen. Versuchen Sie einfach, eine Dame auf A4 zu stellen, und beobachten Sie dabei E3.

8-Damen-Demo starten (in einem separaten Fenster)

Ohne Unterstützung des Konfigurators

Ohne Konfigurator ist es nicht so leicht, die acht Damen von Hand aufzustellen. Die Zahl an unterschiedlichen Möglichkeiten, die acht Damen zu platzieren, ist enorm: Es gibt 4.426.165.368 Möglichkeiten. Und nur 92 davon stellen eine Lösung für das 8-Damen-Problem dar. Stellen Sie sich das vor!

Die 8-Damen-Demo ohne den Konfigurator starten

Das Produktmodell des 8-Damen-Problems lässt sich mit der Produktmodellsprache von Configit sehr prägnant beschreiben:

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])));