结合图的导出匹配可扩性

简单图G和H的结合图G[H]的顶点集为V(G)×V(H),其中(u,v)和(u′,v′)相邻的充分必要条件是:或者uu′∈E(G)或者u＝u′并且vv′∈E(H).研究了结合图G[H]的导出匹配可扩性,证明了若G和H是非平凡图,G是连通图,且G和H满足下列条件之一,则G[H]是导出匹配可扩的:(1) G和H中有一个是导出匹配可扩的;(2) G和H都有完美匹配;(3) G和H中一个有完美匹配,另一个有几乎完美匹配.     

图有较高连通度的一个充要条件

图的连通性理论是图论学科重要而基础的研究领域,通过该领域的研究,人们对图的结构和性质有了进一步的认识,并且将所得到的结果应用于网络设计、城市交通等实际问题中,取得了很多应用成果,例如,量化一个图或网络的脆弱程度,便始于图的连通性研究。因此,我们总是希望图能具有较高的连通度。对n个顶点的图G来说,当连通度不小于顶点数n的一半时,我们认为这个图有较高的连通度。本文试图给出图具有较高连通度的一个充分必要条件。我们指出,对一个给定的正整数k且k≤2n,有κ(G)≥n-k成立当且仅当对顶点集V(G)的任意一对不交子集S和T,G[S,T]有一个完美匹配,这里|S|=|T|=k,G[S,T]=G[S∪T]-E(G[S])-E(G[T])。     

关于完美匹配的一个注记

图G有完美匹配当且仅当对于其顶点集V的任意子集S，G－S的奇分支的个数不超过S中元素的个数。对此结论证明中存在的一个问题进行了详细讨论，从而使证明更加完善。     

4元n方体的匹配图的若干性质

一个图G的匹配图M(G)的顶点集是G的所有完美匹配的集合,两个顶点相邻当且仅当对应的两个完善匹配的并构成G的一个Hamilton圈.文章给出了4元n方体Qn4的匹配图M(Qn4)的一些性质.     

可扩图的一些性质

设G是一个连通的简单图且具有完美匹配。如果G的任一基数为n(n≤(|V(G)|-2)/2的匹配都能扩充为G的一个完美匹配，则称G为n-可扩的。对于S包含于V(G),记M是G[S]的基数为r的最大匹配，并令T＝S－V（M）。对连通的非二部的n-可扩图G（n≥2），得到以下结果：（1）若r≤n且|T|≥2，则|V(G)|≥2(n r |T|--1)。（2）若r≤n-2且|T|≥2，则|V(G)|≥2(n r |T|)。（3）若|V(G)|≤4n-2，则对于任一u∈V(G),G[Г(u)]都有一个基数为n的匹配。     

图的字典积的整数流

得到对连通图G1和阶数大于3的图G2,他们的字典积G1[G2]有非零4-流.特别当G2是二部图时,G1[G2]有非零3-流.通过一个完全不同的方法,也得到了如果G1有非零3-流且具有完美匹配或G2有非零3-流,那么G1[G2]有非零3-流.     

饱和二部图

没有完美匹配的二部图G,若给它任意增加一条新的边,结果得到的二部图有完美匹配,则称图G是饱和的.设X(∈)V(G),T(X)表示V(G)中与X中至少一个顶点相邻的所有顶点组成的集合.本文证明了一个二部图G=(U,W)是饱和的当且仅当(a)存在唯一X(∈)U,使得|X|＞Γ(X)|,|X|-1＞|Γ(X)|且G的导出子图G[X∪Γ (X)]是完全二部图;(6)G的导出子图G[(U-X)∪(W-Γ(X))]是完全二部图,且满足|U-X|+1=|W-Γ(X)|;(c)U-X中每个顶点与W中的每个顶点都相邻,且X∪(W-Γ(X))是图G的一个独立集.     

饱和二部图

没有完美匹配的二部图G,若给它任意增加一条新的边,结果得到的二部图有完美匹配,则称图G是饱和的.设X包含于V（G）,Γ（X）表示V（G）中与X中至少一个顶点相邻的所有顶点组成的集合.本文证明了一个二部图G=（U,W）是饱和的当且仅当（a）存在唯一X包含于U,使得X〉Γ（X）,X-1〉Γ（X）且G的导出子图G[X∪Γ（X）]是完全二部图;（b）G的导出子图G[（U-X）∪（W-Γ（X））]是完全二部图,且满足U-X＋1=W-Γ（X）;（c）U-X中每个顶点与W中的每个顶点都相邻,且X∪（W-Γ（X））是图G的一个独立集.     

直径为2的无爪图的导出匹配可扩性

如果简单图G的每一个导出匹配都包含在它的一个完美匹配中，称图G是导出匹配可扩的，简称为IM-可扩的。研究了直径为2的无爪图的导出匹配性，证明了一个直径为2的无爪图G是IM-可扩的充分必要条件是：对任意满足|M|≤3的导出匹配M，G—V(M)没有奇分支。因而，直径为2的无爪图的IM-可扩性问题是多项式可解的。     

Cn×P2的2-偶匹配可扩性

称图G的匹配M是偶匹配,如果M中的边关联的点集在G中的导出子图是偶图,即G[V（M）]是偶图称图G是偶匹配可扩的,如果G的每一个偶匹配M都包含在G的一个完美匹配中为了进一步地研究图的偶匹配可扩性,我们考虑图G的偶匹配数,即图G中最大偶匹配所含的边数,记为BM（G）,我们证明了Cn×P2是2-偶匹配可扩的。     

硼氮富勒烯图的反强迫数

设G是一个有完美匹配的图。若G的边集S满足G-S有唯一完美匹配,则称S为反强迫集。包含边数最少的反强迫集叫做极小反强迫集,其中边的数目叫做图G的反强迫数。本文主要解决硼氮富勒烯图(恰好有六个四边形面,其它面都是六边形,3-连通的平面二部图)的反强迫数。我们得到一类管状,环边连通度为3的硼氮富勒烯图的反强迫数,然后得到任何硼氮富勒烯图的反强迫数至少为3,进而构造出所有反强迫数为3的硼氮富勒烯图,共有两个。     

循环图C_(2n)(1,3)的2-偶匹配可扩性

设图G是一简单的且有完美匹配的连通图,称图G是k-偶匹配可扩的,是指G的每一个基数不大于k(1≤k≤(│V(G)│-2)/2)的偶匹配M都可以扩充为G的一个完美匹配.刻画了循环图C2(n1,3)的2-偶匹配可扩性,得到结论:对于任意的n(n≥3),C2(n1,3)是2-偶匹配可扩性的.     

图的(1,f)——奇因子

一个图 G 的(1,f)——奇因子 F 是一个如下定义的支撑子图,即 f 是以▽(G)为定义域,而值域在{1,3,…,2n-1,…}中的函数;对每一个点 v∈V(G),d_F(v)∈{1,3,…,f_(n)}.加纳干雄1987年4月在东京召开的日本全国数学会议上猜想 G 有一个(1,f)一个奇因子当且仅当o(G-S)≤sum from ν∈s to f(v), SV(G).本文给出它的证明.     

n棱柱的完美匹配计数及其k-共振性

当n≥3时,笛卡尔积图C_n×P₂是一个多面体图,也称为n棱柱,其中C_n为n长圈,P₂为2长路。令G是一个n棱柱的平面嵌入图,k是正整数,若对任意的正整数i(0≤i≤k),从图G中任意删除掉i个两两不交的偶面所得到的图有完美匹配,则称图G是k-共振的。首先得到n棱柱完美匹配数的计算公式;然后对n棱柱的共振性进行讨论,得到了n棱柱是1-共振、2-共振的和k-共振的(k≥3)。     

蛛网图的偶匹配可扩性(英文)

图G的匹配M是偶匹配,如果G[V(M)]是偶图.图G是k-偶匹配可扩的(1≤k≤(V(G)-2)/2),如果G的每一个基数不大于k的偶匹配都可以扩充为G的一个完美匹配.研究蛛网图的偶匹配可扩性得出的结论是:蛛网图不具有偶匹配可扩性和2-偶匹配可扩性.     

恰有一公共点的双圈图的邻接矩阵的奇异性

恰有一公共点的双圈图的邻接矩阵是奇异的当且仅当G满足：G有完美匹配，c1与c2中一个是4m圈，另一个是偶圈，4m圈上不挂出奇数阶树；G有完美匹配，G-V（c1）-V（c2）含完美匹配，G-V（c1）或G—V（c2）含完美匹配，且含有4m圈；G无完美匹配，G—V（c1）和G—V（c2）均含有完美匹配，且G中含有4k1＋3和4e1＋1（k1，e1∈N）阶图；G，G—V（c1）和G—V（c2）都不含完美匹配恰有一公共点的双圈图的邻接矩阵的行列式的最大值是4．     

图Kn-E(Kr),Kr(∪)Kn的整和数

Z表示所有整数的集合.一个有限子集S(∪)Z上的整和图是指图(S,E)中uv∈E当且仅当u+v∈S.图G是整和图,如果它同构于某个子集S(∪)Z上的整和图.图G的整和数是指使(G∪mK1)成为一个整和图时加入的孤立顶点的最少个数m.1994年Harary在[3]中提出了4个未决的问题,本文完整地回答了其中的第一个问题,即确定了图(Kn-E(Kr))的整和数.具体结论如下:ζ(Kn-E(Kr))={0(r=n,n-1)n-1(n-2≥r≥[2n/3]-1)3n-2r-4([2n/3]-1＞r≥n/2)2n-4([2n/3]-1＞n/2≥r≥2)其中n≥5,r≥2,[x]表示不小于x的最小整数.     

无爪双临界偶匹配可扩图的结构

图G是有完美匹配的简单连通图．称图G是偶匹配可扩的，是指G的每一个偶匹配都可以扩充成为G的一个完美匹配．在本章中，我们得到若干无爪双临界偶匹配可扩图的结构性质。     

一类边替换图的平均拉普拉斯多项式

设G和T是两个简单图,i和j是T中两个固定顶点,满足T-i和T-j同构.把G的每条边e=(u,v)替换成T,使得i=u,j=v,所得到的图称为边替换图,记为G[T].本文考虑了当G是一个d-正则图时,G[T]的平均拉普拉斯多项式和图G的平均拉普拉斯多项式之间的关系.并把所得结果具体应用到剖分图S(G)和三角扩展图R(G...     

几类亚随意匹配图

本文在文献[2]至[5]的基础上构造了几类更广泛的亚随意匹配图.文中未说明的术语见[1].定义1 设 G 是在 n+1(n≥0)阶星图中的每个悬挂点 u_i 上构造一个 G_i 所得到的图,其中G_i 是由有唯一公共点 u_i 的 s_i 个偶数