Dotazy k přednášce

1. Co to je konfliktní množina? Vysvětlete na průsvitce 3, proč je vyznačené přiřazení konfliktní množina vzhledem k x7.
2. Co to je minimální konfliktní množina? Ukažte to na příkladu na průsvitkách.
3. Co to je list slepé větve? Opět diskutujte tento pojem na příkladu z průsvitek.
4. Co to je chybné přiřazení? Diskutujte chybné přiřazení na příkladu v průsvitkách. Vysvětlete rozdíl mezi chybným přiřazením a konfliktní množinou.
5. Co to je bezpečná proměnná?
6. Vysvětlete na obrázku na průsvitce 5 pojem konfliktní proměnné.
7. Proč je skok ke konfliktní proměnné bezpečný?
8. Vysvětlete princip Gaschnigova skoku zpět.
9. Vysvětlete jaké jsou rozdíly v implementaci backtrackingu a Gaschnigova skoku zpět. Popište proceduru pro výběr hodnoty u Gaschnigova skoku zpět.
10. Vysvětlete funkčnost Gaschnigova backtrackingu na obrázku na průsvitce 9 při přiřazování proměnné x7.
11. Co to je vnitřní slepá větev?
12. Vysvětlete princip konflikty řízeného skoku zpět.
13. Vysvětlete s pomocí pseudokódu, jak probíhá výběr hodnoty u konflikty řízeného skoku zpět.
14. Na pseudokódu demonstrujte rozdíly mezi backtrackingem a konflikty řízeným skokem zpět.
15. Vysvětlete funkčnost konflikty řízeného skoku zpět na obrázku na průsvitce 13 při přiřazování proměnné x7.
16. Jak můžeme využít množiny skoků zpět v algoritmech učení?
17. Ukažte, jak fungují algoritmy skoku zpět na příkladu z průsvitky 17.
    
18. Jaké jsou principy dynamického backtrackingu?
    
19. Vysvětlete, jak funguje dynamický backtracking na příkladu z průsvitek (str. 18).
20. Popište na základě pseudodódu dynamický backtracking.