a legkorlátozottabb változó heurisztikája

Kapcsolódó fogalmak: 
kielégíthetőség vizsgálata
Kapcsolódó fogalmak: 
keresési fa
Rövid szöveges bemutatás: 
Ez fajta heurisztika, amennyire egyszerű ötleten alapszik annyira hatásos és gyorsítja meg az algoritmust. Az ötlet annyi, hogy válasszuk ki azon változókat amelyek a legkevesebb féle képen elégíthetőek ki. Miután megtaláltuk, lenyeshetjük a keresési fák azon részét, melyek ezekre a változóknak a helyettesítésére irányulnak. Például ha van olyan változónk mely egyetlen értéket sem vehet fel, akkor ezt a változót a heurisztika legelőször kiválasztja, majd rájön hogy a keresés folytatása értelmetlen, hiszen a változó nem vehet fel értéket, így megoldása sincs a problémának. A heurisztika értelemszerűen a változók kielégíthetőségének mennyiségében növekvő sorrendben halad. Gyakran nehézkes kiszámolni egy változó lehetséges értékeit, de néha ez gyorsítást eredményezhet. A heurisztika általánosabban elfogadott elnevezése: legkevesebb fennmaradó érték (minimum remaining values, MRV).