kényszergráfja

Kapcsolódó fogalmak: 
kényszerkielégítési probléma (CSP)
Rövid szöveges bemutatás: 
A kényszergráf a kényszer kielégítési problémák reprezentációjára szolgáló adatszerkezet. Ebben az esetben a gráfban szereplő csomópont a változókat jelölik és a közöttük futó élek a kényszereket reprezentálják. A gráf eltérhet a szigorú jelölésrendszertől és az élekre ki lehet írni, hogy melyik él milyen kényszert jelöl. A gráfban nem jelenik meg az egyes csomópontok teljes lehetséges érték készlete. Csupán az olvasható le, melyik változó melyik másik változó lehetséges értékét képes korlátozni.