AI · Theory

Constraint Satisfaction Problems

Theory

103/215

Constraint Satisfaction Problems

CSP: variables, domains, constraints. Sudoku, map colouring, timetables. Solve by search + constraint propagation (arc consistency). 8-queens is the textbook CSP: one queen per row, no shared column/diagonal.

Don’t start with genetic algorithms. First: variables + domains + constraints, then backtracking.

Constraint Satisfaction Problems — output: A= R B= G and A= G B= R. Neighbours differ. Sudoku is the same idea bigger.

Diagram

data → train / test
           │
           ▼
         model
           │
           ▼
        predict

Exam tip

Define CSP + one example.

Example

# CSP — 2-node map
# tiny map colour: A-B neighbours, 2 colours
colours = ["R", "G"]
for a in colours:
    for b in colours:
        if a != b:
            print("A=", a, "B=", b)

Constraint Satisfaction Problems — output: A= R B= G and A= G B= R. Neighbours differ. Sudoku is the same idea bigger.

Short notes

DefVariables, domains, constraints.
RuleMap colour / Sudoku / 8-queens.

AI · Theory

Constraint Satisfaction Problems

← All stacks

Theory

103/215

Constraint Satisfaction Problems

Don’t start with genetic algorithms. First: variables + domains + constraints, then backtracking.

Constraint Satisfaction Problems — output: A= R B= G and A= G B= R. Neighbours differ. Sudoku is the same idea bigger.

Diagram

data → train / test
           │
           ▼
         model
           │
           ▼
        predict

Exam tip

Define CSP + one example.

Example

# CSP — 2-node map
# tiny map colour: A-B neighbours, 2 colours
colours = ["R", "G"]
for a in colours:
    for b in colours:
        if a != b:
            print("A=", a, "B=", b)

Constraint Satisfaction Problems — output: A= R B= G and A= G B= R. Neighbours differ. Sudoku is the same idea bigger.

Short notes

DefVariables, domains, constraints.
RuleMap colour / Sudoku / 8-queens.

Constraint Satisfaction Problems

Example

Short notes

Questions

Constraint Satisfaction Problems

Example

Short notes

Questions