Kantenkonsistenz (Definition)

• Eine Bereichszuordnung dom

  für ein binäres atomares Constraint C(x, y)

  heißt kantenkonsistent (arc-consistent), wenn gilt:

  ∀p∈dom(x)∃q∈dom(y) : C(p, q)

  und ∀q∈dom(y)∃p∈dom(x) : C(p, q)

• Eine Bereichszuordnung dom für ein FD-Constraint F heißt kantenkonsistent, wenn dom für jedes binäre Atom in F kantenkonsistent ist.

Beispiele, Zusammenhang zw. Kantenkonsistenz und globaler Konsistenz?