Coping with disjunctions in temporal constraint satisfaction problems

  • 格式:pdf
  • 大小:252.09 KB
  • 文档页数:6

[1,2] [3,4]
[2,4]
[6,7]

[0,5]

[2,13]
[14,17][18,20][13,15]

X
X

XX
[6,9]
[0,4]
0

1

23

T
S
SST
T

0123456789-1-2
[2,7][2,7][6,7][2,4][1,4][2,9][0,5][3,13]N’(3)[3,11][1,4][0,5][2,9]N’’(3)[3,11][3,13][1,2] [3,4][0,5][3,13]N’’’(3)[2,4][6,9][3,11][1,4][2,7][2,9][0,5][3,16]N’(2)[3,11][1,4][0,5][2,9]N’’(2)[2,7][3,11][3,13][1,2] [3,4][6,7][0,5][3,13]N’’’(2)[2,4][2,4][6,9][3,11][1,2] [3,4][2,4][6,7][0,5][6,9][2,4][3,13][14,16]N’’’(1)[3,11][1,4][2,7][0,15][0,5][2,20]N’(1)[1,4][2,7][0,5][3,16][2,12]N’’(1)[3,11][2,4][6,7]
[0,5]

[2,13]
[14,17][18,20][6,9][13,15]

[0,4]

[1,2] [3,4]
N

G
d
-1

7-25020150-2Minimal DistanceAlgorithmFloyd - Warshall4-17-250-312-216

-3

11
[1,4]

[0,15]

[0,5]
[2,20]
[2,7]

Distance Graph
4
60200
.01
1
100
ULT
on 10 variables, tightness .95, Pc=0.14
0
0.6
0.7
0.8
0.9
1.0
ULT
DPC

on 10 variables, tightness .95, Pc=.14

Number of Intervals
0.200.180.160.140.120.100.08
0.2
0.4
0.6
0.8
1.0
DPC

0.180.160.140.120.08
on 10 variables, 20 intervals, tightness .95
Connectivity parameter Pc

302010
0

4
8
10
ULT

PC-2
PC-1

Iteration count of ULT, PC-2, PC-1

Number of intervals
0.160.120.08
0
2
4
6
8
12
18
PC-2

Connectivity Parameter Pc
0.260.240.220.20
1
10
100
Backtracking efficiency
using ULT, DPC, PC as preprocessing stage

100
PC
Backtracking Efficiency
using ULT, DPC, PC as preprocessing stage

N
u
m
b
e
r
o
f
S
T
P
s
t
e
s
t
e
d