0.说明
本文译自Tarjan的论文:
选取了其中的一部分,有删改,以原文为准。
1.简介
在学习全局流分析和程序优化时,如下图论问题自然地浮现出来。设G(V,E,r)是一张流程图(本文中可以简单地代之以‘有向图’——译者注),以r为起点。我们称G中的节点v支配了另一个节点w,如果每一条从r到w的路径都包含了v。如果v支配w,并且w的其他支配点均支配v,我们就称v是w的最近支配点(又译最近必经点——译者注),记为v=idom(w)。
定理1. 流程图G=(V,E,r)中,除r外的所有节点均有唯一的最近支配点。边集{(idom(w),w)|w∈V-{r}}形成一棵以r为根的有向树,我们称之为G的支配树。v支配w当且仅当v在支配树中是w的完全祖先(非本身的祖先——译者注)。见图1、2.
图1.一张流程图
图2.图1中的支配树。
我们希望为任意的流程图G构造支配树。如果G代表了某种控制流程或计算机程序,支配树能够帮助我们分辨关于哪些代码修改是安全的。
2.深度优先搜索和支配点
快速支配点算法包含三个部分。首先,对输入的流程图G=(V,E,r)进行从r开始的深度优先搜索,并将图G中节点按照DFS访问顺序从1到n编号。DFS建立了一棵以r为根的生成树T,其节点以先根顺序编号。见图3.
图3.对图1进行深度优先搜索。实线是生成树边,虚线是非树边。括号中的数字是节点编号,字母是半支配点。
为方便陈述, 我们以编号代指点。
如下的“路径引理”是DFS的一个重要性质,在支配点算法的正确性证明中起决定性作用。
引理1. 若v,w是G中节点且v<=w,则任意从v到w的路径必然包含它们在T中的一个公共祖先。
其次,我们对每个节点w≠r计算一个值,称为它的“半支配点”,记作sdom(w),定义如下:
sdom(w)=min{v|有路径v=v0, v1, …, vk=w使得vi>w对1<=i<=k-1成立}. ···(1)
见图3.
然后,我们使用半支配点计算所有点的最近支配点。
半支配点的一些性质使之成为计算支配点的良好中介。若节点w≠r,则sdom(w)一定是T中w的完全祖先,而idom(w)是sdom(w)的(可能不完全)祖先。如果我们将G中非树边替换为边集{(sdom(w),w)|w∈V且w≠r},则各节点支配关系不变。于是,只要我们知道了生成树T和半支配点,我们就能计算支配点。
在本章节的余下部分中,我们将证明半支配点和最近支配点的一些性质,由它们可以推出算法的合法性。接下来三个引理给出了生成树、半支配点和最近支配点的一些基本关系。
引理2. 对任意节点w≠r,idom(w)+->w.(原注:本文中,记号”x·->y”意味着x是y在DFS生成树T中的祖先,而”x+->y”意味着x·->y且x≠y。)
证明. w的支配点必然在T中从r到w的路径上。
引理3. 对任意节点w≠r,sdom(w)+->w.
证明. 设w在T中的父亲为parent(w).由于(parent(w),w)是G中的一条边,由(1)式,sdom(w)<=parent(w)w对1<=i<=k-1成立。由引理1,路径上的某节点vi是sdom(w)和w在T中的公共祖先。但必然有vi<=sdom(w).这意味着i=0,即vi=sdom(w),且sdom(w)是w的一个完全祖先。
引理4. 对任意节点w≠r,idom(w)·->sdom(w).
证明. 由引理2,3,idom(w)和sdom(w)都是w的完全祖先。我们在从r到w的路径后面接上(1)式规定的路径sdom(w)=v0, v1, …, vk=w(其中vi>w对1<=i<=k-1成立),这条从r到w的路径避开了T中既是w的完全祖先,也是sdom(w)的完全后代(不等于它自身的后代——译者注)的那些点。因此idom(w)一定是sdom(w)的祖先。
引理5. 设节点v,w满足v·->w。则v·->idom(w)或者idom(w)·->idom(v).
证明. 设x是idom(v)的任意一个完全后代,且同时是v的完全祖先。则必然有一条从r到v不经过x的路径。将这条路径和从v到w的树上路径连接起来,我们就得到了一条从r到w不经过x的路径。因此idom(w)要么是v的后代,要么是idom(v)的祖先。
使用引理1~5,我们得到了两个有用的结论,它们提供了一种根据半支配点计算最近支配点的方法。
定理2. 设w≠r。假设所有使得sdom(w)+->u·->w的u都满足sdom(u)>=sdom(w),那么idom(w)=sdom(w).
证明. 由引理4,只需要证明sdom(w)支配了w。考虑任意一条从r到w的路径p。设x为这条路径上最后一个满足xy·->w的第一个点。设路径q=(x=v0, v1, v2, …, vk=y)是路径p中从x到y的部分。
我们断言对于1<=i<=k-1有vi>y。否则如果有vi=sdom(w),这意味着sdom(w)·->vj·->y·->w,这和y的选择矛盾。这证明了上述断言。
这一断言,加上半支配点的定义,得到了sdom(y)<=x
定理3. 设w≠r,u是所有满足sdom(w)+->u·->w的节点中sdom(u)最小的那个。则sdom(u)<=sdom(w),而且idom(u)=idom(w).
证明. 设节点z满足sdom(w)->z·->w。则sdom(u)<=sdom(z)<=sdom(w).(译者注:似误?sdom(u)<=sdom(w)是显然的,因为u可以等于w嘛!)
由引理4,idom(w)是sdom(w)的祖先,因此是u的完全祖先。由引理5,idom(w)·->idom(u).为了证明idom(u)=idom(w),只需要证明idom(u)支配了w。
考虑从r到w的任意路径p。设x是路径中最后一个满足xy·->w的节点。设路径q=(x=v0, v1, v2, …, vk=y)是路径p中从x到y的一部分。和定理2中的证明类似,x和y的选择意味着vi>y对1<=i<=k-1成立。因此sdom(y)<=x.由引理4,idom(u)<=sdom(u),所以sdom(y)<=x
由于u的选择,y不可能是sdom(w)的完全后代。并且,y不可能既是u的祖先,也是idom(u)的完全后代,因为在此情况下,把从r到sdom(y)的树上路径接上路径sdom(y)=v0, v1, …, vk=y(其中vi>y对1<=i<=k-1成立),再接上从y到u的树上路径,就形成了一条从r到u且避开idom(u)的路径,这和idom(u)的定义矛盾。
由于idom(u)·->y+->u·->w(译者注:原文‘y’处为‘v’,似误),并且idom(u)·->y·->w,余下的唯一可能就是idom(u)=y.因此idom(u)位于r到w的路径上。由于p是任意的,idom(u)必然支配w。证毕。
推论1. 设w≠r,u是所有满足sdom(w)+->u·->w的节点中sdom(u)最小者。那么,
idom(w)= sdom(w)(若sdom(w)=sdom(u)),或者idom(u)(其他状况)。 ···(2)
证明. 由定理2,3,这是显然的。
下面的定理给出了一种计算半支配点的方式。
定理4. 对任意节点w≠r,
sdom(w)=min({v|(v,w)∈E且vw且存在边(v,w)满足u·->v}) ···(3)
证明. 设x等于(3)式右端。我们首先证明sdom(w)<=x。如果x使得(x,w)∈E且xw,且存在边(v,w)满足u·->v。由(1),存在一条路径x=v0, v1, …, vj=u,使得vi>u>w对于1<=i<=j-1成立。而树上路径u=vj->vj+1->…->vk-1=v满足vi>=u>w对j<=i<=k-1成立。因此路径x=v0,
v1, ..., vk-1=v, vk=w满足vi>w对1<=i<=k-1成立。由(1),sdom(w)<=x。
我们还需要证明sdom(w)>=x。设简单路径sdom(w)=v0, v1, …, vk=w满足vi>w对1<=i<=k-1成立。若k=1,那么(sdom(w),w)∈E。而根据引理3,sdom(w)=x。对k>1的另一种情况,设j是使得j>=1并且vj·->vk-1的最小值。这样的j一定存在,因为j可以等于k-1.
我们断言:对于1<=i<=j-1,vi>vj成立。否则,我们选取所有满足1<=i<=j-1且vi<=vj的i中使得vi最小的那个。由引理1,vi·->vj,和j的选择矛盾。这证明了断言。
根据上述断言,sdom(w)>=sdom(vj)>=x。因此无论k=1还是k>1,都有sdom(w)>=x,定理得证。
ps.我的下一篇博文:http://blog.csdn.net/wmdcstdio/article/details/50152713 给出了一道求半支配点的题目的代码。