Presná definícia
Čo znamená propagácia obmedzení?
Propagácia obmedzení opakovane odstraňuje z domén premenných hodnoty, ktoré nemôžu byť súčasťou žiadneho lokálne podporovaného riešenia vzhľadom na aktuálne obmedzenia. Zmenšenie jednej domény môže spustiť ďalšie propagátory. Dosiahnutie lokálnej konzistencie však nemusí dokázať globálnu riešiteľnosť.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Pri rozvrhu pridelenie učiteľa jednému času okamžite odstráni tento čas z konfliktných premenných. Queue propagátorov beží po každej voľbe a pri prázdnej doméne sa vyhľadávanie vráti. Tím testuje propagátory na brute-force malých prípadoch.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje propagácia obmedzení?
Každý propagátor reviduje domény podľa svojho obmedzenia a fronta iteruje, kým sa nič nemení alebo vznikne konflikt.
Kedy má propagácia obmedzení praktický význam?
Pri rozvrhu pridelenie učiteľa jednému času okamžite odstráni tento čas z konfliktných premenných.
S čím si pojem nezamieňať?
Forward checking kontroluje najbližšie dôsledky priradenia; všeobecná propagation môže udržiavať silnejšie formy konzistencie.
Ako sa výsledok kontroluje?
Kontroluje sa soundness odstránených hodnôt, fixpoint, detekcia konfliktu, počet prebudení a prínos k vyhľadávaniu.
Na čo si dať pozor?
Príliš slabá konzistencia málo prerezáva, príliš drahá môže stáť viac než ušetrí a chybný propagátor odstráni riešenie.