Ich würde gerne wissen, ob das folgende einfache Problem bereits untersucht wurde und ob eine Lösung bekannt ist.
Sei G ein endliches (MxN) Gitter, S eine Teilmenge von Gs Zellen (die "Krümel"). Zwei Krümel sollen (lokal) verbunden sein, wenn sich ihre Koordinaten um höchstens eins unterscheiden (dh wenn sie als Quadrate gezeichnet sind, teilen sie sich mindestens einen Eckpunkt).
Jetzt kann man versuchen, die Krümel (ihre Gesamtmenge) zu verbinden, indem man die Linien und Spalten des Gitters permutiert. Mit anderen Worten, das Ziel besteht darin, eine Permutation der Linien und eine Permutation der Spalten zu erstellen, so dass zwei beliebige Krümel im resultierenden Gitter durch eine Kette von (lokal) verbundenen Krümeln verbunden sind.
Frage: Gibt es immer eine Lösung?
Ich weiß nicht genau, wie ich es angreifen soll. Aus Mangel an einer besseren Idee habe ich ein Rohprogramm geschrieben, das mit roher Gewalt nach Lösungen sucht (es generiert die Permutationen zufällig und prüft, ob die Krümel des resultierenden Gitters verbunden sind). Das Programm hat bisher immer Lösungen für kleinere (10x10 oder 7x14) Gitter gefunden, und größere Gitter sind eindeutig außerhalb der Reichweite seiner simplen Strategie (es würde zu lange dauern, um zufällig über eine Lösung zu stolpern).
Hier ist ein Beispiel für ein vom Programm gelöstes Raster:
Anfangsraster (Krümel werden mit X bezeichnet, leere Zellen mit Punkten):
0 1 2 3 4 5 6 7 8 9
0 X . X X . X . X X .
1 X . . . . X . . . .
2 . . X . . . . X . X
3 . X . . X . X . . X
4 . . . X . . . . . .
5 X X . . . X X . X .
6 . . . X . . . . X .
7 X . X . . X . . . .
8 X . . . X . . X X .
Lösung:
6 1 4 7 8 2 9 3 5 0
1 . . . . . . . . X X
4 . . . . . . . X . .
5 X X . . X . . . X X
8 . . X X X . . . . X
7 . . . . . X . . X X
0 . . . X X X . X X X
3 X X X . . . X . . .
6 . . . . X . . X . .
2 . . . X . X X . . .
Natürlich kann das Problem leicht auf jede Dimension d> 2 verallgemeinert werden. Ich nehme an, andere Verallgemeinerungen könnten in Betracht gezogen werden.
Danke im Voraus,
Yann David