03.02.2011, 10:03
Was schrieb ich schon in #25: "Trotzdem war mein Argument falsch. Es könnte ja sein, dass die Aufgabe genau zwei Lösungen hat, eben die waagrechte und die senkrechte in dem Beispiel, und wenn ich yy nicht mache, dann gibt es gar keine Lösung." -- #25 könnte ein Beispiel dafür sein (ist es aber nicht).
Trotzdem bin ich der Meinung, dass "keine Lösung finden" und "ein regelwidriges 1-omino machen" zwei unterschiedliche Dinge sind. Im Beispiel
+----+
|02ya|
|10ya|
|xxbb|
|ccdd|
+----+
entsteht bei korrekter Anwendung der Eindeutigkeitsregel auch kein 1-omino: Wie schon gesagt darf ich unter Anwendung der Eindeutigkeitsregel kein yy machen; also muss ich 2y und 0y machen (aa ist ja schon verbaut) und es bleibt das 01 links oben.
Die Eindeutigkeitsregel schließt nur yy aus. Die Ungereimtheiten passieren danach, in der Fortsetzung. Bei Calaveras Fortsetzung kommt es zu Problemen, bei meiner nicht. Die Überlegung von Calavera ist erst dann zulässig, wenn Calavera zuvor 2y und 0y ausgeschlossen hat.
[Vielleicht muss man die "keine Lösung" genauer definieren. Es ist ganz klar, dass es für jede Standard-Domino-Aufgabe (grins) eine Zerlegung in Dominos gibt. Alles andere sind illegale Konfigurationen. Es kann nun sein, dass die Zerlegung nicht eindeutig ist (mehrere Lösungen) oder dass in jeder Zerlegung ein Domino mehrfach vorkommt und ein aderer dafür gar nicht (keine Lösung).]
Zurück zu Calaveras ursprünglichen 2x2-Beispiel: Hier ist die Anwendung der Eindeutigkeitsregeln deshalb unzulässig, da ja schon feststeht, dass die Aufgabe zwei Lösungen hat. Calavera wendet die Regel ja nur deshalb an :-)
~ÔttÔ~
Trotzdem bin ich der Meinung, dass "keine Lösung finden" und "ein regelwidriges 1-omino machen" zwei unterschiedliche Dinge sind. Im Beispiel
+----+
|02ya|
|10ya|
|xxbb|
|ccdd|
+----+
entsteht bei korrekter Anwendung der Eindeutigkeitsregel auch kein 1-omino: Wie schon gesagt darf ich unter Anwendung der Eindeutigkeitsregel kein yy machen; also muss ich 2y und 0y machen (aa ist ja schon verbaut) und es bleibt das 01 links oben.
Die Eindeutigkeitsregel schließt nur yy aus. Die Ungereimtheiten passieren danach, in der Fortsetzung. Bei Calaveras Fortsetzung kommt es zu Problemen, bei meiner nicht. Die Überlegung von Calavera ist erst dann zulässig, wenn Calavera zuvor 2y und 0y ausgeschlossen hat.
[Vielleicht muss man die "keine Lösung" genauer definieren. Es ist ganz klar, dass es für jede Standard-Domino-Aufgabe (grins) eine Zerlegung in Dominos gibt. Alles andere sind illegale Konfigurationen. Es kann nun sein, dass die Zerlegung nicht eindeutig ist (mehrere Lösungen) oder dass in jeder Zerlegung ein Domino mehrfach vorkommt und ein aderer dafür gar nicht (keine Lösung).]
Zurück zu Calaveras ursprünglichen 2x2-Beispiel: Hier ist die Anwendung der Eindeutigkeitsregeln deshalb unzulässig, da ja schon feststeht, dass die Aufgabe zwei Lösungen hat. Calavera wendet die Regel ja nur deshalb an :-)
~ÔttÔ~