关于丰满二叉树节点与树枝间的关系问题答薛问天先生.doc

关于丰满二叉树节点与树枝间的关系问题答薛问天先生 沈卫国 本文是回答薛问天先生“为什么二叉树遍历节点不能遍历所有的无穷枝？”一文的。薛先生在该文的最后总结说：“你要使该节点对应一个无穷枝，就必须选择某种性质，从这无穷枝中按照此性质选择其中一个无穷枝。但是最后导致的结果是你遍历的无穷枝都具有此性质，从而遍历不了不具有此性质的无穷枝，也就是说你遍历不了全体无穷枝。当然这只是一种举例和解释，严格意义上这还够不上无穷枝集合不可数的证明。要证明无穷枝集合不可数还要使用对角线方法。定义两个实数：令α=1/3=0.010101…，β=2/3=0.101010…。显然α和β的任何位的值均不相同。我们把小数点后第n位与α不相同但是从此位以后各位全与α各位值相同的无穷枝称为αn类无穷枝；把第n位与β不相同但是从此位以后全与β各位相同的无穷枝称为βn类无穷枝。另外规定α和β分别称为α0类和β0类无穷枝。 遍历方法 下面我们详细地给出由遍历节点从而遍历所有α类无穷枝和β类无穷枝的方法。逐层遍历二叉树上的节点。 让0层节点对应两个无穷枝α和β。以后各层的每个节点只对应一个无穷枝。对应的规则是：对于每层的2n个节点，凡是节点的标注同α的该位相同（即1,3,5,…奇数层为0，而2,4,6,…偶数层为1）的那一半（2n-1个）节点，对应与在该位以后各位全与β相同的无穷枝，这样对应的无穷枝相当于所有βn类无穷枝；凡是节点的标注同β该位相同（即奇数层为1，偶数层为0）的那一半（2n-1个）节点，对应与该位以后各位全与α相同的无穷枝。这样对应的无穷枝相当于所有αn类无穷枝。这样一来。在遍历二叉树上第n层的2n个节点时，就刚好遍历了对应的全部2n-1个βn类无穷枝和全部2n-1个αn类无穷枝。 最近，我同沈卫国先生(qygrswg)有一组有趣的跟帖对话。开始沈先生认为二叉树“拉直了”就是一个无穷枝（实数）的序列，在其上实施“对角线法”，由于二叉树上的无穷枝包括了所有可能组合的实数，因而不可能存在一个不在二叉树上的实数，用以说明康托尔对角线法存在的问题。后经我指出二叉树“拉直了”构成不了实数序列，话题又转向在二叉树上能否用遍历节点的方法遍历所有的无穷枝的问题。 沈先生认为可以用每一个节点对应于一个无穷枝的方法，只要遍历了所有的节点，就可以遍历所有的无穷枝了。我说你想得太粗了，你把你的遍历方法说完整了，就可以看出你的方法遍历不了所有的无穷枝。为此我举例具体说明，如果在遍历各层节点中，每层将标注为1的节点对应为以后全为0的的无穷枝；标注为0的节点对应以后全为1的无穷枝。用这样遍历所有节点的方法所遍历的无穷枝刚好是所有0类无穷枝和所有1类无穷枝的总和，不多不少也不重复。由于0类和1类无穷枝是所有无穷枝的真子集，所以该方法遍历不了所有的无穷枝。 沈先生不服，说0类枝和1类枝有个相等（是一回事）的问题，例如0.01111…同0.100000…相等，这里有重复。他认为【可以有充分的机会排除这种重复后有多余的机会去遍历所有枝。】好吧！我们就再举个不重复的例子。本文引入α类枝和β类枝的概念，它们是所有无穷枝的真子集，证明用遍历节点的方法，只能遍历所有α类枝和β类枝，不可能遍历所有的无穷枝。这个例子就不存在重复和“通常认为是一回事”的问题了。 2，基本概念 首先看无穷二叉树，如图所示，二叉树上所有节点均标注0或1。0层共20=1个节点:[0]，1层共21=2个节点:[00],[01]，2层共22=4个节点:[000],[001],[010],[011]，3层共23=8个节点:[0000],[0001], [0010],[0011],[ 0100],[0101],[0110],[0111]。n层共2n个节点，其中有一半2n-1个节点标注为0，另一半2n-1个节点标注为1。我们把从根节点[0]出发，每层经过一个节点的无穷路径称为无穷枝，显然每个无穷枝上的节点的标注构成的无穷序列，构成单位区间[0，1]上的一个无穷小数（二进制表示的实数0.a1a2a3…）。由于二叉树是丰满的，包括所有可能的组合，所以二叉树将包括所有的与单位区间上的实数一一对应的所有无穷枝。 定义两个实数：令α=1/3=0.010101…，β=2/3=0.101010…。显然α和β的任何位的值均不相同。我们把小数点后第n位与α不相同但是从此位以后各位全与α各位值相同的无穷枝称为αn类无穷枝；把第n位与β不相同但是从此位以后全与β各位相同的无穷枝称为βn类无穷枝。另外规定α和β分别称为α0类和β0类无穷枝。具体写出来，例如: 另外我们分别称所有αn类和βn类无穷枝的总和为α类无穷枝和β类无穷枝。即： α类无穷枝=α0∪α1∪α2∪…。 β类无穷枝=β0∪β1∪β2∪…。 显然α类枝∩β类枝