一个图的匹配数条件.pdfVIP

维普资讯 1999年 6月 应用数学与计算数学学报 第 13卷 第 1期 June，1999 C0MM ．0N APPL．MATH．AND C0MPUT V0l-13 No．1 一 个 图的匹配数条件 王世英 刘 岩 =()t j搴，II大学数学暮，郄，IIt 4~oo52) 摘要 设 G是一十 筒单圉．在圉 G 中任意一个最大匹配的基数 口q做 G 的匹 配效，记作 (G)．在这篇文章中我们获得 了下面的结果． (1)设 G是连通的和不 完全 的，刚对于 t， EV(G)和 z F(G)，v(G一 {t，】)=p(G)一1的充分必要 条件是 (a)G {G)】是完垒的和 A(G)的每一个点和 C(G)的每一十点相郇， (b) c(D(G))= lA(G)I+ 1，和 (c) ∈D(G—z)对于 t， ∈c(G)．(2)设 G是连通 的和不 完全 的．则v(G一{z．1)=v(G)一2对于 t，EV(G)和 z F(G)的充分必要条件 是 G兰 …，，其 中T‘2． 美键词 ：匹配数，最大匹配，目于临畀凰 图 衙 ， 1．引 言 在这篇文章 中被考虑的图是有限的和简单的．设 G是一个图．为了方便读 者，我们下面介绍一些定义和符号． 一 个图G称为是因子临界的，如果对于每一个 ”∈ (G)，G— 有一个完美 匹 配 ． 在一个图G中．一个几乎完美匹配是它仅不覆盖G的一个点． D(G)表示 (G)的一个子集，它的每一个点至少有一个最大匹配不覆盖它． A(G)表示 (G)一D(G)的一个子集，它的每一个点至少和 D(G)的一个点相邻． 最后设 (G)= (G)一A(G)一D(G)． 设 G 表示 由S导出的G的子 图． V(A，D)表示一个线集，它的每一条线的两个端点，一个在 ，另一个在 D． 在图G中任意一个最大匹配的基数叫做 G的匹配数，记作 (G)． 本文未介绍的术语与符号见文 1【]- 定理 1．1([1])(G,dlai．Eh(．o．ds结构定理)如果G是一个图且D(G)，A(G)和C(G) 如上述定义，则 ： (a)由D(G)导出的子图的每个分支是因子临界的 (b)由C(G)导出的子图有一个完美匹配 ； (c)在 G中去掉 (G)和 A(G)诸点问的连线，把 D(G)的每个分支收缩为一 点，这样得到的二部 同有正盈量 (从 (G)看)： (d)如果 是 G的任意一个最大匹配，则它包含 D(G)的每个分支的一个几 本文 1998年 B月 BH收到． ’工作革位 ：新疆大学经济研 究所 维普资讯 应用数学与计算数学学报 l3卷 乎完美匹配， c(G)的每个分支的一个完美 匹配，并且它匹配 A(G)的所有点与 D(G)的不同分支的点； ‘ (e)v(C)=-1．(1(G)l_c(D(G))+lA(G)1)，其 中c(D(G))表示 由D(G)导出的图的 分支的数 目． 定理 1．2(1【1)(稳定性 引理)设G是一个 图且 A(G)．c(G)和D(G)如上述定义． (a)若 Ⅱ∈A(G)．则 A(G一 “)=A(G)一 C(G一 “)：c(c)和 D(G一”)=D(G)． (b)若 Ⅱ∈c(G)．则 A(G一Ⅱ) A(G)， G—u) C(G)一u和 D(