(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相似文献   

1坚韧图的Hamilton性

设G是一个图,且t是一个实数,若对每个,其中k(G—S)是G—S的分支数,则称G是t坚韧图(t-tough graph)。显然,1坚韧图是2连通的。用δ,κ,α分别表示G的最小度、连通度和独立数,利用以上记号,有如下定理: 定理1 设G是p阶1坚韧图,若δ≥     

严格k可约n竞赛图的计数

如果n竞赛图T_n中任意n—k 1子竞赛图都是可约的,则T_n称为k可约的。如果T_n是k可约的,但不是k 1可约的,则T_n称为严格k可约的。设t(n)和s(n)分别表示n竞赛图和强n竞赛图的所有同构类的个数。对于给定正整数k,设     

一个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中的上树.     

关于1坚韧图的最长圈

设G是一个连通图,且t为实数,若对V(G)的每个子集S,t·ω(G—S)≤|S|,其中ω(G—S)是G—S的分支数,则称G是t坚韧的。 本文只讨论1坚韧图。设λ=min{d     

论1坚韧图的周长

设G是一个连通图且t为实数,若对V(G)的每个子集S,tω(G—S)≤|S|,其中ω(G—S)是G—S的分支数,则称G是t坚韧图。显然,1坚韧图是2连通的,图G的周长c(G)是指G的一个最长圈的长度。虽然对2连通图的周长的研究已有若干结果,但对1坚韧图周长的研究尚少。本文只讨论有限、无向、无环及无重边的图,且块均指非平凡块,所用术语及记号同文献[4],主要结果是如下定理。     

图到其迭线图的子图的同构

如果存在一个图G到图H的子图G′上的同构φ,我们就记作GH,说G嵌入到H内,而φ称为G到H内的一个嵌入。1982年,D.Bauer和R.Tindell对既不是道路,也不是K_(1,3)的图G定义了一个不变量∧(G),它是使GL~n(G)成立的最小的n,n≥1。他们研究了∧(G)=1的图,并提出研究∧(G)=2的图,以及对所有树T,确定∧(T)这两     

关于完全3-分图同构因子分解

一个图G=(V,E)的同构因子分解是边集合E的一个分划:{E_1,E_2,…,E_t}使得支撑子图(V,E_1),(V,E_2),…(V,E_t)都彼此同构。如果存在把图G分成t个子图的同构因子分解,就说t能整除G,记为t|G。显然t|G的必要条件是t||E(G)|。t||E(G)|被称为关于G和t的可分条件。Harary等人证明了,当t=2,和4时,可分条件对t|K(m,     

Slater猜想的证明

图G称为k临界n连通的,如果对每一V′(?)V(G),其中|V′|≤k,有k(G-V′)=n-|V′|。这里k(G)表示G的连通度。一个k临界n连通图简称为(n,k)图。这一概念最早由Maurer与Slater在文献[1]中引进。Slater在文献[1]中提出如下猜想: 猜想A 当2k>n时,完全图K_(n+1)是唯一的(n,k)图。     

2连通正则无爪图中的Hamilton圈

本文讨论的图都是无向的简单图。图G称为无爪的,如果G没有同构于K_(1,3)的顶点导出子图。 关于2连通正则图的Hamilton性,1980年B.Jackson证明了:若G是2连通、k正则图,且G的顶点数不大于3k,则G是     

每个4-正则简单图包含一个3-正则子图

1973年,C.Berge猜想:每个4-正则简单图包含一个3-正则子图,1979年,v.Chvátal,H.Fleischner,J.Shechan和C.Thomassen猜想:设G是奇阶4-正则图。若λ_c(G)∈{6,8},则G存在一点x,使得G—x有3-正则生成子图。(λ_c(G)是图G的边圈连通度)。本文以更一般的形式证明这两个猜想为真。 一个图G是强4-边连通的,若G是4边连通的,且对任一个基数为4的边割集5,G—S有平凡     

关于图的路连通性的几个结果

本文仅考虑无向简单图,若图G中任两点间均存在H路,则称图G是Hamilton连通的,记P_m(u,v)为图G中长为m—1的u—v路,若对图G中任两点u,v,G中均     

正则图中的哈密尔顿圈

关于2连通、k正则图中哈密尔顿圈的存在性,已经有了许多结果,参见[1—5]。 本文仅考虑简单图,并采用常用的图论方面的术语和记号。以V(G)和E(G)分别表示图G的点集合和边集合。     

关于边不交的Hamiltoh圈

本文所讨论的图均为无向的简单图。用δ(G)表示图G的最小度。一个图G称为Ore-(k)型图,如果任一对不相邻顶点“和v都有d(u)+d(v)≥|V(G)|+k(k为整数)。     

关于全图的强完美性

定义1 简单图G的最大完全子图的阶数,称为G的团数,简记作ω(G)。定义2 若对简单图G(V,E)的任意导出子图G[S](S(?)V(G)),均有     

临界2棱连通图的最大度及度大于4的点数

设G是临界2棱连通图,D是G中2度顶点集合,D_(≥2k-1)(G)={x:(x∈G)∧(d(x)≥2k-1)},D_(2k-1):2k(G)={x:(x∈G)∧(2k-1≤d(x)≤2k)},其中k是自然数。[a]表示不大于a的最大整数。我们得到如下结果:     

关于路图P_3(G)的Hamilton性的两个结果

“路图”是线图概念的发展.给定一个图G及自然数k≥2,路图P_k(G)的顶点是G中k个顶点的路P_k;两条路P_k在路图中是相邻的,如果它们的并是P_(k+1)或C_k.为     

几乎所有的图都含不动边

我们考虑简单图,并使用文献[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)也是不动边.反之,一个边可重构图中的不动边也必是强迫边.这样,就可以通过证明一个图的     

支撑树端点数介值定理的一个简单证明

G.Chartrand在第四届国际图论会议(1980)上提出这样一个问题:若一连通图G分別有含m和n个端点的支撑树,m相似文献   

具有迁移的线性增长过程的存在定理

具有迁移的线性增长过程是严士健提出的反应迁移过程的一个简单特例,它的物理背景可简述如下:设S是一可数集,每一u(∈S)设想为一个小容器,里面可装任意有限个粒子。设在时刻t在容器x中有k个粒子,那么当△t充分小时在时间区间(t,t △t)内,粒子数由k个变k 1个的概率是β(k)△t o(△t),粒子数由k个变k—1个的概率是δ(k)△t o(△t),容器x中有某粒子迁移到容器