Table I
CSPs for illustrative example
CSP
Description
CSP
1
CSP
1
=
(
C
=
{
C
1
,
C
2
,
C
3
,
C
4
,
C
5
,
C
6
)
}
,
X
=
{
X
k
,
p
,
c
,
o
,
s
,
Y
k
,
c
,
s
}
,
D
=
{
D
X
1
,
D
Y
1
}
)
CSP
2
CSP
2
=
(
C
=
{
C
7
,
C
8
,
C
9
,
C
10
,
C
11
,
C
12
,
C
13
,
C
14
)
}
,
X
=
{
X
k
,
p
,
c
,
o
,
s
,
U
O
c
,
o
,
g
,
}
,
D
=
{
D
X
2
,
D
U
O
2
,
}
)
CSP
3
CSP
3
=
(
C
=
{
C
15
,
C
16
,
C
17
,
C
18
,
C
19
,
C
20
,
C
21
,
C
22
,
C
23
,
C
24
,
C
25
,
C
26
)
}
,
X
=
{
X
H
f
,
i
,
j
,
Y
H
f
,
i
,
j
,
h
,
F
H
h
,
f
}
,
D
=
{
D
X
H
3
,
D
Y
H
3
,
D
F
H
3
}
)
CSP
TC
CSP
=
(
C
=
{
C
27
)
}
,
X
=
{
X
k
,
p
,
c
,
o
,
s
,
X
O
k
,
p
,
c
,
o
,
s
,
X
H
f
,
i
,
j
,
T
H
f
,
o
}
,
D
=
{
D
X
4
,
D
X
O
4
,
D
X
H
4
,
D
T
H
4
}
)
CSP
Description
CSP
1
CSP
1
=
(
C
=
{
C
1
,
C
2
,
C
3
,
C
4
,
C
5
,
C
6
)
}
,
X
=
{
X
k
,
p
,
c
,
o
,
s
,
Y
k
,
c
,
s
}
,
D
=
{
D
X
1
,
D
Y
1
}
)
CSP
2
CSP
2
=
(
C
=
{
C
7
,
C
8
,
C
9
,
C
10
,
C
11
,
C
12
,
C
13
,
C
14
)
}
,
X
=
{
X
k
,
p
,
c
,
o
,
s
,
U
O
c
,
o
,
g
,
}
,
D
=
{
D
X
2
,
D
U
O
2
,
}
)
CSP
3
CSP
3
=
(
C
=
{
C
15
,
C
16
,
C
17
,
C
18
,
C
19
,
C
20
,
C
21
,
C
22
,
C
23
,
C
24
,
C
25
,
C
26
)
}
,
X
=
{
X
H
f
,
i
,
j
,
Y
H
f
,
i
,
j
,
h
,
F
H
h
,
f
}
,
D
=
{
D
X
H
3
,
D
Y
H
3
,
D
F
H
3
}
)
CSP
TC
CSP
=
(
C
=
{
C
27
)
}
,
X
=
{
X
k
,
p
,
c
,
o
,
s
,
X
O
k
,
p
,
c
,
o
,
s
,
X
H
f
,
i
,
j
,
T
H
f
,
o
}
,
D
=
{
D
X
4
,
D
X
O
4
,
D
X
H
4
,
D
T
H
4
}
)
[ViewLarge]
Close Modal
Close Modal
This Feature Is Available To Subscribers Only
Sign In
or
Create an Account
Close Modal
Close Modal