függőségvezérelt visszalépés

Rövid szöveges bemutatás: 
A függőségvezérelt visszalépés egy technika melynek segítségével a rendszereket tudjuk érvényes formában tartani. Egy-egy rendszert addig tudunk bővíteni állításokkal, plusz információkkal ameddig a plusz információ nem ütközik ellentmondásban, már a rendszerben lévőekkel. Ez a helyzet könnyedén előállhat és a megoldása közel sem triviális feladat. Ezen az ellentmondás feloldásának hatékony módja a függőségvezérelt visszalépés. Ilyen algoritmust érdemes alkalmazni például keresztrejtvények kitöltésénél, amikor például egy szó csak a többi szó általi egyes betűkből tevődik össze, ám az nem megoldása az eredeti feladványnak. Ilyenkor egyesével kell visszafelé haladnunk, amíg el nem jutunk a hibás következtetésig.