webdocs.cs.ualberta.cargreiner/c-366/rg-2002-slides/... · n =w. /0 1 3f c & ,) 3: h 6/y

20

Upload: others

Post on 12-May-2020

3 views

Category:

Documents


0 download

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