www-ai.cs.tu-dortmund.de/PublicPublicationFiles/hertzberg_thiebaux_94a.pdf
ls8Rep8.dvi
T3
T4
T5
T6
1
1
1
0.5
0.5
inc(T0,V2)
T7 1
0.9
0.1
0.36
0.64
0.6
0.4
inc(T2,V2)
T
0
T
1
T
2
T
3
T
4
T
5
T
6
T
7
0
B
B
B
B
B
B
B
B
B
B
@
T
0
T
1
T
2
T
3
T
4
T
5
T
6
T
7
0 0:36 0 0 0 0 0 0:64
0 0 0:4 0 0:6 [...] Post
i;j
it is true that Di(wj
L
; w
0
j
L
) Di(wj
L
; w
00
j
L
).
Thus, we have proved (7).
From (5), (7), and spaningness, we have
K [ wj
L
-Closest
K
j
L
(Post
i;j
) is logically equivalent to K [...] formalism. Note that these ideas are not uncommon; they are closely related to,
e.g., anytime algorithms [7] and bounded optimality of [19].
The following hypothesis underlies the work presented here:
Building …
