абгее ¥ ¥ " $&¥)0 £ ¥0) ¥ 70&9A£)0 9 B&"
абгее ¥ ¥ " $&¥)0 £ ¥0) ¥ 70&9A£)0 9 B&"
абгее ¥ ¥ " $&¥)0 £ ¥0) ¥ 70&9A£)0 9 B&"
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Submitted to Artificial Intelligence special issue on Planning and Scheduling<br />
¢¡¤<strong>£</strong>¦<strong>¥</strong>§<strong>¥</strong>§¨©<strong>¥</strong>§<strong>¥</strong>¨©<strong>¥</strong>§<strong>£</strong>¦¨<strong>¥</strong>¨<strong>¥</strong><strong>£</strong>¦¨¤<strong>£</strong>¨©<strong>¥</strong>§<br />
¢¦¢¢§¢<br />
¤¤<br />
¤<br />
¤§¤<br />
<br />
<br />
¤©©¤©<br />
§¤¦©©<br />
©<br />
¤©©¤©©©¤©<br />
©¦©§¤©§§¤<br />
©§©©©<br />
©©§©©<br />
©©©<br />
©<br />
©©©©<br />
©<br />
©©©©©©©<br />
©©©¦©©¤<br />
§©©©©©©©©©<br />
<br />
§©©¤©©©<br />
©©©©©¤<br />
©©¤§<br />
©©©©¤©©©©<br />
©©§©<br />
¤<br />
©<br />
©©© ©¤§¦©©<br />
<br />
©©<br />
©©©©<br />
¦©©
¡<strong>£</strong>¢<strong>¥</strong>¤§¦©¨¤¨¢<br />
<strong>¥</strong><strong>£</strong>©<br />
<br />
<br />
<strong>£</strong><br />
©<strong>¥</strong><br />
<br />
<strong>¥</strong><strong>£</strong><br />
<br />
<strong>¥</strong> <br />
©<br />
<strong>£</strong><br />
<br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
<strong>£</strong><br />
<br />
<br />
<strong>£</strong><br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><strong>¥</strong><strong>£</strong>§<br />
©<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<strong>¥</strong>
<strong>¥</strong><br />
<strong>¥</strong><br />
¡ <br />
<br />
<strong>¥</strong><strong>£</strong>¢<strong>¥</strong>¤§¦©¨<br />
¡ <strong>¥</strong><strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<strong>¥</strong>¨¦¤<br />
<br />
<br />
<br />
<br />
<br />
¡ <br />
<strong>£</strong><br />
<br />
<br />
<br />
<strong>¥</strong><strong>£</strong><br />
<br />
¦§ ¤§¦¤ ¦ ©<br />
<br />
<br />
§¤¦ ¢ ¦¤ <br />
<br />
<strong>¥</strong><br />
¨¤¦¦ <strong>¥</strong><br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
¦¨
§¤¢<strong>¥</strong><br />
¡<br />
<strong>£</strong>¢<strong>¥</strong>¤¡¦<br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
§¤¢¦¤<strong>¥</strong><br />
¡<br />
¢ ¤§¦¨ ¦©¤ <strong>¥</strong><br />
<strong>¥</strong><br />
¨§<strong>¥</strong><br />
©<br />
© <br />
<strong>¥</strong><br />
<br />
¦ <strong>¥</strong> <br />
<br />
<strong>¥</strong><br />
<br />
§¦¦©¤ ¨ §¦© <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
¢ ¨ ¤ §¦¦¤<strong>¥</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
¨ §¦¦©¤ <br />
<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<strong>¥</strong>© <br />
<br />
<strong>¥</strong><br />
¡ <br />
<strong>¥</strong><strong>¥</strong><br />
§<br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><strong>¥</strong>
<strong>¥</strong><br />
¡ <br />
<br />
<br />
¡<br />
<strong>£</strong>¢<br />
<br />
¡ <br />
<strong>£</strong><br />
§<strong>¥</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
<br />
¤ <strong>¥</strong> ¦¦¨§<strong>¥</strong>¨© ©¨¢<strong>¥</strong> ¨<br />
<br />
<strong>¥</strong><br />
<strong>£</strong><br />
<br />
<strong>£</strong><br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
¢ ¤§¦¨<br />
<br />
<strong>¥</strong><br />
¢ <br />
¨¦¤<strong>¥</strong><strong>¥</strong><br />
<br />
¡<br />
§<strong>¥</strong> <strong>¥</strong><br />
<br />
<strong>£</strong><br />
<br />
<br />
<br />
¦ ¨ ¤ ¦©¨¤ <strong>£</strong> <strong>¥</strong><br />
<strong>£</strong><br />
<strong>£</strong><br />
<strong>¥</strong><br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
¡ <strong>£</strong><strong>¥</strong>
¡ <strong>£</strong>¢<br />
<br />
¤¦<strong>¥</strong>¨§©<br />
<br />
¤ ¦ <strong>¥</strong> <strong>¥</strong> <br />
<br />
<strong>¥</strong> <br />
<strong>¥</strong><br />
<br />
¤¤ ¢ ¤ ¦<br />
<strong>¥</strong><br />
© <br />
<br />
§<br />
¤ ¦ <strong>¥</strong><br />
<strong>¥</strong><strong>£</strong><br />
<br />
<strong>¥</strong><br />
<strong>£</strong><br />
<strong>¥</strong><br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
<br />
¡ <br />
<br />
<br />
<br />
<strong>£</strong>¢ <br />
<br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
<strong>£</strong> <br />
<br />
<br />
<br />
<br />
¡<strong>¥</strong><br />
<br />
<strong>¥</strong><strong>¥</strong> <br />
<br />
¡ ¤ <strong>¥</strong>§©
<strong>£</strong><br />
<br />
<br />
<strong>£</strong><br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<strong>£</strong><br />
¡ <br />
<br />
<strong>£</strong><br />
<br />
©<strong>£</strong><br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
¢ <strong>£</strong>¨<strong>¥</strong>¤¢§¦©¨ ¤ ¦¦¦¤¨¦¤¨¤¦<br />
¡ <br />
<br />
§<br />
<br />
©<br />
<br />
¢¦ ¢<strong>¥</strong>¤§¦©¨<strong>¥</strong><br />
<br />
§¤¢ ¦ <strong>¥</strong>§ §<br />
<br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<br />
<br />
©<br />
¢ ¤¡¦ ¡<br />
<br />
<br />
<br />
<br />
¢ ¤¡¦ ¢<br />
<br />
¤¦<strong>¥</strong>§<br />
<br />
¢<strong>¥</strong>¤¡¦<strong>¥</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
<strong>¥</strong><br />
¢
¢<strong>¥</strong>¤¡¦ <br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
¡ <strong>£</strong>§<br />
<strong>¥</strong><br />
¢<strong>¥</strong>¤¡¦<br />
<br />
<br />
¡ ¦<strong>£</strong>¢ ¦<strong>¥</strong>¨<strong>¥</strong>¦¤ <strong>¥</strong>¤<br />
<strong>¥</strong><br />
<br />
<br />
§¤¢ <br />
¡<br />
<strong>¥</strong> <strong>¥</strong><br />
<br />
<strong>¥</strong> <br />
<br />
<strong>¥</strong><br />
<strong>£</strong><strong>¥</strong><br />
<br />
<br />
<br />
¢ ¨¦¤<strong>¥</strong><br />
<br />
§¦ <strong>¥</strong> <br />
<br />
<strong>¥</strong><br />
<br />
<strong>¥</strong> <br />
<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
¦ ¦©¤ <br />
<br />
¡ <strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><br />
<br />
<strong>¥</strong>
©<br />
0.4<br />
a<br />
b<br />
1.0<br />
1<br />
b 0.2 a 0.6<br />
2<br />
b<br />
0.8<br />
3<br />
b 0.2<br />
0.3<br />
a<br />
a<br />
0.7<br />
0.3<br />
b<br />
a<br />
0.8<br />
4 5<br />
a<br />
a b<br />
0.4<br />
0.6 0.2<br />
0.4<br />
a<br />
b 0.2 a 0.6<br />
b<br />
0.8<br />
b 1.0<br />
OUT<br />
1.0<br />
a<br />
1.0<br />
2 4<br />
b<br />
a<br />
a<br />
1.0<br />
0.4<br />
0.6<br />
i. ii.<br />
©<strong>¥</strong><strong>¥</strong><br />
<strong>¥</strong>©<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<br />
<br />
<br />
<br />
<br />
<strong>¥</strong><br />
¦¡ <br />
<strong>¥</strong>¦©©<br />
¤ ¨ ¤ ¢¦©¤¢ <strong>£</strong><br />
© <br />
¤<strong>£</strong> <strong>¥</strong> ¦<strong>£</strong> <strong>¥</strong> © <br />
§<br />
<br />
1<br />
b
© <br />
<br />
<br />
<strong>¥</strong><strong>£</strong><br />
<strong>¥</strong><br />
<br />
<br />
©<br />
¡ <strong>£</strong>¢ ¦<strong>¥</strong>¤ <br />
<br />
<br />
<strong>¥</strong><br />
© <strong>£</strong>¢ <strong>¥</strong><br />
©<br />
§¦<strong>¥</strong><br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
¨© <br />
§<br />
<strong>£</strong><br />
<strong>¥</strong><br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<strong>¥</strong>§<br />
<br />
<br />
<br />
¦<br />
<strong>¥</strong> ¢ ¤ ¦ <br />
<br />
<strong>£</strong>
<strong>¥</strong><br />
<strong>£</strong><br />
<strong>£</strong><br />
<strong>£</strong> §<br />
<br />
<br />
¡ ¦<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
¡ ¢ <br />
©<br />
<strong>¥</strong><br />
<br />
<strong>£</strong><br />
<br />
<br />
<br />
<strong>¥</strong><strong>£</strong><br />
<br />
<br />
<strong>¥</strong><br />
§<br />
<strong>£</strong><br />
<br />
<strong>¥</strong><br />
<br />
<strong>£</strong><strong>¥</strong><strong>¥</strong><br />
<br />
©<br />
<br />
<br />
<br />
©<strong>¥</strong><strong>¥</strong><br />
<br />
<br />
<br />
<strong>¥</strong><br />
¤<strong>£</strong>
Find path to the goal<br />
Extend the envelope<br />
Extend and then prune the envelope<br />
Find path back to the envelope<br />
Extend and then prune the envelope<br />
© <br />
<strong>£</strong><strong>¥</strong><br />
<br />
<strong>£</strong><strong>¥</strong><br />
<strong>¥</strong><br />
<strong>¥</strong> <br />
<br />
<br />
¦<br />
<br />
<br />
<strong>¥</strong> <strong>¥</strong> ¢ ¤ ¦ <br />
<br />
<strong>£</strong> <br />
<strong>¥</strong><br />
§<br />
<br />
<br />
<strong>£</strong> <strong>£</strong><br />
¨©¢¡ <strong>£</strong> <strong>¥</strong>¤§¦ ¨¦ <br />
<br />
¦<strong>£</strong><strong>¥</strong><br />
<br />
<br />
time
¡ <strong>¥</strong><br />
<br />
<br />
¡ ¡ <strong>£</strong>¢ <br />
<strong>¥</strong><br />
<strong>¥</strong><br />
¡ <br />
<strong>¥</strong>¤<br />
<br />
<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
¢ <strong>¥</strong><br />
<strong>¥</strong>¢¢<br />
<br />
<br />
<strong>¥</strong><br />
<strong>£</strong><br />
<strong>¥</strong><br />
<strong>¥</strong> <br />
<strong>£</strong><br />
<br />
<strong>¥</strong><br />
<br />
<strong>£</strong><br />
<br />
<br />
<strong>¥</strong><br />
<br />
<strong>£</strong><strong>£</strong><br />
¡ ¡ ¦ ¨§ © §<br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<strong>¥</strong>©<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<br />
¡ <br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong>
<strong>¥</strong><br />
<br />
<br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><strong>¥</strong> <br />
<br />
<strong>¥</strong> <br />
<br />
§<strong>¥</strong> <strong>¥</strong> <br />
<br />
¡ <br />
<strong>£</strong><br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
¡ ¡ ¢ ¤<strong>£</strong> ¦<strong>¥</strong>¨§ <br />
¦<br />
¨¤¢<strong>£</strong> ¦ §¤¢ ¦©¤ §¤¢ ¢ ¦ ©<br />
©<br />
<strong>¥</strong><br />
<br />
¦<br />
<br />
¦<br />
<br />
<br />
<br />
<br />
<br />
<br />
¤<strong>£</strong><strong>¥</strong> <br />
¢<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
<strong>¥</strong>
<strong>¥</strong><br />
©<br />
<strong>¥</strong><br />
<strong>¥</strong><strong>£</strong><strong>¥</strong><strong>£</strong><br />
<strong>¥</strong> ¡ <br />
<br />
<br />
¢ <br />
<br />
<br />
<br />
<br />
<strong>£</strong><br />
<strong>¥</strong><br />
¤ ¦ <strong>£</strong> ¨¦¤<br />
<br />
<strong>¥</strong><br />
© <strong>¥</strong> ©<br />
§<br />
<strong>¥</strong>©<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<strong>¥</strong> §¦<br />
<strong>¥</strong><br />
<br />
§ <br />
§<br />
<br />
<strong>¥</strong>§<br />
<strong>¥</strong><br />
<br />
<br />
<br />
¤<strong>£</strong><br />
<strong>¥</strong><strong>£</strong><br />
<strong>¥</strong><br />
<br />
<strong>£</strong> <br />
©<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<strong>£</strong><br />
<br />
<br />
<strong>£</strong>¢¤
<strong>¥</strong> <br />
¨©¡ ¢¤<strong>£</strong>¦<strong>¥</strong> ¤ ¨§©¦<strong>¥</strong> ¦ ¦ <br />
<strong>¥</strong> <br />
<br />
¨ ¦ <br />
<br />
<strong>£</strong> <br />
<br />
<br />
<br />
<br />
<br />
<br />
¢ ¢<strong>¥</strong><br />
<strong>¥</strong><br />
§¦ ©<strong>¥</strong><br />
<br />
<strong>£</strong> <br />
¨¢¢<br />
© <br />
<br />
¦<br />
<strong>¥</strong>§<strong>¥</strong><br />
¢ ¦ ¤ ¦ ¦ ¤ ¦ ¦ ¤ ¢ ¤¡¦ <br />
<br />
¦<br />
<br />
¢<strong>¥</strong><br />
<strong>£</strong><br />
<br />
<br />
<br />
¦ <br />
<br />
<strong>¥</strong><br />
<br />
<br />
§<br />
<strong>¥</strong><br />
¢<strong>¥</strong> <br />
<br />
¢ <br />
<strong>¥</strong><br />
<strong>¥</strong><strong>£</strong><br />
<br />
<strong>¥</strong><br />
©<br />
¨¤ ¢<br />
<br />
¦ ¡ <br />
<br />
¨
N<br />
W E<br />
S<br />
<br />
©<br />
¦<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
¢<br />
Sinks
©<strong>£</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
© <br />
©<br />
<br />
<br />
<br />
<br />
¢¡ ¦¨¦¤¨¢ ¢§¦<br />
<br />
<strong>¥</strong><br />
<br />
¡ <br />
<br />
¡ <br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<br />
¡ ¨¦ ¦¤ ¤<br />
<strong>¥</strong><strong>£</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><br />
¦<br />
<br />
<strong>£</strong><strong>¥</strong><br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<br />
<br />
¢ ¨ ¤ §¦¦©¤<br />
<br />
<br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong>
W<br />
N<br />
S<br />
E<br />
start<br />
goal<br />
best path<br />
stairwell<br />
fringe<br />
forward<br />
turn right<br />
turn left<br />
turn about<br />
¦§¦ <br />
©<br />
<br />
<br />
<strong>£</strong><br />
<br />
<strong>£</strong><br />
<br />
<br />
<br />
¢ ¤¡¦
<strong>£</strong><strong>¥</strong><br />
<br />
<strong>¥</strong> <br />
¤<br />
<br />
<br />
<br />
<br />
<strong>£</strong><br />
¨ §¦¦¤<br />
<br />
<strong>¥</strong><br />
<br />
<br />
¢<br />
<br />
<br />
¢ <strong>£</strong> <br />
© ¢¡¤<strong>£</strong> <strong>¥</strong> ¦ <br />
<strong>¥</strong><strong>¥</strong><br />
<strong>¥</strong><strong>£</strong><br />
<strong>¥</strong><br />
¦<strong>¥</strong>¨§©<strong>¥</strong><br />
<strong>¥</strong><br />
¡ ¦ ¡¡ ¡ ¦ <strong>¥</strong>§<strong>¥</strong> <br />
<strong>¥</strong><strong>¥</strong>¡ <br />
¦<strong>¥</strong><br />
<strong>£</strong>
¢¡¤<strong>£</strong> <strong>¥</strong> ¡ <strong>¥</strong>¡ <br />
<br />
<strong>¥</strong><br />
<br />
<br />
¡ ¦ <br />
<strong>¥</strong>§<strong>¥</strong> <br />
<br />
§¦ ©¨<strong>£</strong><br />
<br />
<br />
<br />
<br />
¦ <br />
¡ ©<br />
<br />
¦© <br />
¦<br />
¡ <br />
<br />
<br />
<strong>¥</strong>¦<br />
© <strong>£</strong><br />
¦<strong>¥</strong><br />
<strong>¥</strong><strong>£</strong><br />
¡ <br />
<br />
¡ ¦ ¦ <br />
¦©<br />
<br />
¡ ¦ ¦ <strong>¥</strong>§<strong>¥</strong> <br />
<br />
§<br />
<br />
<br />
<br />
<br />
¡
<strong>¥</strong> ¡ <strong>£</strong> <strong>¥</strong> ¡ <strong>¥</strong>¡ <br />
<br />
<strong>¥</strong>¦ ¤ §<br />
<br />
¡ <br />
<br />
<br />
¡ ¦ ¡¡ ¡ ¦ <strong>¥</strong>§<strong>¥</strong> <br />
<br />
<br />
¡ <br />
<br />
<strong>£</strong><br />
<br />
§¦© ¤<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><strong>£</strong><br />
<br />
¦ <br />
¡<br />
¢<br />
<strong>£</strong> <strong>£</strong> ¡<strong>¥</strong>¤ <br />
<br />
<br />
¤ <strong>£</strong><br />
<br />
<strong>£</strong><br />
<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<strong>¥</strong>¤ ¦ ¦ <br />
<br />
<br />
<strong>£</strong><br />
¦© §¦ <strong>£</strong>§¦<br />
<br />
<br />
¡ <strong>£</strong> ¨<strong>¥</strong>¡ <strong>¥</strong>¡ <br />
<br />
<strong>¥</strong><br />
<br />
¦ ¦ ¦ <br />
<strong>¥</strong> ¡ <strong>£</strong> <strong>¥</strong> <strong>¥</strong>¡ <strong>¥</strong> <br />
<br />
¤ <br />
<br />
¦ <br />
¡<br />
¢<br />
<strong>£</strong> <strong>£</strong> ¡¨¤ <br />
<br />
¡
<strong>¥</strong><br />
¡ <strong>£</strong> <strong>¥</strong> <strong>¥</strong>¡ ¡ <strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<strong>£</strong><br />
¡ <br />
<br />
¡ <br />
¦<br />
¦ ¡ ¦ ¦ ¦ <br />
¦<br />
©¢¡ © ¨¦ ¢¡ <strong>£</strong> <strong>¥</strong> ¦ <br />
<strong>¥</strong><br />
<br />
<br />
<br />
<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
¦ ¨ ¤ § ¨¤ ¢ ¤ ¨ <br />
<br />
<strong>£</strong>¢ ¦ ¨<br />
§¦¦©¤<br />
<br />
<strong>¥</strong>¨<br />
§ ¨ ¤ ¢<strong>¥</strong><br />
<strong>£</strong><br />
<br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<br />
©<br />
<br />
¦
intervals during which the system is executing reflexively<br />
0 n 2n 3n 4n<br />
falls out of the envelope<br />
current state happens to be contained in the new envelope<br />
falls out of the envelope again<br />
current state is not in the new envelope<br />
©¢<br />
current state is in the new envelope<br />
¡¡ <strong>£</strong>¢ <strong>¥</strong>¤ <strong>¥</strong>¢¡§¦ <strong>£</strong> <br />
<br />
¤ ¦¨ <br />
<br />
¤ ¤ ¤ ¦ ¤<br />
<br />
<strong>¥</strong><strong>£</strong><strong>¥</strong><br />
<br />
¤ <strong>¥</strong><br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<strong>¥</strong><br />
¤ <br />
<br />
¤ <br />
<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<strong>¥</strong><br />
<br />
<br />
<br />
<br />
¤ ¡ <br />
<br />
<strong>¥</strong> <strong>¥</strong><strong>¥</strong><br />
<br />
<br />
<br />
¤ © ¢<br />
<br />
<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong>§<strong>¥</strong><strong>¥</strong><strong>£</strong>
<strong>£</strong>¢ <strong>¥</strong>¡ <br />
<strong>£</strong>¡<br />
¤ <strong>¥</strong> <strong>¥</strong>¤ ¤ <br />
<br />
¡ <strong>¥</strong><br />
<br />
¡ <br />
<br />
<strong>¥</strong> ¤ <br />
¤<br />
¤ ¤ <br />
¤<br />
<strong>£</strong>§¦<br />
<br />
¤ ¤ <br />
<strong>¥</strong><strong>¥</strong><br />
©<br />
<br />
¨<br />
¢<br />
¢ <br />
¢<br />
<br />
<br />
¡ <br />
¢<br />
¤<strong>¥</strong>§ ¢<br />
¢ <br />
© ¨<br />
¤¦<strong>¥</strong><strong>¥</strong>§ ¢<br />
¤ §<br />
<br />
¢<br />
<strong>£</strong><strong>¥</strong><br />
<br />
<strong>¥</strong><br />
¦<br />
¤ <strong>£</strong> <br />
<br />
¦ <br />
<br />
¡ <br />
<br />
§<strong>¥</strong><br />
<br />
<br />
<strong>£</strong><br />
¡ <strong>£</strong>¢ ¤ <strong>¥</strong> ¡ <strong>£</strong> <strong>£</strong> <br />
<br />
¤ <br />
<br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><strong>¥</strong><strong>£</strong><br />
<br />
<br />
¤ <br />
¤<br />
© ¨<br />
<br />
¢<br />
¢ <br />
<br />
<br />
¡ <br />
¢ ¤¦<strong>¥</strong>¨§<br />
<br />
<strong>¥</strong>
¤ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<strong>¥</strong>§ <br />
<br />
©<strong>¥</strong><br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
<br />
¡<strong>£</strong>¢§¤ ¦ ¤¢¤¨¦<strong>¥</strong>¤ ¤ <br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
¦© § ©¨ <strong>£</strong> <strong>¥</strong> ¦<br />
<strong>£</strong><strong>¥</strong><br />
<br />
§<br />
<strong>£</strong><strong>¥</strong><br />
<br />
<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
¦<strong>¥</strong> ¡ <br />
<br />
¡ <br />
<br />
¤<br />
¦<br />
<strong>¥</strong><br />
<br />
¡ <strong>¥</strong>§<strong>¥</strong><br />
<br />
¤ ¨ ¢ ¤ <strong>£</strong> <br />
¢<br />
<br />
¢ ¢ <br />
<strong>¥</strong><br />
¢ <strong>¥</strong><strong>£</strong>
1.00<br />
0.80<br />
0.60<br />
0.40<br />
0.20<br />
value<br />
greedy algorithm<br />
complete state space<br />
0.00<br />
0.00 0.20 0.40 0.60 0.80 1.00 time<br />
<br />
©<br />
¡ <strong>¥</strong>¢ <br />
<br />
<br />
¡ §<strong>£</strong><strong>£</strong> <br />
<br />
<br />
<strong>£</strong><br />
¡ <br />
<strong>¥</strong><strong>£</strong><br />
<strong>¥</strong><br />
<strong>¥</strong> <br />
<br />
¡ <br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
<br />
©<strong>¥</strong>¢<br />
<strong>¥</strong><br />
¡ <strong>¥</strong><br />
§<br />
<strong>¥</strong>§¦<strong>£</strong>¢<br />
<br />
<br />
§<strong>¥</strong>¤§¦©¨<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
¡ <strong>£</strong> <br />
<br />
<strong>¥</strong><br />
<br />
¢
<strong>¥</strong><strong>¥</strong><br />
<br />
¦©¢¡ © ¨¦ <strong>£</strong> <strong>¥</strong> ¦<br />
<strong>¥</strong><br />
<br />
<br />
<br />
<br />
©©<br />
<br />
<strong>£</strong>§§<br />
<strong>¥</strong> <br />
<br />
<br />
¡ ¢ <br />
¡ <br />
<br />
¡ <br />
<strong>£</strong><strong>¥</strong><br />
¢¡ ¤ ¤<strong>£</strong><br />
<br />
¤ <br />
<br />
¡ <br />
<br />
©<strong>¥</strong>©<br />
¢¡ ¦<br />
¤<br />
¤ <br />
©<br />
<strong>£</strong> <br />
©<br />
¡ <br />
<br />
¤ ¡ ¢¡ §<br />
<strong>¥</strong><br />
<strong>£</strong>¢ ¢¡ <strong>¥</strong><br />
<strong>¥</strong>¡ ¦<br />
©<strong>¥</strong><br />
<br />
¤ <strong>¥</strong>¦©<strong>£</strong> ¤ <strong>£</strong><strong>£</strong><br />
<br />
<strong>£</strong> <br />
<br />
<strong>£</strong>§
¢¡ ¤ <strong>£</strong> <br />
<br />
<br />
<strong>£</strong> ¦ <br />
<br />
<br />
<br />
§<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
¡ <br />
<strong>£</strong><br />
<br />
¡ <strong>£</strong><strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
<br />
¡ <strong>¥</strong><br />
<br />
¦ <br />
<br />
©<br />
<br />
<strong>£</strong><br />
¡ <br />
<strong>¥</strong><strong>¥</strong><br />
¦<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
<strong>£</strong><br />
<strong>¥</strong><br />
<strong>¥</strong>¡ <strong>¥</strong> <br />
<br />
<strong>¥</strong><br />
<br />
¡ ¡ ¢ <strong>¥</strong><strong>£</strong>¢ ¢ <br />
<br />
¤¢<br />
¡ <strong>¥</strong><br />
<br />
¡ ¦<strong>¥</strong>¨§©<strong>¥</strong><br />
§¦§<br />
©
<strong>¥</strong>¨§¨©¨ <strong>¥</strong> §¦¨¢© © ©<br />
©¢¡¤<strong>£</strong>¦<strong>¥</strong><br />
¢ <br />
<br />
¢ <br />
<br />
¢ <br />
¡<br />
¢<br />
<br />
<br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
¦ ¦© ¡ <br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><br />
©¨ ¨<br />
©¨§¨¢©©¨<br />
<br />
§¦¨¢©©<strong>¥</strong><strong>£</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<br />
<br />
<br />
©©¨ © <strong>¥</strong> <strong>¥</strong><br />
<br />
<strong>¥</strong><strong>¥</strong>¢¡ ¢© ¢ <strong>¥</strong> ¦ <strong>£</strong><strong>£</strong><br />
<br />
<br />
<strong>¥</strong><strong>¥</strong>© <strong>¥</strong> ¦ <strong>£</strong><strong>¥</strong>©<br />
<br />
¦¤<strong>£</strong><br />
<br />
¦
<strong>£</strong>¢ <strong>¥</strong>¤§¦©¨<strong>£</strong><br />
¡¨©¡<br />
<br />
§¦©¨<strong>£</strong><br />
©¤¡<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><strong>¥</strong>¡ ¦ <br />
<br />
¦ <br />
<br />
<strong>¥</strong><strong>¥</strong>© ¢ ©© © <strong>¥</strong> <br />
<br />
¡ ¦<br />
<strong>£</strong><strong>£</strong><br />
<strong>¥</strong>§¦<strong>¥</strong><strong>£</strong><strong>¥</strong><br />
¡ <br />
<strong>¥</strong>§¦<br />
¡ ¤ ¤ <br />
§<strong>£</strong><br />
¤ ¤<br />
<br />
¦<br />
¢¤¦ ¤<br />
<br />
<br />
¢ ¦ ¤<br />
<br />
<br />
¢ ¦ ¤<br />
¤§¦ ¤<br />
<br />
<br />
¢¤¦ ¤ <br />
¢¤¦ ¤ <br />
<br />
<br />
¦ ¤ <br />
¦ ¤ <br />
<br />
<br />
<br />
<br />
§<br />
<br />
¢ ¡ §<strong>¥</strong><br />
<br />
<br />
<br />
<strong>£</strong>¢<br />
<br />
<strong>¥</strong><strong>¥</strong>¢¡¢© ¢ ¦¢<br />
<strong>£</strong><br />
<br />
<br />
<br />
¡ ©<br />
<br />
¡ <strong>¥</strong> <strong>£</strong> <br />
<br />
¡ ¡ <strong>£</strong> <br />
<br />
<br />
¤<br />
<br />
¤
¢¢<br />
<br />
¢ ¢<br />
<br />
¢<br />
¡<br />
¢ <br />
<br />
¢ <br />
<br />
¢ ¢ <br />
§¦ ¡ <br />
<strong>¥</strong><br />
<br />
<strong>£</strong> <br />
<br />
<br />
¢ © ©<br />
<br />
©<br />
<strong>£</strong><br />
©<br />
<strong>£</strong> ¢¡ ¢¨¢¢¡ ¤ <br />
<br />
<br />
<br />
<strong>£</strong> ¦ <br />
<strong>£</strong> ¡ <strong>¥</strong>¤ ¢ <br />
<strong>¥</strong> ¡ <br />
<br />
¡ <strong>¥</strong> ¡ <br />
<br />
¢ ¢¦¡ ¤<strong>£</strong><br />
<br />
<br />
¢¢<br />
©<strong>¥</strong><br />
<br />
<strong>¥</strong>
average time to goal (ticks)<br />
1500<br />
1000<br />
500<br />
0 5000 10000 15000<br />
WHOLE<br />
ITER<br />
LOOKUP<br />
world size (states)<br />
<br />
©<br />
¡ <br />
<br />
¦¤ ¢<br />
<strong>£</strong><br />
¡ ¦ <br />
<br />
<strong>¥</strong> ¢ ¢¦¡ ¤<br />
<br />
¡ <br />
<strong>¥</strong>©<strong>¥</strong><br />
<br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
<strong>£</strong><br />
<strong>¥</strong><strong>£</strong><strong>¥</strong><br />
<strong>£</strong><br />
©<br />
<br />
<strong>¥</strong><strong>¥</strong>
¤ ¤¦¨ ¢<strong>¥</strong>¤¢ ¦¢¡ ¨¦ ¨ ¤ ¤ ¨ ¦¦¤<strong>£</strong>¢¤¨¢<br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
§<strong>¥</strong> ¦ <br />
§<br />
<br />
<br />
<strong>¥</strong>§<br />
<strong>¥</strong><strong>¥</strong><br />
<strong>¥</strong><br />
<strong>¥</strong> <strong>£</strong><br />
<strong>£</strong><br />
<strong>¥</strong><strong>¥</strong><strong>£</strong>§ <strong>¥</strong><br />
<br />
<strong>¥</strong><strong>£</strong><br />
<strong>¥</strong> © ¦<strong>¥</strong> § <strong>¥</strong>¨§ ¨ ¤ <br />
<strong>£</strong> ¢<br />
<strong>¥</strong><strong>¥</strong><br />
¤¤ ¢ ¤ ¦§ ¢ ¤ <br />
<br />
¤ ¦<strong>¥</strong><br />
¢<br />
<strong>¥</strong><br />
¢ <strong>¥</strong><br />
<br />
¡ <strong>£</strong><br />
<br />
©<br />
© ¨ <br />
<strong>£</strong> <br />
<br />
§ <strong>£</strong> <br />
<br />
<strong>¥</strong> <br />
<br />
<br />
<br />
<strong>£</strong>¢<br />
¡ <strong>£</strong>
<strong>£</strong> <br />
<br />
<strong>£</strong><br />
¨ ¢ ¤ ¦<br />
<br />
<br />
¢<br />
<br />
<strong>¥</strong> ©¢¡ § ¨<strong>¥</strong> <strong>£</strong> ¦<strong>¥</strong> ¦<br />
<br />
<br />
¦<br />
<br />
§¦<br />
¢ ¡ ¢<strong>£</strong>¢ ¢ ¡ ¢ <br />
<strong>£</strong><br />
<strong>¥</strong>¤¢<strong>¥</strong><br />
<br />
§¦<strong>¥</strong><br />
<strong>£</strong><strong>£</strong><strong>¥</strong><br />
<strong>£</strong><strong>¥</strong><br />
<strong>£</strong><br />
<strong>¥</strong>¢<br />
¡ <br />
<br />
¡ <strong>¥</strong><strong>£</strong><br />
<br />
<br />
¦¢©<br />
<br />
<br />
<br />
¨§ © ¨ © © <br />
©<br />
§©¢<br />
¡ ¢ ¢ ¡ ¢ <br />
©¢<br />
¢ <br />
¦<br />
¢ <br />
<br />
<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
¢¤¢ <br />
§¢¢<br />
¢¡ ¦ ¢ <br />
<strong>¥</strong><br />
<strong>£</strong><br />
¢<br />
¢<strong>¥</strong><br />
<strong>¥</strong>©§
¦<strong>¥</strong> ¦<br />
<br />
¢<br />
¢<strong>¥</strong><strong>£</strong><br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<strong>¥</strong><br />
<strong>£</strong> ¢<strong>£</strong><strong>¥</strong><br />
<br />
<strong>£</strong><br />
<br />
<br />
<strong>£</strong>¢<br />
¢¢ ¢ ¦§<br />
<strong>¥</strong> ©¡ ¡ ¨ ¦ <strong>¥</strong> ¦ ¦ ¦ <br />
<br />
<br />
<br />
<br />
¢§©<br />
<br />
<strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<br />
<strong>¥</strong>¢<strong>¥</strong><br />
¢<br />
<br />
<strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><br />
¢ <strong>£</strong>¢¦§¤ ¦¢¤<strong>¥</strong>¤ ¢§¦ ¡¦©¦¤¨¢<br />
<br />
<strong>£</strong><br />
<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<strong>¥</strong><br />
<strong>¥</strong>
¦<br />
<strong>£</strong><strong>¥</strong><br />
¦<strong>£</strong><br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
<strong>£</strong><strong>¥</strong><strong>¥</strong><br />
<br />
¢ <strong>¥</strong> ¢ ¢ <strong>¥</strong><br />
<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
<br />
<br />
<br />
<br />
<br />
<strong>¥</strong> ¤ <strong>¥</strong><br />
<br />
¤<br />
<br />
<strong>£</strong><br />
¢ ¦ §¦<br />
<br />
©<br />
<strong>£</strong><strong>£</strong><br />
<br />
<br />
©<br />
<br />
<br />
<strong>¥</strong><strong>¥</strong><strong>£</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
<br />
©<strong>¥</strong><br />
<br />
¢
©<strong>¥</strong>§¦<br />
<br />
<br />
¡ <strong>£</strong>¢ ¦ ¦¤ <br />
<br />
¦ <br />
¢<br />
¦ ¦ <br />
¡ <strong>¥</strong> ¦ <br />
<br />
<br />
<br />
<br />
<br />
<br />
§¦ ¡ ¦ <strong>¥</strong> ¦<br />
<strong>£</strong><br />
<br />
¨§¦<br />
¦ ¦ ¡ <br />
<br />
<strong>£</strong><br />
¢ <br />
§ ¨©<br />
¡ ¦¤ <br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
¦ ¦ ¡ ¢<br />
§ ¢ ¨ ¨©<br />
§<br />
¦<br />
<br />
¡ ¦<br />
<br />
¦¤ <br />
¦ <strong>¥</strong><br />
<br />
<strong>¥</strong>¦ <strong>¥</strong>¦ <strong>¥</strong><br />
<strong>¥</strong><br />
<br />
¦ ¦ ¦ <br />
<br />
<br />
¦ ¦¤ <strong>¥</strong><br />
<strong>¥</strong><br />
¦ ¡ ¦ <br />
<br />
<br />
§<br />
¦ ¦ <br />
<br />
<strong>£</strong><br />
<br />
¨©§ ¢<br />
<br />
¡ ¦
¦<br />
<strong>¥</strong><br />
<strong>¥</strong><br />
<br />
<strong>¥</strong><br />
<br />
<br />
<br />
<strong>¥</strong><strong>¥</strong><br />
¦ ¡ <br />
©<strong>¥</strong><br />
<br />
<strong>£</strong> <strong>£</strong> ¢ <strong>£</strong> <strong>¥</strong> <br />
<br />
¢¦ § ¤ <br />
<br />
<br />
<strong>¥</strong><br />
<br />
<br />
<br />
¡ <strong>¥</strong><strong>¥</strong><strong>¥</strong><br />
<br />
<strong>¥</strong><strong>£</strong><br />
<br />
<br />
<strong>£</strong>©<br />
<strong>£</strong><br />
<br />
<br />
<br />
¡ <br />
<br />
¡ <strong>£</strong><br />
<br />
¡ <br />
<br />
<strong>¥</strong> §<strong>£</strong> <br />
¤<strong>¥</strong> <strong>¥</strong> <br />
¦<br />
<strong>¥</strong>
<strong>¥</strong><br />
¡ <br />
<br />
<br />
<br />
<strong>¥</strong>©<br />
<br />
<br />
<strong>¥</strong>©<br />
<br />
¦<strong>¥</strong><br />
<br />
¦ ¢ ¦ ¢<br />
<br />
¦ ¢©<strong>£</strong><br />
<br />
<br />
¡ ¢ <br />
<br />
<strong>£</strong>§<br />
<br />
<br />
¡ ¡ ¡ <br />
¨<br />
§ ¦<br />
<br />
¡ ¦<br />
<br />
<strong>£</strong><br />
<strong>£</strong><br />
<br />
<strong>¥</strong><strong>¥</strong><br />
<br />
¢ ¤ ¦¤ ¤<strong>£</strong> ¨¦ §<br />
<br />
<strong>¥</strong><br />
<strong>£</strong><strong>£</strong>¢ <br />
<br />
<br />
<strong>¥</strong><br />
<strong>¥</strong> <strong>¥</strong> <strong>¥</strong><br />
<br />
©©
<strong>¥</strong> <strong>¥</strong> ¡ ¡ <br />
<br />
<strong>£</strong> <br />
<br />
<br />
<strong>¥</strong><br />
© <br />
<br />
<br />
§<br />
<br />
<br />
<strong>¥</strong> <br />
<br />
<br />
<br />
<strong>£</strong><br />
<br />
<br />
<br />
<strong>¥</strong> <br />
<strong>¥</strong><br />
§ ¢ ¢ <br />
<strong>¥</strong> § <br />
<br />
<strong>¥</strong> ¢ <br />
<br />
<strong>¥</strong> <strong>¥</strong> § ¢ <br />
<br />
<strong>£</strong>§<strong>¥</strong> <br />
<br />
<strong>£</strong><strong>¥</strong> <strong>¥</strong> § ¢<br />
<br />
§<strong>¥</strong> §<strong>¥</strong><br />
<strong>£</strong><br />
<strong>¥</strong> §<strong>¥</strong> § <br />
<br />
<br />
<br />
¤ ¢¡¦ ¢<br />
<strong>£</strong> <strong>£</strong> ¦<br />
<br />
¦© ¢¦<strong>¥</strong> ¤¨¦¦¤ ¡§§ <strong>£</strong><br />
¤¨<br />
¢ ¦©¨©¨ ¤¦© <br />
<br />
<br />
¢ ¦¨¨ ¤ ¦ <strong>¥</strong> ¦<br />
<br />
§¦¡§
<strong>¥</strong> <br />
<br />
¤¨¦ <strong>¥</strong> <strong>¥</strong> <strong>¥</strong>¢¡ ¤<strong>£</strong>¦<strong>¥</strong> ¨§ <br />
©¨<br />
<strong>¥</strong> <br />
<br />
¢¢<strong>¥</strong>© ¨ <strong>¥</strong> ¤ ¤¢ ¤¡ ¤ ¦ <br />
<br />
<strong>¥</strong>¢ ¢ ¤¨ ¤¨ ¦ ¤ ¨ §¦ ¤ ¤ <br />
<strong>¥</strong> <strong>¥</strong> <br />
<br />
¨ ¤¨¦© <strong>¥</strong> <strong>¥</strong> <strong>¥</strong>¡ ¦ <strong>¥</strong> ¨§ <br />
<br />
<strong>¥</strong> <strong>¥</strong> ¨ ¦© ¤ <br />
<br />
<strong>£</strong> <br />
¤<br />
<strong>¥</strong> <strong>¥</strong><strong>£</strong> <strong>¥</strong><br />
<br />
¡ <strong>£</strong> ¨ ¤¨ ¦ <strong>¥</strong> <strong>¥</strong> <strong>¥</strong>¢¡ <br />
<strong>¥</strong><br />
<strong>£</strong><strong>¥</strong> ¨§ <br />
¦<strong>£</strong> ¦§ § <strong>£</strong><br />
©©©<br />
¡ <strong>¥</strong> ¦ <strong>£</strong> ¨¦ ¡ ¦§¨ §<br />
<br />
<strong>£</strong> <strong>¥</strong> <strong>¥</strong> <br />
<br />
¨¤¨¦ ¤ ¦ ¤ ¤¢ ¤ ¨¦ ¦© <strong>¥</strong>¢¡<br />
<br />
¨§<strong>£</strong> ¢<br />
¡ © ¡ ¦ <br />
<br />
¨ ¤¨¦© <strong>¥</strong> <strong>¥</strong> <strong>¥</strong>¡ ¦ <strong>¥</strong><strong>¥</strong>§<strong>£</strong> ¢<br />
<br />
<strong>£</strong>¢ <strong>£</strong> ¢ ¢ ¦¨¨ ¤¦© ¤ ¨¤¨ <br />
<br />
<br />
<br />
¢ ¢ ¦¦ ¤ ¦© <br />
<br />
§<strong>£</strong> §§ <strong>£</strong><br />
<br />
§<strong>¥</strong> <strong>£</strong>¡ <br />
<br />
<br />
<br />
<strong>£</strong><strong>£</strong> <strong>£</strong> <br />
<br />
¢¦©¤ © ¨ ¢¨§
<strong>£</strong> ¦<strong>£</strong> <br />
<br />
¨¦ ¨ §<strong>£</strong> ¢<br />
<br />
© <strong>£</strong>§<strong>¥</strong><br />
<br />
¨ ¤¨¦© ¡¢¡ <strong>¥</strong>¢¡ <strong>¥</strong> <strong>¥</strong> ¨§ ¢<br />
<br />
<strong>£</strong> <strong>£</strong><strong>£</strong> ¦ <br />
<br />
¡ ¢¦©¤ <br />
<br />
© ¨ §<strong>£</strong> <br />
<strong>£</strong>¦ <strong>¥</strong><br />
<br />
¡ ¢¦©¤ © ¨ ¢ ¨§ <br />
<br />
<br />
<br />
¢¦¤ © ¨ <br />
<br />
§<br />
¦©¨ ¨¦¨ ¨ ¦©¤<strong>£</strong>¦<strong>¥</strong> ¦ ¦¨ <strong>¥</strong>¡<br />
<br />
¦ ¨¦§ <strong>£</strong> <br />
¨
Change language