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

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

A Proof for Minimal Game Tree's Leaf Node Number Theorem

A concise proof for minimal game trees leaf node number theorem is presented according to some deficiencies in its pervious proofs, and also some misunderstandings of minimal game-tree are clarified. On the analyses and experiments of the efficiency source of the window searches, this paper reveals the fact that the improvement of the window searches efficiency results from the position of the window. This qualitative conclusion, which contains some inconsistencies from the common knowledge, gives accurate comprehension and utilization of window searches.