《人工智能:一种现代方法》中,给出这样一个复杂度: 按照给定条件,树的节点个数最多为:所以容易得出:现在证明:存在,使得当时,有:不等式变形:不妨取 为不等式的一个解,此时故可取,得证。又根据大O表示法的定义:可得: