(上部)匹配号码图形的有时称为边缘独立数的最大独立边集.等效地,它是匹配生成多项式的
哪里是的数字-匹配图形的.符号,,或有时也会使用。
匹配的数字也是最大的最大独立边集,而最小的最大独立边集被称为降低匹配号码.
满足
哪里是顶点计数属于,是楼层功能.相等仅发生在完美匹配,和图形有一个完美匹配 若(iff)
哪里是顶点计数属于.
匹配号码图形的等于独立数 第个,共个线形图 .
这个König-Egeváry定理表示匹配的数字等于顶点覆盖数(即最小尺寸最低限度顶点覆盖)等于二部图.
如果图形没有孤立点,然后
哪里是匹配的编号,是一个最低限度边缘保护层、和是顶点计数属于(West 2000)。
中提供了许多命名图的预计算匹配数Wolfram语言使用图形数据[图表,“匹配编号”].
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“匹配号码。”发件人数学世界--Wolfram资源。https://mathworld.wolfram.com/MatchingNumber.html