Week 2 - CSPs Flashcards
What 5 things make up a search problem?
State Space
Start State
Goal State
Goal Test
Successor function
What is a solution for a search problem?
A sequence of actions which transforms the start state to a goal state.
What 3 things make up a constraint satisfaction problem?
A set of variables
A domain of possible values for each variable
A set of constraints
What is backtracking search for solving CSPs?
A depth first search method that considers one variable at a layer and only considers states which do not conflict with previous assignments.
How is ordering used to speed up solving a CSP?
The next variable you consider is the variable with the fewest possible values.
How is forward checking used to speed up solving a CSP?
When you assign a variable, cross of any neighbours that are now violated.
Describe the local search algorithm for solving CSPs
Randomly generate a complete assignment
While constraints are violated:
- Randomly select a constraint violating variable
- Choose a new value that violates the least number of constraints