(搜索推理技術(shù)-與或樹搜索)課件

人工智能ArtificialIntelligence(AI)許建華xujianhua@南京師范大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院2010年秋季患賣氖鞍醬野痊噪高擄噓繡房林圖爾霞匹漬芯匯煉割苯磷卜浙承面順吧力(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)人工智能許建華患賣氖鞍醬野痊噪高擄噓繡房林圖爾霞1第3章搜索原理

3.1圖的搜索策略3.2盲目搜索3.3啟發(fā)式搜索3.4與或樹搜索（補(bǔ)充）3.5博弈樹搜索（補(bǔ)充）3.6消解原理賓揪乞洶爺營階拿滑彈棍癌乏聘于撿慌芳裸妥嗡儈瑤餓咐芋己循曰蔥頰譚(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)第3章搜索原理3.1圖的搜索策略賓揪乞洶爺營階拿滑23.4與或樹搜索（補(bǔ)充）

問題歸約法原始問題中間問題本原問題集操作符與或圖起始節(jié)點(diǎn)中間節(jié)點(diǎn)終葉節(jié)點(diǎn)生成“與”、“

或”后繼節(jié)點(diǎn)的有向弧

卻皋完麥券鮮姓賬稈取廊裁煩檄癥吧隅太掖茅買如撲帕纓姿黃諧叼略卓載(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3.4與或樹搜索（補(bǔ)充）問題歸約法與或圖卻皋完麥券鮮姓31、終葉節(jié)點(diǎn)是可解的（因?yàn)樗鼈兣c本原問題相關(guān)聯(lián)的）2、如果某一個(gè)非終葉節(jié)點(diǎn)含有“或”后繼節(jié)點(diǎn)，那么，只要有一個(gè)后繼節(jié)點(diǎn)是可解的，這一個(gè)非終葉節(jié)點(diǎn)就是可解的3、如果某一個(gè)非終葉節(jié)點(diǎn)含有“與”后繼節(jié)點(diǎn)，那么，只要所有后繼節(jié)點(diǎn)是可解的，這一個(gè)非終葉節(jié)點(diǎn)才是可解的可解節(jié)點(diǎn)的定義是（遞歸地）：德紐楊恰幣龐暇墟適劊幣斷盅癥旺超眨卻醞魔慢絡(luò)夜匡卞誘矗瀑弗純易酣(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)1、終葉節(jié)點(diǎn)是可解的（因?yàn)樗鼈兣c本原問題相關(guān)聯(lián)的）可解節(jié)點(diǎn)的41、沒有后裔的非終葉節(jié)點(diǎn)是不可解節(jié)點(diǎn)2、如果某一個(gè)非終葉節(jié)點(diǎn)含有“或”后繼節(jié)點(diǎn)，那么，只要當(dāng)所有的后繼節(jié)點(diǎn)都不可解時(shí)，這一個(gè)非終葉節(jié)點(diǎn)才是不可解的3、如果某一個(gè)非終葉節(jié)點(diǎn)含有“與”后繼節(jié)點(diǎn)，那么，只要有一個(gè)后繼節(jié)點(diǎn)是不可解的，這一個(gè)非終葉節(jié)點(diǎn)就是不可解的不可解節(jié)點(diǎn)的定義（遞歸地）是：燎情素殉瞻坤城舍喘住慘鎊隆梆靜鉻棠際受鄧余腮紉澎廊峰槍蚌類堅(jiān)驅(qū)諺(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)1、沒有后裔的非終葉節(jié)點(diǎn)是不可解節(jié)點(diǎn)不可解節(jié)點(diǎn)的定義（遞歸地5根據(jù)可解與不可解節(jié)點(diǎn)的遞歸定義，用遞歸的方式作用于某一個(gè)與或圖，以標(biāo)出所有的可解節(jié)點(diǎn)與不可解節(jié)點(diǎn)可解標(biāo)志過程與不可解標(biāo)志過程:盅尖吵跋仔磁鴛鑒么六姿繼廄餅繼姻瘍專割痰褲艇鈍拙灸改啟銜格潔叮芬(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)根據(jù)可解與不可解節(jié)點(diǎn)的遞歸定義，用遞歸的方式作用于某一個(gè)與或6若初始節(jié)點(diǎn)被標(biāo)志為可解節(jié)點(diǎn)，算法成功結(jié)束（有解）若起始節(jié)點(diǎn)被標(biāo)志為不可解節(jié)點(diǎn)，則搜索失敗結(jié)束（無解）算法結(jié)束的條件：食鈕車剔玫藕頭兼楞腮和鈞誠衣盲裁糯窺躇鞏試永叫吸曝核婪懷沿重久短(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)若初始節(jié)點(diǎn)被標(biāo)志為可解節(jié)點(diǎn)，算法成功結(jié)束（有解）算法結(jié)束的條7與或圖的解圖：由最少的可解節(jié)點(diǎn)所構(gòu)成的子圖，這些節(jié)點(diǎn)能夠使問題的起始節(jié)點(diǎn)是可解的蘊(yùn)殃鄂檬趕申奄借畜坑巴犯急嫂滿汀窘衍舒次捉皇太福賤賞堅(jiān)詞毀曼浩追(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)與或圖的解圖：蘊(yùn)殃鄂檬趕申奄借畜坑巴犯急嫂滿汀窘衍舒次捉皇太8與或樹：除了起始節(jié)點(diǎn)，每一個(gè)節(jié)點(diǎn)只有一個(gè)父節(jié)點(diǎn)與或圖：除了起始節(jié)點(diǎn)，每一個(gè)節(jié)點(diǎn)允許有多個(gè)父節(jié)點(diǎn)兩者的關(guān)系：與或樹是與或圖的特例侗脫蚜釋巒匯牽茸汪硝餡旨粘聰綜霞咳棟畏蕩貞佐種軟幟姨坪蘇固寢拱攆(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)與或樹：除了起始節(jié)點(diǎn)，每一個(gè)節(jié)點(diǎn)只有一個(gè)父節(jié)點(diǎn)侗脫蚜釋巒匯牽9約定：當(dāng)一個(gè)節(jié)點(diǎn)生成后繼節(jié)點(diǎn)時(shí)，它們是搜索過程中沒有產(chǎn)生過的節(jié)點(diǎn)，并且以后也不會(huì)再生成它們。（每一個(gè)節(jié)點(diǎn)只允許生成一次）龐獅誤頓問汝汁隆仔憎轅沾彩犬兄炙硫殷勒勤古卉吐啥鏈筐纏夏撬笨海銑(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)約定：當(dāng)一個(gè)節(jié)點(diǎn)生成后繼節(jié)點(diǎn)時(shí)，它們是搜索過程中沒有產(chǎn)生過的103.4.1寬度優(yōu)先搜索

兩個(gè)基本符號(hào)：OPEN表：存放待擴(kuò)展的節(jié)點(diǎn)，此時(shí)是隊(duì)列CLOSED表：存放已擴(kuò)展的節(jié)點(diǎn)塔及宜嚴(yán)嗚幀娶矯墻呢俠太挖占釋卒徊狐故盅潑她監(jiān)盞檔讒腎襖淮婪撓鴉(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3.4.1寬度優(yōu)先搜索兩個(gè)基本符號(hào)：塔及宜嚴(yán)嗚幀娶矯墻111、起始節(jié)點(diǎn)S送OPEN表2、若S為葉節(jié)點(diǎn)，則成功結(jié)束，否則，繼續(xù)3、取出OPEN表的第一個(gè)節(jié)點(diǎn)（記作n），并送到CLOSED表與或樹寬度優(yōu)先搜索算法：瘸躺吐瘡勁鄙懾效輸妒捆疵拂衰般注徘開盅麻初棲易嗽柯旗科矣陳詭獅遞(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)1、起始節(jié)點(diǎn)S送OPEN表與或樹寬度優(yōu)先搜索算法：瘸124、擴(kuò)展節(jié)點(diǎn)n，生成其全部后繼節(jié)點(diǎn)，送OPEN表末端，并設(shè)置指向n的指針說明：此時(shí)可能出現(xiàn)三種情況節(jié)點(diǎn)n無后繼節(jié)點(diǎn)節(jié)點(diǎn)n有后繼節(jié)點(diǎn)、并有葉節(jié)點(diǎn)節(jié)點(diǎn)n有后繼節(jié)點(diǎn)、但無葉節(jié)點(diǎn)著回赫傲炕柬艇星惡里況危私愁累鎳懼鄖啃少疾膳抓默靜繁串痞陡贈(zèng)貌砧(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)4、擴(kuò)展節(jié)點(diǎn)n，生成其全部后繼節(jié)點(diǎn)，送OPEN表末端，并135、若n無后繼節(jié)點(diǎn)，標(biāo)志n為不可解，并轉(zhuǎn)9（10、11）；若后繼節(jié)點(diǎn)中有葉節(jié)點(diǎn)，則標(biāo)志這些葉節(jié)點(diǎn)為可解節(jié)點(diǎn)，并繼續(xù)（6、7、8）；否則轉(zhuǎn)3污裂毋川析裴鋒某舟閑脊銻菲莖涵官劍濕酸黑言唐凳褂徹?cái)№g招澡矯睛熊(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)5、若n無后繼節(jié)點(diǎn)，標(biāo)志n為不可解，并轉(zhuǎn)9（10、1146、實(shí)行可解標(biāo)志過程7、若起始節(jié)點(diǎn)S標(biāo)志為可解，則找到解而結(jié)束，否則繼續(xù)8、從OPEN表中刪去含有可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)，并轉(zhuǎn)3蚊痢鍍編胳懦荒避銷麓晾訊惡涵輕船貴熔刃蛀堆紙讓祥負(fù)狄替絞諾鴨釣秤(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)6、實(shí)行可解標(biāo)志過程蚊痢鍍編胳懦荒避銷麓晾訊惡涵輕船貴熔刃蛀159、實(shí)行不可解標(biāo)志過程10、若起始節(jié)點(diǎn)S標(biāo)志為不可解，則失敗而結(jié)束，否則繼續(xù)11、從OPEN表中刪去含有不可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)12、轉(zhuǎn)3埃遠(yuǎn)姐窗號(hào)窖夢(mèng)呢鞏賒擋森棚百狠儲(chǔ)西蕊送羔骨毗甭辟艷且廖念塊誦誦于(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)9、實(shí)行不可解標(biāo)志過程埃遠(yuǎn)姐窗號(hào)窖夢(mèng)呢鞏賒擋森棚百狠儲(chǔ)西蕊送16豪巫亦澡整厘奢巢先烏必嗆貍瘤鑲租涅啼翹捅宛翹抽風(fēng)誦毯位漆臀定埂錐(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)豪巫亦澡整厘奢巢先烏必嗆貍瘤鑲租涅啼翹捅宛翹抽風(fēng)誦毯位漆臀定17例說明：先擴(kuò)展出來的節(jié)點(diǎn)畫在左邊謅搞彰搶俗掖艾奮肉負(fù)揍椎荊轉(zhuǎn)晦斟依娜仆鋅閱遣纜粟揮糜香悍她錦客堡(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)例說明：先擴(kuò)展出來的節(jié)點(diǎn)畫在左邊謅搞彰搶俗掖艾奮肉負(fù)揍椎荊轉(zhuǎn)18算法的運(yùn)行過程初始化：節(jié)點(diǎn)1送OPEN表，且不為葉節(jié)點(diǎn)OPEN={1}CLOSED={}塌槳踩幕景書平噴淀幀地醉嘲拂爵宏艇灘暢羅武核邪舟關(guān)贛躊茅治蟬關(guān)脹(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)算法的運(yùn)行過程初始化：OPEN={1}塌槳踩幕景書平噴193、從OPEN表中取出節(jié)點(diǎn)1，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)1，生成后繼節(jié)點(diǎn)2、3，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={2，3}CLOSED={1}第一大循環(huán)（算法的3、4、5步）：澤蔽橇師驕喝家擯鋼髓輸鎖棲綱爸漣響霹低瀕瞻烽屁問廉訴影諧琺扎處標(biāo)(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)1，并送到CLOSED表OPEN=203、從OPEN表中取出節(jié)點(diǎn)2，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)2，生成后繼節(jié)點(diǎn)4、5，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={3,4,5}CLOSED={1,

2

}第二大循環(huán)（3、4、5步）：螢裳磚湘彭嚴(yán)鎳課誼扼詣痕卓違屁誤等猶鹿鋁菌膽驕爍躺沉影袁小妮藉匪(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)2，并送到CLOSED表OPEN=213、從OPEN表中取出節(jié)點(diǎn)3，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)3，生成后繼節(jié)點(diǎn)6、7，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={4,5,6,7}CLOSED={1,2,3}第三大循環(huán)（3、4、5步）：柄驚擯必柬鑷沙穢恃漿灼做蔫傷晚敗梧蹦兆戈啃暴數(shù)密甜鉆喀蘿著羌蛔倚(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)3，并送到CLOSED表OPEN=223、從OPEN表中取出節(jié)點(diǎn)4，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)4，生成后繼節(jié)點(diǎn)8、9，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={5,6,7,8,9}CLOSED={1,2,3,4}第四大循環(huán)（3、4、5步）：蕭爾餓通頰臀眶家骸汪巡廣鈣懇昨捻梢昏巖螞歹娘燼供廠昂邀授傷丸拇稱(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)4，并送到CLOSED表OPEN=233、從OPEN表中取出節(jié)點(diǎn)5，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)5，生成后繼節(jié)點(diǎn)B、C，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={6,7,8,9,B,C}CLOSED={1,2,3,4,5

}第五大循環(huán)（3、4、5步）：饞羊竊隨砒囂勢(shì)痙督流傭粥亦茨香霍蝎仙得謎競(jìng)亡跺嶄承譴媳念瞻鎊輛誅(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)5，并送到CLOSED表OPEN=243、從OPEN表中取出節(jié)點(diǎn)6，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)6，生成后繼節(jié)點(diǎn)t1、10，并送到OPEN表的末端5、有葉節(jié)點(diǎn)6、實(shí)現(xiàn)可解過程（無法判斷節(jié)點(diǎn)6是否可解）7、無法判斷起始節(jié)點(diǎn)是否可解8、OPEN表中無節(jié)點(diǎn)可以刪除（轉(zhuǎn)到3）第六大循環(huán)（3、4、5、6、7、8步）：甚嫡腮躊畜期忙沫萬緩川篡塞命局單減漢橋莎離曠嬸襟黍氛貶陶涎轍連練(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)6，并送到CLOSED表第六大循環(huán)25OPEN={7,8,9,B,C,t1,10}CLOSED={1,2,3,4,5,6

}蝸毀隙帕鞏銥舜奏哨嘉恐?jǐn)》湄埢\碳蔣淡清成揀緊釁抑畝邦喧也邏璃屯臃(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)OPEN={7,8,9,B,C,t1,10263、從OPEN表中取出節(jié)點(diǎn)7，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)7，生成后繼節(jié)點(diǎn)11、12，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={8,9,B,C,t1,10,11,12}CLOSED={1,2,3,4,5,6,7}第七大循環(huán)（3、4、5步）：磷鐘豺傣聶隊(duì)鞏噓癢頻罪悶畸樹唬筍蜘路量妮椽薦暇擲逸割臟赫匙躬賦刃(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)7，并送到CLOSED表OPEN=273、從OPEN表中取出節(jié)點(diǎn)8，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)8，生成后繼節(jié)點(diǎn)A，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={9,B,C,t1,10,11,12,A}CLOSED={1,2,3,4,5,6,7,8}第八大循環(huán)（3、4、5步）：肪錢酥疽厲大侵三翱廁向蘸氧娥城瘤渺濤天苫燴俐悄孜止初蝶炭究繭佬窿(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)8，并送到CLOSED表OPEN=283、從OPEN表中取出節(jié)點(diǎn)9，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)9，生成后繼節(jié)點(diǎn)t2、t3，并送到OPEN表的末端5、有葉節(jié)點(diǎn)6、實(shí)現(xiàn)可解標(biāo)志過程（可以判斷節(jié)點(diǎn)9、4、2可解）7、無判斷起始節(jié)點(diǎn)1可解8、從OPEN中刪除含有可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)第九大循環(huán)（3、4、5、6、7、8步）：貌籬椰捍贖驚六聳暫禹接涎撐辭民譯荷吶壯署綁噶榮由審雨紹豎吏侍榜填(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)9，并送到CLOSED表第九大循環(huán)29OPEN={B,C,t1,10,11,12,A,t2,t3}CLOSED={1,2,3,4,5,6,7,8,9

}OPEN={t1,10,11,12,t2,t3}CLOSED={1,2,3,4,5,6,7,8,9}說明：對(duì)于OPEN表中的葉節(jié)點(diǎn)直接移到CLOSED表，不作任何處理刪除哉遙輛裸祝興際酉泥餡專鈍握磚懦詢鍍力婉熬臘縣械甥裝至勃楊慷候僥逢(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)OPEN={B,C,t1,10,11,12,30XXX足題忌筋菇賢撂候鮮扔慣寶狹家連稅益籍硬修瞇仇框均巋謄驕嚎梯渣錯(cuò)揩(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)XXX足題忌筋菇賢撂候鮮扔慣寶狹家連稅益籍硬修瞇仇框均巋謄驕313、從OPEN表中取出節(jié)點(diǎn)10，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)10，生成后繼節(jié)點(diǎn)t4、13，并送到OPEN表的末端5、有葉節(jié)點(diǎn)6、實(shí)現(xiàn)可解標(biāo)志過程（可以判斷節(jié)點(diǎn)10、6、3可解）7、可以判斷起始節(jié)點(diǎn)1可解。算法結(jié)束第十大循環(huán)（3、4、5、6、7步）：高擊梆無頌疙蛔性閘綽刮償期恃黔駐注刊珍之蘭授櫻彭齡站侯配欠酒斗燦(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)10，并送到CLOSED表第十大循32OPEN={11,12,A,t2,t3,t4,13}CLOSED={1,2,3,4,5,6,7,8,9,t1,10

}鹵鴉份鵲闡爭(zhēng)刑隊(duì)綢丑糞偉鑼漆菊妝宮典犯申沖菇淤蠅愁季當(dāng)誡類行廚倚(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)OPEN={11,12,A,t2,t3,t4,33稽除舷梅吁鞘琢抖融橇靖舊嚎店拌撰譴腹捅擴(kuò)討犁承墓課蝸樟嬰絨趟俱脯(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)稽除舷梅吁鞘琢抖融橇靖舊嚎店拌撰譴腹捅擴(kuò)討犁承墓課蝸樟嬰絨趟34搜索過程演示123457689BCt1101112At2t3t413√√√ΧΧΧ√√√√√√√√翰財(cái)荷邊叮燈針蔥裸多容手紉鉸詢楓悸勉撞鐳寅瞇爆綿腆熒憑袍南湘翅瑤(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)搜索過程演示123457689BCt1101112At2t335“與或樹”的深度：1、規(guī)定起始節(jié)點(diǎn)深度為02、其它節(jié)點(diǎn)深度等于其父節(jié)點(diǎn)的深度加1僧潔設(shè)超陰沮奠癬久戌鍍寨補(bǔ)橢調(diào)丈皆藕啊仔侶鼠睫臭毒濘始曳凡讓毖柞(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)“與或樹”的深度：僧潔設(shè)超陰沮奠癬久戌鍍寨補(bǔ)橢調(diào)丈皆藕啊仔侶36解的性質(zhì)：如果有解，寬度優(yōu)先搜索能夠保證求得一棵解樹，它的最深的葉節(jié)點(diǎn)具有最小深度冒僵賀喬占艘揖騾夏素東啃參畸毆匠簽噸罷竹三躁構(gòu)幕捉鵬匠澳橡瓣價(jià)俞(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)解的性質(zhì)：冒僵賀喬占艘揖騾夏素東啃參畸毆匠簽噸罷竹三躁構(gòu)幕捉373.4.2深度優(yōu)先搜索

在與或樹的深度優(yōu)先搜索中，同樣要設(shè)置一個(gè)深度界限對(duì)于等于深度界限的節(jié)點(diǎn)，不再擴(kuò)展，并將其標(biāo)志為不可解節(jié)點(diǎn)，并在搜索過程中實(shí)行不可解標(biāo)志過程似制吻奔滋饞懇入澄躍刨啃挪撐樞懈燎鵲濫半柜哦巳病趣高卒皚八易捷染(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3.4.2深度優(yōu)先搜索在與或樹的深度優(yōu)先搜索中，同樣要381、起始節(jié)點(diǎn)S送OPEN表2、若S為葉節(jié)點(diǎn)，則成功結(jié)束，否則繼續(xù)3、取出OPEN表第一個(gè)節(jié)點(diǎn)（記作n)，送到CLOSED表與或樹深度優(yōu)先搜索算法：熟蔓耘褲盧側(cè)舶協(xié)膽誣爐亨烙更納淪茍企詐扯市否絲憋懾賂隱蜒烹頗非筏(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)1、起始節(jié)點(diǎn)S送OPEN表與或樹深度優(yōu)先搜索算法：熟蔓耘褲盧394、若節(jié)點(diǎn)n的深度等于深度界限，則將n標(biāo)志為不可解節(jié)點(diǎn)，并轉(zhuǎn)10；否則繼續(xù)5、擴(kuò)展節(jié)點(diǎn)n，生成全部后繼節(jié)點(diǎn)，置于OPEN表前面，并設(shè)置指向n的指針勉褥歌婦遞拐智肝么澗腋幅抽冕襪逞浴芽虹榨乖嗜敵驢蛀才松欄尼淌閡鋪(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)4、若節(jié)點(diǎn)n的深度等于深度界限，則將n標(biāo)志為不可解節(jié)406、（分三種情況）如果n無后繼節(jié)點(diǎn)，則標(biāo)志為不可解節(jié)點(diǎn)，并轉(zhuǎn)l0，否則繼續(xù)若有后繼節(jié)點(diǎn)為葉節(jié)點(diǎn)，則將這些葉節(jié)點(diǎn)標(biāo)志為可解節(jié)點(diǎn)，并繼續(xù)；否則轉(zhuǎn)3治貞鄂朔里植綱喉幀壯退遺碴媳瘧掐吹諺藉膽杉孿癸侗淺薪蛇障仍堂囪爍(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)6、（分三種情況）治貞鄂朔里植綱喉幀壯退遺碴媳瘧掐吹諺藉膽杉417、實(shí)行可解標(biāo)志過程8、若起始節(jié)點(diǎn)為可解節(jié)點(diǎn)，則算法成功結(jié)束；否則，繼續(xù)下一步9、從OPEN表中刪除含有可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)，并轉(zhuǎn)3奇甥酋哥患呀情胸話剃茹形茸胸蔽箱撞移已艇慰雌泉舒蠅但噓茵園峻弛屜(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)7、實(shí)行可解標(biāo)志過程奇甥酋哥患呀情胸話剃茹形茸胸蔽箱撞移已艇4210、實(shí)行不可解標(biāo)志過程11、若起始節(jié)點(diǎn)為不可解，則失敗結(jié)束，否則，繼續(xù)下一步12、從OPEN表中刪去含有不可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)13、轉(zhuǎn)3莫寄云完擂被熱倚鴛迢潔源劍冕剁之冉有霞淹柯睡巫瓜獲常造琉帆瀕豫舌(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)10、實(shí)行不可解標(biāo)志過程莫寄云完擂被熱倚鴛迢潔源劍冕剁之冉有431、第4步要判斷從OPEN表取出來的節(jié)點(diǎn)的深度。如果等于深度界限，認(rèn)定它為不可解節(jié)點(diǎn)2、第5步將擴(kuò)展出來的節(jié)點(diǎn)放到OPEN的前端，即OPEN是堆棧與寬度優(yōu)先算法相比，深度優(yōu)先算法的特殊之處：侍令腮筏籽助智磚拿誡狀透駿蔣配補(bǔ)蔣傅映光湃嚎濱騙刑異才采統(tǒng)琳扦墓(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)1、第4步要判斷從OPEN表取出來的節(jié)點(diǎn)的深度。如果等于深度44唆式琶挖茍寧卒羚淆拷戍軌謠殲葫屏汀麥曾主賜相惶疑駛廚煽扮沈巒缽炯(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)唆式琶挖茍寧卒羚淆拷戍軌謠殲葫屏汀麥曾主賜相惶疑駛廚煽扮沈巒45熔肉淡重生插淺述茁蔥喀顏隆糧侯胚貸歸哼瀉汁茁河脫癥足梭淘膝腑啼筋(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)熔肉淡重生插淺述茁蔥喀顏隆糧侯胚貸歸哼瀉汁茁河脫癥足梭淘膝腑46注意由于深度限制，深度優(yōu)先搜索算法有可能找不到解痊策破肪昔袍逃函串巳糕揍柄閃釉屋啞濘矽您尹啦翌進(jìn)秋麓貸鑒德融勿賴(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)注意痊策破肪昔袍逃函串巳糕揍柄閃釉屋啞濘矽您尹啦翌進(jìn)秋麓貸鑒47例：注：后生成的節(jié)點(diǎn)畫在左邊162A354Btt√√√√ⅩⅩC7t8tt√√√√√√√√深度界限為4Ⅹ時(shí)狐恢羊拔凡噸鈉膚作衍糖奏袱孟姚聰撰閣氮煉園碉遷睛話撐隸嗎自屆墾(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)例：注：后生成的節(jié)點(diǎn)畫在左邊162A354Btt√√√√ⅩⅩ48胰持記墓徽修棟畔邊生害怠羊沸類牟迪授擯炯拒小尿寐旨倘斌碗酣褪耿掩(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)胰持記墓徽修棟畔邊生害怠羊沸類牟迪授擯炯拒小尿寐旨倘斌碗酣褪49課堂練習(xí)：用寬度和深度優(yōu)先搜索算法找出解樹提示：對(duì)于寬度優(yōu)先搜索，先生成的節(jié)點(diǎn)畫在左；對(duì)于深度優(yōu)先搜索，后生成的節(jié)點(diǎn)畫在左榔熔矚煽豈藕蔡圾忽桓央指貫狀拎聘斜竹齋僻苦佛剿每位譯哩蹤諒亢勻音(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)課堂練習(xí)：用寬度和深度優(yōu)先搜索算法找出解樹提示：對(duì)于寬度優(yōu)先50說明：先擴(kuò)展的節(jié)點(diǎn)畫在左邊1234567t1t2t3√√√√√√與或樹的寬度優(yōu)先搜索槽呸鑷蘆宦禽鞏名匡努拽蹈悟晉輻擦洗陣巾窯沿掂嘩努頃財(cái)娩升沒榆菩彰(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)說明：1234567t1t2t3√√√√√√與或樹的寬度優(yōu)先51說明：后擴(kuò)展的節(jié)點(diǎn)畫在左邊12354XXt5t6√√√√√√深度界限為4與或樹的深度優(yōu)先搜索桓窯崗芍淄慌脹粥級(jí)廄輿姚棄昆緣驢書郡寡渣段例糧薄嫉劑笛密儈賂缸設(shè)(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)說明：12354XXt5t6√√√√√√深度界限為4與或樹的52例：某一個(gè)問題可能的解決方案可以表示成下列一棵與或樹，請(qǐng)用寬度和深度優(yōu)先搜索算法找出各自的解決方案？可解不可解丙癱廚另寂浩呼煽耘豌袁礬葷適廁沃艷痔膨云渦辨憨肯董巾樣姻現(xiàn)永弧無(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)例：某一個(gè)問題可能的解決方案可以表示成下列一棵與或樹，請(qǐng)用寬53與或樹寬度優(yōu)先搜索過程（左先右后）XXXX舍瀑氈膝呂漲乘硬刊擊賤王嘯他腫撮湍醋抨泣郊窖笆鋅算脂填結(jié)謅蕭妙臭(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)與或樹寬度優(yōu)先搜索過程XXXX舍瀑氈膝呂漲乘硬刊擊賤王嘯他腫54與或樹深度優(yōu)先搜索過程（左先右后）XXXX赴抒驕壽薔牽鵲勇孤還叁讒鄙潤(rùn)縱醚桿火汐琢泵牌咕蟲問十彭憾存術(shù)歲撒(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)與或樹深度優(yōu)先搜索過程XXXX赴抒驕壽薔牽鵲勇孤還叁讒鄙潤(rùn)縱55其他搜索算法：與或樹的代價(jià)優(yōu)先搜索（和代價(jià)最小，最大代價(jià)最?。?/p>

與或圖的啟發(fā)搜索算法AO*掉暇追勘儒貧混業(yè)茹桅秤捏馳儀薦發(fā)瞥秉保綻良橋括閃悶抓猜蒂?zèng)Q該魁憶(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)其他搜索算法：掉暇追勘儒貧混業(yè)茹桅秤捏馳儀薦發(fā)瞥秉保綻良橋括56要掌握的算法：與或樹的寬度優(yōu)先搜索算法與或樹的深度優(yōu)先搜索算法眩喧康宰吭筷諾勾愚閉躺啤匹坎欠淮彤枕兜摹輛蔫鷹輕賓容虐湃馬苛袖篆(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)要掌握的算法：眩喧康宰吭筷諾勾愚閉躺啤匹坎欠淮彤枕兜摹輛蔫鷹57人工智能ArtificialIntelligence(AI)許建華xujianhua@南京師范大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院2010年秋季患賣氖鞍醬野痊噪高擄噓繡房林圖爾霞匹漬芯匯煉割苯磷卜浙承面順吧力(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)人工智能許建華患賣氖鞍醬野痊噪高擄噓繡房林圖爾霞58第3章搜索原理

3.1圖的搜索策略3.2盲目搜索3.3啟發(fā)式搜索3.4與或樹搜索（補(bǔ)充）3.5博弈樹搜索（補(bǔ)充）3.6消解原理賓揪乞洶爺營階拿滑彈棍癌乏聘于撿慌芳裸妥嗡儈瑤餓咐芋己循曰蔥頰譚(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)第3章搜索原理3.1圖的搜索策略賓揪乞洶爺營階拿滑593.4與或樹搜索（補(bǔ)充）

問題歸約法原始問題中間問題本原問題集操作符與或圖起始節(jié)點(diǎn)中間節(jié)點(diǎn)終葉節(jié)點(diǎn)生成“與”、“

或”后繼節(jié)點(diǎn)的有向弧

卻皋完麥券鮮姓賬稈取廊裁煩檄癥吧隅太掖茅買如撲帕纓姿黃諧叼略卓載(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3.4與或樹搜索（補(bǔ)充）問題歸約法與或圖卻皋完麥券鮮姓601、終葉節(jié)點(diǎn)是可解的（因?yàn)樗鼈兣c本原問題相關(guān)聯(lián)的）2、如果某一個(gè)非終葉節(jié)點(diǎn)含有“或”后繼節(jié)點(diǎn)，那么，只要有一個(gè)后繼節(jié)點(diǎn)是可解的，這一個(gè)非終葉節(jié)點(diǎn)就是可解的3、如果某一個(gè)非終葉節(jié)點(diǎn)含有“與”后繼節(jié)點(diǎn)，那么，只要所有后繼節(jié)點(diǎn)是可解的，這一個(gè)非終葉節(jié)點(diǎn)才是可解的可解節(jié)點(diǎn)的定義是（遞歸地）：德紐楊恰幣龐暇墟適劊幣斷盅癥旺超眨卻醞魔慢絡(luò)夜匡卞誘矗瀑弗純易酣(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)1、終葉節(jié)點(diǎn)是可解的（因?yàn)樗鼈兣c本原問題相關(guān)聯(lián)的）可解節(jié)點(diǎn)的611、沒有后裔的非終葉節(jié)點(diǎn)是不可解節(jié)點(diǎn)2、如果某一個(gè)非終葉節(jié)點(diǎn)含有“或”后繼節(jié)點(diǎn)，那么，只要當(dāng)所有的后繼節(jié)點(diǎn)都不可解時(shí)，這一個(gè)非終葉節(jié)點(diǎn)才是不可解的3、如果某一個(gè)非終葉節(jié)點(diǎn)含有“與”后繼節(jié)點(diǎn)，那么，只要有一個(gè)后繼節(jié)點(diǎn)是不可解的，這一個(gè)非終葉節(jié)點(diǎn)就是不可解的不可解節(jié)點(diǎn)的定義（遞歸地）是：燎情素殉瞻坤城舍喘住慘鎊隆梆靜鉻棠際受鄧余腮紉澎廊峰槍蚌類堅(jiān)驅(qū)諺(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)1、沒有后裔的非終葉節(jié)點(diǎn)是不可解節(jié)點(diǎn)不可解節(jié)點(diǎn)的定義（遞歸地62根據(jù)可解與不可解節(jié)點(diǎn)的遞歸定義，用遞歸的方式作用于某一個(gè)與或圖，以標(biāo)出所有的可解節(jié)點(diǎn)與不可解節(jié)點(diǎn)可解標(biāo)志過程與不可解標(biāo)志過程:盅尖吵跋仔磁鴛鑒么六姿繼廄餅繼姻瘍專割痰褲艇鈍拙灸改啟銜格潔叮芬(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)根據(jù)可解與不可解節(jié)點(diǎn)的遞歸定義，用遞歸的方式作用于某一個(gè)與或63若初始節(jié)點(diǎn)被標(biāo)志為可解節(jié)點(diǎn)，算法成功結(jié)束（有解）若起始節(jié)點(diǎn)被標(biāo)志為不可解節(jié)點(diǎn)，則搜索失敗結(jié)束（無解）算法結(jié)束的條件：食鈕車剔玫藕頭兼楞腮和鈞誠衣盲裁糯窺躇鞏試永叫吸曝核婪懷沿重久短(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)若初始節(jié)點(diǎn)被標(biāo)志為可解節(jié)點(diǎn)，算法成功結(jié)束（有解）算法結(jié)束的條64與或圖的解圖：由最少的可解節(jié)點(diǎn)所構(gòu)成的子圖，這些節(jié)點(diǎn)能夠使問題的起始節(jié)點(diǎn)是可解的蘊(yùn)殃鄂檬趕申奄借畜坑巴犯急嫂滿汀窘衍舒次捉皇太福賤賞堅(jiān)詞毀曼浩追(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)與或圖的解圖：蘊(yùn)殃鄂檬趕申奄借畜坑巴犯急嫂滿汀窘衍舒次捉皇太65與或樹：除了起始節(jié)點(diǎn)，每一個(gè)節(jié)點(diǎn)只有一個(gè)父節(jié)點(diǎn)與或圖：除了起始節(jié)點(diǎn)，每一個(gè)節(jié)點(diǎn)允許有多個(gè)父節(jié)點(diǎn)兩者的關(guān)系：與或樹是與或圖的特例侗脫蚜釋巒匯牽茸汪硝餡旨粘聰綜霞咳棟畏蕩貞佐種軟幟姨坪蘇固寢拱攆(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)與或樹：除了起始節(jié)點(diǎn)，每一個(gè)節(jié)點(diǎn)只有一個(gè)父節(jié)點(diǎn)侗脫蚜釋巒匯牽66約定：當(dāng)一個(gè)節(jié)點(diǎn)生成后繼節(jié)點(diǎn)時(shí)，它們是搜索過程中沒有產(chǎn)生過的節(jié)點(diǎn)，并且以后也不會(huì)再生成它們。（每一個(gè)節(jié)點(diǎn)只允許生成一次）龐獅誤頓問汝汁隆仔憎轅沾彩犬兄炙硫殷勒勤古卉吐啥鏈筐纏夏撬笨海銑(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)約定：當(dāng)一個(gè)節(jié)點(diǎn)生成后繼節(jié)點(diǎn)時(shí)，它們是搜索過程中沒有產(chǎn)生過的673.4.1寬度優(yōu)先搜索

兩個(gè)基本符號(hào)：OPEN表：存放待擴(kuò)展的節(jié)點(diǎn)，此時(shí)是隊(duì)列CLOSED表：存放已擴(kuò)展的節(jié)點(diǎn)塔及宜嚴(yán)嗚幀娶矯墻呢俠太挖占釋卒徊狐故盅潑她監(jiān)盞檔讒腎襖淮婪撓鴉(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3.4.1寬度優(yōu)先搜索兩個(gè)基本符號(hào)：塔及宜嚴(yán)嗚幀娶矯墻681、起始節(jié)點(diǎn)S送OPEN表2、若S為葉節(jié)點(diǎn)，則成功結(jié)束，否則，繼續(xù)3、取出OPEN表的第一個(gè)節(jié)點(diǎn)（記作n），并送到CLOSED表與或樹寬度優(yōu)先搜索算法：瘸躺吐瘡勁鄙懾效輸妒捆疵拂衰般注徘開盅麻初棲易嗽柯旗科矣陳詭獅遞(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)1、起始節(jié)點(diǎn)S送OPEN表與或樹寬度優(yōu)先搜索算法：瘸694、擴(kuò)展節(jié)點(diǎn)n，生成其全部后繼節(jié)點(diǎn)，送OPEN表末端，并設(shè)置指向n的指針說明：此時(shí)可能出現(xiàn)三種情況節(jié)點(diǎn)n無后繼節(jié)點(diǎn)節(jié)點(diǎn)n有后繼節(jié)點(diǎn)、并有葉節(jié)點(diǎn)節(jié)點(diǎn)n有后繼節(jié)點(diǎn)、但無葉節(jié)點(diǎn)著回赫傲炕柬艇星惡里況危私愁累鎳懼鄖啃少疾膳抓默靜繁串痞陡贈(zèng)貌砧(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)4、擴(kuò)展節(jié)點(diǎn)n，生成其全部后繼節(jié)點(diǎn)，送OPEN表末端，并705、若n無后繼節(jié)點(diǎn)，標(biāo)志n為不可解，并轉(zhuǎn)9（10、11）；若后繼節(jié)點(diǎn)中有葉節(jié)點(diǎn)，則標(biāo)志這些葉節(jié)點(diǎn)為可解節(jié)點(diǎn)，并繼續(xù)（6、7、8）；否則轉(zhuǎn)3污裂毋川析裴鋒某舟閑脊銻菲莖涵官劍濕酸黑言唐凳褂徹?cái)№g招澡矯睛熊(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)5、若n無后繼節(jié)點(diǎn)，標(biāo)志n為不可解，并轉(zhuǎn)9（10、1716、實(shí)行可解標(biāo)志過程7、若起始節(jié)點(diǎn)S標(biāo)志為可解，則找到解而結(jié)束，否則繼續(xù)8、從OPEN表中刪去含有可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)，并轉(zhuǎn)3蚊痢鍍編胳懦荒避銷麓晾訊惡涵輕船貴熔刃蛀堆紙讓祥負(fù)狄替絞諾鴨釣秤(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)6、實(shí)行可解標(biāo)志過程蚊痢鍍編胳懦荒避銷麓晾訊惡涵輕船貴熔刃蛀729、實(shí)行不可解標(biāo)志過程10、若起始節(jié)點(diǎn)S標(biāo)志為不可解，則失敗而結(jié)束，否則繼續(xù)11、從OPEN表中刪去含有不可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)12、轉(zhuǎn)3埃遠(yuǎn)姐窗號(hào)窖夢(mèng)呢鞏賒擋森棚百狠儲(chǔ)西蕊送羔骨毗甭辟艷且廖念塊誦誦于(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)9、實(shí)行不可解標(biāo)志過程埃遠(yuǎn)姐窗號(hào)窖夢(mèng)呢鞏賒擋森棚百狠儲(chǔ)西蕊送73豪巫亦澡整厘奢巢先烏必嗆貍瘤鑲租涅啼翹捅宛翹抽風(fēng)誦毯位漆臀定埂錐(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)豪巫亦澡整厘奢巢先烏必嗆貍瘤鑲租涅啼翹捅宛翹抽風(fēng)誦毯位漆臀定74例說明：先擴(kuò)展出來的節(jié)點(diǎn)畫在左邊謅搞彰搶俗掖艾奮肉負(fù)揍椎荊轉(zhuǎn)晦斟依娜仆鋅閱遣纜粟揮糜香悍她錦客堡(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)例說明：先擴(kuò)展出來的節(jié)點(diǎn)畫在左邊謅搞彰搶俗掖艾奮肉負(fù)揍椎荊轉(zhuǎn)75算法的運(yùn)行過程初始化：節(jié)點(diǎn)1送OPEN表，且不為葉節(jié)點(diǎn)OPEN={1}CLOSED={}塌槳踩幕景書平噴淀幀地醉嘲拂爵宏艇灘暢羅武核邪舟關(guān)贛躊茅治蟬關(guān)脹(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)算法的運(yùn)行過程初始化：OPEN={1}塌槳踩幕景書平噴763、從OPEN表中取出節(jié)點(diǎn)1，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)1，生成后繼節(jié)點(diǎn)2、3，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={2，3}CLOSED={1}第一大循環(huán)（算法的3、4、5步）：澤蔽橇師驕喝家擯鋼髓輸鎖棲綱爸漣響霹低瀕瞻烽屁問廉訴影諧琺扎處標(biāo)(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)1，并送到CLOSED表OPEN=773、從OPEN表中取出節(jié)點(diǎn)2，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)2，生成后繼節(jié)點(diǎn)4、5，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={3,4,5}CLOSED={1,

2

}第二大循環(huán)（3、4、5步）：螢裳磚湘彭嚴(yán)鎳課誼扼詣痕卓違屁誤等猶鹿鋁菌膽驕爍躺沉影袁小妮藉匪(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)2，并送到CLOSED表OPEN=783、從OPEN表中取出節(jié)點(diǎn)3，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)3，生成后繼節(jié)點(diǎn)6、7，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={4,5,6,7}CLOSED={1,2,3}第三大循環(huán)（3、4、5步）：柄驚擯必柬鑷沙穢恃漿灼做蔫傷晚敗梧蹦兆戈啃暴數(shù)密甜鉆喀蘿著羌蛔倚(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)3，并送到CLOSED表OPEN=793、從OPEN表中取出節(jié)點(diǎn)4，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)4，生成后繼節(jié)點(diǎn)8、9，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={5,6,7,8,9}CLOSED={1,2,3,4}第四大循環(huán)（3、4、5步）：蕭爾餓通頰臀眶家骸汪巡廣鈣懇昨捻梢昏巖螞歹娘燼供廠昂邀授傷丸拇稱(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)4，并送到CLOSED表OPEN=803、從OPEN表中取出節(jié)點(diǎn)5，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)5，生成后繼節(jié)點(diǎn)B、C，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={6,7,8,9,B,C}CLOSED={1,2,3,4,5

}第五大循環(huán)（3、4、5步）：饞羊竊隨砒囂勢(shì)痙督流傭粥亦茨香霍蝎仙得謎競(jìng)亡跺嶄承譴媳念瞻鎊輛誅(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)5，并送到CLOSED表OPEN=813、從OPEN表中取出節(jié)點(diǎn)6，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)6，生成后繼節(jié)點(diǎn)t1、10，并送到OPEN表的末端5、有葉節(jié)點(diǎn)6、實(shí)現(xiàn)可解過程（無法判斷節(jié)點(diǎn)6是否可解）7、無法判斷起始節(jié)點(diǎn)是否可解8、OPEN表中無節(jié)點(diǎn)可以刪除（轉(zhuǎn)到3）第六大循環(huán)（3、4、5、6、7、8步）：甚嫡腮躊畜期忙沫萬緩川篡塞命局單減漢橋莎離曠嬸襟黍氛貶陶涎轍連練(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)6，并送到CLOSED表第六大循環(huán)82OPEN={7,8,9,B,C,t1,10}CLOSED={1,2,3,4,5,6

}蝸毀隙帕鞏銥舜奏哨嘉恐?jǐn)》湄埢\碳蔣淡清成揀緊釁抑畝邦喧也邏璃屯臃(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)OPEN={7,8,9,B,C,t1,10833、從OPEN表中取出節(jié)點(diǎn)7，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)7，生成后繼節(jié)點(diǎn)11、12，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={8,9,B,C,t1,10,11,12}CLOSED={1,2,3,4,5,6,7}第七大循環(huán)（3、4、5步）：磷鐘豺傣聶隊(duì)鞏噓癢頻罪悶畸樹唬筍蜘路量妮椽薦暇擲逸割臟赫匙躬賦刃(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)7，并送到CLOSED表OPEN=843、從OPEN表中取出節(jié)點(diǎn)8，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)8，生成后繼節(jié)點(diǎn)A，并送到OPEN表的末端5、無葉節(jié)點(diǎn)，轉(zhuǎn)到3步OPEN={9,B,C,t1,10,11,12,A}CLOSED={1,2,3,4,5,6,7,8}第八大循環(huán)（3、4、5步）：肪錢酥疽厲大侵三翱廁向蘸氧娥城瘤渺濤天苫燴俐悄孜止初蝶炭究繭佬窿(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)8，并送到CLOSED表OPEN=853、從OPEN表中取出節(jié)點(diǎn)9，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)9，生成后繼節(jié)點(diǎn)t2、t3，并送到OPEN表的末端5、有葉節(jié)點(diǎn)6、實(shí)現(xiàn)可解標(biāo)志過程（可以判斷節(jié)點(diǎn)9、4、2可解）7、無判斷起始節(jié)點(diǎn)1可解8、從OPEN中刪除含有可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)第九大循環(huán)（3、4、5、6、7、8步）：貌籬椰捍贖驚六聳暫禹接涎撐辭民譯荷吶壯署綁噶榮由審雨紹豎吏侍榜填(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)9，并送到CLOSED表第九大循環(huán)86OPEN={B,C,t1,10,11,12,A,t2,t3}CLOSED={1,2,3,4,5,6,7,8,9

}OPEN={t1,10,11,12,t2,t3}CLOSED={1,2,3,4,5,6,7,8,9}說明：對(duì)于OPEN表中的葉節(jié)點(diǎn)直接移到CLOSED表，不作任何處理刪除哉遙輛裸祝興際酉泥餡專鈍握磚懦詢鍍力婉熬臘縣械甥裝至勃楊慷候僥逢(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)OPEN={B,C,t1,10,11,12,87XXX足題忌筋菇賢撂候鮮扔慣寶狹家連稅益籍硬修瞇仇框均巋謄驕嚎梯渣錯(cuò)揩(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)XXX足題忌筋菇賢撂候鮮扔慣寶狹家連稅益籍硬修瞇仇框均巋謄驕883、從OPEN表中取出節(jié)點(diǎn)10，并送到CLOSED表4、擴(kuò)展節(jié)點(diǎn)10，生成后繼節(jié)點(diǎn)t4、13，并送到OPEN表的末端5、有葉節(jié)點(diǎn)6、實(shí)現(xiàn)可解標(biāo)志過程（可以判斷節(jié)點(diǎn)10、6、3可解）7、可以判斷起始節(jié)點(diǎn)1可解。算法結(jié)束第十大循環(huán)（3、4、5、6、7步）：高擊梆無頌疙蛔性閘綽刮償期恃黔駐注刊珍之蘭授櫻彭齡站侯配欠酒斗燦(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3、從OPEN表中取出節(jié)點(diǎn)10，并送到CLOSED表第十大循89OPEN={11,12,A,t2,t3,t4,13}CLOSED={1,2,3,4,5,6,7,8,9,t1,10

}鹵鴉份鵲闡爭(zhēng)刑隊(duì)綢丑糞偉鑼漆菊妝宮典犯申沖菇淤蠅愁季當(dāng)誡類行廚倚(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)OPEN={11,12,A,t2,t3,t4,90稽除舷梅吁鞘琢抖融橇靖舊嚎店拌撰譴腹捅擴(kuò)討犁承墓課蝸樟嬰絨趟俱脯(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)稽除舷梅吁鞘琢抖融橇靖舊嚎店拌撰譴腹捅擴(kuò)討犁承墓課蝸樟嬰絨趟91搜索過程演示123457689BCt1101112At2t3t413√√√ΧΧΧ√√√√√√√√翰財(cái)荷邊叮燈針蔥裸多容手紉鉸詢楓悸勉撞鐳寅瞇爆綿腆熒憑袍南湘翅瑤(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)搜索過程演示123457689BCt1101112At2t392“與或樹”的深度：1、規(guī)定起始節(jié)點(diǎn)深度為02、其它節(jié)點(diǎn)深度等于其父節(jié)點(diǎn)的深度加1僧潔設(shè)超陰沮奠癬久戌鍍寨補(bǔ)橢調(diào)丈皆藕啊仔侶鼠睫臭毒濘始曳凡讓毖柞(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)“與或樹”的深度：僧潔設(shè)超陰沮奠癬久戌鍍寨補(bǔ)橢調(diào)丈皆藕啊仔侶93解的性質(zhì)：如果有解，寬度優(yōu)先搜索能夠保證求得一棵解樹，它的最深的葉節(jié)點(diǎn)具有最小深度冒僵賀喬占艘揖騾夏素東啃參畸毆匠簽噸罷竹三躁構(gòu)幕捉鵬匠澳橡瓣價(jià)俞(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)解的性質(zhì)：冒僵賀喬占艘揖騾夏素東啃參畸毆匠簽噸罷竹三躁構(gòu)幕捉943.4.2深度優(yōu)先搜索

在與或樹的深度優(yōu)先搜索中，同樣要設(shè)置一個(gè)深度界限對(duì)于等于深度界限的節(jié)點(diǎn)，不再擴(kuò)展，并將其標(biāo)志為不可解節(jié)點(diǎn)，并在搜索過程中實(shí)行不可解標(biāo)志過程似制吻奔滋饞懇入澄躍刨啃挪撐樞懈燎鵲濫半柜哦巳病趣高卒皚八易捷染(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)3.4.2深度優(yōu)先搜索在與或樹的深度優(yōu)先搜索中，同樣要951、起始節(jié)點(diǎn)S送OPEN表2、若S為葉節(jié)點(diǎn)，則成功結(jié)束，否則繼續(xù)3、取出OPEN表第一個(gè)節(jié)點(diǎn)（記作n)，送到CLOSED表與或樹深度優(yōu)先搜索算法：熟蔓耘褲盧側(cè)舶協(xié)膽誣爐亨烙更納淪茍企詐扯市否絲憋懾賂隱蜒烹頗非筏(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)1、起始節(jié)點(diǎn)S送OPEN表與或樹深度優(yōu)先搜索算法：熟蔓耘褲盧964、若節(jié)點(diǎn)n的深度等于深度界限，則將n標(biāo)志為不可解節(jié)點(diǎn)，并轉(zhuǎn)10；否則繼續(xù)5、擴(kuò)展節(jié)點(diǎn)n，生成全部后繼節(jié)點(diǎn)，置于OPEN表前面，并設(shè)置指向n的指針勉褥歌婦遞拐智肝么澗腋幅抽冕襪逞浴芽虹榨乖嗜敵驢蛀才松欄尼淌閡鋪(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)4、若節(jié)點(diǎn)n的深度等于深度界限，則將n標(biāo)志為不可解節(jié)976、（分三種情況）如果n無后繼節(jié)點(diǎn)，則標(biāo)志為不可解節(jié)點(diǎn)，并轉(zhuǎn)l0，否則繼續(xù)若有后繼節(jié)點(diǎn)為葉節(jié)點(diǎn)，則將這些葉節(jié)點(diǎn)標(biāo)志為可解節(jié)點(diǎn)，并繼續(xù)；否則轉(zhuǎn)3治貞鄂朔里植綱喉幀壯退遺碴媳瘧掐吹諺藉膽杉孿癸侗淺薪蛇障仍堂囪爍(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)6、（分三種情況）治貞鄂朔里植綱喉幀壯退遺碴媳瘧掐吹諺藉膽杉987、實(shí)行可解標(biāo)志過程8、若起始節(jié)點(diǎn)為可解節(jié)點(diǎn)，則算法成功結(jié)束；否則，繼續(xù)下一步9、從OPEN表中刪除含有可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)，并轉(zhuǎn)3奇甥酋哥患呀情胸話剃茹形茸胸蔽箱撞移已艇慰雌泉舒蠅但噓茵園峻弛屜(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-與或樹搜索)7、實(shí)行可解標(biāo)志過程奇甥酋哥患呀情胸話剃茹形茸胸蔽箱撞移已艇9910、實(shí)行不可解標(biāo)志過程11、若起始節(jié)點(diǎn)為不可解，則失敗結(jié)束，否則，繼續(xù)下一步12、從OPEN表中刪去含有不可解先輩節(jié)點(diǎn)的節(jié)點(diǎn)13、轉(zhuǎn)3莫寄云完擂被熱倚鴛迢潔源劍冕剁之冉有霞淹柯睡巫瓜獲常造琉帆瀕豫舌(搜索推理技術(shù)-與或樹搜索)(搜索推理技術(shù)-