计算机考研408有向无环图描述表达式可靠构造方法

前言

对王道视频中的分层合并思想不是很满意，笔者提出自己的构造方法。

目标（以王道书为例）

构造方法

笔者通过王道书中给出的表达式例子介绍构造方法

1. 建树

通过表达式构造二叉树：

2. 后序遍历

1. 创建一个空森林
2. 后序遍历中如果无法继续在森林中跟踪当前结点，则如果最近一次跟踪的子树与当前结点没有祖先关系，则将当前结点作为最近一次跟踪的子树的根节点，否则作为新的树加入森林中。
3. 当前结点的左子树必在森林中，则只需通过左子树任意叶节点进行寻根操作就可以找到森林中左子树的根节点，将当前结点作为森林中该左子树的根结点。跟踪当前结点
4. 如果能继续在森林中跟踪当前结点，即能找到相同的遍历序列（找到相同的树），则继续跟踪。

下面通过王道书的例子解释“跟踪”的概念和构造方法。

1. a

a不在森林中，无法继续在森林中跟踪a，则将a作为空树的根结点，跟踪a。

2. b

无法跟踪b，最近一次跟踪a，且a、b没有祖先关系，则将b作为新树，跟踪b。

3. +

无法继续跟踪+，最近一次跟踪b，且+、b有祖先关系，则将+作为b的根，左子树a必存在，从a寻根结果为a，将+作为a的根，跟踪+。

4. b

能跟踪到b，则继续跟踪b。

5. c

无法跟踪c，最近一次跟踪b，且没有祖先关系，则将c作为新树，跟踪c。

6. d

无法跟踪d，最近一次跟踪c，且没有祖先关系，则将d作为新树，跟踪d。

7. +

最近一次跟踪d，无法跟踪+（因为最近一次跟踪d，而d没有父亲+），且d、+有祖先关系，则将+作为d的根，左子树c必存在，从c寻根结果为c，将+作为c的根，跟踪+。

8. *

最近一次跟踪+，无法跟踪*（因为最近一次跟踪+，而+没有父亲*），且+、*有祖先关系，则将*作为+的根，左子树b必存在，从b寻根结果为b，将*作为b的根，跟踪*。

9. *

最近一次跟踪*，无法跟踪*（因为最近一次跟踪*，而*没有父亲*），且*、*有祖先关系，则将*作为*的根，左子树必存在，从a（或b）的寻根结果为+，将*作为+的根，跟踪*。

10. c

能跟踪到c（因为能找到相同的c），