【基本要求】 已知一棵二叉树的前序和中序序列，试设计完成下列任务的一个算法： （1）构造一棵二叉树； （2）证明构造正确（即分别以前序和中序遍历该树，将得到的结果与给出的序列进行比较）。 （3）对该二叉树进行后序遍历，输出后序遍历序列。 （4）用凹入法输出该二叉树。

[问题描述] 如果给出了遍历二叉树的前序序列和中序序列，则可以构造出唯一的一棵二叉树。试编写实现上述功能的程序。 [基本要求] 已知一棵二叉树的前序和中序序列，试设计完成下列任务的一个算法： （1）构造一棵二叉树； （2）证明构造正确（即分别以前序和中序遍历该树，将得到的结果与给出的序列进行比较）。 （3）对该二叉树进行后序遍历，输出后序遍历序列。 （4）用凹入法输出该二叉树。