柯尼希定理由
xdenes
k?nig
于1931年提出的图论领域的定理,用于说明在二分图中最小点覆盖的点数于最大匹配数的相等性。此外jen?
egervary在同年同样独立地将其提出,并拓展到了有权图的范围。
柯尼希知道的图论的重要性,开始研究图论,从最简单的二分图入手。
柯尼希说:“二分图是一种可以把点集分成两部分,每一部分不能有线相连,只能让这两个部分有线相连。”
xdenes
k?nig说:“如果一个匹配中,图中的每个都和图中某条边相关联,则称此匹配为完全匹配,也称作完备匹配。”
柯尼希说:“最小点覆盖的点数等于最大匹配数。”
xdenes
k?nig为了验证柯尼希的说法,开始自己画图连线。
我们称下图中的下部分点集合为l,上部分的点集合为r。从左至右给下部分的每个点标号为1,…,7;并给上部分的点标号为8,…,14。令u为l中未匹配的点的集合,u={1}。从u出发的增广路径为1-10-3-13-7,
1-10-3-11-5-13-7,
1-11-5-13-7,
1-11-5-10-3-13-7及它们的子路径,那么构造性证明中的集合z为{1,3,5,7,10,11,13},可以得到lz={2,4,6},rnz={10,11,13},所以最小覆盖k={2,4,6,10,11,13}。
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。
相邻推荐:她见青山 我在死亡副本当管理员 误扒夫人马甲后,江爷又被罚跪了 醋缸王爷只想追媳妇儿 末世后我成了疯批alpha们的安抚剂 在明末奋斗 穿到虫族和军雌相亲 你我相遇 死神不来了 剑神韩友平第一部 攻略对象变成室友后,他不对劲 春过辽河滩 穿越成雍正女儿后 等等我 尘封的仙路 你不是说拍完必亏的吗 重生后,我成了仇人的掌上明珠 撩惹疯批顶E,笨蛋少爷他逃了 怪物崽崽和他的怪物监护人 花断魂