边色数的分类问题及其有关性质

设图G为简单连通图,由Vizing定理可知△(G)≤x′(G)≤△(G)+1。其中,△(G)表示图G的最大顶点次,x′(G)是图G的边色数。若x′(x)=△(G),则称G为第一类图,并记为G∈C~1;若 x′(G)=△(G)+1,则称G为第二类图,记为G∈C~2。本文的目的在于讨论边色数的分类问题及其有关性     

p阶临界2-边连通图的最大边数

设G=(V,E)是p阶简单无向图。 若G是2边连通的,设v∈V,若G-v不是2边连通的,则称点,是G的临界点。若G的每一点都是临界点,则称G是临界2边连通图     

Gelfer函数与Yamashita问题

若函数f(z)在单位圆盘 △={|z|<1}中解析。f(0)=1,且对于一切z,ζ∈△,都有 f(z)+f(ζ)≠0,则称f为Gelfer函数,记其全体为G。并用G_(?)表示其单叶子类。于是,当f∈G时,     

若干图参数的关系

定义1 对图G(V,E),设,若V中的点或在σ中,或与σ中的点相邻,则称σ为G的点控制集。记 σ(G)=min{|σ||σ为G的控制集}并称σ(G)为G的控制数。 类似地可定义G的边控制数σ(G)。 定义2 对图G(G,E),设E,若V∪E中的元素或在A中,或与A中的元素相邻或相关联,则称A为G的全覆盖     

图与其补图覆盖数间的关系

对图G(V,E),,使得V∪E中的任一元素或在A_T中,或与A_T中的元素相邻,或与A_T中的元素相关联,则称A_T为G的全覆盖;G中元素数最少的全覆盖,称为G的最小全覆盖;G的最小全覆盖中的元素数,称为G的全覆盖数,并简记作α_T(G) 设α(G)、α′(G)分别表示图G的(点)覆盖数、边覆盖数,G~c表示G的补图,则     

连通、局部连通、无爪图是点泛圈图

本文只讨论有限、无向、无环和多重边的简单图。V(G)、E(G)分别表示图G的顶点集和边集。如果S(?)V(G),用G[S]表示子集S在G中的导出子图。若u∈V(G),N(u)表示u点的邻域,即邻接于u点的全体顶点的集合。     

几乎所有的图都含不动边

我们考虑简单图,并使用文献[1]中的术语和记号.设G=(V(G),E(G))是一个图,e∈E(G)是G的一条边,如果对G—e的任意满足G—e e’(?)G的加边e’,都有e’=e,则称e为G的不动边.如果对满足G—e e’(?)G的加边e’,都存在G—e自同构映射将e的两个端点分别映到e’的两个端点,则称e为同构不动边.由此定义可知,当e是不动边时,它也是同构不动边.不动边的概念来源于图的边重构猜想.Sheehan首先提出不动子图的概念,并用之研究了边重构猜想.当不动子图仅为一条边时,即为不动边.文献[3]中的强迫边(forced edge)也是不动边.反之,一个边可重构图中的不动边也必是强迫边.这样,就可以通过证明一个图的     

2连通无爪图的最长圈

本文所涉及的图都是有限无向简单图。设G是一个图,总用V(G)、E(G)、c(G)分别表示G的顶点集、边集、周长,而令p=|V(G)|。设U(?)(G),总用G[U]表示G中由U导出的子图。如果对于任意U(?)V(G),总有G[U](?)K_(1,3),则称G为无爪图。设λ=min{d(u)+d(v)|u,v∈V(G),uv(?)E(G)},δ=min{d(u)|u∈V(G)},其     

关于连通图幂中边不交1-因子

我们总假设G=(V,E)为p阶连通简单图,n为自然数.G的n次幂图G~n定义如下:V(G~n)=V(G),E(G~n)={uv:d_G(u,v)≤n,u,v∈V(G)},式中d_G(u,v)是u和v在G中的距离. 1984年,Nebesk(?)证明了:当P为偶数     

冠C_(2n)☉K_1协调猜想的证明

一个图G=(V,E)称为是协调的(harmonious),如果存在一个单射h:V(G)→Z_q,其中Z_q={0,1,……,q-1},q=|E(G)|,由此导出的边标号h~*(u,v)=h(u)+h(v)(modq)是1-1的。若G是树,则允许有且仅有两点的标号相同,这时h称为G的一个协调标号。若上述映射导出     

Ore-2型图中存在两个边不相重的Hamilton圈

本文讨论的图都是无向的简单图。设G是一个图,分别用V(G)和E(G)表示图G的顶点集和边集。又设“、v∈V(G),用d(v)表示v的次数,用vu表示连结u、v的边。     

关于两类图的整和数

本文中的图均指无向简单图,以N,Z分别表示全体自然数及全体整数集合.对子集S(?)Z(N),S上的整和(和)图定义为图G=(S,E),满足条件对u,v∈S,uv∈E当且仅当u v∈s.此时,S称为G的一个整和(和)标号.一个图称为整和(和)图,如果它同构于某一子集S(?)Z(N)上的整和(和)图.容易验证,对一个有m条边的n阶图G,G∪mK_1是一个和图,只需标定G的顶点为2~i,1≤i≤n,同时对v_i,v_j∈E(G),标定对应的孤立点2~i 2~j即可.因此,对每一个图G,存在一个最小的非负整数r,使G∪rK_1为和图,记σ(G)=r,并称为G的和数.图的整和数ξ(G)类似定义,只是标号范围放宽到整数集上.容易看到ξ(G)≤σ(G).     

一个边着色定理

Berge曾给出一个边着色定理,下面为使用方便起见,我们不妨称它为B定理。著名的Vizing定理和另外一些边着色的结果都可以作为B定理的推论。我们叙述这个定理如下:B定理 设G是一个无环重图,[a,b]_0是G的一条边,令G′=G—[a,b]_0,若G′是可q-边着色的,且q≥d_G(a),q≥d_G(b);d_(G′)(x) m_(G′)(a,x)≤q,则G也可q-边着色。这里d_G(x)表示顶点x在图G中的次;m_(G′)(x,y)表示在图G′中以x和y为端点的边数;Γ_(G′)(x)表示顶点x在G′中的邻点集合。     

(a,b,k)-临界图

本文所考虑的图皆指有限无向简单图。设G是一个图,具有顶点集合V(G)和边集合E(G)。文中未加说明的记号和定义参见文献[1]。设S(?)V(G),用G[S]表示G中由S导出的子图。用d_G(x)表示顶点x在G中的次数。设a和b是两个非负整数且a≤b。图G的一个[a,b]-因子是G的一个支撑子图H,使对任意的x∈V(H)有设。如果去掉图G的任意k个顶点所剩的图仍有[a,b]-因子,则称图G是(a,b,c)-临界图,或者说G是(a,b,k)-临界的。如果a=b=n,则简称(a,b,k)-临界图为(n,k)-临界图。如果n=1,则简称(n,k)-临界图为k-临界图。Plummer和Lovasz讨论了2-临界图的特征和性质。于青林给出了k-临界图的特征。刘桂真和于青林研究了(n,k)-临界图的特征。本文考虑a相似文献   

氮化硅纳米粒子的量子限制效应

G是一个连通图,SV(G)和u∈V(G),我们记 N(S)={v∈V(G)\S:存在w∈S使得vw∈E(G)}, N(u)={v∈V(G):uv∈E(G)},分别称为S和u点在G中的邻域.进一步,N(u)=N(u)∪{u},u点的闭邻域,和 G(u)=G[N(u)]     

一个Ringel猜想的证明

本文仅讨论简单无向图.图G被称为是一个极大平面二部图(以下简称为mpb图),如果:1)G是二部图.2)G是平面图.3)若u,v∈V(G),(u,v)∈E(G),则G+(u.v)或者不满足1)或者不满足2).为简便,不防将本文所提到的平面图本身视为它的一个平面嵌入.设H是G的一个边导出子图.H在G中的边补图,记为(?),定义为E(G)\E(H)在G中的边导出子图.特别地,如果T是G的一棵树,称(?)为T在G中的上树.     

Halin图的边面全色数

定义1 将点数至少为4、所有非一度点(内点)度数至少为3的树T嵌入到平面内,再作一圈C_n.连接T的n个一度点(叶点)所成的平面图,称为Halin图;T称为Halin图的特征树;以C_n为边界的面称为Halin图的外面,其他面称为内面;面边界上的点数为奇数时,称该面为奇面,否则为偶面.平面图两面相邻,当且仅当两面至少有一条公共边.定理1 若G是Halin图,则(i)当G的最大度△(G)≥6时,有X_(ef)(G)=△(G);(ii)当△(G)=3时,有4≤X_(ef)(G)≤5,而X_(ef)(G)=5当且仅当外面f_0的边界上存在一条路P,使得P上的任一边均在点数不     

含瞬时态生灭Q矩阵问题

设E为非负整数集Z_+或整数集Z.称E×E上矩阵Q=(q_(ij):i,j∈E)为生灭矩阵,如果Q满足以下条件: (ⅰ)q_(ij)=0 |i-j|>1,0相似文献   

具有最多边的唯一因子图

§1.引言 设G=(V,E)是简单图,V和E分别是G的顶点集和边集。n=|V|称为顶点数,m=|E|称为边数。设S(?)V,从G中去掉S得到的子图,用G-S表示,就是V-S生成的子图。 G的两条边e_1,e_2若有一个公共端点,称为是关联的.设F(?)E是G的边子集,F中任     

强群分次环中的Clifford定理

设1∈G是群,1∈A是强G分次环。1在A_1=A_gA_(g-1)(g∈G)中有分解式 命题1 (Clifford定理) 若G有限,V为单左A模。则V是有限生成的半单A_1模。令W是V的单A_1子模,则V的单直因子A_1-同构于W的共轭{A_G(?)W|g∈C},且有A_1同构(e为某自然数)