Aufgabe

Wenn man von einem Zustand ausgehend einen anderen Zustand erreichen möchte und dabei bestimmte Schritte verwenden darf, dann geht man zum Beispiel wie folgt vor. Man definiert die Zustände, in denen man sein kann, formal (z.B. können Wolf, Gans, Kohlkopf und Boot jeweils entweder links oder rechts des Flusses sein, ein Zustand ist also eine Zuordnung von allen vieren auf links oder rechts). Ein erlaubter Schritt ist damit der Übergang von einem Zustand in einen anderen.

Beginnend beim Startzustand exploriert man nun die Zustände: Iterativ notiert man für alle gefundenen Zustände alle neuen Zustände, die man nun in einem weiteren Schritt erreichen kann. Bei ungültigen Zuständen (wo z.B. der Wolf die Gans frisst) macht man allerdings nicht weiter. Sobald man den gesuchten Zustand erreicht hat, ist man fertig.

Lösung