webdocs.cs.ualberta.cargreiner/c-366/rg-2002-slides/... · n =w. /0 1 3f c & ,) 3: h 6/y
TRANSCRIPT
� ��� ��� � � � �� � ���
� �����������������! "�#� �$� %'&)(*�+�-,
� . /0 1��� %'&)(2�+�3, 4 &5�3,6�7 "8#�9&;:(6<�( =?> �3 @�;A��B�DC &E� %'&�(2�+�-,EFHGJILKNM!OQPSRUTVK5W�ILKNM!OYX
� Z[&3�V�� \:]�! "� %'&)(*�+�-, 4 &E�-,V�3 ^8��)&�:(6<�( =?Z_&7�6�� \:]�! "� %'&�(2�+�-,EFHGa` bdceRgfQM!WihSj fJK ILKNM!OYX
k l jmRgf+nDopcrq1RJf
k s't
k u jwvxqyczRgf{c|h o)v�Wih}f{c~K5W�R
� � (6C & � /^(!�7 @�)� :i&�(2�+�-,
� ���H�E:����g(7 1�;� %�(;�! \:SA�()���! r�#� � ���H�6/\&3C :
� %��$���-,p(5:]�! "� � /\�6�B�� ���,VC :
�"���e��� ����� � �
� � � �N����� � � � ��� ��� �
� =w. /0 1���3F C &���,)���3: �H�6/Y� <p�9��� � � (6/��_�#� � � (V/
� � A �$&3� �-��,)&3���2���H�6/\&3C � :��7&5�* ��U� <p�9��� / &E�6�6&��,p(�� �9(V� ,)&3/�� ���7 "�6& : &)(*���3,�� ���������� "!#��$%
� & �)� ��� & (5: ')(�*,+-� &;:��! @C (;�$& �3A � \:]�?(V�)� &A �a�HC �)� �6& * �$� ( �6� (V/ �9���6&
.0/21 Rgf q Mwc /"3 f O c Wij K5W 4 M65
> : &7� � �8)&7� /0 \:]� �-A �)� �6&�: �$� &-9:�p(6���<;�-,)� �7: & �9���6& � ��, C @�>=y/�'?(A@B+
GDC 3 c|h 3 E GGF\X_jmRgf{cH4 M f�jmR ceR 4 K�Rgf 5 q K"4 ceR}crW / X
� ')(�*,+ �*(E: &5� �H� ��&�()�L 1/Y�I�m�H�;�?(3 1�p(V�6/ & @�;A�� (V�7�#�;� *=�()�5�;&�:$:� 1�V/ &�F
�"���e��� ����� � J
� � ������� �+� ��� � ��� ��� �
.[&�:]��� %'&)(2�+�3,7( :]�?(2� �I;'� �3&7�g(��! r�H�E: ;� \: � � (6/?+-� �p(���,� �� C (V<w& /0 \:]�-( :]�?(2� � +/ � � �
* � (*��� C 1�� ����� ')(�*�� +��� ��� �������! "�#� $%�&$('*)�+ '!�-,/. $(' ����1032425�3 6,/$('*) �6� E GGF X
A 7d \: �6� (V/ ( * + 8� � ! � �:9<; * =
% �>� : ��� � &�:$: �B� :I( * ; � �7&3�g(��$� � : +� �� 1�E:i&7� �-( % ; � +
�V���! 1/ � \: &7C �;���� �2! ���:9?; @"A �CB � � � =
DFE �GA�H �-,)� �7: & A �a�H�;�! r&3� �)��� & � ��, : C (V/ / &;:]� '��#8-(6/ �9& r&7; =}�3/ � :i&;:]� �$� � � (V/�F
� � (V� (V/�: � ��&N���6�D� = �p(���, Am���HC :]�?(*� � �$� * FI-I�I A "�6&3�;�! A � &�()�3, �)��� & � ���, �p(;��, I
�"���e��� ����� � J
� � � � � � � � � � � � �N����� � � � � � � � ��� �
Bucharest
Giurgiu
Urziceni
Hirsova
Eforie
NeamtOradea
Zerind
Arad
Timisoara
LugojMehadia
DobretaCraiova
Sibiu
Fagaras
PitestiRimnicu Vilcea
Vaslui
Iasi
Straight−line distanceto Bucharest
0160242161
77151
241
366
193
178
25332980
199
244
380
226
234
374
98
Giurgiu
UrziceniHirsova
Eforie
Neamt
Oradea
Zerind
Arad
Timisoara
Lugoj
Mehadia
Dobreta
Craiova
Sibiu Fagaras
Pitesti
Vaslui
Iasi
Rimnicu Vilcea
Bucharest
71
75
118
111
70
75120
151
140
99
80
97
101
211
138
146 85
90
98
142
92
87
86
Arad
h=366Arad
Timisoara ZerindSibiuh=253 h=329 h=374
Arad
Timisoara ZerindSibiu
h=329 h=374
Arad OradeaFagaras Rimnicuh=380 h=193h=366 h=178
Arad
Timisoara ZerindSibiu
h=329 h=374
Arad OradeaFagaras Rimnicuh=380 h=193h=366
Sibiuh=253
Bucharesth=0
� �����������������������! #"$�&% '(�*),+.-/�����0�1),2$+435�7698 �:�;6< �6=�1'��0>@?�2A"A�A�B+C���D�
�"���e��� ����� � E
� � ����� �+� ��� ��� � � � � � � �C� � �
Bucharest
Giurgiu
Urziceni
Hirsova
Eforie
NeamtOradea
Zerind
Arad
Timisoara
LugojMehadia
DobretaCraiova
Sibiu
Fagaras
PitestiRimnicu Vilcea
Vaslui
Iasi
Straight−line distanceto Bucharest
0160242161
77151
241
366
193
178
25332980
199
244
380
226
234
374
98
Giurgiu
UrziceniHirsova
Eforie
Neamt
Oradea
Zerind
Arad
Timisoara
Lugoj
Mehadia
Dobreta
Craiova
Sibiu Fagaras
Pitesti
Vaslui
Iasi
Rimnicu Vilcea
Bucharest
71
75
118
111
70
75120
151
140
99
80
97
101
211
138
146 85
90
98
142
92
87
86
� E������ � WwR 5�M f 3I1� q M� �-c��!c v o;M / Miq M]R� l vih 3 Miq j Rgf
G�� K!Rgf � ����� � ��� � ����� � �! ���X
� TVKwf_K"5�f�c 4 M!O#"� K�Rgf_K%$
� q M& �3c���crv' (Lc 4 W�cYh?v) * c f j Rgf�c+ l vih 3 Miq jmRgfczR �,��� � -�� � �/. � �0��� � �1�2-3 E ���4�)5 R_R K5O\v�f�c|K5W6"
� l jmRgfmopcrq1Rgf czR )G .4.�,�7f M/8{jmR l:9 I I . �<; Rgf j 5 j$M$h 3 f�c 4 j�=>=2=
�"���e��� ����� � ?
� � ��� � �+� ��� � � � � � � �
Bucharest
Giurgiu
Urziceni
Hirsova
Eforie
NeamtOradea
Zerind
Arad
Timisoara
LugojMehadia
DobretaCraiova
Sibiu
Fagaras
PitestiRimnicu Vilcea
Vaslui
Iasi
Straight−line distanceto Bucharest
0160242161
77151
241
366
193
178
25332980
199
244
380
226
234
374
98
Giurgiu
UrziceniHirsova
Eforie
Neamt
Oradea
Zerind
Arad
Timisoara
Lugoj
Mehadia
Dobreta
Craiova
Sibiu Fagaras
Pitesti
Vaslui
Iasi
Rimnicu Vilcea
Bucharest
71
75
118
111
70
75120
151
140
99
80
97
101
211
138
146 85
90
98
142
92
87
86
� 6�) � �!- + ��� 9 M]R}c��� o M / Miq M]RE������ Rmv / / j Rgf R 1
9 M]R}c T j$M64[f� �� ��������������� �������
� � K�q1RDj 1 � WxO~jmR R�RQj$Miq h 3 M!O / xj}f�j]h}fgR q j%5!j$M f j0 Rgf M f�jmR"!l jmRgfmopcrq1Rgf C crO\O K�RQh�c O\O|M�f j 1
9 M]R}c T j$M64[f 9 M]R}c TBj�M64[f =>=2=
� # K;K"5SR Miq j q j�M!O25 q K ��Ozj 4 =0=2=
�"���e��� ����� � $
� � � ��� ����� � � � � ��� � �+� ���
� � ��� ������� ��=>=2= 4 M�� W$K?f � W R 3 KNq f j Rgf 5�M f 3
� � ��� ����� ���������h�M!W / K !K C[W � n 5�M f 3 G K�RQh�c O\O|M�f j�X
� � �� � � � (���� +
� � �� ���� � � (�� � +�;� 3 /� � ��! "$#92 69? '�- +&%A� 8 � )�+.+A)$� �*�B+ �('A�,2$+ �
� ) �+*-,.� �3A �7�p��, � � �Q/ �3:/ 0 �U% 1 �$� � ����& &E�p�32/ . �'% 1 �$� � C �)�3, :��*(��;&42
�"���e��� ����� � 5
� � � ��� ��� �
� �d 1�)� $ ����A��<� "! �1A>!#�(E: 8#�3 ^�-<�� (5: �7�7:$:� 1�V/ & I
� ���H�E:x ^� &7� �7�-��,
k **M f 3 $ q K"4 RJf Miq ffJK 1� G X � h�K�RJf_K�$ 5�M f 3 $ K5vxW f K
k **M f 3 $ q K"4 fJK / KNM!OpG jmRJf>=rX 1E G X � jmRgf K�$Uh]K�Rgf $ q K"4 fJK M / KNM!O
� �)(�*,+ � �:(�* +�� ')(�* +jmRgf K�$Uh]K�Rgf K�$ 5�M f 3 $+q K"4 RgfQMiq f f K / KNM!O ! � �
�� ����� M$h}f}v�M!O��� *� ��� �
�:(�* +jmRgf{cH4 M f�j��� ��� ���� ��� �')(�* +
� ��� ��)(�* +
�"���e��� ����� � �
� � � ��� ��� � � � � � � ���
�� ��� M$h f v�MxO� � *� ��� �
�:(�* +jmRJf�c 4 M�f j� � ��� � �� ��� �')(�*,+
� ��� ��)(�*,+
� � t :i&7/ &5���S: �)��� & � ���, C 1��= / �)(�* +
=2=0=�cYj ! WiK xj C c f 3 OzK CUjmRgf jmRgf{cH4 M f�j2 �czRgf M!W h]j $ q K"4RgfQMiq ff K / KNM!O !�h�KEWSRgf q MwcrWij2 fJK / K P�c�M f 3 M f WiK xj
� I-I�I C 9 �3A / �"� &�:]� ���;� :]� �#�� :]��7&�:]� � �� :��
: &)(2�+�3,9&;: 2
�"���e��� ����� � �
� � � � � � � � � � �
AradArad
Timisoara ZerindSibiu
Sibiu
Arad OradeaFagaras Rimnicu
Arad
Timisoara Zerind
Sibiu
Arad OradeaFagaras Rimnicu
Arad
Timisoara Zerind
Craiova Pitesti Sibiu
f=0+366 =366
f=140+253 =393
f=118+329 =447
f=75+374 =449
f=280+366 =646
f=239+178 =417
f=146+380 =526
f=118+329 =447
f=220+193 =413
f=75+374 =449
f=280+366 =646
f=239+178 =417
f=146+380 =526
f=118+329 =447
f=75+374 =449
f=300+253 =553
f=317+98 =415
f=366+160 =526
TVK?f�j 1 opcrWwR � 5�f{cH4 M!O1**M f 3 "� s�� j�� 5�M!W�R
( cH4 W�cYh?v G�� � G ����� � - ��X:� �0��� � �1���XKwP j?qo Miq M / M]R G�� � G ����� � ����X:� �2.�- � �1�2.�X
� � 3 ��o;M / Miq MSR ceR hwOeK�RDj?q fJK l v h 3 Miq jmRgf G f 3 MxW ( cH4 W�cYh?v?X�xv�f5�M f 3 f M/8{j?W fJK / j}fdf K o Miq / Miq M]R ceR W$K?f
M]R j � h cYj?W�f crW / j}f+f{c W / hwOeK!RQj fJK l vih 3 Miq jmRgfM]R =2=>=,(Lc 4 W!c|hwv
�"���e��� ����� � ���
� ��� � � � ��� ��� � � �
O
Z
A
T
L
M
DC
R
F
P
G
BU
H
E
V
I
N
380
400
420
S
� ���H�;�$�#�V���?/ 1�9&;: �-A = &E8��p(6/ ��� 8p(V/ �)&�:$F
� � t &-9:�p(6���3: �)��� &;: � ���, 1�)�3��&)(E:x @�)� �)(�*,+8p(V/ �)&�:
� 9 $dvSRQj E GGF X�� � G � W�c $ K�q 4 � K�RgfQX/ j}f � crq hwOzj R� 4 K�q j W$K xj R
�"���e��� ����� � � �
� �[� � � � � � � � � ��� �
� ')(A@�+ C �E:]� �7& ����� � *-� ,����� �.� �E G X � M$h f v�M!O;h�K�Rgf K�$ 5?M f 3 $ q K"4 fJK / KNMxO
E czR 03,/� $%� �&$� �(.��=2=0= � � czR vxWxjwq jmRJf�c 4 M�f j�=
� 4 ����� A����
� ��� ��� �"!�# � � �%$&� ' 4 (65 )+*,(.-0/1*%23(5476
� 8 �9$:#;� �<� �:$ =>�@? � �:$BAC�D?EGF1H �JIKIMLN�
� O �9P QR� � � S � �<� �BAMTB�%$�! UV���W� $X?ZY[ F UV�&�J� $X?
�]\_^ 47(�`a/ ( 4N4DbJc0/d/1ea2gfC)+hi/je k lm-0/
nporqtsvu wvxvu y z|{
� � � � ��� � ��� �
� � ��� � � '��N6�� �W'��N6 ��� H �"A&�:L L � �%$BAM� ���X?i�D? �9LN� $B! H � � #� '��Rci`d`d/<2�2 l * '��&6C6 � � '��X6
� � 2 "! #%$�#'&(#%$*),+.-
/ 0 421 (43a2 ) * c0/ �657 �W'��&698 �W'�: 6 7 ; < '��>=�: 6
1 h0/1* / < '��>=�: 6 � 2 ? � 2�) (5e0`d/ 5 * lJk � ) l :@ 5 ) * c0/ fBA * 2�) ^ (.)+h )+hj(<)DCFEGA eH?12 ) l e�lI? / f � 2 (5421 (43g22 h�l * )�/<2�)@ / fRe�l 2 h0l * )]`jc.)�2J3./ ) ) l K5/ 5 lJc eL?
/ @ 5M� e0lj) k lJe�lj)�lJe � ` fB`�(5e k lN? �O5 3 )�l K5/ k lXe�lj) lXe � ` \PRQ fI�BS T �Rc0`a`d/ 2]2 l * '��X6� '��&6�� � '��&6R� �C'��&6U� VW� X � Y� '��BS@6Z� � '��BS�6[� �W'��BS�6�� X\� ] � ^_ c.)a` `b` (5e 3 ^ (<)+h )+h * lJc Q h � S � 2 (54 2 l ^ (<)+h ) h * lJc Q h � f� '��&6 k ca2�) K5/ (<) 4 /g(d2�)\Y
c 2<h�lJc 4d? * / 2�/ ) � '�� S 6Z� Y@ / fRca2�/ � '�� S 6 � k (fe.g � '��&6h=i� '�� S 6�� �W'�� S 6Ijk (54�4 / ? ml'n�ofp%qhr n*s /dbWcZ(.) � lJei-
' � Q e�l * / 2 k � 2<4 /�(i? � e Q e c k K5/j* 2 � e h0/jc * � 2�) � `g6
nporqtsvu wvxvu y zut
� � ��� � � � � � �
� ��� � � Y � L�� � � ? �����������X? � H �! %P � L ?"� L#�$�! %�&��658 ' ( l*)Nc,+ � lXe8 �.-��*/ � ( c eL?1032405(6+ � k 7,+80%`
9;:=<><@?BAC 0D+ E K!0 l ^ + � k 7!) Q l�7!) fI1GF � -HEI/U� ��-HE;/U� � E
EKJ K!0 L�M3N'#PO & ),! QSR Q l�7!) f 1 � ++h � -HE&JB/U� ��-HE&JB/UT � E@ 5 CFEG240D+ c12 eV( E J c E J � ( `jh�lW(�0je lWXY0P2 �
1 hY0P2Z0 � � ( e�lN?[0 lXe l ^ + � k 71) ^ 7�+ h + l E
G
n
G2
Start
\ h � ( lJe[) 3 hS7 ^ ^ 0je]( �65 � -^E J / ; � -��@/0 ( � � ( k lXe�lP+ lXe � `_7!)`) 3 � e0`P2Z0V7a( � e Q 7!) lJe Q 05XY0P2 3 ^ 7�++hDfc � E � � -HE;/ � � -��@/b 01e0`a0 f � E � � -^E J / `a` ` � 0 f �O5 ��-HEI/ � ��-^E J /`b`b`]`.lXe,+c2d7i? � `D+e( `3)�7 � k + hS7�+fE J � (f( c*K5l ^ + � k 7!)hg i
nporqtsvu wvxvu y zkj
� ��� � � � �.� � � �L� ��� �
� � Y �� � � �������`b` `+c e1) 05( ( + hY0P2Z0 7"240 � e�lN?10�( 1GF � -��@/ � � ECFEG) L�� # ! O R��H&�� )�� N�� Q $%+��*),$� � Q +L& #!��) L#"%$%) &$�&% Q��(++a#"La&ZL N # M $('(��' QSN #*)+� ,!����# -d'/. T 0 L21 &31*4 -65�7#/ � .98
� � Y �� : �;�=<4� > �?��@ A B C;<D�FEG�H JI � � �LK � �NM � �PO � �! �K� � QSR
� � � �LK@� � � T �! UO �;V �"� � �3WXK O ���LK �FY W � ��LZ[T � �\Y M ��� � � � �FY �N�*]
^ _G`badcfePgihLg�jlk jm`on p[qmgrcts euswv jxePyzjl{;kDs}|
� <Z� �F~S� ��>�CX� � �����m��<���@ �� �! V�V �=ZGT �&� �>� �! �;VU� � � � �H� � Y �LK��f� �$�a�N]
`b` `+�(�1) 05( ( 7 �.-��*/98 ���B-��@/ 7b; � -6��� ��- ����-��@/ /2�� � -��@/ � +c2��Y0 �2�W( +�� 5 Q 0D+ + � � Q 5 2r�w� � +�� Q ��7!) `
� � �_�>� � �! �I ��� �.�mT>� �> ��� � � ]�]*] �¡z¢�£x¤�¥§¦©¨+ª¬« �®�¯°¥°±³²µ´�¶¸·¹²µ´�º¼»+½¿¾
nporqtsÁÀ ÂÁÃÁÀ Ä ÅÇÆ
� � � �B��� � ��� � � � � � � � �
Start State Goal State
2
45
6
7
8
1 2 3
4
67
81
23
45
6
7
81
23
45
6
7
8
5
� ] Q�� � ���;O � �>� �XM O ���T V%� W �*Y �! V �z���� - / � Y
� ] Q � � �_� � �;V�� � �;K � ��� � � Y �,� � �\W �� 7�� � �W( � + � �*�]( +��S7�+G+ � ) 0 7 � ( 5 2i�*�� +e( ?10�( � 240b? ) ���V7�+ � �w� + � ) 0
��� - / � ]�� V�� V�� ]�� X�� ]�� 0�� ] � ���
� YFO ��d�1 ?� V � �! K WXK �&� � ��K �&� V Y � � �w�"�"�
nporqtsÁÀ ÂÁÃÁÀ Ä Å$#
��� � � ����� � � � � � � �
� � ��� Q���� �LZGT � ��Ym� �;V�V � � Y��z� � �LK� ��� � � � ��� ��� Q�� ��� � � ���
�;R&� �LK Q�� ��� � � ��� � � ��� �LRQ � ��� � � Q! ��� � "��M # �$� Q% &� 'LZGT)(+*�Ym� � R,# ��� Q � � 'LZ[T-(+*\Yl� �/.]�]N]��10�2 *�3!2 I�4 W5' I&'�6$�7(
Q! O 4 �FK�2 '=ZGT)(1*\Y 8:9 ! 9 ; *&3FY<'�=
� 3 >@? A B C A D � �FE �G '�(1*�= HI'KJ '%6 ��L = 'KMON-(+*�P<'�P .
Q � =D�� R D�S R D)T �VU
" NW6X'YHZ'�6 D%S .
[]\7^`_badc ! (+*`2 ebf&gXhji7kml D �FE �J n%4po%n 4q= r�s1t1imgui7kmlwvyx fzl{i}|
nporqts�~ ����~ � ���
� � � � � � � ��� � ��� � � � � ����<� � � � � � � � � � �
Search Cost Effective Branching Factord IDS A*(hC) A*(hM) IDS A*(hC) A*(hM)2 10 6 6 2.45 1.79 1.794 112 13 12 2.87 1.48 1.456 680 20 18 2.73 1.34 1.308 6384 39 25 2.80 1.33 1.24
10 47127 93 39 2.79 1.38 1.2212 364404 227 73 2.78 1.42 1.2414 3473941 539 113 2.83 1.44 1.2316 – 1301 211 – 1.45 1.2518 – 3056 363 – 1.46 1.2620 – 7276 676 – 1.47 1.2722 – 18094 1219 – 1.48 1.2824 – 39135 1641 – 1.48 1.26
����� \�� U���� \ ����� ^��� � ^�! "#�$� U T �&% ')( �+*,* T a.- U/� T ^ U T0 1 243 5 ' (76 3 5 ' (7698 3 5 ' (:6<; 3 =>=>=�3 5 ' (769?@ �\A� \ 0 �+* B TAC ^ T#D \ *E* \F���G�� �\ DH �+*I* T aJ- U/� T ^ D \�K U
nporqts�~ ����~ � �ML
��� � � ��� ��� � � � ������ �� �
Q 3��� &' N-6X3���� ' G � 2Kn&'%* o53 G N10�2 ' �-(�o���J (-6 P%= |5|5|
Q � �������������! #"%$& 3 *�=�4 P<'�6 �')( * + 9 ; �'%6 = 4 3 * 3%H N-6 3���� ' G |, = n&'%0+6I4q=V2 4po � 0m= '
- 'KM!(�o 2 (+*m=VJ '�6 2 3 (1N+NW6X3mM NW6X3��.� ' G /
0 1 � � ! � ^�� a c2 ��^ 3 T � \ U/� a \ C � T 3 *54 6 U T *54 � � C
78797 6 � * � D;: �$�F\ ^ U U T � � ^ D � � * < a � ^>= 7? \7a �8@ \ D � \A� * � T ^`cA 79787 6 � * � DB: �$�F\ ^ U�U T �
C D EGFIH JLK5MONQPSR9TVU WXJYNQTZK\[S]
A 79787 � �+* < a � ^^=C _ PS`>abPbWcWdPS` U>JLK8WXPS`>RVT [Se
f T U \ chg Chi [kj5l =>=)= lm[onqp � aqa�-�^ D \�� \ * U�� 3 � U \ *- * \ [srutwv 5yx 6 ?{z}|1 3 �~@ i [s� 5yx 6 p
5 6 a * T -�^ D \�� \ * U�� 3 � U \^��� ^ D a ��� ! \ * U 79787 6
nporqts�~ ����~ � ���
� � � � � �O� � � ��� � � � �
2
Start State Goal State
1
3 6
7 8
5
1
2
3
4
6
8
5 4
Q ������7N����.� � G ��� 2 = =����( � �� ��� ��� ��� ��� � � o ��!���mo � N"�# L%$ #
Q & � ��N�#(' ��� 2 = =��*) + # +-, . / 0 1 , 2 3 4 $& 65 # � �"7�# 589� & , ( * +:/<; / 7����"�"=5 1 C U \ ^ 3 -��� < \ U U \A� U � ^ > ��^ � U U � ^@? � * U � ^��F\ 6
A & B= 7C� � � �ED FG + $ F 1 , & H . , 0 4 # � �� + $ F ��I&o%n 7JI �K� �"� $ 58B� $�L
A & B= � + $ � ��� 2�= =�� M + � n ���-N = =PO(QR � � \ B S�U \AK *UTWV�X jZY[Y]\8^ � ^��7aJ- D \ T ^�a[_a` 2 �cb � d � �fe 3 T � \ *Ug
nporqts�~ ����~ � hji