12.07.2011, 13:34
Während der Fahrt nach Hamburg haben wir gewettet, ob ein 9x9-Sternenhimmel (ohne Beachtung des Gebietsgrenzen) mehr oder weniger als 100 Lösungen besitzt. Ich habe die Zahl jetzt ermittelt: Es sind 664. (Naja, wenn man nur nicht-isomorphe Lösungen betrachtet, bleibt man wahrscheinlich unter 100.) Für 10x10 sind es übrigens mindestens 30000. (Das Programm rechnet noch.)