根据前序遍历、中序遍历重建二叉树

本题来源于《剑指offer》55页面试题6：重建二叉树。

题目如下：

输入某二叉树的前序遍历和中序遍历结果，请重建出该二叉树。假设输入的前序遍历和中序遍历中都不含有重复的数字，二叉树节点定义略。

代码如下：

#include<iostream>
using namespace std;
struct BinaryTreeNode
{
	BinaryTreeNode *m_pLeft;
	BinaryTreeNode *m_pRight;
	int m_nValue;
};
BinaryTreeNode* ConstructCore(int *startPreOrder,int *endPreOrder,int *startInOrder,int *endInOrder);
BinaryTreeNode* Construct(int *startPreOrder,int *startInOrder,int length)
{
	if(startPreOrder==NULL||startInOrder==NULL||length==0)
		return NULL;
	return ConstructCore(startPreOrder,startPreOrder+length-1,startInOrder,startInOrder+length-1);
}

BinaryTreeNode* ConstructCore(int *startPreOrder,int *endPreOrder,int *startInOrder,int *endInOrder)
{
	int rootValue=startPreOrder[0];
	BinaryTreeNode* root=new BinaryTreeNode();
	root->m_nValue=rootValue;
	root->m_pLeft=root->m_pRight=NULL;
	if(startPreOrder==endPreOrder)
	{
		if((startInOrder==endInOrder)&&(*startPreOrder==*startInOrder))
		{
			return root;
		}
	}
	else
		throw::std::exception("Invalid input.");

	int *rootInOrder=startInOrder;
	while((*rootInOrder!=rootValue)&&(rootInOrder<=endInOrder))
		rootInOrder++;
	if((rootInOrder==endInOrder)&&(*rootInOrder!=rootValue))
		throw::std::exception("Invalid input.");

	int leftLength=rootInOrder-startInOrder;
	if(leftLength>0)
	{
		root->m_pLeft=ConstructCore(startPreOrder+1,startPreOrder+leftLength,startInOrder,rootInOrder-1);
	}
	if(leftLength<endPreOrder-startPreOrder)
	{
		root->m_pRight=ConstructCore(startPreOrder+leftLength+1,endPreOrder,rootInOrder+1,endInOrder);
	}

	return root;
}
           

// ====================测试代码====================
// ====================测试代码很多，这是直接使用作者提供的测试代码======================
void Test(char* testName, int* preorder, int* inorder, int length)
{
    if(testName != NULL)
        printf("%s begins:\n", testName);

    printf("The preorder sequence is: ");
    for(int i = 0; i < length; ++ i)
        printf("%d ", preorder[i]);
    printf("\n");

    printf("The inorder sequence is: ");
    for(int i = 0; i < length; ++ i)
        printf("%d ", inorder[i]);
    printf("\n");

    try
    {
        BinaryTreeNode* root = Construct(preorder, inorder, length);
    }
    catch(std::exception& exception)
    {
        printf("Invalid Input.\n");
    }
}

// 普通二叉树
//              1
//           /     \
//          2       3  
//         /       / \
//        4       5   6
//         \         /
//          7       8
void Test1()
{
    const int length = 8;
    int preorder[length] = {1, 2, 4, 7, 3, 5, 6, 8};
    int inorder[length] = {4, 7, 2, 1, 5, 3, 8, 6};

    Test("Test1", preorder, inorder, length);
}

// 所有结点都没有右子结点
//            1
//           / 
//          2   
//         / 
//        3 
//       /
//      4
//     /
//    5
void Test2()
{
    const int length = 5;
    int preorder[length] = {1, 2, 3, 4, 5};
    int inorder[length] = {5, 4, 3, 2, 1};

    Test("Test2", preorder, inorder, length);
}

// 所有结点都没有左子结点
//            1
//             \ 
//              2   
//               \ 
//                3 
//                 \
//                  4
//                   \
//                    5
void Test3()
{
    const int length = 5;
    int preorder[length] = {1, 2, 3, 4, 5};
    int inorder[length] = {1, 2, 3, 4, 5};

    Test("Test3", preorder, inorder, length);
}

// 树中只有一个结点
void Test4()
{
    const int length = 1;
    int preorder[length] = {1};
    int inorder[length] = {1};

    Test("Test4", preorder, inorder, length);
}

// 完全二叉树
//              1
//           /     \
//          2       3  
//         / \     / \
//        4   5   6   7
void Test5()
{
    const int length = 7;
    int preorder[length] = {1, 2, 4, 5, 3, 6, 7};
    int inorder[length] = {4, 2, 5, 1, 6, 3, 7};

    Test("Test5", preorder, inorder, length);
}

// 输入空指针
void Test6()
{
    Test("Test6", NULL, NULL, 0);
}

// 输入的两个序列不匹配
void Test7()
{
    const int length = 7;
    int preorder[length] = {1, 2, 4, 5, 3, 6, 7};
    int inorder[length] = {4, 2, 8, 1, 6, 3, 7};

    Test("Test7: for unmatched input", preorder, inorder, length);
}

int main()
{
    Test1();
    Test2();
    Test3();
    Test4();
    Test5();
    Test6();
    Test7();

    return 0;
}
           

运行结果如下：