【递归】 之 二叉树

问题描述

如上图所示，由正整数1, 2, 3, ...组成了一棵无限大的二叉树。从某一个结点到根结点（编号是1的结点）都有一条唯一的路径，比如从10到根结点的路径是(10, 5, 2, 1)，从4到根结点的路径是(4, 2, 1)，从根结点1到根结点的路径上只包含一个结点1，因此路径就是(1)。对于两个结点x和y，假设他们到根结点的路径分别是(x1, x2, ... ,1)和(y1, y2, ... ,1)（这里显然有x = x1，y = y1），那么必然存在两个正整数i和j，使得从xi 和 yj开始，有xi = yj ，xi + 1 = yj + 1，xi + 2 = yj + 2，... 现在的问题就是，给定x和y，要求xi（也就是yj）。

输入数据
输入只有一行，包括两个正整数x和y，这两个正整数都不大于1000。

输出要求
输出只有一个正整数xi。

输入样例
10 4

输出样例
2

解题思路

这个题目要求树上任意两个节点的最近公共子节点。分析这棵树的结构不难看出，不论奇数偶数，每个数对2做整数除法，就走到它的上层结点。
我们可以每次让较大的一个数（也就是在树上位于较低层次的节点）向上走一个结点，直到两个结点相遇。如果两个节点位于同一层，并且它们不相等，可以让其中任何一个先往上走，然后另一个再往上走，直到它们相遇。设common(x, y)表示整数x和y的最近公共子节点，那么，根据比较x和y的值，我们得到三种情况：1) x与y相等，则common(x, y)等于x并且等于y；2）x大于y，则common(x, y)等于common(x/2, y)；3）x大于y，则common(x, y)等于common(x y/2)；

参考程序

#include <stdio.h>
int common(int x, int y){
    if(x == y)  return x;
    if(x > y)  return common(x / 2, y);
    return  common(x, y / 2);
}
void main()
{
    int m, n, result;
    scanf("%d%d", &m, &n);
    printf("%d\n", common(m, n));
}

实现中常见的问题

问题一：有一种比较直观的解法是对于两个给定的数，分别求出它们到根节点的通路上的所有节点的值，然后再在两个数组中寻找数码最大的公共节点。这种做法的代码比较繁琐，容易在实现中出错；
问题二：代码实现逻辑不明晰，造成死循环等错误，例如，有人只将其中一个数不停地除以2，而不理会另外一个数。