Tanzabend - das Logikrätsel

[Schattenläufer]

Ich habe die Constraints, basierend auf den zugrundeliegenden Variablen, von Begin an formalisiert und dann einfach auf bekannten Tatsachen in der Tabelle das Equivalent Replacement Theorem auf die Constraints angewandt um diese in einfach-handtierbare Aussagen zu verwandeln. Auf diese Weise kann man durch einfache Inferenbildung den Suchraum schön klein behalten. (Read: Sobald Teilaussagen der Sätze durch die Tabelle eindeutig wurden, habe ich einfach die richtigen Namen eingesetzt, wodurch ich nicht großartig herum probieren musste.)

Das hat so eigentlich recht gut geklappt.

...

Ich hab genau einmal eine Annahme gebraucht, nämlich bei der Frage, wer das rote Kleid trägt. Da gab es aber nur zwei Fälle und den einen konnte ich zum Widerspruch führen. Aber ohne Annahme wäre ich an der Stelle nicht weiter gekommen.

[Mog]

Ich hab genau einmal eine Annahme gebraucht, nämlich bei der Frage, wer das rote Kleid trägt. Da gab es aber nur zwei Fälle und den einen konnte ich zum Widerspruch führen. Aber ohne Annahme wäre ich an der Stelle nicht weiter gekommen.

...

Hmja, CSPs erwzingen recht oft lucky guesses, wobei das bei diesem nicht unbedingt notwendig ist. Gerade dieses herumprobieren ist für praktische Anwendungen ein Grund für die langen Laufzeiten die sich ergeben. Frag mal in der nächsten Sternenwarte nach, die können davon Geschichten erzählen, die sich wunderbar zum Einschlafen eigenen. :/ Natürlich sind deren CSP von einer etwas gemeineren Klasse, als unseres.

Aufjedenfall gibt es hier einige Heuristiken mit denen man meistens recht schnell fehlerhafte Zweige auffinden kann. Darunter sind ganz einfache Mittel, wie über die Variable mit den wenigsten Möglichkeiten zuerst den Suchraum betrachten.

[Liferipper]

Nachdem ich zwei Versuche mit dem Tanzabend-Rätsel unternommen habe, die ziemlich lange gedauert haben, und trotzdem nicht das gewünschte Ergebnis geliefert haben, habe ich mich stattdesen an dem Fischrätsel versucht, das sich auch gleich auf Anhieb korrekt lösen lassen hat.
Nachdem ich auch sonst bei dieser Art von Rätsel keine Probleme habe, neige ich dazu zu sagen, dass das Tanzabend-Rätsel einfach blöd gestellt ist. Das hätte mir eigentlich schon klar sein sollen, nachdem ich die "Hilfestellungen" 8 und 10 mehrmals umformulieren musste, um überhaupt zu verstehen, was die mir sagen wollten .