一个匹配是导出匹配的条件

称图G的一个匹配M是导出的,如果M是由M所覆盖的顶点导出的子图的边集．分别给出二部图的一个匹配是导出匹配的条件及存在一个最大匹配是导出匹配的条件．     

二部图匹配的一个判别条件

根据Hall定理,二部图G=(V1,V2;E)有一个浸润V1匹配的充要条件是:SV1,N(S)∩V2≥S,即V2中与V1的任一子集S相邻的顶点数不小于S中的顶点数。当V1中的顶点数较多时,用该条件判定较为困难。本文给出了一个基于顶点度判别二部图有浸润匹配的条件,并应用该条件解决了一个关于图的二划分的问题。     

两类图的导出匹配覆盖

目的解决某些图类的导出匹配覆盖问题,特别是两条路的乘积图和非平凡树。方法采用猜想、推理、算法构造等方法进行证明。结果证明了如果图G是两条路的乘积图,则导出匹配覆盖数imc(G)∈{2,3};如果图G是一个非平凡的树,则0Δ(G)≤imc(G)≤2Δ0(G) 1,其中Δ0(G)=max{d0(u):u∈V(G)}。结论导出匹配覆盖问题的研究对于导出匹配理论的研究和应用都具有重要意义。     

导出匹配可扩偶图的度条件

称简单图Ｇ为导出匹配可扩图，若Ｇ的任一导出匹配均含于Ｇ的完美匹配中。本文给出了导出匹配的可扩偶图的一些度条件。     

导出匹配可扩图的度和条件

称一个简单图Ｇ是导出匹配可扩的,缩写为ＩＭ－可扩的,如果Ｇ的每一个导出匹配都包含在一个完善匹配中,研究导出匹配可扩图的度和条件,主要结果如下：（１）若图Ｇ有２ｎ个顶点,且对于Ｇ中每一对不相邻的顶点ｕ和ｖ,ｄ（ｕ）＋ｄ（ｖ）≥２「４ｎ／３」－１,则Ｇ是出匹配可扩的;（２）若Ｇ是一有个有２ｎ个顶点的无爪图,且对于Ｇ中每一对不相邻的顶点ｕ和ｖ,ｄ（ｕ）＋ｄ（ｖ）≥２ｎ＋３,则Ｇ是导出匹配可扩的。同时,说     

多部图的导出匹配可扩性

k-部图G指图的顶点集V(G)被剖分成k个子集,使每一条边所关联的两个顶点不在同一个子集之中.主要研究了完全多部图的导出匹配可扩性,给出了完全多部图是导出匹配可扩图的充要条件.     

n-正则(n-2)-边可删的导出匹配可扩图

设图G是有2n个顶点的简单图,如果对于E(G)的任一满足|F|=k的子集F,G-F均为导出匹配可扩的,则称图G是k-边可删的导出匹配可扩图.证明了n-正则(n-2)-边可删的导出匹配可扩图只有Kn,n,其中n≠4k,k≥3.     

最小度确定时最大匹配个数的估计

文章讨论了K_(n,n)的生成子图有完美匹配的条件,以及对K_(n,n)的生成子图的最小度确定时,得到了它的最大匹配数的一个下界.     

直径是2的图的导出匹配可扩性

研究直径是2的图和直径是3的树的生成母图的导出匹配可扩性; 给出了一类导出匹配可扩的拟轮图, 并研究了直径是3的树加边的导出匹配可扩性.     

匹配多项式的若干性质

给出了匹配多项式的高阶微分性质,积分性质以及图和它的导出子图之间的匹配数关系．     

导出匹配可扩图的度和条件(英文)

称一个简单图G是导出匹配可扩的,缩写为IM-可扩的,如果G的每一个导出匹配都包含在一个完美匹配中.研究导出匹配可扩图的度和条件,主要结果如下     

拟轮图的导出匹配可扩性

从导出匹配可扩图的定义、结构出发,研究了拟轮图的性质, 构造了一类新的导出匹配可扩图Γn. 主要结果如下:(1)判定具有奇数个顶点的图几乎导出匹配可扩性是co-NP-完全的. (2)Γn中的任何一个图均是边数为5n-6的导出匹配可扩的拟轮图.     

一类1-边可删的导出匹配可扩图的刻画

设图G是有2n个顶点的简单图,如果删去G的任意k条边后得到的图是导出匹配可扩的,则称G是k-边可删的导出匹配可扩图.给出了4-正则、不包含K1,4作为导出子图、1-边可删的导出匹配可扩图的完全刻画.     

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

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

结合图的导出匹配可扩性

简单图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中一个有完美匹配,另一个有几乎完美匹配.     

循环图中部分图类的导出匹配可扩性

如果一个图的任何一个导出匹配都能包含在一个完美匹配当中,就称之为导出匹配可扩的.对有2n个顶点x1,x2,…,x2n的图,如果对于i-j≡±1(mod2n)或者i-j≡±k(mod2n)的i和j,均有xixj∈E(G,)则称其为步长为1和k的循环图,记为C2n(1,k.)通过详细讨论循环图的导出匹配可扩性,具体给出了循环图中的部分图类的导出匹配可扩性。     

超欧拉图判定方法的一个注记

通过对图的奇顶点的导出子图做研究,得到了由奇顶点的导出子图的性质判定图的超欧拉性的方法,即当图的奇顶点的导出子图满足一定性质时,可得出图的超欧拉性.     

二部图最大匹配的快速动态优化算法

建立了二部图C=（V，U，E）的二级优先匹配规则，在此规则下，用改进的深度优先搜索对匹配算法进行改进，使得算法能够根据连通分量的个数动态优化算法的性能，使动态最大匹配算法的时间复杂度提高到0（max（｜V｜，｜E｜，m｜E｜））．     

多部图的最大匹配算法

匹配理论是图论中一个重要的分支,已被广泛地应用于许多领域,如组合优化、线性规划、人工智能和矩阵论等.给出一个求解多部图的最大匹配算法,并用仿真例子说明其实用性和有效性,此算法为解决复杂的指派问题开辟了新途径.     

图中顶点子集的边连通度与最优分级边连通图的构造问题

G =(V ,E)是无向连通图 ,无环允许有重边 .S是V的至少包含两个顶点的子集 ,S的边连通度λG(S)被定义为使S中的顶点不属于同一连通分支所需去掉的最少边数 .给定集合V和V的一个划分V =V1∪V2 ∪…∪Vr(|r|≥ 1,|V1|≥ 2 )以及正整数序列k1>k2 >… >kr≥ 2 .记Si=V1∪V2 ∪…∪Vi,1≤i≤r.构造一个连通图G =(V ,E)满足 :λG(Si)≥ki(1≤i≤r)且边数 |E|最小 .这种图G称为与所给划分和正整数序列相对应的最优分级边连通图 .在给出顶点子集的边连通度概念的基础上 ,本文提出并讨论了有关最优分级边连通图的构造问题