konfliktushalmaz

Kapcsolódó fogalmak: 
kényszerkielégítési probléma (CSP)
Rövid szöveges bemutatás: 
A kényszerkielégítési problémák megoldása során egy probléma adódhat. Amikor egy változónak értéket szeretnénk adni, akkor nem tud legaláis értéket kapni, mert amit tudnánk neki adni az sért valamilyen kényszert azokkal a változókkal amik már korábban értéket kaptak. Azoknak a változóknak a halmazát melyek már korábban értéket kaptak és most azok miatt a vizsgált váltóznak nem tudunk értéket adni, azok tartoznak a konfliktushalmazba. Tehát mondjuk egy gráf színezési problémánál azok a csomópontok tartoznak a konfliktushalmazába a vizsgált csomópontnak melyeket már korábban kiszíneztünk és össze vannak kötve a vizsgált csomóponttal.