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

通过对博弈树搜索情形的深入分析,给出极小树叶结点数定理新的完整证明,指出以往证明源于对极小搜索树的认识偏差而不完备.对窗口搜索效率来源的细致分析和实验验证,则揭示出博弈树窗口搜索提高效率的首要原因是窗口位置而不是窗口大小.这一与人们的感性认知不符的定性结论,将有助于人们准确理解和运用有关博弈树搜索算法.