树的匹配覆盖

设图G没有孤立点.图G的匹配覆盖数,记为mc(G),是指满足如下条件的最小正整数k:G有k个匹配M1,M2,…,Mk覆盖图G的所有顶点.证明了如果图G是一个树,则mc(G)∈{Δ0(G),Δ0(G) 1},其中Δ0(G)是指使得图G的某个顶点有l个一度邻点的l的最大值.而且,任给一个树G,给出了一个可以确定图G的匹配覆盖数的线性算法.     

2

马海成 《内蒙古大学学报(自然科学版)》2005,(5)

两类图的导出匹配覆盖

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

结合图的导出匹配可扩性

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

两类图及补图的匹配惟一性

设G是简单图,用μ(G,x)表示图G的匹配多项式,若μ(G,x)=μ(H,x),则称G与H是匹配等价的,记为H~G.若H~G可导出H G,则称图G是匹配惟一的.在此基础上研究了T形树的匹配惟一性,证明了T(m,m 1,m 2),T(m,m 1,m 3)(m≥1)及补图是匹配惟一的.     

循环图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-偶匹配可扩性的.     

具有2<γ(G)<3/2√2图的刻画

利用路树的性质研究了图的匹配最大根γ(G)对图的刻画问题,刻画出了γ(G)处在区间(2,3/2√2)内的所有图类.     

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

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

给定零维数的单圈图研究

设G是n阶简单图,G的零特征值的重数记作G的零度(记作η(G)).本文考虑n阶(n≥6)单圈图,刻画η(G)=n-6和η(G)=n-7的所有n阶单圈图.     

可扩图的一些性质

设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的匹配。     

关于偶匹配可扩图中删去两个点

设G是含有完美匹配的简单图.称G是偶匹配可扩的,如果G中导出子图是偶图的匹配M都可以扩充为G的完美匹配.研究了在偶匹配可扩图中删去两个顶点后该图的性质.这些性质对于偶匹配可扩图的进一步研究会有帮助.     

图的极大匹配能(英文)

Gutman和Wagner(The matching energy of a graph,Discrete Appl.Math.2012(160):2177-2187)首次提出了匹配能的定义,即:图的匹配多项式的所有特征根的绝对值之和称为图的匹配能.他们证明了在n个顶点的图中,完全图Kn有最大匹配能.本文完全刻画了具有第二大至第十六大匹配能的图.     

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

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

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

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

关于匹配等价图的构造

目的讨论简单无向图的匹配等价问题。方法利用匹配多项式的定义和性质推导。结果给出了2个匹配等价定理。结论找到了大量的匹配等价图。     

一种基于贝叶斯的渐进式图像匹配框架研究

提出了一种新的渐进式图像匹配框架,将图像匹配与图像概率更新结合在一起解决这一问题.该框架在当前匹配结果上,利用贝叶斯方法对最可信目标图像进行高效的重新估算,并且可保证提高后续的图像匹配效果.实验结果表明,与一次性图像匹配方法相比,所提方法的匹配性能更优.此外,即使是对外观发生变化及包含远离主体对象的图像场合,所提方法性能仍然健壮.     

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

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

求解单圈多部图的匹配算法

给出了一个多部图及其匹配问题的定义,提出了求解单圈多部图匹配问题的一个算法。该算法提出多部图顶点间的可达性定义,并使用试探与缩小规模相结合的方法以及求二部图的最大匹配算法,求解单圈多部图的最大匹配问题。经过验证,算法的效率比较高。     

基于线性图理论机构间隙的复合模型

基于牛顿欧拉方程和二状态运动的机构间隙模型,提出了一种建立机构间隙复合模型的新方法.该方法借助线性图理论作为建模的描述工具,在可扩展单元线性图(EELG)理论的框架下,引入功能点、开口边和自封闭边等概念,解耦与封装间隙作用体之间的流、势变量,形成机构的单元线性图模型与拓扑矩阵.仿真实例验证了所提出新方法的可行性.     

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

称图G是偶匹配可扩的,是指G的每一个偶匹配M都可以扩充为G的一个完美匹配.判定图是否是偶匹配可扩的是co-NP-完全问题,根据图的k-偶匹配可扩性完全刻画了循环图C2n(1,4)的偶匹配可扩性.