Ich denk, da fehlt noch eine Regel, die "abzweigende Schlangen" verhindert. Also T aus Schwarzfeldern verbieten.
Außerdem müssen alle Schwarzfelder zusammenhängen.
Wozu brauchst du den weißen Rahmen? Das erschließt sich mir grad nicht.
Für Schlangen mit vorgegebener Länge könnte man dann sogar noch die eine Zusammenhangskomponenten-mit-gegebener-Größe-Regel verwenden (halt mit nur einer Zusammenhangskomponente).
Außerdem müssen alle Schwarzfelder zusammenhängen.
Wozu brauchst du den weißen Rahmen? Das erschließt sich mir grad nicht.
Für Schlangen mit vorgegebener Länge könnte man dann sogar noch die eine Zusammenhangskomponenten-mit-gegebener-Größe-Regel verwenden (halt mit nur einer Zusammenhangskomponente).