逼近MAX 3SAT-2问题的难解性（英文）

证明了逼近MAX 3SAT-2问题在某个常数因子内是计算难解的.首先引进了一种保留近似算法难解性的K-归约的概念;然后给出了一个从MAX 3SAT问题到MAX 3SAT-2问题K-归约.因为逼近MAX 3SAT问题在某个常数因子内是计算难解的,所以逼近MAX 3SAT-2问题在某个常数因子内是计算难解的.这样作为推论也可以得到逼近MAX 3SAT-3问题在某个常数因子内是计算难解的,简化了以前关于逼近MAX 3SAT-3问题难解性的证明.     

广义树网络中的多端割

给定一个边赋权图和k个顶点(称为终端)的集合,多端割问题是要找到一个最小 权的边集,该边集使得每一个终端与其他所有的终端分离.对于一般图来说,当k为不小于3的常数时,这一问题是NP-难解的.对于广义树网络给出了这一问题的一个多项式时间精确算法.     

具有多个强正则自补图的最小阶数

本文应用两个不同构的13阶强正则自补图,解决了Kotzig在1979年提出尚未解决的问题:“至少存在两个非同构的4k 1个顶点的强正则自补图集中,其最小整数k是什么?”,获得了最小整数k=3,并且否定了Kotzig在这个问题上所获得的结果.     

一类极小k-连通图及一类正则连通图的构造

连通性问题是图论基本问题之一.关于2-连通图和3-连通图的构造已经令人满意地搞清楚了.但当 k≥4时,有关最小 k-连通图的结构,人们还知之甚少.本文给出了当 k≥4时的 k-连通图的构造,证明了所构图形为极小 k-连通图;另外还给出了一类 k-正则 k-连通图的构造,它是在顶点数相同时的最小 k-连通图.     

Halin图的消圈数及点染色问题

Tutte关于3-连通图的结构定理表明:每一个3-连通图都可由某个轮图(也是Halin图)经顶点分裂逐步得到.这表明了Halin图在图结构研究中的地位和作用.首先研究得到了近正则Halin图的消圈数的上、下界并证明了上述界是紧的,接着得到了最大度为k或最小度为k的Halin图的消圈数所满足的界;此外还研究了Halin图的点染色问题,给出了它的点色数定理的一个新证明.     

分层算法求解竞赛图上的最小弱顶点覆盖

竞赛图上的弱顶点覆盖问题是一个NP困难问题,本文先定义了竞赛图上的势加权函数,然后利用分层技术给出了一个求解竞赛图最小弱顶点覆盖问题的近似算法,并证明了此近似算法的近似度为3     

（k，k-1）-双正则图的平衡Judicious Partitions

Bollobás和Scott提出猜想:任意一个边数为m且最小度大于1的图存在顶点集的平衡二部划分使得每一部分点集的导出子图包含的边数不超过m/3.Bollobds和Scott证明了绝大部分正则图存在顶点集的平衡二部划分使得每一部分点集的导出子图包含的边数比m/4小.这里讨论(k,k-1)-双正则图的平衡二部划分,证明了每一个(k,k-1).双正则图存在平衡二部划分使得每一部分点集的导出子图包含的边数是m/4左右.     

求一般图的最小顶点覆盖集问题的混合贪婪算法

现有的求一般图的最小顶点覆盖集近似算法或者近似比较高,或者为降低复杂度限制了图的规模,或者算法搜索过程中盲目性大.根据顶点的度特点及贪婪法的思想,提出了邻接度数、覆盖边等主要概念,并在此概念的基础上设计了混合贪婪算法.该算法设计思路清晰,容易理解,易于编程实现,且在最坏情况下的时间复杂度为O(|V|2),执行效果较好,性能近似比不大于4/3,接近已知的可能的近似比下界1.166 6,低于2005年认为最低的近似比1.361,是图的最小顶点覆盖问题算法的一个较好的补充.     

最小度至少是5的图的控制数

设G是n个顶点的简单图．运用Reed引进的顶点不交的路覆盖,找出函G的一个控制集并估算这个控制集的基数’结合估算结果,证明如果图G的最小度至少是5,则图G有基数至多是击n的控制集.     

树的匹配覆盖

设图G没有孤立点.图G的匹配覆盖数,记为mc(G),是指满足如下条件的最小正整数k:G有k个匹配M1,M2,…,Mk覆盖图G的所有顶点.证明了如果图G是一个树,则mc(G)∈{Δ0(G),Δ0(G) 1},其中Δ0(G)是指使得图G的某个顶点有l个一度邻点的l的最大值.而且,任给一个树G,给出了一个可以确定图G的匹配覆盖数的线性算法.     

关于2连通正则无爪图的周长

本文证明了:p个顶点的2连通k正则的无爪图的周长至少是min{3k+2,p}并且指出当k=4时,这个下界是可以达到的.     

关于最优强正则图的一个注记（英文）

人们已经知道,最小特征值为-α的强正则图,除了有限多个补图连通的强正则图外,分成两个无限类,其中α是一个不小于2的整数.在Graham和Lovász提出最优图类的存在性问题后,Azarija对这个问题给出了肯定的回答.这里刻画了最小特征值为-3的强正则图,而且确定了其中的最优图类.     

奇特征有限域上的辛图

令Fq是特征数为奇数的有限域.选取辛空间F(2ν)q中所有二维全迷向子空间作为顶点来构造辛图,并规定两个顶点是相邻的当且仅当它们的交是一维子空间.通过计算可知,当ν=3时,辛图是4-Deza图;当ν≥4时,辛图是5-Deza图.此外,研究了辛图次成分的正则性,并且计算了次成分中两个不同顶点之间的参数.结果表明,当ν=2...     

直径为3的单圈图的极小Hosoya指标

图的Hosoya指标定义为图中包含空边集在内的匹配总数.基于这个定义,利用计算Hosoya指标的一些结论,计算了有n个顶点的直径为3的单圈图的最小与次小Hosoya指标,得到了具有最小与次小Hosoya指标的图的形式.     

基于DNA自组装模型解决图的最小顶点覆盖问题

在分析最小顶点覆盖问题特点的基础上,以5个顶点的图为例,将最小顶点覆盖问题转化为可满足性问题,简化问题的操作难度。再根据DNA自组装的自发性和并行性等优势,通过建立DNA自组装模型解决可满足性问题,从而解决图的最小顶点覆盖问题。相对于传统算法,本算法只应用了凝胶电泳技术,大大的降低了操作难度和误差。     

Heawood图的s-正则循环覆盖分类

一个图称为s-正则的,如果它的自同构群作用在它的s-弧集上是正则的.运用电压图及提升理论,对Heawood图的循环覆盖进行了分类.证明了:Heawood图的循环覆盖是1-正则的或2-正则的,当循环群的阶数不等于7或21时,覆盖是1-正则的,并且给出了这个1-正则无限类的构造;当循环群的阶数等于7或21时,覆盖是2-正则的.     

关于Berge的“4正则图猜想”的一个注记

<正> Berge 在1973年曾提出一个猜想:“每个4正则简单图一定包含有3正则子图”。这个猜想至今未被证实也未被否定。本文将证明在加强的条件下此一猜想不成立即有:定理一:存在有4正则简单图它不含有3正则去边子图。定理二:存在有4正则简单图它不含有3正则去顶子图。只需注意不存在有含奇数个顶点的3正则子图即证明了定理一。现证明定理二。W魂正财图G二Jx让甲首先证明G中没有不含W的3正则去顶子图。     

Floyd-Warshall算法在物流管理方面的应用

本文主要讨论了应用Floyd-Warshall算法在一个赋权图G中的最小权重问题,即在G(包括顶点和边)上找一个点,使其到给定的m个赋权点的权重和最小,然后推广到在G中寻找(为常数)个顶点的情况。     

调和映照的Bloch常数

由精确化的Schwarz引理,研究开调和映照类和K-拟正则调和映照类的Bloch常数,改进陈怀惠和P.M.Gauthier的相应结果.分别得到开调和映照类用全纯函数的Bloch常数表示的渐进精确的偏差估计,以及K-拟正则调和映照类的用系数|b1|表示的偏差估计.     

无桥图最短偶子图覆盖的上界

偶子图覆盖问题是图论研究领域的的重要内容之一,为研究最小偶子图覆盖猜想,利用整数流与偶子图覆盖的联系,借助于整数4-流在图的某个圈中扩充的结论,给出并证明了无桥图的最小偶子图覆盖的一个新的上界,改进了范更华给出的结论。