新笔趣阁

第四百五十三章 柯尼希定理图论（第1页）

柯尼希定理由XDénesK?nig于1931年提出的图论领域的定理，用于说明在二分图中最小点覆盖的点数于最大匹配数的相等性。此外Jen?Egerváry在同年同样独立地将其提出，并拓展到了有权图的范围。

柯尼希知道的图论的重要性，开始研究图论，从最简单的二分图入手。

柯尼希说：“二分图是一种可以把点集分成两部分，每一部分不能有线相连，只能让这两个部分有线相连。”

XDénesK?nig说：“如果一个匹配中，图中的每个顶点都和图中某条边相关联，则称此匹配为完全匹配，也称作完备匹配。”

柯尼希说：“最小点覆盖的点数等于最大匹配数。”

XDénesK?nig为了验证柯尼希的说法，开始自己画图连线。

我们称下图中的下部分点集合为L，上部分的点集合为R。从左至右给下部分的每个点标号为1，…，7；并给上部分的点标号为8，…，14。令U为L中未匹配的点的集合，U1。从U出发的增广路径为1103137，1103115137，1115137，1115103137及它们的子路径，那么构造性证明中的集合Z为1，3，5，7，10，11，13，可以得到LZ2，4，6，R∩Z10，11，13，所以最小覆盖K2，4，6，10，11，13。

请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。

相邻推荐:[娱乐圈]进击的社畜  快穿之咸鱼帮主角攻拆CP  被人外反向攻略了  综漫之美人姜  媚妾为后  老实人，但恐怖文的怪物们[快穿]  我是表妹（快穿）  废材弃婿竟是天帝  [原神]从NPC开始的异世界生活  一本杂录  在真善美漫画当反派  消渴  炼器师［无限]  六零年代之学霸夫君很难哄  谍海潮生  海贼们的白月光都是我马甲  荒木庄开局有救吗？  我舅舅才不是大坏蛋！  酷夏  郎艳独绝世无其二