GBJ

Definition

GBJ (Graph Based Backjumping) ist ein Algorithmus zur Lösung von Constraint-Satisfaction-Problemen (CSP). Im Gegensatz zum einfachen Backtracking springt GBJ bei einer Sackgasse nicht nur eine Ebene zurück, sondern direkt zu der Variable, die den Konflikt verursacht hat. Diese Technik reduziert die Suchzeit erheblich und verbessert die Effizienz der Problemlösung.