Omezení odvození - Constraint inference

v omezení spokojenosti, odvození omezení je vztah mezi omezeními a jejich důsledky. Sada omezení ${displaystyle D}$ s sebou nese omezení ${displaystyle C}$ pokud každé řešení ${displaystyle D}$ je také řešením ${displaystyle C}$. Jinými slovy, pokud ${displaystyle V}$ je ocenění proměnných v rozsahu omezení v ${displaystyle D}$ a všechna omezení v ${displaystyle D}$ jsou spokojeni ${displaystyle V}$, pak ${displaystyle V}$ také splňuje omezení ${displaystyle C}$.

Některé operace s omezeními vytvářejí nové omezení, které je jejich důsledkem. Složení omezení pracuje na dvojici binárních omezení ${displaystyle ((x, y), R)}$ a ${displaystyle ((y, z), S)}$ se společnou proměnnou. Složení těchto dvou omezení je omezením ${displaystyle ((x, z), Q)}$ který je uspokojen každým hodnocením dvou nesdílených proměnných, pro které existuje hodnota sdílené proměnné ${displaystyle y}$ tak, že vyhodnocení těchto tří proměnných splňuje dvě původní omezení ${displaystyle ((x, y), R)}$ a ${displaystyle ((y, z), S)}$.

Omezení projekce omezuje účinky omezení na některé z jeho proměnných. Vzhledem k omezení ${displaystyle (t, R)}$ jeho projekce na podmnožinu ${displaystyle t '}$ jeho proměnných je omezení ${displaystyle (t ', R')}$ který je uspokojen hodnocením, pokud lze toto hodnocení rozšířit na ostatní proměnné takovým způsobem původní omezení ${displaystyle (t, R)}$ je spokojen.

Rozšířené složení je v principu podobný složení, ale umožňuje libovolný počet možných nebinárních omezení; generované omezení je na libovolné podmnožině proměnných původních omezení. Vzhledem k omezením ${displaystyle C_ {1}, ldots, C_ {m}}$ a seznam ${displaystyle A}$ jejich proměnných je omezením jejich rozšířené složení ${displaystyle (A, R)}$ kde je hodnocení ${displaystyle A}$ splňuje toto omezení, pokud ho lze rozšířit na další proměnné tak ${displaystyle C_ {1}, ldots, C_ {m}}$ jsou všichni spokojeni.

Viz také

• Problém spokojenosti s omezením

Reference

• Dechter, Rina (2003). Zpracování omezení. Morgan Kaufmann. ISBN  1-55860-890-7
• Apt, Krzysztof (2003). Zásady programování omezení. Cambridge University Press. ISBN  0-521-82583-0
• Marriott, Kim; Peter J. Stuckey (1998). Programování s omezeními: Úvod. MIT Stiskněte. ISBN  0-262-13341-5

Tento aplikovaná matematika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.