浅析树形图的连通性及其求解方法.docVIP

/U I 董利娟信计061班 摘要 木文在有向图中引入了树形图的概念，并证明了树形图的连通性，在此基础上结合 广探法和深探法思想，给出了求全部树形图的广探算法，而且指出树形图不具有11俪订ton 性。 关键词有向树，树形图 背景 在无向图屮我们往往考虑无向图屮树的性质及最有生成树算法，那么在有向图屮 就要讨论有向树及树形图，它们在计算机算法、计算机程序中有着重要的作用。此外，有向 树常用来描述带有“带有”体系性质的结构，如图书馆的书籍分类等。 正文 文献［2］ ［3］提出了求全部树形图的深探算法。［4］ ［5］研究了最小树图的边 Ikmm订ton性。并给出了求全部最小树的广探算法。有关图论术语及符号见文献［1］和文献 定义1 ―个有向图D,如果略去毎条弧的方向时所得到无向图是一颗树，就称D为有向树。 定义2 设G二(V,A)是有向图，其屮V是其顶点集合，A是其弧集合。T(G)表示根在顶点［的G 的全部有向树(以下简称G的全部树形图)集合。设TiT2 eT(G),称八丁2是相邻的,如 果G屮存在两弧使得八+ 0-/?=厂2 (亦称此运算为一一交换)。以T(G)为 顶点集合，以相邻关系的边可以构成一无向图，仍记为T(G),称T(G)为G的树形图。。 1两个定理 定理1有向图G的树形图T(G)是连通的。 证：对任意Ti.T2€T(G),只要证明在T(G)上存在八到门的路即可，即通过若干 一交换可由八得到T-为此，将丁2上所有弧馁根r到其末点的距离分层，距离为i者属 第i层，然后逐层检查八，门备层上弧是否相同。若第一层上有不同弧 (r,vi)er2,(r,vi)^ri,因Ti ± r 到 w 有唯一有向路，设为(r,…，，w , r)构成Ti +(/\vi) 上的唯一圈，而一一交换后，Ti + (r,vi)-(v\vi)是树形图,且比门的相同弧多了一条。假 设八，7\上的第1, 2,…，k-1层上对应弧相同，第k层上有一条不同弧 (K-1.V0eT2.(Vi-1.V0^Ti ,因厂上r到以有唯一有向路(r,…，以)，显然 (『,必)笑7\ (r,…，v*, W , %-1)是Ti+(Va--i,W)上的唯一圈，那么一一交换后， 八+ (以7以)-?；必)是树形图，且与心的相同弧增加了一条。因\T2\Tl\有限，故有限 次一一交换可以由八变到丁2,即T(G)是连通的。证毕。 定义3 设U是树形图T的任一顶点，以U为根，U及其所有了孙所组成的顶点集记V, u到这 些了孙的有向路上所有弧组成的弧集记为 ,称T的了图T 为以u为根的了树。 定义4 设几二(弘，…，弘“)是G的一颗树形图(其屮n=|V| )是G的顶点数)，此处各弧 编号是从树梢编起，使在To上不存在他的终点到⑷(ij)的始点的有向路。 对To的任一弧子集 Ak = {ai, ???, aik} (lkn-l) (zi ???%),记(i\ ) = {TeT(G): 几\丁二{g,…，賦}}是包含几\加，且不含加屮元素的树形图全体。 设ai = ( V\,V2), To-ai将几分为两个有向了树，顶点集分别为VlV?,且r, wwVi, 定义 Dt^cu) = {(VI, V2)gG:VgVj-vi} 那么包含To-m,且不包含g的树形图全体 T(i) = { To + a - a* :ae Dr^ai)} 一般的，我们有 定理 2 T (i\ ???* ) = {T + a :a e Dro(a^),TeT(n …几-i)}且不出现重 复枚举。 证：显然等式左边p右边，下面证左边U右边，即对任意厂丘T ( n - ik )使 T=T+a-aik, ae Dr(aik)。 因设厂上与皿终点相同的弧是弘我们说T + mr 是树形图。否则 T^cnk -a屮存在包含a汰的有向圈，那么T上存在包含a的由根r到血的始点的唯一有向 路，而几上存在不包含由根r到血的始点的唯一有向路，设为Po,所以必有 aeTo\T\ aePo,而To\T={m,…,次}，设af=au (jk),那么偽的终点到皿的始 点存在有向路，这与To屮弧的编号矛盾。所以T + as 是树形图。令T二「5 - a, 则 Tw T(/i ???H -i), T = T + a, -atk, ae Dt(cihc)。 对任意(/i…ik ) H ( ji…ji ),由定义知T (i\…ik ) DT( j\ --7/) = 0,即此处 u u 所给递推公式屮不出现重复枚举，亦即T(G) = { To)u *-? h--o.T (ii-ik )是不交并。 证毕。 算法 有了定理2,我们就可以设计产生全部树形图的算法，此算法结合了广探法和深探法 思想，用广探法产生每个集合T (ii-ik ),而由T (/i-