逼近4正则图的最小顶点覆盖问题的难解性(英文)

证明了逼近4正则图的最小顶点覆盖问题在某个常数因子内是计算难解的.相似地,对于5正则图、6正则图等的最小顶点覆盖问题,这个结论也成立.已知逼近3正则图的最小顶点覆盖问题在某个常数因子内是计算难解的,文章扩展了这个结果到4正则图情况,用K-归约证明这个结果,给出了一个从3正则图的最小顶点覆盖问题到4正则图的最小顶点覆盖问题的K-归约.     

被动测试中网络监测问题

研究了被动测试中如何放置观察者使得放置的数目最少并且能监视整个网络的运行情况．先把该问题归结为图的顶点覆盖问题，它是一个NP完全问题；接着讨论了在网络拓扑是树的特殊情形下带权和不带权顶点覆盖问题的解，并给出了树结构上带权顶点覆盖问题的线性时间算法；然后在已有的一个近似比为2的算法基础上。结合树结构上不带权顶点覆盖问题的算法给出了图的不带权顶点覆盖问题的一个改进算法，最后用实验验证了改进算法能使观察者数目减小20％左右．     

在直径为d的树中具有极小GA2的树

Tabar等人定义了图的第二类几何-算术指标GA2,同时给出了任意连通图G的可达上下界,并分别刻画了：在有n个顶点的树中Pn具有极大GA2,K1,n-1具有极小GA2.刘颖在有n个顶点的树中确定了具有GA2前五小的图及在具有完美匹配的所有树中具有GA2前四小的图.在此基础上,本文给出直径固定且有n个顶点的树中具有极小GA2的图.     

关于图染色的算法

本文给出了图上顶点染色,边染色的算法.其中边染色算法是一个非多项式时间的精确算法,该算法是先求出所有极大匹配,然后再求极小匹配覆盖,最后得出最优边染色.顶点染色算法是一个多项式时间的近似算法,该算法的时间复杂性为O(n~3logn),空间复杂性为O(n~3)的近似算法,它是由贪吃策略得到的.对于任意的图,该算法所用的期望颜色数为「log(n 1)」.     

固定围长与最大度的单圈图的Wiener指数

Wiener指数是一种基于距离的图不变量，被定义为图中所有顶点对的距离总和。利用Wiener指数的定义，给出图变换后Wiener指数值之差的计算公式，得到围长与最大度均为3的单圈图的Wiener指数极小图的一些结构性质。     

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

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

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

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

图的最小覆盖的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法．     

树的零度与路覆盖数的关系

图的零度是指图G的邻接矩阵A(G)零空间的维度,亦等于其零特征值的重数,用η(G)表示.图的路覆盖是指图G中一组顶点不相交的诱导路的集合,使G的每个顶点都是其中一条路的顶点,G的路覆盖数是指G的最小路覆盖,用ρ(G)表示.2021年Wang给出了图G的零度与路覆盖数的关系：η(G)≤ρ(G),本文刻画了所有满足η(G)=ρ(G)的树.     

极小强连通有向图

强连通有向图D称为极小的,若在D中删去任意一条弧,则所得的有向图不是强连通的.讨论了极小强连通有向图的耳朵分解的一些性质,构造了非平面极小强连通有向图的例子, 证明了极小强连通图的点色数至多是3,并且当极小强连通图的耳朵分解中每个耳朵的长度不小于4时,它有两个不相交的准核.最后确定了给定顶点数的极小强连通有向图的弧数的界,刻画了相应的极图.     

一类带有纽结分支的边—不交链图

为进一步探讨边—不交链图的分类,研究其中至少有一个链的分支是非平凡纽结的情形,给出了带有纽结分支的边—不交链图的定义。在给出内在纽结图H0的基础上,利用其与边组成的图形成完全图K7,并采用该方法构造出一类带有纽结分支的边—不交链图H（43）。分析点扩张对H（43）的作用,得到了点扩张的图变换不保持带有纽结分支的边—不交链图的性质这一结论。     

完全多部图和笛卡儿积图的线性点荫度

图的线性点荫度是对它的顶点进行染色所用的最少颜色数,同时使得染同一种颜色的点集所导出的子图,它的每个分支均为路．本文完全确定了完全多部图的线性点荫度,给出了笛卡儿积图的线性点荫度的一个上界,得到了一些特殊图（ 如路,圈和完全图） 的笛卡儿积图的线性点荫度．     

一个求外平面图最小反馈点集的多项式时间算法

如果从一个图中去掉某些顶点后得到的导出子图是无圈图，则所去的那些顶点组成的集合就是原图的反馈点集。本文讨论外平面图的反馈点集并给出了一个求外平面图最小反馈点集的多项式时间算法。     

3度非对称的点传递图的性质

设X为3度连通的简单无向图,X称为具有非平凡点稳定子群的非对称的点传递图,若X的全自同构群A在X的顶点集合上作用是传递的,而且X的任意顶点在A中的稳定子群在该点的邻域上的作用是非传递的、非平凡的.本文考察了这种图,我们给出了这类图的一些性质.     

两类图的优美性

优美图是图论中的重要研究课题,但至今由于缺乏一般性的研究手段,寻找具有优美性的图类仍是这个领域内的研究重点.优美图也是图论中极有趣的研究课题之一,由于它的趣味性和应用性,从60年代中期一经提出,就得到了人们的重视,它在射电天文学、密码学、通讯网络编地址、电路设计、导弹控制码设计等领域有着广泛的应用.图G1n是由n个C4依次连接其对顶点而形成的一个圈.图Gp1n是将图G1n中n个连接点用n个长为1的路P替代后得到的图.图C2n是由n个C4依次连接其相邻点而形成的一个圈.图Gp2n是将图G2n中n个连接点用n个长为1的路P替代后得到的图.本文讨论了两类图Gp1n和Gp2n的优美性,用构造的方法给出了这两类图的优美标号,得出它们都是优美图的结论.     

两个图的corona乘积图的Wiener极性指标

图G=（V,E）的Wiener极性指标是图G中距离为3的无序点对的数目。图G和H的点corona图，记为G°H是取G的一个拷贝和｜V（G）个H的拷贝，然后把G的每个点和其相对应拷贝的每个点相连而得到的图。图G和H的边corona图，记为G◇H，是取G的一个拷贝和｜E（G）｜个H的拷贝，然后把G的每条边的两个点和其相对应拷贝的每个点相连而得到的图。本文给出两个图的corona乘积图的Wiener极性指标。     

每点都与3度点相邻的最大临界3棱连通图的结构

没G=(V,E)是3棱连通图,若对每个x∈V(G),G-x 不是3棱连通的,则称G 为临界3棱连通图.p 阶临界3棱连通图的全体记为(?)_3(p),G∈(?)_3(p)称为最大的,如果不存在H∈(?)_3(p),使|E(H)|>|E(G)|.本文给出每个点都与3度点相邻的p 阶最大临界3棱连通图的结构.     

双圈图边幻和全标号

图的边幻和全标号是指图G(p，q)中任意一条边与其关联顶点的标号之和等于常数，且点和边的所有标号值一一映射到集合.该文针对双圈图，设计了一种边幻和标号判定算法，利用该算法可以得到15个点内的所有双圈图边幻和全标号.通过结果分析，找到了两类双圈图的标号规律，定义了新的图运算符号CnΔCl SymbolQCpSm和CnΔCl ΔSm来刻画这两类图，总结了若干定理并给出证明，进一步猜测当顶点数p≥16时，相关结论仍然成立.     

qp~2阶连通4度半传递图

称图X是半传递图,如果X的自同构群Aut(X)作用在其顶点集和边集上都传递,但作用在其弧集上非传递。本文证明了qp2(其中q相似文献   

系列并行图,4阶完全图与小树宽图

给出了树宽≤2的图也就是系列并行图的几个等价刻画。证明了对有限图G(可以有环有重边)以下四断言彼此等价:(1)G是系列并行图,(2)G的任一个minor至少有一个点的度≤2;(3)G不以4阶完全图为minor;(4)G无子图同胚于4阶完全图。