02.12.2021, 10:45
(Dieser Beitrag wurde zuletzt bearbeitet: 18.01.2022, 10:27 von Raumplaner.
Bearbeitungsgrund: Typo
)
(02.12.2021, 00:42)Semax schrieb: Das ist ja interessant. Danke fürs 5x5-Beispiel, das hat mich auf die richtige Fährte gebracht. Ich habe beide Rätsel per Hand gelöst, aber nicht die Eindeutigkeit nachgewiesen.
Hast du bei beiden die Eindeutigkeit bewiesen? Wenn ja, wie?
Beim 5x5 lässt sich die Eindeutigkeit logisch beweisen, da der Springerzug schon im Lateinischen Quadrat (nur über die Ziffern) die Geometrie erzwingt (es gibt dann noch zwei mögliche Lösungen) - also ganz unabhängig von den Farben. Durch die gegebenen Farben wird dann die Orientierung erzwungen (siehe auch der Kommentar von Phistomefel dazu).
Beim 9x9 ist mir die Beweisführung leider bislang nicht gelungen.