图的最大亏格与2-因子

图Ｇ的一个２因子Ｆ就是Ｇ的这样一个支撑子图，使其任何节点ｖ∈Ｖ的次ｄＦ（ｖ）＝２．易见，Ｇ的每个２因子均为无公共节点的圈之并．若Ｆ的每个圈的长均为３（或４），则称Ｇ含有一个三角形（或四边形）２因子．Ｍ．ｋ∨ｏｖｉｅｒａ［５］得到了含有三角形２因子的３－正则图的最大亏格．本文在３－正则图上，引进了扩张运算和讨论了与最大亏格和Ｂｅｔｉ亏数之间的关系．利用这些运算，得到了所有含四边形２因子的连通３－正则图是上可嵌入的，即γＭ（Ｇ）＝ｎ４（ｎ为Ｇ的节点数ｎ＝｜Ｖ（Ｇ）｜）．然后，基于此证明了含四边形２因子且所有节点ｖ∈Ｖ的次ｄＧ（ｖ）＝３（ｍｏｄ４）的图Ｇ均为上可嵌入的     

一类泛连通无爪图

本文证明了如果Ｇ是３连通无爪图，且Ｇ的每个导出子图Ａ，Ａ＋都满足（ａ１，ａ２），则Ｇ是泛连通图（除了当ｕ，ｖ∈Ｖ（Ｇ），ｄ（ｕ，ｖ）＝１时，Ｇ中可能不存在（ｕ，ｖ）－ｋ路外，这里２≤ｋ≤４）．     

图的(g,f)-因子分解

设Ｇ是一个图，ｇ（ｘ）和ｆ（ｘ）是定义在图Ｇ的顶点集上的两个整数值函数且ｇ≤ｆ．图Ｇ的一个（ｇ，ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的ｘ∈Ｖ（Ｆ），有ｇ（ｘ）≤ｄＦ（ｘ）≤ｆ（ｘ）．如果图Ｇ的边集能划分为若干个边不相交的（ｇ，ｆ）－因子，则说图Ｇ是（ｇ，ｆ）－可因子化的．本文研究了图的（ｇ，ｆ）－可因子化的问题，给出了一个图Ｇ是（ｇ，ｆ）－可因子化的若干充分条件．     

2-阶邻域连通无爪图的Hamilton性

设Ｇ是无爪图．对ｘ∈Ｖ（Ｇ），若Ｇ［Ｎ（ｘ）］不连通，则存在ｙｉ∈Ｖ（Ｇ）－｛ｘ｝（ｉ－１，２），使｜Ｎ（ｙｉ）∩Ｋｉ（ｘ）｜≥２，且｜Ｎ（ｙｉ）∩Ｎ（Ｋｉ＋１（ｘ））｛ｘ｝｜≥２（ｉ模２），那么称无爪图Ｇ是强２－阶邻域连通的，其中Ｋ１（ｘ），Ｋ２（ｘ）分别表示Ｇ［Ｎ（ｘ）］的两个分支．本文证明了：连通且强２－阶邻域连通的无爪图是Ｈａｍｉｌｔｏｎ图．     

复合图的1－因子分解

本文研究了复合图１－因子分解问题，给出了复合图可１－因子分解的几个充分条件．设图Ｇ和Ｈ都是正则因，那么Ｇ和Ｈ的复合图Ｇ［Ｈ］可１－因子分解，如果Ｇ和Ｈ满足下列三个条件之一：（１）Ｇ可１－因子分解；（２）Ｇ至少有　１－因子，Ｈ为偶阶正则图［Ｖ（Ｈ）｜≥２；（３）Ｇ可以分解为一些１－因子和２－因子之并，Ｈ为偶阶正则图且至少有ｍａｘ｛０，△（Ｈ）－４｝个１－因子．     

关于{P2, Ci| i≥3}-覆盖图

设 Ｇ是一个图,若对于 Ｇ的任意一边 Ｇ都有｛Ｐ_２,Ｃｉ｜ｉ－＞３｝－因子含有这条边,则称Ｇ是｛Ｐ_２,Ｃｉ｜ｉ－＞３｝－覆盖图．本文给出连通非二分图Ｇ是｛Ｐ２,Ｃｉ｜ｉ－＞３｝－覆盖图的充要条件为任给Ｓ■Ｖ（Ｇ）,Ｖ（Ｇ）≠Ｓ≠■有ｉ（Ｇ－Ｓ）＿＞｜Ｓ｜－１成立．     

邻域并和[a,b]-因子

设ａ＜ｂ是整数,Ｇ＝（Ｖ（Ｇ）,Ｅ（Ｇ））是一个图．Ｇ的一个支撑子图Ｆ称为Ｇ的一个［ａ,ｂ］－因子,若对任意的υ∈ＥＶ（Ｇ）,有ａ≤ｄ_Ｆ（υ）≤ｂ．本文得到了下列结果：设１≤ａ≤ｂ是整数,Ｇ是一个阶为ｎ的图,最小度δ（Ｇ）≥ａ且＞（ａ＋ｂ）（２ａ＋２ｂ－３）如果对于Ｇ的任意两个不相邻的顶点ｕ,υ有Ｎ_Ｇ（ｕ）ＵＮ_Ｇ（υ）≥ａｎ,则Ｇ有一个［ａ,ｂ］－因子．     

关于完美全图的Hamilton－性

设Ｇ（Ｖ，Ｅ）是一个简单图，而Ｖ（Ｔ（Ｇ））＝Ｖ（Ｇ）∪Ｅ（Ｇ），Ｂ（Ｔ（Ｇ））＝｛ｙｚ｜ｙ，ｚ相邻或相关，ｙ，ｚ∈Ｖ（Ｇ）∪Ｅ（Ｇ）｝．则称Ｔ（Ｇ）为Ｇ（Ｖ，Ｅ）的全图；若对Ｇ的每一导出子图Ｈ，有ｘ（Ｈ）＝ω（Ｈ）；则称Ｇ是完美的．其中ｘ（Ｈ），ω（Ｈ）分别表示Ｈ的色数和团数．本文给出了完美全图是Ｈａｍｉｌｔｏｎ图的充分必要条件．     

高校应用数学学报 第15卷(2000年)B辑(英文版)第1期目次和提要

导出匹配可扩图的度条件刘　岩　原晋江　王世英（郑州大学系统科学与数学系）如果图Ｇ的每个导出匹配都包含在Ｇ的一个完美匹配中,那么称Ｇ是导出匹配可扩图．该文主要研究导出匹配可扩图的度条件,主要结果是：（１）最小度至少为２ｎ３的图都是导出匹配可扩图,而且该最小度的下界是精确的,其中ｎ是图的顶点数,ｎ是偶数且至少为６;（２）正则度至少为２ｎ－２３的正则图都是导出匹配可扩图,而且该正则度的下界是精确的,其中ｎ是图的顶点数且为偶数,ｎ至少为８且不等于１０．关于一类Ｂｕｓｈ型分形曲面的维数分析王宏勇（西安交通…     

导出匹配问题的NP-完全性以及导出匹配可扩问题的CO-NP-完全性

图Ｇ的一个匹配Ｍ是导出的,若Ｍ是图Ｇ的一个导出子图。图Ｇ是导邮匹配可扩的（简记ＩＭ－可扩的）,若图Ｇ的任一导出匹配均含于图Ｇ的一个完美匹配当中。本文我们将证明如下结果。⑴对无爪图而言,问题“给定图Ｇ以及一个正整数ｒ,确定是否存在图Ｇ的一个导出匹配Ｍ使得Ｍ≥ｒ”是ＮＰ－完全的。⑵对直径为２的图以及直径为３的偶图,问题“确定一个给定图是否为导出匹配可扩的”是ＣＯ－ＮＰ完全的;而对完全多部图而言,问题“     

小直径图的导出匹配覆盖

设G是一个图,而M1,M2,…,Mk是G的k个导出匹配.称{M1,M2,…,Mk}是图G的一个k-导出匹配覆盖,若V(M1)∪V(M2)∪…∪V(Mk)=V(G).k-导出匹配覆盖问题是指对任一个给定的图G是否存在一个k-导出匹配覆盖.这篇文章证明了:直径为6的图的2-导出匹配覆盖问题和直径为2的图的3-导出匹配覆盖问题是NP-完备的,直径为2的图的2-导出匹配覆盖问题多项式可解.     

直径为5的图的2-导出匹配划分和2-导出匹配覆盖问题的NP-完全性

给定一个简单图G和正整数κ,具有完美匹配的图G的κ-导出匹配划分是对顶点集V(C)的一个κ-划分(V1,V2,...,Vκ),其中对每一个i(1≤i≤κ),由Vi导出的G的子图G[Vi]是1-正则的.κ-导出匹配划分问题是指对给定的图G,判定G是否存在一个κ-导出匹配划分.令M1,M2…,Mκ为图G的κ个导出匹配,如果V(M1)UV(M2)∪...∪V(Mκ)=V(G),则我们称{M1,M2,...,Mκ}是G的κ-导出匹配覆盖.κ-导出匹配覆盖问题是指对给定的图G,判定G是否存在κ-导出匹配覆盖.本文给出了Yang,Yuan和Dong所提出问题的解,证明了直径为5的图的导出匹配2一划分问题和导出匹配2-覆盖问题都是NP-完全的.     

最大度为7 且不含带弦5- 圈的平面图是8- 全可染的

若能用k种颜色给图的顶点和边同时进行染色使得相邻或相关联的元素(顶点或边) 染不同的色, 则称这个图是k- 全可染的. 显然, 给最大度为Δ的图进行全染色, 至少要用Δ + 1 种不同的色.本文证明最大度为7 且不含带弦5- 圈的平面图是8- 全可染的. 这一结果进一步拓广了(Δ+1)- 全可染图类.     

不含4-圈与7-圈的平面图是(2,0,0)-可染的

设d1,d2,...,dk是k个非负整数.若图G=(V,E)的顶点集V可剖分成k个子集V1,V2,...,Vk使得对i=1,2,...,k,由Vi所导出的子图G[Vi]的最大度至多为di,则称G是(d1,d2,...,dk)-可染的.本文证明不含4-圈和7-圈的平面图是(2,0,0)-可染的.     

最大度为5的图的Alcuin数

1000多年前,英国著名学者Alcuin曾提出过一个古老的渡河问题,即狼、羊和卷心菜的渡河问题.最近,Prisner和Csorba等人把这一问题推广到任意的"冲突图"G=(V,E)上,考虑了一类情况更一般的运输计划问题.现在监管者欲运输V中的所有"物品/点"渡河,这里V的两个点邻接当且仅当这两个点为冲突点.冲突点是指不能在无人监管的情况下留在一起的点.特别地,Alcuin渡河问题可转化成"冲突路"P_3上是否存在可行运输方案问题.图G的Alcuin数是指图G具有可行运输方案(即把V的点代表的"物品"全部运到河对岸)时船的最小容量.最大度为5且覆盖数至少为5的图和最大度Δ(G)≤4且覆盖数不小于Δ(G)-1的图的Alcuin数已经被确定.本文给出最大度为4且覆盖数不超过2和最大度为5且覆盖数不超过4的图的Alcuin数.至此,最大度不超过5的图的Alcuin数被完全确定.     

Every Planar Graph with Maximum Degree 7 Is of Class 1

V.G. Vizing conjectured in 1968 that every planar graph with maximum degree 6 or 7 is of class 1. This paper shows that, for planar graphs with maximum degree 7, Vizing's conjecture is true. Revised: November 24, 1999     

图与其Mycielski图关联色数的关系

本文证明了对n阶图G,若其最大度△(G)的2倍不等于n,且G的关联色数等于△(G) 1,则M(G)的关联色数为△(M(G)) 1．同时还研究了树和完全二部图的Mycielski图的关联色数．文末提出了M(G)的关联色数猜想,其中M(G)为图G的Mycielski图．     

关于几类图的L(2,1)标号问题

图G的L( 2 ,1 )标号是一个从顶点集V(G)到非负整数集的函数f(x) ,使得若d(x ,y) =1 ,则｜f(x) -f(y) ｜≥ 2 ;若d(x ,y) =2 ,则｜f(x) -f(y) ｜≥ 1 .图G的L( 2 ,1 ) 标号数λ(G)是使得G有max{f(v) ∶v∈V(G) }=k的L( 2 ,1 )标号中的最小数k .Griggs和Yeh猜想对最大度为Δ的一般图G ,有λ(G) ≤Δ2 .本文给出了Kneser图 ,Mycieklski图 ,Descartes图 ,Halin图的λ值的上界 ,并证明了上述猜想对以上几类图成立     

Induced subgraphs with large degrees at end-vertices for hamiltonicity of claw-free graphs

A graph is called claw-free if it contains no induced subgraph isomorphic to K1,3. Matthews and Sumner proved that a 2-connected claw-free graph G is Hamiltonian if every vertex of it has degree at least (|V(G)|-2)/3. At the workshop C&C (Novy Smokovec, 1993), Broersma conjectured the degree condition of this result can be restricted only to end-vertices of induced copies of N (the graph obtained from a triangle by adding three disjoint pendant edges). Fujisawa and Yamashita showed that the degree condition of Matthews and Sumner can be restricted only to end-vertices of induced copies of Z₁ (the graph obtained from a triangle by adding one pendant edge). Our main result in this paper is a characterization of all graphs H such that a 2-connected claw-free graph G is Hamiltonian if each end-vertex of every induced copy of H in G has degree at least |V(G)|/3+1. This gives an affirmative solution of the conjecture of Broersma up to an additive constant.