一道证明题
来源:互联网 发布:淘宝小二介入卖家赢 编辑:程序博客网 时间:2024/04/29 10:50
证明:
有n个内部结点的AVL树满足 :
h<1.4404lg(n+2)-0.328
AVL树性质:
AVL树是一种二叉搜索树,每一个节点的左右子树高度之差最多为1(空树定义为0)。
假设高度为h的AVL树内部节点的最小数量为f(h),则
<1> 当高度为1时f(1)=1;
<2> 当高度为2时f(2)=2;
<3>当高度为3时f(3)=4;
则高度为h的的数,由AVL树的性质,至少由一个高度为h-1,以及一个高度为h-2的子树构成.则当两个子树
的内部节点最少时,h树的内部节点最少,由此推得:
f(h)=f(h-1)+f(h-2)+1;
则内部节点的最小数量为一个斐波那契额数列.
对比斐波那契数列F(n)与上面公式的数值:
f(h)斐波那契n=1 11n=221n=342n=473n=5125n=6208
猜测 f(n) = F(n+2)-1; n>1;
使用数学归纳法进行证明:
f(1)=1=F(3)-1
f(2)=2=F(4)-1
f(3)=4=F(5)-1
则假设存在 f(n-1)=F(n+1)-1,f(n-2)=F(n)-1 [n>2]
则 f(n)=f(n-1)+f(n-2)+1=F(n+1)-1+F(n)-1+1=F(n+2)-1
得证.
斐波那契数列的求值方法可以通过百度百科中所讲的待定系数法等方法进行计算.
则 ,内部节点的个数n,高度h符合以下关系:
n>F(h+2)-1
然后经过推理[数学符合太难输入了,还是给链接吧...],得:
h<1.4404lg(n+2)-0.328
- 一道证明题
- 一道有趣的几何证明题
- 编译原理(一道小证明题)
- 一道有趣的数学证明题
- 一道几何证明
- 平面嵌入结合欧拉定理的一道证明题
- 看见一道据说是土耳其奥数不等式证明题
- 一道线性代数的证明题目
- 一道积分不等式的证明
- 每天一道编程题----------------辗转相除法求两个数的最大公约数及其证明
- 黑帽子,白帽子——一道推理题的证明
- 一道切线和圆有关的几何证明题及解析解答
- 一道切线和圆有关的几何证明题及解析解答
- 证明题
- 证明题
- 证明题
- 随机数:关于用Rand7生成Rand10的最准确的算法(MS中的一道题)--仿真证明
- 类似定积分概念的一道证明关键步骤,不理解
- 设置UISwitch大小
- VC/MFC 临界区使用方法事例
- tomcat发布xfire webservices
- 连接服务器上的Oracle
- 万年历,老师很强大
- 一道证明题
- EJB总结一
- UITextField右侧小圆叉
- JVM性能调优
- 捕鱼山寨-----------(二) 帮助界面
- Noj-1389(打表题目)
- 《网络编程》 学习资料
- 继承
- java 集合类Array、List、Map区别和联系