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