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/el/fi/podzim2022/PA163/um/3.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2022/PA163/um/vi/PA163-A217-20211005.mp4

Dotazy k přednášce

  1. Co to znamená, že je cesta konzistentní?
  2. Diskutujte konzistenci podmínky X_i, X_i+1, pokud máme zaručenu konzistenci cesty  X_1, ..., X_m (im).
  3. Bylo by možné definovat konzistenci po cestě na základě uvažování cesty pouze mezi třemi vrcholy?
  4. 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ě?
  5. 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.
  6. Jakým způsobem funguje algoritmus revize cesty?
  7. Porovnejte algoritmy PC-1 a PC-2.
  8. Které cesty přidává do fronty algoritmus PC-2 po revizi cesty z V_i do V_j přes V_m?
  9. Ř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.
  10. Proč se používá omezená konzistence po cestě? Jak tato konzistence funguje?
  11. Co to je k-konzistence?
  12.  Jak se liší k-konzistence a silná k-konzistence?
  13. Uveďte příklad problému, který je 4-konzistentní, ale není 3-konzistentní.  
  14. Kdy jsme schopni problém vyřešit bez navracení?