1. A backtrack algoritmus hatekonysaga attol is fugg hogy egy kovetkezo lepesben melyik valtozohoz rendelunk erteket, es a domen lehetseges ertekei kozul melyiket rendeljuk az adott valtozohoz. Azt hogy milyen sorrendben rendeljuk az ertekeket a valtozokhoz, sorbarakasnak vagy "ordering"-nek nevezzuk. Az algoritmusok masik fontos eleme a szures, illetve filtering. A szures annyit jelent hogy menet kozben detektaljuk hogy nem lesz megoldas, es a nem hozzarendelt valtozok domenjeben megkeressuk azokat az elemeket amelyeket biztonsagosan el lehet tavolitani. A szuresi algoritmusok a "forward checking" es a "arc consistency". 2. A forward checking olyan szuresi algoritmus amelyiknel nyilvantartjuk a meg nem hozzarendelt valtozok domenjet, es eliminalunk, illetve szurunk. Kezdeti allapotban egy valtozo sincs hozzarendelve. 3. Most vizsgaljuk meg hogyan vegezne a szurest a forward checking a mar ismertetett grafszinezesi pelda eseteben. Kezdetben egy csomoponthoz sincs szin rendelve, ezert az osszes valtozohoz minden szint hozza lehet rendelni a domenbol. 4. A hozzarendelest kezdjuk az A csomoponttal, es rendeljuk hozza a piros szint. Ekkor az A csomopont szomszedai elveszitik a piros szint a domenjukbol. 5. Kovetkezo lepesben rendeljuk a D csomoponthoz a zold szint. Ekkor a B, E es C csomopontok domenjebol torojuk a zoldet. 6. Ezutan az F csomoponthoz rendeljuk a kek szint, a szomszedok domenjebol pedig toroljuk a keket. Ezutan a C csomopont ertek nelkul marad ami annyit jelent hogy nem lehet hozzarendelni anelkul hogy ne szegnenk meg valamilyen kenyszert, ezert backtrack, illetve visszalepes kovetkezik. 7. A forward checking a hozzarendelt valtozoktol tovabbitja az informaciot a nem hozzarendelt valtozok fele, de nem garantalja az osszes hiba korai detektalasat. Mivel B es C szomszedosak, nem lehetnek mind a ketten kekek. 8. Az adott helyzetben minden valtozonak van meg engedelyezett erteke, de mar most jo volna detektalni hogy nem lesz megoldas es azonnal visszalepni, nem pedig kesobb. A forward checking szuroalgoritmus sajnos ebben a pillanatban meg nem volt kepes detektalni hogy hiba fog tortenni. A hibak korabbi detektalasara az ag-konzisztenciat fogjuk hasznalni.