Hrhr, nein wir machen KI bei den Infos.
Die Aufgabestellung ist übrigens recht Präzise und weist das Rätsel als NP-vollständig aus. Gesucht sind alle Lösungen eines Rätsels. Der zeiteffizienteste Algo ergibt einen Bonus auf die Klausurnote, aber das haben wir aufgegeben weil unser Algo nicht lief. So direkt als Optimierung des Suchbaumes war das mit dem lookahead auch gar nicht gedacht, es war nur unter den ersten Dingen die uns in denn Sinn kamen. Aber praktisch wäre es, wenn der Suchraum dadurch beschnitten würde. Zur Zeit macht er eher das Gegenteil, er führt irgendwo in eine Endlosschleife :-S
Ich hasse trace...