Algorithmus für ein Symbolpuzzle

[Blaubart]

Tach.

Als homogenes LGS hab ich dieses Problem auch schon modelliert. Allerdings hab ich das fast genauso schnell wieder verworfen, da sich zwar Verfahren wie der Gaußalgorithmus wunderbar im Rechner implementieren lassen ...

das LGS muesste dann modulo n geloest werden.

... mir aber genau diese Moduloaddition Kopfzerbrechen bereitet. Gibt es denn für die Lösung solcher Systeme mit Moduloadditionen in den Skalarprodukten auch Standardverfahren?

Ich habe in einigen Versuchen nie auch nur eine Lösung gefunden, wenn ich die Moduloaddition einfach vernachlässigte und das LGS einfach mit dem GALG löste. Sicher gibt es auch Fälle, in denen die gegebenen Gleichungen dafür passen, aber dies sind mit Sicherheit *sehr* seltene Konstellationen.