pascal中级教程第二章递归与递推.docVIP

第二章 与递推 21 遍历问题 根结点的左子树结点个数为n-i，右子树结点的个数为i-1；{0＝i=n-1)； …… 根结点的左子树结点个数为0，右子树结点的个数为n-1。 根据这n种情况，分别将二叉树拆分为左子树和右子树，左子树结点个数为n-i，右子树结点的个数为i-l(0＝i＝n-1)，先序遍历的结果是从第二个结点(字符)开始取，而后序遍历的结果里是从第1个结点字符开始取。也就是说对于每一种情况，分两步处理：第一步在先序遍历和后序遍历的结果里取左子树，看是否符合规则，统计这部分可能有的中序遍历的结果数目；第二步在先序遍历和后序遍历的结果里取右子树，看是否符合规则，统计这部分可能有的中序遍历的结果数目。这两步都递归调用了统计过程，不再递归调用的条件就是当统计的是空树或只有一个结点的树，这时返回的值是可能有的中序遍历结果数目。 结合“分类相加原理”和“分步相乘原理”，可以得到下面的递归函数： Function count (先序结果first，后序结果last : string) : longint; begin Len:=遍历结果的长度； 如果len为0或1，则返回结果即count:=l 否则 begin t为当前统计后符合条件的数目，初值为0； 分类统计for i:=len-1 downto 0 do begin 在first中取出长度为i的左子树结果LF； 在last中取出长度为i的左子树结果LL； 在first中取出长度为len-1-i的左子树结果RF； 在last中取出长度为len-1-i的右子树结果RL； 如果LF、LL符合基本规则(LF的首字符跟LL的尾字符相同、LF中，所有的 字符在LL中也都有) 并且RF、RL也符合基本规则，那么 t:=t+count(LF，LL)*count(RF，RL); {分步相乘、分步相加} {这里count函数中递归调用了count} end; 返回值为t即count:=t; end; end; 其中，检查先序结果和后序结果两个字符串是否符合基本规则，可以再通过一个函数来实现： function check(先序字符串F，后序字符串L)：boolean； begin Check:=true; 如果F的首字符不等于L的尾字符则check:=false; 从F的第二个字符取到最后一个字符，如果该字符不在L中，则check:=false; end; 【思考与提高】 上面的算法通过递归，结合统计的基本原理“分步相乘，分类相加”，从而统计出所有可能解的个数，如果输入的两个字符串没有解，上述算法同样能得到结果。 在肯定有解的情况下，上述算法最终可以递归调用到0、1个结点，如果有多组解，那么调用到两个结点时，如先序为ab、后序为ba，此时有可能有如下两种结构： a a / \ b b 这两种结构的中序遍历结果分别为：ba、ab，有两种。 根据分步相乘的原理，对比两个字符串，每出现一次如上的情况，可能有的结构数目(结构不同，中序遍历结果也不同，因此可能有的二叉树结构的数目就是可能有的中序遍历结果数目)就乘以2一次，最终得到总的数目。这也可以理解为一种递推的方法。 从这里可以看到，在肯定有解的情况下，给定先序遍历的结果和后序遍历的结果，可能有2n种可能的结构，也就是中序遍历可能得到2n种不同的结果，其中n＝0。那么这里的n最大可能是多少呢？可以证明n的最大值为字符串的长度加1整除2。 递推的程序如下： Program travel(intput,output); Var Total,I,m:longint; S1,s2:string; Begin Assign(input,’travel.in’); Assign(output,’travel.out’); Reset(input); rewrite(output); Readln(s1); readln(s2); total:=1;