constraint satisfaction problems russell and norvig: chapter 3, section 3.7 chapter 4, pages 104-105...
DESCRIPTION
Constraint Satisfaction Problems3 Intro Example: 8-Queens Another form of generate-and-test, with no redundancies “only” 8 8 combinationsTRANSCRIPT
![Page 1: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/1.jpg)
Constraint Satisfaction Constraint Satisfaction ProblemsProblems
Russell and Norvig: Chapter 3, Section 3.7Chapter 4, Pages 104-105CS121 – Winter 2003
![Page 2: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/2.jpg)
Constraint Satisfaction Problems 2
Intro Example: 8-QueensIntro Example: 8-Queens
• Purely generate-and-test• The “search” tree is only used to enumerate all possible 648 combinations
![Page 3: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/3.jpg)
Constraint Satisfaction Problems 3
Intro Example: 8-QueensIntro Example: 8-Queens
Another form of generate-and-test, with noredundancies “only” 88 combinations
![Page 4: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/4.jpg)
Constraint Satisfaction Problems 4
Intro Example: 8-QueensIntro Example: 8-Queens
![Page 5: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/5.jpg)
Constraint Satisfaction Problems 5
What is Needed?What is Needed?
Not just a successor function and goal testBut also a means to propagate the constraints imposed by one queen on the others and an early failure test Explicit representation of constraints and constraint manipulation algorithms
![Page 6: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/6.jpg)
Constraint Satisfaction Problems 6
Constraint Satisfaction Constraint Satisfaction ProblemProblem
Set of variables {X1, X2, …, Xn}Each variable Xi has a domain Di of possible valuesUsually Di is discrete and finiteSet of constraints {C1, C2, …, Cp}Each constraint Ck involves a subset of variables and specifies the allowable combinations of values of these variables
![Page 7: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/7.jpg)
Constraint Satisfaction Problems 7
Constraint Satisfaction Constraint Satisfaction ProblemProblem
Set of variables {X1, X2, …, Xn} Each variable Xi has a domain Di of possible values Usually Di is discrete and finite Set of constraints {C1, C2, …, Cp} Each constraint Ck involves a subset of variables and specifies the allowable combinations of values of these variables
Assign a value to every variable such that all constraints are satisfied
![Page 8: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/8.jpg)
Constraint Satisfaction Problems 8
Example: 8-Queens Example: 8-Queens ProblemProblem
64 variables Xij, i = 1 to 8, j = 1 to 8 Domain for each variable {1,0} Constraints are of the forms: Xij = 1 Xik = 0 for all k = 1 to 8, kj Xij = 1 Xkj = 0 for all k = 1 to 8, ki Similar constraints for diagonals Xij = 8
![Page 9: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/9.jpg)
Constraint Satisfaction Problems 9
Example: 8-Queens Example: 8-Queens ProblemProblem
8 variables Xi, i = 1 to 8 Domain for each variable {1,2,…,8} Constraints are of the forms: Xi = k Xj k for all j = 1 to 8, ji Similar constraints for diagonals
![Page 10: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/10.jpg)
Constraint Satisfaction Problems 10
Example: Map ColoringExample: Map Coloring
• 7 variables {WA,NT,SA,Q,NSW,V,T}• Each variable has the same domain {red, green, blue}• No two adjacent variables have the same value: WANT, WASA, NTSA, NTQ, SAQ, SANSW, SAV,QNSW, NSWV
WA
NT
SA
Q
NSWV
T
WA
NT
SA
Q
NSWV
T
![Page 11: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/11.jpg)
Constraint Satisfaction Problems 11
Example: Street PuzzleExample: Street Puzzle
1 2 3 4 5
Ni = {English, Spaniard, Japanese, Italian, Norwegian}Ci = {Red, Green, White, Yellow, Blue}Di = {Tea, Coffee, Milk, Fruit-juice, Water}Ji = {Painter, Sculptor, Diplomat, Violonist, Doctor}Ai = {Dog, Snails, Fox, Horse, Zebra}
![Page 12: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/12.jpg)
Constraint Satisfaction Problems 12
Example: Street PuzzleExample: Street Puzzle1 2 3 4 5
Ni = {English, Spaniard, Japanese, Italian, Norwegian}Ci = {Red, Green, White, Yellow, Blue}Di = {Tea, Coffee, Milk, Fruit-juice, Water}Ji = {Painter, Sculptor, Diplomat, Violonist, Doctor}Ai = {Dog, Snails, Fox, Horse, Zebra}
The Englishman lives in the Red houseThe Spaniard has a DogThe Japanese is a PainterThe Italian drinks TeaThe Norwegian lives in the first house on the leftThe owner of the Green house drinks CoffeeThe Green house is on the right of the White houseThe Sculptor breeds SnailsThe Diplomat lives in the Yellow houseThe owner of the middle house drinks MilkThe Norwegian lives next door to the Blue houseThe Violonist drinks Fruit juiceThe Fox is in the house next to the Doctor’sThe Horse is next to the Diplomat’s
Who owns the Zebra?Who drinks Water?
![Page 13: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/13.jpg)
Constraint Satisfaction Problems 13
Example: Task SchedulingExample: Task Scheduling
T1 must be done during T3T2 must be achieved before T1 startsT2 must overlap with T3T4 must start after T1 is complete
• Are the constraints compatible?• Find the temporal relation between every two tasks
T1T2
T3
T4
![Page 14: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/14.jpg)
Constraint Satisfaction Problems 14
Finite vs. Infinite CSPFinite vs. Infinite CSP
Finite domains of values finite CSP Infinite domains infinite CSP (particular case: linear programming)
![Page 15: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/15.jpg)
Constraint Satisfaction Problems 15
Finite vs. Infinite CSPFinite vs. Infinite CSP
Finite domains of values finite CSP Infinite domains infinite CSP We will only consider finite CSP
![Page 16: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/16.jpg)
Constraint Satisfaction Problems 16
Constraint GraphConstraint GraphBinary constraints
T
WA
NT
SA
Q
NSWV
Two variables are adjacent or neighbors if theyare connected by an edge or an arc
T1T2
T3
T4
![Page 17: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/17.jpg)
Constraint Satisfaction Problems 17
CSP as a Search ProblemCSP as a Search Problem
Initial state: empty assignmentSuccessor function: a value is assigned to any unassigned variable, which does not conflict with the currently assigned variablesGoal test: the assignment is completePath cost: irrelevant
![Page 18: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/18.jpg)
Constraint Satisfaction Problems 18
CSP as a Search ProblemCSP as a Search Problem Initial state: empty assignment Successor function: a value is assigned to any unassigned variable, which does not conflict with the currently assigned variables Goal test: the assignment is complete Path cost: irrelevant
n variables of domain size d O(dn) distinct complete assignments
![Page 19: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/19.jpg)
Constraint Satisfaction Problems 19
RemarkRemark
Finite CSP include 3SAT as a special case (see class on logic) 3SAT is known to be NP-complete So, in the worst-case, we cannot expect to solve a finite CSP in less than exponential time
![Page 20: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/20.jpg)
Constraint Satisfaction Problems 20
Commutativity of CSPCommutativity of CSPThe order in which values are assignedto variables is irrelevant to the final assignment, hence:
1. Generate successors of a node by considering assignments for only one variable
2. Do not store the path to node
![Page 21: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/21.jpg)
Constraint Satisfaction Problems 21
Backtracking SearchBacktracking Searchempty assignment
1st variable
2nd variable
3rd variable
Assignment = {}
![Page 22: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/22.jpg)
Constraint Satisfaction Problems 22
Backtracking SearchBacktracking Searchempty assignment
1st variable
2nd variable
3rd variable
Assignment = {(var1=v11)}
![Page 23: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/23.jpg)
Constraint Satisfaction Problems 23
Backtracking SearchBacktracking Searchempty assignment
1st variable
2nd variable
3rd variable
Assignment = {(var1=v11),(var2=v21)}
![Page 24: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/24.jpg)
Constraint Satisfaction Problems 24
Backtracking SearchBacktracking Searchempty assignment
1st variable
2nd variable
3rd variable
Assignment = {(var1=v11),(var2=v21),(var3=v31)}
![Page 25: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/25.jpg)
Constraint Satisfaction Problems 25
Backtracking SearchBacktracking Searchempty assignment
1st variable
2nd variable
3rd variable
Assignment = {(var1=v11),(var2=v21),(var3=v32)}
![Page 26: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/26.jpg)
Constraint Satisfaction Problems 26
Backtracking SearchBacktracking Searchempty assignment
1st variable
2nd variable
3rd variable
Assignment = {(var1=v11),(var2=v22)}
![Page 27: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/27.jpg)
Constraint Satisfaction Problems 27
Backtracking SearchBacktracking Searchempty assignment
1st variable
2nd variable
3rd variable
Assignment = {(var1=v11),(var2=v22),(var3=v31)}
![Page 28: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/28.jpg)
Constraint Satisfaction Problems 28
Backtracking AlgorithmBacktracking AlgorithmCSP-BACKTRACKING({})CSP-BACKTRACKING(a)
If a is complete then return a X select unassigned variable D select an ordering for the domain of X For each value v in D do
If v is consistent with a then Add (X= v) to a result CSP-BACKTRACKING(a) If result failure then return result
Return failure
partial assignment of variables
![Page 29: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/29.jpg)
Constraint Satisfaction Problems 29
Map ColoringMap Coloring{}
WA=red WA=green WA=blue
WA=redNT=green
WA=redNT=blue
WA=redNT=greenQ=red
WA=redNT=greenQ=blue
WA
NT
SA
Q
NSWV
T
![Page 30: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/30.jpg)
Constraint Satisfaction Problems 30
QuestionsQuestions1. Which variable X should be
assigned a value next?2. In which order should its domain
D be sorted?
![Page 31: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/31.jpg)
Constraint Satisfaction Problems 31
QuestionsQuestions1. Which variable X should be
assigned a value next?2. In which order should its domain D
be sorted?3. What are the implications of a
partial assignment for yet unassigned variables? ( Constraint Propagation -- see next class)
![Page 32: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/32.jpg)
Constraint Satisfaction Problems 32
Choice of VariableChoice of Variable
Map coloring
WA
NT
SA
Q
NSWV
T
WA
NT
SA
![Page 33: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/33.jpg)
Constraint Satisfaction Problems 33
Choice of VariableChoice of Variable
8-queen
![Page 34: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/34.jpg)
Constraint Satisfaction Problems 34
Choice of VariableChoice of Variable
Most-constrained-variable heuristic: Select a variable with the fewest
remaining values
![Page 35: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/35.jpg)
Constraint Satisfaction Problems 35
Choice of VariableChoice of Variable
Most-constraining-variable heuristic: Select the variable that is involved in the largest
number of constraints on other unassigned variables
WA
NT
SA
Q
NSWV
T
SA
![Page 36: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/36.jpg)
Constraint Satisfaction Problems 36
{}
Choice of ValueChoice of Value
WA
NT
SA
Q
NSWV
T
WA
NT
![Page 37: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/37.jpg)
Constraint Satisfaction Problems 37
Choice of ValueChoice of Value
Least-constraining-value heuristic: Prefer the value that leaves the largest subset
of legal values for other unassigned variables
{blue}
WA
NT
SA
Q
NSWV
T
WA
NT
![Page 38: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/38.jpg)
Constraint Satisfaction Problems 38
Local Search for CSPLocal Search for CSP12
33223
22
22
202
Pick initial complete assignment (at random)Repeat
• Pick a conflicted variable var (at random)• Set the new value of var to minimize the number of conflicts• If the new assignment is not conflicting then return it
(min-conflicts heuristics)
![Page 39: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/39.jpg)
Constraint Satisfaction Problems 39
RemarkRemark
Local search with min-conflict heuristic works extremely well for million-queen problems The reason: Solutions are densely distributed in the O(nn) space, which means that on the average a solution is a few steps away from a randomly picked assignment
![Page 40: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/40.jpg)
Constraint Satisfaction Problems 40
ApplicationsApplications CSP techniques allow solving very complex problems Numerous applications, e.g.: Crew assignments to flights Management of transportation fleet Flight/rail schedules Task scheduling in port operations Design Brain surgery
![Page 41: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/41.jpg)
Constraint Satisfaction Problems 41
Stereotaxic Brain Surgery
![Page 42: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/42.jpg)
Constraint Satisfaction Problems 42
Stereotaxic Brain Surgery
• 2000 < Tumor < 22002000 < B2 + B4 < 22002000 < B4 < 22002000 < B3 + B4 < 22002000 < B3 < 22002000 < B1 + B3 + B4 < 22002000 < B1 + B4 < 22002000 < B1 + B2 + B4 < 22002000 < B1 < 22002000 < B1 + B2 < 2200
• 0 < Critical < 5000 < B2 < 500
T
C
B1
B2
B3B4
T
![Page 43: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/43.jpg)
Constraint Satisfaction Problems 43
Constraint Constraint ProgrammingProgramming
“Constraint programming represents one of the closest approaches computer science has yet made to the Holy Grail of programming: the user states the problem, the computer solves it.”Eugene C. Freuder, Constraints, April 1997
![Page 44: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/44.jpg)
Constraint Satisfaction Problems 44
Additional ReferencesAdditional References Surveys: Kumar, AAAI Mag., 1992; Dechter and Frost, 1999
Text: Marriott and Stuckey, 1998; Russell and Norvig, 2nd ed.
Applications: Freuder and Mackworth, 1994
Conference series: Principles and Practice of Constraint Programming (CP)
Journal: Constraints (Kluwer Academic Publishers)
Internet Constraints Archive http://www.cs.unh.edu/ccc/archive
![Page 45: Constraint Satisfaction Problems Russell and Norvig: Chapter 3, Section 3.7 Chapter 4, Pages 104-105 CS121 – Winter 2003](https://reader035.vdocuments.site/reader035/viewer/2022062401/5a4d1b667f8b9ab0599b07dd/html5/thumbnails/45.jpg)
Constraint Satisfaction Problems 45
SummarySummary
Constraint Satisfaction Problems (CSP) CSP as a search problem Backtracking algorithm General heuristics Local search technique Structure of CSP Constraint programming