élkonzisztencia

Kapcsolódó fogalmak: 
kényszerkielégítési probléma (CSP)
Rövid szöveges bemutatás: 
Az élkonzisztencia egy módszer a kényszerkielégítési problémák megoldására. Ekkor a feladatot muszáj gráf formában megadnunk, hogy tudjunk élekről beszélni. Az élek itt kényszereket jelentenek, ahogy az egyik változó lehetséges értéke valamilyen formában megköti a másik változó lehetséges értékét. Ha létezik olyan hozzárendelés az egyik változóhoz, hogy a másik változó is konzisztens értéket vehessen fel, akkor az él konzisztens. Ha nem létezik ilyen hozzárendelés akkor az él nem konzisztens, ekkor ha van lehetőségünk konzisztensé tenni akkor azt meg kell tennünk, különben a feladatot nem lehet megoldani. Általában ez úgy tehető meg, ha korlátozzuk a változó által felvehető értéket, addig amíg az él konzisztensé nem válik.