对缺省n-可扩图和Halin图OHP问题的研究.pdf

对缺省以．可扩图和Halin图OHP问题的研究‘ 专 业：计算机软件与理论 博士生：温雪莲 指导老师：娄定俊教授 摘要 2，求赋 本文主要研究图论及其应用中两个方面的问题：I，缺省m可扩图t 权Halin图任意给定两点之间最优Hamilton路的有效算法。 论文的第一章介绍了文中所涉及的相关概念和术语、对可扩图的研究现状和 对Halin图Hamilton性的研究现状。并以此为背景引入论文研究的对象：缺省n． 可扩图和FIalin图的OHP问题。 缺省n-可扩图是本文为推广Plummer[1l提出的n一可扩图而提出的新概念。设 H为正整数。H一可扩图是至少包含2n+2个顶点和n条独立边并且任意n条独立边 部包含在一个完美对集中的连通图。n．可扩图在资源分配问题中有重要应用，它 是图论的一个研究热点。由／1-可扩图的概念可知：m可扩图有偶数个顶点。考虑 到在所有图中，有一半图顶点数为奇数并且在具有奇数个顶点的图中也需要解决 m可扩图所涉及的理论和应用问题，因此，为将Plummcr提出的?／-可扩性自然地 推广到具有奇数个顶点的图，本文提出了一个新的概念t缺省n-可扩图。缺省／1- 可扩图就是至少包含2，叶3个顶点和月条独立边并且任意／1条独立边都包含在一 个几乎完美对集中的连通图。 在赋权图中，求任意给定两点之间的最优(边权值之和最小)Hamilton路问 题，简称OHP问题，是计算机领域一个经典算法问题。该问题在一般图上是NP 完全的。一些NP完全问题限定在FLalin图上可能会变成非NP完全问题，如TSP 问题【75】，但并非所有限定在Halin图上的NP完全问题都能找到有效的算法，如 子图同构与超图同构问题[771。而对Halin图的OHP问题，至今还没有找到有效 。本{茸士论文己取得阶段性研究成果．部分章节经整理后相继收录在DiscreteMath．(scI源)(第2j晰 4蕈阶段性研究成果J。 第1页 算法解决。OHP问题在网络路由和计算机的许多领域都有广泛应用，而Halin图 是对树和环形网络拓扑结构的非平凡概括[741，故求Halin图OHP问题的有效算 法是非常有意义的。 论文的第二章到第五章对缺省n．可扩图进行了多角度的研究。主要结论可概 括为以下五部分： 1．解决了缺省m可扩图连通度的取值范围问题，证明缺省m可扩图的连通 度可以取任意自然数。而Plummef[1】证明了m可扩图的连通度至少为肿I，故缺 省m可扩图在连通度方面比m可扩图更复杂。 2．分别刻画了连通度为l，连通度不小于2和连通度不小于H的缺省十可扩 偶图并给出连通度取值不同的缺省，卜可扩偶图的若干性质。得到： 定理2．2．I：设偶图州U聊满足；IWl=l卅+l和缸6，=l。设x是G的割点， 仅当下面语句成立： (1)1闻_Ivll_t： (2)Gt只有两个奇分支而没有偶分支或者o。的所有分支部是偶分支； s=min{n--l,m-I}并且t=min{n．l-ll； (4)若闻=I玎+l=m+I，Ⅲ0 (4．I)x∈以Yc_U并且Xc_l,V； (4．2)若坨I，则H是缺省p可扩图．其中s=min{n，m一1}； (4．3)若顶点U满足Ⅳ∈H卿并且XUE耳G)，则f卜“的每个分支盯《r，r) 是，．可扩图，其中m’-心闻t=min{n-I，m’-I}： 都有：Irc(x)nH邡l因，则南∞珐肿I。 语句等价： (I)G是缺省m可扩图： 第ll页 l∞臣闯+n-I。 —”r…嘶有几乎完美对集。 G是缺省m可扩图当且仅当对所有WE孵G—w的所有分支都是伽一I卜可扩图。 定理2^2：设n为正整数，偶图G气以聊是缺省n一可扩图并且l吲=lUl+l。则 对所有w∈职G-w的分支为矗可扩图，其中后；嘶n{缸G卜I，pl}。 定理2．4．2：设图。吖c‘即是缺省n-可扩偶图，其中I吲=lul+t并且2茎脚G)9。 若S是G的最小点割集，则下列结论成立： (I