哈林图的偶匹配可扩性

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

关于全图补图的完美匹配

G是一个简单图,变换图G---是G的全图的补图.证明了对于给定的一个图G,G K1 K2,G---有一个完美匹配的充要条件是V(G) E(G)是偶数.     

偶匹配可扩图的度和连通度条件(英文)

称图G是偶匹配可扩的,是指G的每一个导出二部偶子图的任意完美匹配都可以扩充为G的一个完美匹配.记δk(G)为一个k元独立集的最小度和,κ(G)为图G的连通度.在本文章中,给出了2n个顶点的图G满足κ(G)≥2(n/2)+1,和δ3(G) ≥ 3(3n/2)-2.那么G是偶匹配可扩的.并给出例子说明两个条件都是紧的.     

二面体群的双凯莱图的匹配可扩性（英文）

令G为有限群,S为G的非空有限子集,G关于S的双凯莱图BC(G,S)是一个二部图,其顶点集是G×{0,1},边集是{(g,0)(sg,1)|g∈G,s∈S}.若有完美匹配的连通图Γ至少有2n+2个顶点,且每一个大小为n的匹配都可以扩充为一个完美匹配,则称此完美匹配的连通图Γ是n-可扩的,并对二面体群的双凯莱的2-可扩性进行了刻画.     

二面体群的双凯莱图的匹配可扩性

令G为有限群,S为G的非空有限子集，G关于S的双凯莱图BC(G,S)是一个二部图,其顶点集是G×{0,1},边集是{(g,0)(sg,1)|g∈G,s∈S}.若有完美匹配的连通图Γ至少有2n+2个顶点,且每一个大小为n的匹配都可以扩充为一个完美匹配，则称此完美匹配的连通图Γ是n 可扩的,并对二面体群的双凯莱的2 可扩性进行了刻画.     

广义渺位苯图的完美匹配数的计算

本文给出广义渺位苯图的完美匹配数计算方法。问题的实际背景是高分子化学中cata苯类芳香体系的Kekule结构计数。定义1 设G为平面蜂窝状正六边形格图H中的一个有限子图。若G中任何三个正六边形没有公共顶点,则称G为广义渺位苯图。(例见图一),属于G中某个正六边形的边叫G的正常边,其余则称为反常边,仅含正常边的广义渺位苯图简称为渺位苯图。图一中虚线右边的子图即为一例。广义渺位苯图G显然是2色可染的(以下假定讨论的图C均已染黑、白二色),因而除单点图外全部是二部分图。为计算G的完美匹配数K(G),先列出几个对任意图都成立的简单命题(证明从略)。     

2类特殊图中的完美匹配数

图的完美对集计数问题已经被证实是NP-难的,因此要得到一般图的完美匹配数目非常困难.用划分、求和、再递推的方法给出了4-1-nC_(10)和2-nT_2图完美匹配数目的计算公式.该方法可计算许多图类的所有完美匹配的数目,使得到一般的有完美匹配图的所有完美匹配数目成为可能.     

Cayley图与变换图（Interchange Graph）

设s_x是n次对称群,M_x是由s_x的一些奇置换组成的共轭类,对任意n本文得到了Cayley图类Cay(M_x,S_x)的点连通度、直径、Hamiltonian 性及其它一些图论性质,同时本文还发现一类变换图G(R~x(1),S~x(1))与Cay(M,S_x)是同构的图类,(其中R~x(1),S~x(1)分别是n维全1行和、列和向量,M是s_x的对换全体),从而得到这类变换图与Cayley图Cay(M_x,S_x)相平行的一些性质。     

求一切完美匹配的一个算法

本文设计了一个求一切完美匹配的算法,它由下面的四个子算法组成:算法1 利用Edmonds.J算法,求一个完美匹配M(略)。算法2 利用类似深度搜索法的技术,求含M的某条边的一切M-交错回。算法3 求一切M-交错回。算法4 求一切完美匹配。     

变换图τ_2(G)连通度

M.Farber 等在[2]中引入了“边不交的生成树对”的变换图τ_2(G)的定义,证明了它是连通的.本文讨论了τ_2(G)的连通度,得到了一个下界.特别地,对于2-补树图,即恰含有两个边不交的生成树的图,本文先给出了一种递归方法去构造全体2-补树图,然后证明了2-补树图 G 的τ_2(G)的连通度≥|V(G)|-1,井给出了例子,说明这一下界是最佳可能的.     

全变换图G~(xyz)

设G=(V (G),E(G))是一个简单无向图, x,y,z是取+或-的3个变量.图G的变换图G~(xyz)是以V (G)∪E(G)为其顶点集,且对任意的α,β∈V (G)∪E(G),α,β相邻当且仅当以下条件之一成立:(i)α,β∈V (G), x=+时当且仅当α和β在图G中相邻, x=-时当且仅当α和β在图G中不相邻;(ii)α,β∈E(G), y=+时当且仅当α和β在图G中相邻,y=-时当且仅当α和β在图G中不相邻;(iii)α∈v(G),β∈E(G), z=+时当且仅当α和β在图G中关联,z=-时当且仅当α和β在图G中不关联.变换图G~(xyz)作为全图的变形是由吴和孟在2001年首次提出的.自那时起,大量的工作致力于研究这些变换图的各种性质.本文主要是对变换图G~(xyz)的已知结论与未解决的问题进行综述.     

关于中间图补图的一个定理的简单证明

对于图G,定义它的中间图M(G)的顶点集为V(G)∪ E(G),顶点集中的两点x和Y在M(G)中相邻当且仅当{x,y}∪ E(G)≠φ,并且x和y在G中相邻或者关联.在这篇文章中简化了下面这个最近已经得到的定理的证明,即一个图G的中间图M(G)的补图是哈密顿的当且仅当G不是星图,并且G不同构于{K1,2K1,K2,K2 ∪ K1,K3,K3 ∪ K1}中的任意一个图.     

K—可覆盖冠状系统的实现

一个冠状系统(coroniod system)G被称作是k-可覆盖的,如果对任何k个互相邻接的六角形,从G中删去这k个六角形以及相关联的边后得到的子图至少含有一个完美匹配,本文得到一个简捷的方法,由此可以确定是否存在k-可覆盖的冠状系统,并且确定出了这些k-可覆盖的冠状系统。     

广义Mycielskian图的连通度(英文)

Mycieski定义了一个图的运算即把一个图G变换为一个称为G的Mycielskian图的新图μ(G).广义Mycielskian图μm(G)(m≥0)是图的Mycielskian图的一个自然推广.本文证明对任意非平凡连通图G有κ(μm(G))=min{δ(G)+1,(m+1)κ(G)+1},而且对于m,i≥1,λ(μm(G))=λ(G)+i当且仅当δ(G)=λ(G)+i 1,其中κ(G),λ(G)和δ(G)分别为图G的连通度,边连通度和最小度.     

几类亚随意匹配图

David P.Sumner在[1]中引入了随意匹配图的概念;如果图G的任意匹配都能扩充为G的完备匹配,则称G为随意匹配图.他证明了当且仅当G为     

泡型图的条件匹配排除

一个图的条件匹配排除数是最少的边的数量,使得删除这些边形成的图既没有孤立点,也没有完美匹配和几乎完美匹配.本文给出了泡型图的条件匹配排除数和它的所有最优集.     

三个图类的完美匹配计数(英文)

对一个具有偶数个顶点的图,计算它的完美匹配数是一个广泛而且深入地研究着的课题。对大量的图类,这个课题的研究已取得许多重要而且漂亮的结果。特别地,计算那些代表着某些有机化合物的图类的完美匹配数问题在理论和应用上都有着重要意义。本文讨论了三个图类的完美匹配计数,并对所有可能的情况给出完美匹配数或计数公式。     

3类图完美匹配的数目

图的完美匹配计数问题是匹配理论研究中的一个重要课题,此问题有很强的物理学和化学背景．但是,一般图的完关匹配计数问题却是NP-困难的．用划分、求和、再递推的方法给出了三类特殊图完美匹配数目的计算公式．     

变换图G++-的超力连通性

对于图G,一般有λ(G)≤δ(G).如果λ(G)=δ(G),称图G是较大边连通的.如果G的每一个最小边割只能分离G的一个孤立点.称图G是超边连通的.本文证明了几乎所有的有限图G,其变换图G -都是超边连通的.     

一类(0,1)矩阵变换图的Hamilton性

设G(R,S)表示m×n阶(0,1)矩阵类(R,S)的变换图.Brualdi提出问题:“G(R,S)有Hamilton圈吗?”当min{m,n}=2时,文献[3]中证明了此变换图是Hamilton连通的,并且是泛圈的(除K_1,K_2外),从而给该问题一个肯定的答案,当min{m,n}=3时,本文进一步地证明了此变换图是边Hamilton的(除K_1,K_2外),从而也给出该问题一个肯定的答案。