Einführung
Das Zebrarätsel ist ein berühmtes Logikrätsel mit fünf Häusern, von denen jedes in einer anderen Farbe gestrichen ist.
Die Häuser haben verschiedene Bewohner, die unterschiedliche Nationalitäten haben, unterschiedliche Haustiere halten, unterschiedliche Getränke trinken und unterschiedliche Zigarettenmarken rauchen.
Um dir beim Lösen des Rätsels zu helfen, bekommst du 15 Aussagen, die die Lösung beschreiben.
Doch nur wenn du die Informationen aus allen Aussagen kombinierst, findest du die Lösung des Rätsels.
Das Zebrarätsel ist ein Constraint-Satisfaction-Problem (CSP).
Bei so einem Problem hast du eine Menge möglicher Werte und eine Menge von Bedingungen, die einschränken, welche Werte gültig sind.
Ein weiteres bekanntes CSP ist Sudoku.
Anleitung
Deine Aufgabe ist es, das Zebra-Rätsel zu lösen und die Antworten auf diese beiden Fragen zu finden:
- Welcher der Bewohner trinkt Wasser?
- Wem gehört das Zebra?
Das Rätsel
Die folgenden 15 Aussagen sind alle bekanntermaßen wahr:
- Es gibt fünf Häuser.
- Der Engländer lebt im roten Haus.
- Der Spanier besitzt den Hund.
- Im grünen Haus wird Kaffee getrunken.
- Der Ukrainer trinkt Tee.
- Das grüne Haus steht direkt rechts neben dem elfenbeinfarbenen Haus.
- Der Old-Gold-Raucher besitzt Schnecken.
- Im gelben Haus wird Kools geraucht.
- Im mittleren Haus wird Milch getrunken.
- Der Norweger lebt im ersten Haus.
- Der Mann, der Chesterfields raucht, lebt im Haus neben dem Mann mit dem Fuchs.
- Im Haus neben dem Haus, in dem das Pferd gehalten wird, wird Kools geraucht.
- Der Lucky-Strike-Raucher trinkt Orangensaft.
- Der Japaner raucht Parliaments.
- Der Norweger lebt neben dem blauen Haus.
Außerdem ist jedes der fünf Häuser in einer anderen Farbe gestrichen, und ihre Bewohner haben unterschiedliche Nationalitäten, halten unterschiedliche Haustiere, trinken unterschiedliche Getränke und rauchen unterschiedliche Zigarettenmarken.
Es gibt 24 Milliarden (5!⁵ = 24.883.200.000) mögliche Lösungen, also versuch, so viele Lösungen wie möglich auszuschließen.
