4类图完美匹配数目的显式表达式.pdfVIP

ComputerEngineeringandApplications计算机工程与应用 4类图完美匹配数 目的显式表达式 唐保祥 ，任 韩 TANGBaoxiang，REN Han 1．天水师范学院 数学与统计学院，甘肃 天水 741001 2．华东师范大学 数学系，上海 200062 1．SchoolofMathematicsandStatistics，TianshuiNormalUniversity，Tianshui，Gansu741001，China 2．DepartmentofM athematics，EastChinaNormalUniversity，Shanghai200062，China TANG Baoxiang，REN Han．Explicitformulaefornumberofperfectmatchinginfourtypesofgraphs．ComputerEngi- neeringandApplications，2013，49(19)：44—48． Abstract：M atchingcountingtheory isatthecoreofgraphtheory,sinceitisoriginsfrom bothphysics，computerscienceand chemistry．Buttheproblem ofcountingthenumberofperfectmatchingforgeneralgraphsisNP-hard．Byapplyingdifferentia- tion，summationandre—nestedrecursivecalculation，severalcountingfomr ulasoftheperfectmatchingofrfourspecifictypesof graphsaregiven．Bythepresentedmethod，thenumberofallperfectmatchingofmanygraphsthatthesamestructureisrepeated canbecalculated． Keywords：perfectmatching；linearrecurrencerelation；characteristicequation 摘 要：匹配计数理论是图论的核心内容之一，此问题有很强的物理学、计算机科学和化学背景；但是，一般 图的完美匹配 计数 问题却是NP一难问题。用划分、求和、再嵌套递推的方法给出了4类图完美匹配数 目的显式表达式；所给 出的方法， 可以计算出相 同结构重复出现的许多图的所有完美匹配的数 目。 关键词：完美匹配；线性递推式；特征方程 文献标志码 ：A 中图分类号：O157．5 doi：10．3778~．issn．1002—8331．1206—0203 1 引言 V川 ，分别连接路尸l与P 的顶点 “与V =l，2，…，n+1)所得 匹配计数理论是图论研究的重要 内容之一，在过去的 到的图，称为长为，z的梯子，记为 。 几十年中，它是快速发展的组合论中许多重要思想的源 泉，其研究成果已经在多个领域得到应用”。此问题引起 2 结果及其证明 一 些学者的广泛研究，也得到了许多特殊图类完美匹配的 定理 12n个 4圈为 Cl1：“f1“l2zfl3Uf4Ufl，Cf2：V“Vf2V3V41，f1 计数公式 。遗憾的是，Valiant证明了一个 图(即使是偶 (f=1，2，…，，z)，连接圈Cfl，C2的顶点 “f1与V Uf3与 V3； 图)的完美匹配计数是 NP．难问题 。因此 ，不存在计算图 再连接 C C2与C… 1 ，C… 2 的顶点U2与 U… 4，v2与 的完美匹配图数 目的一般方法，要得到一个图的完美匹配 ． ． ． v… 4( 1，2，…，一1)。这样所得的图记为2一nDC4，如 的数 目是很