Suche nach symmetrischen Lösungen

falls ein Problem zu groß für den Solver ist:

• weitere Constraints hinzufügen ...
• die effektiv die Anzahl der Variablen verkleinern.
• d. h.: nur nach symmetrischen Lösungen suchen.

Def (allgemein): f mathend000# ist Symmetrie von M mathend000#, falls f (M)∼M mathend000#.

Beispiel: rotationssymmetrische Aufstellungen von Figuren auf Schachbrett (Vertex Cover, Hamiltonkreis).