两类4-正则图的最小折数纵横扩张

纵横嵌入的理论已被用在超大规模集成电路的设计中.确定最小折数扩张已经从理论上得到了有效算法.本文作者在这一理论的基础上,进一步研究了两个特殊的4-正则图类,得到了确定这两类图的最小折数纵横扩张的简便算法,并给出了这两类图的纵横扩张的最小折数.     

一类4-正则图的最小折数纵横扩张

提出了一类新的4-正则图,并讨论了其最小折数纵横扩张,设计出求最小纵横扩张的线性时间算法,给出了最小折数与阶数之间的关系.     

几类4-正则平面图的最小折数纵横扩张

主要讨论了4类4-正则图的最小折数纵横扩张,对任意阶这样的的4-正则图都给出了它的一个最小折数纵横扩张,并给出了最小折数与阶数之间的关系.     

某些平面图的最小折数

讨论了4类4-正则平面图的最小折数纵横扩张.     

某些平面图的最小折数

讨论了4类4-正则平面图的最小折数纵横扩张。     

四正则图的自动生成及纵横嵌入的线性算法

刘彦佩教授论述的纵横嵌入术已为超大规模集成电路 (VLSI)的平面设计提供了较完备的理论体系 ,本文以此为依据建立的算法能自动生成任意点数的四正则图例 ,并对其进行双极定向和双极标数 ,进而画出其纵横嵌入图 .在对四正则图进行双极定向时 ,根据吸收规则的原理 ,设计了一种在计算机上易于实现的算法 ,该算法已成功地绘制了含有几个点及至近千个点的四正则图的纵横嵌入图 .     

3-优图研究

—个图G中所含的三结点连通导出子图的个数记为S3(G)，它在网络可靠性中起着重要作用，在同点数同边数图类中具有最大S3(G)的图称为3—优图，它所代表的网络是某种意义下的最可靠网络，3—优图的补图为3—最小图，而一个图称为3—极小图，如果在其上作任何一边的改变都不会减少其三结点连通导出子图的个数，本文提出一个构造算法，由该算法可以得到至今为止所知的所有的3—最小图，而且该算法所得的图都是3—极小图，因此猜想该算法所得的图是3—最小图。     

构造纵横图加边算法的证明

本文首先对Travers的构造纵横图的加边算法给出形式描述和证明,然后又得到一个很自然的推论,使算法从只能构造一个纵横图推广到可以构造一族纵横图。     

独立数≤5的3-边连通简单图的上可嵌入性

结合边连通度，本文探讨了3-边连通简单网的独立数与上可嵌人性的关系，我们得到了下列结果：设G是一个3-边连通简单图，α（G）是G的独立数，若α／（G）≤5，则G是上可嵌入的，同时我们又得到了两个在3-边连通意义下最小的非上可嵌入图例．     

边连通简单图的独立数与上可嵌入性

文章讨论了边连通简单图的独立数与上可嵌入性的关系，得到了下列结果：(1)设G是一个k-边连通简单图(I=1，2)，若口(G)≤k，则G是上可嵌入的；(2)设G是一个3-边连通简单图，若口(G)≤5，则G是上可嵌入的。     

图的控制数及全控制数的估计

研究了图的控制数及全控制数，对满足一定条件的图给出了图的控制数及全控制数的估计。     

图的全本征数的一个新上界

Cockayne,Dawes和Hedetniemi 证明了对于至少有三个点的连通图G,G的阶数P和G的全本征数γ_t(G)满足关系式γ_t(G)≤2p/3p。本文进一步研究了图G的全本征数。对于一个全本征数不低于3的连通图G,若G的最小度δ(G)不低于3且不超过P-4,则G的全本征数γ_t(G)不超过数x的整数部分,其中,x=2P/3-2δ(G)/3 4/3     

树的费用全染色的近似算法

给定无向简单图G=(V,E)与颜色集C，并且对C中的每一种颜色c设定一个费用值w(c)∈R⁺.全染色是给出图的一个可行染色使得相关联的边和点、相邻的点或边都染不同的颜色.定义了费用全染色问题，即求解最优的全染色f，使得染色费用和最小，对于树图T，给出了一个2-近似算法，该算法的运行时间为O(nΔ²).     

任意无向加权图K点连通扩充的逐次改善算法

为了对网络的可靠性寻求较好的近似算法,研究了任意无向不加权图情况下的极小K 点连通扩充算法;在此基础上提出无向加权图G总边数和各点的连通度均保持不变时,使图G的总权值变小的一种可行边交换方法;同时得出一个可行边交换的引理,并加以证明.最终推出了任意无向加权图K点连通最小扩充的逐次改善算法,应用该算法作了大量例题,得到比较满意的效果.为解决任意无向加权图最小扩充问题给出了一种新途径.     

一种基于图割的快速立体匹配方法

针对图割算法中引入辅助节点,算法复杂度过高的问题,提出了一种无需引入辅助节点的图构造方法来解决立体匹配问题. 由于无需引入辅助节点,所构造出的图所需空间较小,同时可以更快地找到能量函数的最小值. 实验结果表明,该方法可以快速有效地得到立体匹配的结果.