(100分)四叉树几个性质的证明
发布网友
发布时间:2022-05-29 02:53
我来回答
共1个回答
热心网友
时间:2024-10-21 10:29
首先指出你的精神十分可佳,能想到将二叉树的性质推广到任意叉树的情况,你的性质1的证明完全正确,性质2结论有点问题,性质4我还没能完全理会.我做了标记?,是否能表述的更清楚一点.是否编号类似二叉树从上到下从左到右进行?,我现将性质4改写了一下,不知是否符合你的原意?
性质1:4叉树第i层上的结点数目最多为4^(i-1)(i≥1)。
证明:用数学归纳法证明:归纳基础:i=1时,有4^(i-1)=1。因为第1层上只有一个根结点,所以命题成立。归纳假设:假设对所有的j(1≤j<i)命题成立,即第j层上至多有4(j-1)个结点,证明j=i时命题亦成立。归纳步骤:根据归纳假设,第i-1层上至多有4^(i-2)个结点。由于四叉树的每个结点至多有4个孩子,故第i层上的结点数至多是第i-1层上的最大结点数的4倍。即j=i时,该层上至多有4×4^(i-2)=4(i-1)个结点,故命题成立。
性质2:深度为k的4叉树至多有(4^k-1)/3个结点(k≥1)。
证明:由性质1深度为k的4叉树至多有
1+4+4^2+…+4^(k-1)=(4^k-1)/(4-1)=(4^k-1)/3
性质3:在一棵4叉树中,若终端结点的个数为n0,度为2结点数为n2,……度为4结点数为n4,则n0=n2+2n3+3n4+1。
证明:因为4叉树中所有结点的度数均不大于4,所以结点总数(记为n)应等于0度、1度,2度,3度和4度结点数之和:
n=n0+n1+n2+n3+n4
另一方面,1度,2度,3度,4度结点分别为有1-4个孩子,故4叉树中孩子结点总数是(包括不是任何结点的孩子的根结点,故下式右边加1):
n=nl+2n2+3n3+4n4+1
故有n0+n1+n2+n3+n4=nl+2n2+n3+n4,即得n0=n2+2n3+3n4+1
性质4:在完全4叉树?中,如果将其每一层中的数据依次?分块映射?为二叉树中同一层的数据结构?形式,那么我们同样可以类似定义完全4叉树的“左、右孩子”。其中,完全4叉树经过映射后,每?一个根结点的左边部分?的第一个结点为其直接“左孩子”,对应右边部分?的第一个结点为其直接“右孩子”。 完全4叉树中编号为i的结点(1≤i≤m,m≥1,m为结点数)的直接“左、右孩子”有如下结论:(1)如果4*i-2>m,则结点i没有直接“左孩子”;否则其直接“左孩子”结点的编号为4*i-2。(2)如果4*i-2+count>m,则结点i没有直接“右孩子”;否则其直接“右孩子”结点的编号为4*i-2+count。其中count表示为4high/2high,high为结点i所处的层次
改写的性质4如下:
性质4:在完全4叉树中,每个结点最左边的孩子称为该结点的“左孩子”,最右边的孩子称为该结点的“右孩子”。然后对完全4叉树从上到下从左到右按层进行编号,编号为i的结点(1≤i≤m,m≥1,m为结点数)的 “左、右孩子”有如下结论:(1)如果4i-2>m,则结点i没有直接“左孩子”;否则其直接“左孩子”结点的编号为4i-2。(2)如果4i+1>m,则结点i没有直接“右孩子”;否则其直接“右孩子”结点的编号为4i+1。
证明:对完全4叉树从上到下从左到右按层进行编号,不难看出编号为i的结点如果它的“左孩子”存在,则其“左孩子”的编号为4i-2,同理如果它的“右孩子”存在,则“右孩子”的编号为4i+1,如果结点数为m,则编号不会超过m,因此如果4i-2>m,则结点i没有“左孩子”,否则“左孩子”的编号应为4i-2,然而4i-2大于了m,即超过了编号的范围,矛盾,即4i-2>m时,则结点i没有“左孩子”,同理如果4i+1>m也没有“右孩子”。如果没有上面4i-2>m或4i+1>m的*,则“左孩子”或“右孩子”存在,此时“左右孩子”的编号分别为4i-2 和4i+1.
(100分)四叉树几个性质的证明
性质4:在完全4叉树中,每个结点最左边的孩子称为该结点的“左孩子”,最右边的孩子称为该结点的“右孩子”。然后对完全4叉树从上到下从左到右按层进行编号,编号为i的结点(1≤i≤m,m≥1,m为结点数)的 “左、右孩子”有如下结论:(1)如果4i-2>m,则结点i没有直接“左孩子”;否则其...
求助啊,谁能告诉我马尔科夫性质到底是什么?最好讲的详细一点,谢谢,太...
仍然是四叉树, 只 是层数比完整的四叉树大大减少,相当于将完整的四叉树截为两部分,只取下面的这部分.模型最下层仍和图像 大小一致,但最上层则不止一个节点.完整的四叉树模型所具有的性质完全适用于半树模型,不同点仅在于最上层,完整的树模型从上到下构成 了完整的因果依赖性,而半树模型的层间因果关系被...
matlab画函数图像怎么分析格图比重
行四叉树分解:qtdecomp函数 将一块图像分成四块等大小的方块,然后判断每块是否满足同性质的标准,如果满足,则不再分解,否则,再进行细分成四块,并对每块应用测试标准,分解过程重复迭代下去,直到满足标准,结果可能包含不同大小的块。该函数的语法结构如下:S=qtdecomp(I)对灰度图像I进行四叉树分解,返回四叉树结构的稀...
如何理解 n 维空间和 n 维时空
如果在空间中存在第四个点,能使得这个点到三个顶点的距离都等于1。那么这个点必定不存在在二维空间中,且一定存在于三维空间中(此处数学证明省略,太难了,感兴趣的同学可以证明一下)。如果在三维空间中把这四个点都连接起来,那么就可以构成一个三维的正四面体。 同理,如果有第五个点能和这个三维的正四面体距离都...