Az 5. és 6. kis házi feladatok leírásának végén bemutattuk, hogy hogy
lehet megoldani egyszerű sátrak-feladványokat a sator_szukites és
osszeg_szukites eljárások ismételt alkalmazásával. Itt mindkét
feladvány olyan, hogy nincs szükség keresésre, azaz választási pontok
létrehozására: ha a szűkíteseket ismételten alkalmazzuk, eljutunk egy
végállapotba, azaz egy olyan ILs iránylista-listát kapunk, amelynek
minden eleme egyelemű iránylista.

Az általános esetben is érdemes egy maximális determinisztikus
szűkítéssel kezdeni, azaz addig alkalmazni a két xxx_szukites
eljárást, amig ez lehetséges. Ezután egy választási pontot kell
létrehozni:

1. A programozó szabadon dönthet, hogy melyik fához hoz létre
   választási pontot, pl. a legbaloldalibb olyan fához, amelynek
   iránylistája nem egyelemű.

2. A kiválasztott fa iránylistájának minden X eleme egy lehetséges ága
   a választásnak, az ehhez tartozó iránylista [X] kell legyen.

A választási pont létrehozása után ismét érdemes egy determinisztikus
szűkítéssel folytatni, majd újabb választási pontot létrehozni, stb.

Ha a keresési folyamat során egy olyan iránylista-listát állitunk elő,
amelynek minden eleme egyelemű, és erre az iránylistára egyik
xxx_szukites eljárás sem ad "nincs megoldás" választ, akkor egy
megoldáshoz jutottunk. Visszalépéssel előállíthatjuk az összes
megoldást.