6.034 Recitation 4: Constraint Satisfaction Problems
Topics covered:
- Terminology: constraint graph, variable, value, domain, constraint
- Four strategies for constraint satisfaction:
1. Depth-First Search (DFS)
2. DFS + Forward-Checking (FC)
3. DFS + FC + Propagation through Singleton Domains (Prop-1)
4. DFS + FC + Propagation through Any reduced domains (Prop-Any)
- Domain reduction before search
Example problems:
- Time Travelers problem from 2009 Quiz 2
- a section of the Lion King/Zoo problem from 2011 Quiz 2
Видео 6.034 Recitation 4: Constraint Satisfaction Problems канала Jessica Noss
- Terminology: constraint graph, variable, value, domain, constraint
- Four strategies for constraint satisfaction:
1. Depth-First Search (DFS)
2. DFS + Forward-Checking (FC)
3. DFS + FC + Propagation through Singleton Domains (Prop-1)
4. DFS + FC + Propagation through Any reduced domains (Prop-Any)
- Domain reduction before search
Example problems:
- Time Travelers problem from 2009 Quiz 2
- a section of the Lion King/Zoo problem from 2011 Quiz 2
Видео 6.034 Recitation 4: Constraint Satisfaction Problems канала Jessica Noss
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Constraint Satisfaction: introduction6.034 Recitation 6: Neural Nets6.034 Recitation 5: k-Nearest Neighbors & Identification TreesConstraint Satisfaction Problem(CSP) in Artificial Intelligence | Problem #2The Arc-Consistency ProcedureMod-01 Lec-39 Constraint Satisfaction ProblemsConstraint satisfaction problemsهوش مصنوعی (جلسه چهاردهم) - حل مسائل ارضای محدودیتConstraint Satisfaction: the AC-3 algorithmHow Constraint Satisfaction Algorithm Works | Explained with Interesting Example | AICS 152 NN—23: Generating Sequences: Beam SearchConstraint Satisfaction, An Introductionforward checking, CSP heuristicsLecture 4: CSPs6.034 Recitation 9: Bayesian InferenceLaurent Charlin: "Exact Combinatorial Optimization with Graph Convolutional Neural Networks"6.034 Recitation 7: Support Vector Machines (SVMs)ICAPS 2016: Constraint Programming for Planning and Scheduling (part 1)16. Learning: Support Vector Machines