next up previous contents index
Nächste Seite: E.7.3 Klasse MAC3Solver Aufwärts: E.7 Package yacs.solver.fdsolver.search Vorherige Seite: E.7.1 Klasse BacktrackingSolver   Inhalt   Index

E.7.2 Klasse DomDegRatioVariableOrdering

Generiert auf Basis des ,,Fail-First``-Prinzips (FF) und der ,,Maximum-Degree-Ordering``-Heuristik (MDO) eine Reihenfolge für die Belegung von Variablen während einer Lösungssuche (vgl. Bessière und Régin, 1996). Das Prinzip dieser Heuristik ist, dass Variablen, deren Verhältnis von Größe des Wertebereichs (dom) zum Vernetzungsgrad (deg) innerhalb des Constraint-Problems am geringsten ist, zuerst mit einem Wert belegt werden (dom/deg).


Deklaration:


Methoden:


next up previous contents index
Nächste Seite: E.7.3 Klasse MAC3Solver Aufwärts: E.7 Package yacs.solver.fdsolver.search Vorherige Seite: E.7.1 Klasse BacktrackingSolver   Inhalt   Index