Constraint Processing and Programming Introductory Exemple Javier Larrosa.
Constraint Processing Chapter 5
description
Transcript of Constraint Processing Chapter 5
-
!
" #
$
%
& &
'()*
+
&
,
!
-
.
/
+ /
/
(((
-
((0
1
# $
2
3
.
/ . .
%
.
4.
)
!
& 3
& /
5 .
. ! &
%
'(06 (0)*
# $
#
$ 7
8 #
$
9 &
: 0 6 ;
: 0 6 ;
: 0
-
((6
%
-
((;
2,3,5
2,3,4 2,3,4 2,5,6
(a)
x y l
z
2 3 5
2 4 3
2 2 3
2 6 2 6 2 6 2 6 6
Root
3 2 4 2 3 4
3 3 2 4
5 5 5 5 2 5
44
z
x
y
l
(b)
3 3
2 5 6 2 5 6 6525 6 2 65 2 5 6 2 5 6 2 5 6 2 5 6
2
44 2 3 42
2 2
2
2
2 2 2 2 2 2
34
3
x
y
l
z
(c)
%
-
((7$ #
-
((>
red, blue, green
blue, green
red, blue blue, green
red, green, teal
red, blue
red, blue
x1
x x x
x
3 4 5
6
7
xx2
%
-
((E
! " ! : #$
# " A &
( #
$
# $
(
# $
( #$
$
F ( # $
: 7
GH
$
$ #
$
#
: $
# $
%
-
(07
x5
x7
x6
2
10
18
x
x
x
x
1
2
3
4
3
1
4
8
6 97
5
11
16
15
14
12
13
17
b
g
r
r
g
r t t r t g r t r t r t g r t r t r t
r r b b
g r
g
b
b
b
g
r
b
r
b
g
r
bg g g
r
b
b
b
g
b
b
(a)
b
1
2
3
4
5
6
7
8
9
x
x
x
x
1
7
4
b
(b)
5
x6
x
x2
3
g
r b r
r
b
b b b b
b
b
b
r
r
r r
g g
tt r
%
-
(0(
#+ .
$ @
. -
,
4
4
"
& .
3
. # $
# $
. # $ # $
"
&
4
&
C
(
.
# $
%
=
#$ #$ "
"
%$ !"
# $ # $ # $
# $
!" # $
-
(00
+ / =
A
@.
! .
.
1
&
1
.
# $
3
( I 5.
&
0 I
5
. 3
( I + .
C
#
0 ? .
8
" .
) . +
/ & . .
-
(06
&'
');* .
+
?
3 "
-
+ %
8
:
#@
$ "
:
:
"
:
'
*
C
:
"
/
:
% )(7
%
-
(0;
! " ! : #$
# " A &
7
7
! #
$
( #
$
# $
(
# $
# $
( #$
$
F ( # $
: 7
GH
$
#
:
$
$
F (
# $
%
-
(0
&
. ,
H
.H
2 ' $$* % : # $
'* :
!"
9.. .
. & # $
!
&
I. #I$ '6;*
I44 '66*
.
. .
.
.
-
(6)
%//&
! " ! &
# " ! & &
( 2 #&$-
0 " #$-
6 A
#$-
; A
-
(6D
0 1
0 1
1
0 1
0
A
B B
C
% * ,
.
.
.
. B 5 + ')E* & .
/ . 41
!
'EE* A
5
');* .- 5
'(((* - B
A
-
(6>
'D0* .
#.
. .$- @ '((E*
. 5 ')6*
,. . # .
.$ . C
B
A
'D0* .
.
./ +
'(6E *
! .
&
'(6(*
'D0 (0; (07*
'
-
(6E
( 0 6 ! /
x
x
x
x
x1
2
3
4
5
% *
:
& C C 3
#$ ,
J
#$ ! .
#$ . .
#$ .
; 0(0 .
2
( 3
#$
#$
#$ .
#$ I9%
#$ .
#$ + .
-
(;7
D !
" I9 6 .3 . .
. ? .
3 #
.$ 2
E , .
. !
I .
#$ I .J
#$ .0 #
.0
. 0$
-
'(*
'0* +.K ? ! + I 5 ? .
" + , (+,-..) >(L>E (EEE
'6* 4 ! ? A= /
/ , E
'D* ! ! A
. , 0L67; (EE)
6;
-
6;)
'(0* ! + I 5 ! &
C " + , (+,-.4) >(L>E (EE)
'(6* + ? % I K
6 0 67#6$3;DEL6
'(;* 2 + % + 2 ' " !
(ED0
'(L(0> .9 (EEE
'(>* +
, " (036)L6E (E>(
'(E* !! + 5 M .
? ?5.?.(0.77 2 4
0777
'07* !! + !! P 5 M
& " " *9 , :
"8, "-;; (>0 .9 0777
'0(* !! + !! P 5 M .
" " !< -;= 077(
'00* + P , , "
, 6 / , (,6 ,.=) 66(L66D
(EE(
'06* I! 5 5 M I
" " * ,
"8 "-.4 ( =..4) (((> 2
! (6;L(;> .9 (EE)
-
6;D
'0;* + B Q ? (E)* M 4 ! A &.
" ,-.75 " > 2
/ , 0(L0D (EE6
'0E* 9 I ! " 4 ,
! 0 / , 0777
'67* 9 I M ( " M M=
" " "8 "-.. (D(6
2 ! ((L
66( (E>D
'66* I 5 4 I 4 !
0 E
'6)* 4 I I 9 I /
, 603(L
-
6;>
'6>* ? I " > /
, * > 0D)L0>
-
6;E
'D
'
'L0DD (ED>
-
67
'D6* M % !
M B ! . " , 6
/ , (,#@1) L
-
6(* 5 M I! MP
0 / , 0;36* P P ! I
" 2
"
.
077(
'>;* B P + 4 " /
" 2 / , (,.=) 0;(L0;) (EE(
'>)* 4 P %
/ , );3(;DL()7
(EE6
'>D* 5 P + ! .
" " , 6 / ,
(,6 ,.3) (EE;
'>>* 5 P + !
/ , >E36)D (EED
'>E* P I /
" "
" B
? (B?.*) 0;L6
-
6>
'E
-
6#($3EEL((> (EDD
'(7D36;6L6>300)
'((300)
-
6L
0EE (E>E
'(07* + ! @
" ,.;5
E ' ? E 2 + (EE7
'(0(* + @ B +O ? 3 !
1 6 0 ;0#($3;6L)) (EE>
'(0>* 5 ? I " 6
/ , ? (6,?) 006L0;> (EEL0EE (EE6
-
6
'(;(* A
" 2
" (EE>
'(;0* A ? I C
/ , 0EL)( (EED
'(;6* A 4 9
3 ! (L07
(EE>
-
63D)ELDDE (E>(
'()
'()
'()
-
6E
'();* 9+ ! " ,
6 / , (,6 ,@.) (0E(L(0E) (E>E
'()L6;0 (E>(