关于无向图最小树算法与最小树唯一性的若干注记

若对无向图G=(V,E)的每一条边e,赋以一个非负实数l(e),称为e的权。G连同它边上的权称为非负赋权图。T称为非负赋权图G的最小树,若T是G的支撑树而且各边权之和为最小。本文研究的均是无向、简单、连通、非负赋权图。没有特别指明的术语见[5]。最小树在交通、水利、聚类分析、计算机科学的许多实际问题中都有应用,已发展了若干行之有效的求法,如Kruskal算法、破圈法、Prim算法等。文[4]讨论了最小树唯一性问题。木文首先给出管梅谷的破圈法的一个新的简短证明并考虑如下问题:是否可以在求最小树的过程中判断出一个圈最小树是否唯一。对有些算法,问题的回答是可能的,有的算法则可部分地回答上面的问题。首先我们给出下述算法:     

赋权拟阵的最小基图

本文引入赋权拟阵最小基图的概念．它是最小树图概念的自然推广．证明了它是另一拟阵的基图从而具有很多好的性质如泛圈性、连通度等于最小度．此外，还将另一些赋权图的结果推广到赋权拟阵．     

酶动力学计算中的一个图论定理

在酶动力学计算中,King与Altman~([2])首先提出了用图论方法处理的技术,此方法为Volkenstin与Goldstein~([3])及Fromm~([4])所改进。他们的方法以计算图的支撑入树为基础。最近,周国城等~([1])提出一个以Coates图为基础的方法,把此类计算归结为计算赋权图的1—因子(概念见[1]及[5]),此方法一般比前述方法更方便,且计算量少([1]以例子表明了这一点)。事实上,以一m顶点完全有向图而论,其1—因子个数为n,而支撑入树的数目则远大于此(见[6],51页,定理21),仅具固定顶的支撑     

115—三次图的结构和124—三次图的存在唯一性定理

对abc—三次图的存在定理与某些特殊图类的结构,[1]、[2]、[3]中已作了一些讨论,本文的目的是讨论其中未解决的115—三次图和124—三次图的结构。所用概念与记号均与[1]、[2]、[3]相同,其它概念和记号见[4],所有图中的实线表示E(L)中的棱,虚线表示E(G)—E(L)中的棱。一、115—三次图的结构引理1 设G是一个115—三次图,L是它的最大二部分子图,则L中任一长为5的初等路必定含在L的一个6回中。     

133—三次图的结构

在[1]中引入了abc—三次图的概念,但仅讨论了两类特殊abc—三次图的结构,本文的目的是解决133一三次图的结构问题。我们用G表示一个连通、无自环、非K_4的三次图,L表示G的最大二部分子图,若S是G的顶点集V(G)的一个子集,则K=[S,]表示G的一个棱截,截指标c(K,L)定义为: c(K,L)=|K∩L|-|K-L|=|L|-|KL|,其中“”表示对称差。本文引用的其它概念与记号见[1]、[2]、[3]。为了叙述方便,我们将133—三次图G的最大二部分子图L的顶点分划集X、Y以两种不同的染色,两个顶点不同色即指它们分属L的不同顶点分划集合。     

冠图G1. Km1,m2的邻接谱

给定简单图G1和G2,G1的顶点标记为v1,v2………,vn1.图G1和G2的冠图G1.G2被定义为取n1个G2的拷贝,然后连接vi与相应的G2的第i个拷贝中的每一个点(i=1,2………,n1)所得到的图.在文献[2]中,对连通图G1和任一正则图G2,S.Barik,S.Pati和B.K.Sarma给出了G1.G2的邻接谱的完整的表达式.继文献[2]的工作进一步考虑当G2是非正则图时冠图G1.G2的邻接谱.本文完全确定了冠图G1.Km1,m2的邻接谱,其中Km1,m2是完全二部图.     

关于图的强协调值

引言文[1]中,D.Frank Hsu引入了强协调标号(strongly harmonious labelings)的定义:设G是一个n边图,如果存在一个映射φ:V(G)→{0,1,…,n}满足i)φ是单射; ii)Auv∈E(G),令φ(uv)=φ(u)+φ(u),有{φ(uv)|uv∈E(G)}={1,2,…,n},则称G为强协调的,φ为它的一个强协调标号,简称为强协调值。显然,φ导出了一个E(G)与{1,2,…,n)的一一对应。本文的目的,一是求出全体n条边的图的所有强协调值的个数;二是指出几类非强协     

基回数为2的自中心图

Buckley 指出找寻自中心图的特征是一个困难的任务.作为这一工作的开始,找出一些自中心图类看来非常必要.文[1]定理3中证明当 k=■或 n≤k≤[(1/2)n(n-1)]时,n 个顶点 k 条边的自中心图存在.本文建议以基回数为出发点构造自中心图,并确定了基回数为2,即 k-n=1的全部自中心图.本文还纠正了[1]中的一个疏忽.设 G=(V,E)是简单图,u,v∈V(G),d(u,v)为 u,v,两点的距离.定义1 图 G 的半径 r(G)=(_{(v,w)}定义2 图 G 中顶点“的最远距离     

完全图的二匹配计数

本文给出了完全图的[1,2]—因子及二匹配计数法。     

图的非自中心数（英文）

许克祥等人在文献[1]中定义了新的基于离心率的图不变量,称之为图的非自中心数(简称NSC数),记为N(G).图的非自中心数定义为N(G)=∑_({v_i,v_j}V(G)|e_i-e_j|,这里ei表示顶点vi的离心率,在文献[1]中,同其他结果一起,作者确定了一些图的N(G)数的上界和下界并且刻画了达到上下界的极图.但是作者给出的极图的刻画是不完全的.基于他们得到的研究结果,在本文中我们给出了达到上下界的所有极图的完全刻画.另外,我们还给出了阶为n直径为d的树T的N(T)数的下界并且确定双圈图和含有奇数个顶点的三圈图的NSC数的上界.     

论abc—三次图

G.Malle在《论最大二部分子图》一文中提出了关于abc—三次图的一些问题,他指出了111—三次图是连通二部分三次图,并证明了不含三角形的图是222—三次图的充要条件是图为彼得松图或十二面体图,他还指出,对其它abc—三次图的特征是尚未解决的问题。本文解决了在“无三角形”限制下abc—三次图的存在性及最小图,以及不加任何限制的abc—三次图的存在性及最小图。本文及我们的[5][6][7]三文基本上解决了G.Malle提出的问题,同时也证实了他关于“可能某些abc—三次图不存在”的说法, 一、无三角形abc—三次图的存在性及最小图本文使用[1]及[2]的有关术语及记号。图G的子图H称为G的最大二部分子图,若对G的任意二部分子图H′,都有ε(H′)≤ε(H),这里ε表示图的棱数。     

Euler环游图的连通度

[1]中给出了Euler环游图E_u(G)的定义,并证明了E_u(G)具有边-Hamilton性。[2]中证明了E_u(G)是正则图。本文得到如下结果,对|V(E_u(G)|≥2,E_u(G)的连通度恰好等于其正则度数。     

哈林图的偶匹配可扩性

称图 G 的匹配 M 是偶匹配,如果 M 中的边关联的点集在 G 中的导出子图是偶图,即 G[V(M)] 是偶图. 称图 G 是偶匹配可扩的,如果 G 的每一个偶匹配 M 都包含在 G 的一个完美匹配中. 本文的主要结果是:哈林图 H=(T∪C)是偶匹配可扩的当且仅当它的特征树 T 同构于 K1,3、K1,5 或者 K1,7.     

关于图的最大特征根的若干定理

设 G 是简单图.A(G)是 G 的邻接矩阵,A(G)是非负的对称阵,其特征根全是实数,故必有最大特征根.文献[2]中讨论了图的最大特征根(以下简称大根)的某些变化规律,进行了这方面的研究.本文将继续讨论图的大根问题.主要结果是:1、给出图的大根变化规律的一个一般性定理.此定理类似于文献[3]的定理.运用它可以推广文献[2]中结果到更一般的情形.2、给出一个以一定方式联出某些子图而构成的图类的大根变化规律.     

解一类线性方程组的Coates图消去方法

本文研究一类线性方程组的图论解法。此类方程组有广泛的应用。如:某些经济问题的计算,连续与离散时间马氏链平稳分布的计算,酶动力学的计算(见[6]、[12]及其所引用文献)。解此类方程组可以用支撑入树的方法,这就是著名的矩阵—树定理的推广应用。亦可用Mason图方法与Coates图方法。后2种方法是对一般的线性方程组都行之有效的。     

自中心树图

在电路网络的计算机分析中提出的问题之一是列出网络中的所有支撑树。因此,树图的概念被提出,并已进行了比较深入的讨论。图G的树图T(G)是这样的图:它的顶点与G的支撑树一一对应,它的两个顶点是相邻的,当且仅当G对应的支撑树之间的距离为1。     

几类基回数为3的自中心图

本文从一个基回数为2的自中心图出发,用添加链的办法,证明了构作自中心图类的一些定理,并讨论了几类基回数为3的自中心图。本文还纠正了[4]中定理证明的一个不当之处及[5]中的一个错误推论。注意到不连通图均是自中心图,本文所讨论的图均指有限的简单连通图。其他术语见[6]。     

复合图点列表着色的可选性

r部完全图Km*r是完全图Kr与空图Sm的复合图Kr[Sm] . Erdo。s P, Rubin A L和Taylor H在[1]提到了确定Kr[Sm]的点列表着色的可选性的问题并证明了ch(Kr[S2]) = r .Kierstead H A[2]证明了ch(Kr[S3]) =[(4r - 1)/3] .假定Gm是圈Cn与空图Sm的复合图Cn[Sm] .考虑了Gm的列表着色的可选性并证明了ch(G2) =3, ch(G3)≤ 4及在n是奇数时, ch(G3) = 4 .     

几类优美图

设图G=(V(G),E(G))是一个简单图,V(G)是G的所有顶点的集合,E(G)是G的所有边的集合。若存在从V(G)到集合{0,1,…,ε}(ε=|E(G)|)的一个单射φ,对u,v∈V(G),(u,v)∈E(G),导出集合{|φ(u)-φ(v)|}到集合{1,2,…,ε}的一个一一映射,则称φ是图G的一个优美标号。若图G有一个优美标号φ,则称图G是优美图。我们依照文献[1]的定义称图G是G_1和G_2的联,如果图G是由G_1∪G_2和所有联接V(G_1)和V(G_2)的线组成的图。记为G=G_1+G_2。例如一个完全二部分图就是两个孤立点集S_1和S_2的联。我们知道这是优美图。     

双图的一些脆弱性参数

一个图G的双图（double graphs）的定义为D[G]=G×T2,这里×表示图的直积,而死表示两个顶点的全图．本文研究了图的双图的一些脆弱性参数．