极小树叶结点数定理的补充证明及有关分析.docVIP

极小树叶结点数定理的补充证明及有关分析 第24卷第4期 2011年8月 模式识别与人工智能 PRamp;AI Vo1.24No.4 Aug2011 极小树叶结点数定理的补充证明及有关分析 张明亮吴俊李凡长 (苏州科技学院电子与信息工程学院215011) (苏州大学计算机科学与技术学院215006) 摘要通过对博弈树搜索情形的深入分析,给出极小树叶结点数定理新的完整证明,指出以往证明源于对极小 搜索树的认识偏差而不完备.对窗口搜索效率来源的细致分析和实验验证,则揭示出博弈树窗口搜索提高效率的 首要原因是窗口位置而不是窗口大小.这一与人们的感性认知不符的定性结论,将有助于人们准确理解和运用有 关博弈树搜索算法. 关键词极小博弈树,Mpha—beta剪枝,MTD(f),空窗探测 中图法分类号TP181 AProofforMinimalGameTree~LeafNodeNumberTheorem ZHANGMing—Liang一,WUJun,LIFan—Zhang. (Electronicsamp;InformationCollege,SuzhouUniversityofScienceandTechnology,Suzhou,215011) (CollegeofComputerScienceandTechnology,SoochowUniversity,Suzhou,215006) ABSTRACT Aconciseproofforminimalgametreeleafnodenumbertheoremispresentedaccordingtosome deficienciesinitsperviousproo~,andalsosomemisunderstandingsofminimalgame-treeareclarified. Ontheanalysesandexperimentsoftheefficiencysourceofthewindowsearches,thispaperrevealsthe factthattheimprovementofthewindowsearchesefficiencyresultsfromthepositionofthewindow.This qualitativeconclusion,whichcontainssomeinconsistenciesfromthecommonknowledge,givesaccurate comprehensionandutilizationofwindowsearches. KeyWordsMinimalGameTree,Alpha—BetaPruning,MTD(f),NullWindowSearch 1引言 双人零和完备知识博弈的极小极大值算法 (MiniMaxAlgorithm)由JohnyonNeumann和Emile Borel在20世纪20年代提出卜.19世纪50年代, 人们又逐步发现alpha—beta搜索/剪枝算法,简称为 一 卢搜索/剪枝.最佳情形时,O/一』8搜索需要遍历 的叶结点数的最小极限为 N=』+[d/引一 1.(1) 上式即为极小博弈树(MinimalGame 甲窒自签科学基金项目(No61033013),苏州科技学院科研基金项目(No.xky201010)资助收稿13期 :2010—04—12;修回日期:2010～12—14 考张明亮,男,1965年生,硕士,副教授,主要研究方向为博弈论,计算机应用系统等.E-mail:ml@mil.usts..d...墨堡 :曼,,1.97—8,璺.萼爆主差赠寡方为工智能,计算机图形学.李凡长,男,1964年生,教授,博士生导师,主要研究方向为人工智能 ,李群机器学习,动态模糊逻辑,多Agent系统.E哪ail:lfzh@.一…～～…. 522模式识别与人工智能24卷 Tree/MinimalTree/MinimalSearchTree)叶结点数 (NumberofBottomPositions,NBP)定理,其中W为 每个结点的子结点数,d为博弈树深度,Ij表示≤ 的最大整数,l隈示≥的最小整数.上述结论的 一 个前提是均衡博弈树(UniformGameTree), 即所有结点的子结点数目相同,且叶结点均在同一 层.最早给出此结论的公开文献在1963年,但未 给出证明,最早的证明见于1969年J,另一证明见 于1975年¨J.NBP定理指明了博弈树搜索的最小极 限,成为各种搜索算法效率评价的标尺.1980年出 现的PVS(亦称NegaScout)搜索算法.J,内部结点 是强有序时(应用易做到),搜索效率优于一搜 索.1994年由AskePlaat等提出的MTD(f)算