证明这些旋转移动可以探索整个二叉树搜索空间

时间:2015-09-16 23:56:22

标签: tree theory proof formal-verification

我正在研究这个项目,我需要找到以下的理论证据。

我有一种特殊类型的二叉树,其中

1)每个内部节点肯定会有两个孩子。

2)有n个叶节点,可以从最左边到最右边的顺序为1到n。

现在很明显,这些可能的树具有指数数量,这些树具有这两个属性。

如果我从任何随机树开始并随机抽样其中一个内部节点,则随机执行左旋或右旋两个操作之一(https://en.wikipedia.org/wiki/Tree_rotation)。是否可以从任意随机树开始到搜索空间中的任何其他树。

我尝试了各种资源,却找不到任何证据。我自己尝试过,但无法达成解决方案。如果有人能帮助我,我会很高兴。

0 个答案:

没有答案