一类图匹配唯一的充要条件.pdfVIP

第 37卷 第4期 西 南 师 范 大 学 学 报 (自然科学版) 2012年 4月 Vo1．37 No．4 JournalofSouthwestChinaNormalUniversity(NaturalScienceEdition) Apr． 2012 文章编号：1000—5471(2012)04—0024一O5 一 类 图匹配唯一的充要条件① 乔友付， 詹福琴 河池学院数学系，广西 宜州 546300 摘要 ：利用 匹配多项式 的特征标和最大实数根 的分布规律证 明了：当 ≥1时 ，T(1，1， ，5，1)匹配唯一 的充要条 件是 ≠1，2，4，5，8． 关 键 词 ：匹配多项式；匹配等价 ；匹配唯一性 ；特征标 ；最大实数根 中图分类号 ：O157．5 文献标志码 ：A 本文仅考虑有限、无向简单图．图G的一个匹配是指G 的一个生成子图，它的每个分支或是一个孤立 点或是一条孤立边．t一匹配是指有t条边的匹配．文献[1]定义图的匹配多项式为 (G，)一∑(一1)P(G，t)x ≥O 其 中P(G，)表示G的t一匹配的数 目，P(G，O)：1．对两个 图G和H，若有 (G，z)一 (H，z)，则称 G 和H匹配等价，记为G～H．若与图G匹配等价的所有图H 均有H 兰 G，则称 G是匹配唯一的． 自文献[2]引入 图的匹配多项式概念 以来 ，对图的匹配唯一性和匹配等价性的研究已有部分结果 ，所 用方法大多为比较匹配多项式的系数或最大实数根l3]，但刻画点和边较多的图的匹配性是相 当困难的， 因此还存在许多问题有待研究．本文利用图的特征标及最大实数根的分布规律完整刻画了T(1，i， ，5， 1)及其补图的匹配唯一性． 设G是有 个顶点的图， (G)，E(G)，(G)，q(G)，G分别表示图G的顶点集 、边集 、顶点数 、边数及补 图．GUH表示图G和H 的不交并 ，nG表示 n个G的不交并． ()表示图G中顶点 的度．M (G，sc)表 示图G的匹配多项式 (G，z)的最大实数根． 为方便 ，本文用 (G)表示 (G，sc)，M (G)表示M (G， )， (口，b，c)和 (n，b，n，c， )分别表示 (T(a，b，f)， )， (T(n，b， ，C， )，ac)，M(a，b，c)和M(a，b，1l，C， )分别表示 M(T(口，b，c)，Jc)， M (T(a，b， ，C，d)，z)．设 F是图H 的连通分支 ，且 M(F)一M(H)，则称 F是图H 的特殊分支． 文中所给图的匹配多项式的最大实数根均由Mathematica4．0计算所得 ，其它未特别说明的概念和术 语均参见文献[3]．为证明需要 ，还需定义下列图类 (如图 1所示)： P 和C 分别表示 个顶点的路和圈； T(a，b，c)(“≤ b≤ c)表示从一顶点分别引出3条长为 a，b，C的路所得到的图； D… 表示把C 的一个顶点和P什 的一个 1一度点重迭后得到的图； T(a，b， ，C，)表示从P井 的两个 卜度点分别引出两条长为a，b和f，d的路所得到的图，特别地，当 盘一6一C===d一 1时，该图表示为U ； ① 收稿 日期 ：2O11—02—22 基金项 目：国家 自然科学基金资助项 目；广西教育厅科研项 目(201010LX471；201010LX495；2011061X595；201106IX608)；河 池学院重点科研项 目(2011YBZ—N003)． 作者简介 ：乔友付(1978一)，男，安徽霍邱人，讲师，主要从事图论及其应用的研究． 通信作者 ：詹福琴． 第 4期 乔友付 ，等：一类图匹配唯一的充要条件 25 当a≥3，b≥2，c≥2时，设 “和砌是C 的两个不 同的顶点，C ( ，P)表示将 P 和P 的一个 1一度 点分别与 “和