PA163 Programování s omezujícími podmínkami
Konzistence po cestě. K-konzistence.
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/auth/el/fi/podzim2021/PA163/um/3.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2021/PA163/um/vi/119171623/
Dotazy k přednášce
- Co to znamená, že je cesta konzistentní?
- Diskutujte konzistenci podmínky X_i, X_i+1, pokud máme zaručenu konzistenci cesty X_1, ..., X_m (i≤m).
- Bylo by možné definovat konzistenci po cestě na základě uvažování cesty pouze mezi třemi vrcholy?
- Hranová konzistence vyřazuje nekonzistentní hodnoty z domén proměnných. Jakým způsobem se řeší nekonzistence při použití konzistence po cestě?
- Uvažujte CSP problém s proměnnými A,B,C, doménami všech proměnných {1,2,3} o omezeními A<B, B<C. Je tento problém konzistentní po cestě? Svoje tvrzení zdůvodněte.
- Jakým způsobem funguje algoritmus revize cesty?
- Porovnejte algoritmy PC-1 a PC-2.
- Které cesty přidává do fronty algoritmus PC-2 po revizi cesty z V_i do V_j přes V_m?
- Řešte následující problém pomocí PC-2 algoritmu.
- V1 in {0,1,2,3}, V2 in {0,1}, V3 in {1,2}
- V3 = V1+1, V2 != V3, V1 != V2.
- Proč se používá omezená konzistence po cestě? Jak tato konzistence funguje?
- Co to je k-konzistence?
- Jak se liší k-konzistence a silná k-konzistence?
- Uveďte příklad problému, který je 4-konzistentní, ale není 3-konzistentní.
- Kdy jsme schopni problém vyřešit bez navracení?