Äh, bin ich jetzt blöd oder was? In den Beobachtungen tauchen weder Julia, noch ein weißes Kleid oder ein schwarzer Anzug auf.
Das Rätsel sollte demnach nicht lösbar sein...
Äh, bin ich jetzt blöd oder was? In den Beobachtungen tauchen weder Julia, noch ein weißes Kleid oder ein schwarzer Anzug auf.
Das Rätsel sollte demnach nicht lösbar sein...
Es handelt sich um 4 Paare. Also 4 Frauen und 4 Männer. Aus den Beobachtungen sind je 3 Kleider und 3 Anzüge bekannt: rot/grün/gelb, bzw. braun/hellblau/grau. Das weiße Kleid und der schwarze Anzug sind also die Kleidungsstücke, die dann automatisch übrig bleiben sollten, wenn du die anderen Kleidungsstücke erfolgreich den entsprechenden Personen zuweisen konntest. Das selbe mit Julia.
Jaaa aber es ist nicht in der Aufgabenstellung gegeben >_<
Letztendlich ist es eine unfassbar schlechte Formulierung. Sowohl Julia und ihr weißes Kleid werden erst in den Fragen eingeführt und es wird nie explizit gesagt, dass es sie überhaupt gibt. Die Antwort "Niemand tanzt mit Julia und niemand trägt ein weißes Kleid" ist damit genauso richtig wie die offizielle Lösung.
Musterlösung? :-/
Hat hier nicht jemand die einzelnen Schritte, die er mir nennen kann wie man vorgehen muss? Mich interessiert es so, komme aber nicht drauf :-(
Schreib erst einmal eine Tabelle mit den Namen aller Leute in den Zeilen und ihren verschiedenen Attributen in den Spalten. Jede Person hat hat die Wahl zwischen 4 Kleidungsstücken, 4 Partnern und 4 Tanzpartnern. Und natürlich können nicht 2 Personen das selbe Kleidungsstück, oder den selben [Tanz-]Partner haben. Auch ist ausgeschlossen, dass der Partner einer Person ihr Tanzpartner sein kann. Das sollte aus der Angabe hervorgehen.
Also weisen wir einfach jeder Person 4 Zeilen zu. Jede Zeile enthält dann eines der möglichen Objekte: (ich hab das jetzt nur mit den Kleidungsstücken gemacht, weil ich zu faul bin)
https://docs.google.com/spreadsheet/...tR1pLQ3c#gid=0
Während des Rätsellösung, markierst du dann einfach die zutreffenden Zeilen fett und streichst die dadurch nicht mehr möglichen durch.
Fang einfach zuerst mit der eindeutigen Beobachtungen an. Die wären:
Zitat
Dann sieht das so aus:Zitat
https://docs.google.com/spreadsheet/...keXRaRXc#gid=0
Dann schau dich erst einmal nach weiteren Beobachtungen, die mit Leonie/Pascal, oder hellblauen Anzügen/gelben Kleidern zu tun haben.
Also bei Leonie in der Partner-Spalte Pascal durchstreichen und umgekehrt auch bei Pascal Leonie wegstreichen.Zitat
usw.
Naja, auch mit der Tabelle hakt es ja nicht mit diesen leichten Feststellungen, sondern später wenn dann nur dieses "diese Kleidfarbe tanzt mit Mann, dessen Frau mit dem tanzt". Denn dort fehlt einem dann der erste Anhaltspunkt, weil man durch leichte Tipps kein Paar findet. Ich hab mir nun einfach gedacht, dass Annas Mann Daniel sein muss, denn nur so kommt man voran (zumindest gilt das für mich) Denn dann weiß man, Anna trägt grün und Daniel braun, braun und grau tanzen nicht mit rot, usw. Und dann kann man das ganze langsam aufbröseln, wobei ich auch eher Variationen einfach mal ausprobiert habe um dann zu sehen, dass es wegen irgendwas anderem nicht geht, wodurch ich meine eigenen Schritte nicht mal mehr nachvollziehen kann. Das ist bei mir wie bei diesen lustigen Schiebebildern früher, mit denken allein wird das nichts, da muss ich rumprobieren.
![]()
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.
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.
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.
Nun, ich scheine nicht so recht im Bilde zu sein, was Constraints oder wasauchimmer betrifft, hatte deinen Link auch nicht angeklickt bzw weiß jetzt auch nicht so genau was damit anzufangen. Ich habe nur das Tabellenprinzip auf einen Zettel geschmiert. Und ja, danach sieht es echt wie geschmiert aus... aufgrund komischer, im nachhinein unverständlicher Kritzelein wohl auch eher alles Annahmen die dann zum Ergebnis führten. Hm.
Wollte dafür jetzt nicht an den Pc gehen, aber vermutlich hätte es besser funktioniert wenn man strukturierter daran geht, zumindest klingt es so wie du es beschreibst.
Aber das Namen Einsetzen ist eine gute Hilfe, hab gar nicht daran gedacht. Hätte ich am Handy eh schlecht machen können, aber egal, klingt trotzdem sinnvoll!![]()
Bitte helft mir...
terter, ich hab dir doch meinen Lösungsweg geschickt. O_o
Ich hatte noch die Zeilen "Tanzpartner (Farbe)", "Verheiratet mit (Farbe)" und "Tanzt mit Partner von", und hab die auch alle für meinen Lösungsweg gebraucht.
Irgendwo steht übrigens auch noch dass Daniels Frau ein grünes Kleid trägt. Das heißt Julia kann nicht Grün tragen. Und wenn du den Schritt machst und dann noch diese Spalten hinzufügst, die ich habe, solltest du ungefähr auf dem Stand sein, von dem an meine PN gilt (da, wo ich eine Annahme machen musste).
Ja, konnte das Rätsel auch erst lösen, nachdem ich an dem Punkt eine recht komplexe Annahme machte, bis ich den ersten Widerspruch gefunden hatte.
Das Abarbeiten der Beobachtungen wird natürlich einfacher, wenn man diese erst einmal so umschreibt, dass alle überflüssigen Satzteile entfernt werden und alles in eine möglichst einheitliche logische Sprache gebracht wird.
Was mich ein wenig wundert ist, dass Nr. 5 und Nr. 7 identisch sind. Vielleicht hätte dort in der Angabe noch eine andere Beobachtung hingehört, von der wir natürlich nichts wissen?![]()
Naja, dass gewisse Informationen erst investigativ erarbeitet werden müssen, ist auch Teil des Rätsels. ^^ Immerhin geht es bei den Rätseln auch um die Anwendung von Deduktion. Je mehr zusätzliche Angaben du bekämest, desto weniger müsstest du dann selbst denken, um zu solchen Schlußfolgerungen zu kommen und das Rätsel würde langweilig werden.