有限集合上离散拓扑的计数.DOCVIP

PAGE PAGE 9 2类图完美匹配的数目 唐保祥1，2 任 韩2 (1.天水师范学院 数学与统计学院 甘肃天水 741001；2.华东师范大学 数学系 上海 200062) 摘 要: 图的完美匹配计数问题是匹配理论研究中的一个重要课题,此问题有很强的物理学和化学背景,历来引起众多数学家,物理学家和化学家的广泛关注.但是,一般图的完美匹配计数问题却是困难的.用划分,求和,再递推的方法给出了2类特殊图完美匹配数目的计算公式.所给出的方法,可以计算出许多二分图的所有完美匹配的数目.作为应用,计算出了一类棋盘的多米诺覆盖数目. 关键词:线性递推式;四角系统;棋盘;完美匹配 中图分类号: 文献标识码: 1 引言及定义 本文所指的图均是有限简单无向标号图(即顶点间是有区别的),未给出的定义见文献[1]. 图的完美匹配数作为一个很重要的拓扑指标,已经在多个领域得到应用.例如,估计共振能量和—电子能量,计算鲍林键级(pauling bond order)等[2—4].物理学家Kasteleyn用匹配理论研究磁学伊辛(Ising)模型时,首先提出用Pfaffian法计算图的完美匹配个数[5—6].目前,图的完美匹配计数已经引起了众多数学家,物理学家 和化学家的广泛关注[7—9].遗憾的是,L.Valiant在1979年证明了,一个图(即使是偶 图)的完美匹配计数是难问题.四角系统作为特殊图类,它的完美匹配计数与组合理论中棋盘的多米诺覆盖问题有关,又与统计晶体物理中的dimer问题有关[10—11].目前,有文献对一些特殊图类给出了完美匹配的计数方法[12—18] .本文给出了类特殊图完美匹配数的显式表达式. 定义1 设是2连通平面图,其每个内部面都是边长为1的单位正方形(又称细胞) ,且每条边至少属于一个细胞,则称为四角系统. 定义2 若图的两个完美匹配和中有一条边不同,则称和是 国家自然科学基金(批准号,上海市自然科学基金(批准号:07XD14011)和上海市重点学科建设基金(编号:B407)资助项目. 第一作者:唐保祥 (1961—) 男, 甘肃天水人, 副教授. 研究方向:图论和组合数学. E－mail: HYPERLINK mailto:tbx0618@ tbx0618@ 的两个不同完美匹配. 2结果及其证明 设表示一个的棋盘,其中, .容易知道的棋盘有完美匹配的充要条件是和中至少有一个是奇数. 定理设表示的棋盘(如图1所示)的所有不同的完美匹配数,则,其中, , , ; 其中, , , , , , , . 证明设的所有完美匹配的集合为,其中 显然有且, 于是由的定义容易知道,,. 设和是两个孤立顶点,令,如图2所示; ,如图3所示.显然图和存在完美匹配. 和分别表示图和的完美匹配数.由,和的定义知: ,,. 于是 (1) 注意到和图的完美匹配数相等,即都为所以,易知,,之间有关系式: (2) (3) 由(1), (2)和(3)式就有,当,时, (4) 当,时, (5) 由(4)和(5)式就知, ,无论是,还是总有 (6) 由(6)式就有, (7) (7)式的特征方程为 (8) 因为 所以方程(8)的根为 , , , . 因此,线性递推式(7)的通解为 (9) 由,的定义以及(2)和(3)式易,,,,. 再由(1)式和就有,,. 由初始条件,,和(9)式, 得方程组 (10) 其中, , , . 解线性方程组(10),得 , , , . 证毕. 推论对任意正整数,用表示棋盘的多米诺覆盖数目.则,其中的值由定理给出. 证明因为棋盘的每一个多米诺覆盖都唯一对应棋盘的一个完美匹配;反过来,对棋盘的任一个完美匹配,都唯一对应棋盘的一个多米诺覆盖.所以棋盘的多米诺覆盖的集合与棋盘的完美匹配的集合之间是对应的.所以就有.证毕. 例1 棋盘的一个完美匹配与棋盘的一个多米诺覆盖之间的关系如图4所示: 定理设是路,分别连结顶点和所得图记为,如图所示.()表示图的所有不同的完美匹配数, 则,其中,,; , 其中和是复数 的模和辐角的主值;是方程组 的解. 证明当时,图显然存在完美匹配.设的所有完美匹配的集合为,其中则且, 于是 求.因为所以与图的完美匹配数相等.由的定义知, 求.因为所以与图的完美匹配数相等. 图中,若则的这类完美匹配数为;若则易知的这类完美匹配数为.故. 综上所述, (11) (11)式的特征方程为 (12) 方程(12)的根为 , , . 设的模和辐角的主值分别为和,则线性递推式(11)的通解为 .