手机浏览器扫描二维码访问
第四百五十三章 柯尼希定理图论（第1页）
柯尼希定理由XDénesK?nig于1931年提出的图论领域的定理，用于说明在二分图中最小点覆盖的点数于最大匹配数的相等性。
此外Jen?Egerváry在同年同样独立地将其提出，并拓展到了有权图的范围。
柯尼希知道的图论的重要性，开始研究图论，从最简单的二分图入手。
柯尼希说：“二分图是一种可以把点集分成两部分，每一部分不能有线相连，只能让这两个部分有线相连。”
XDénesK?nig说：“如果一个匹配中，图中的每个顶点都和图中某条边相关联，则称此匹配为完全匹配，也称作完备匹配。”
柯尼希说：“最小点覆盖的点数等于最大匹配数。”
XDénesK?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}，R∩Z={10，11，13}，所以最小覆盖K={2，4，6，10，11，13}。
喜欢数学心请大家收藏：（aiquwx）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
CS：不是，你的残局靠请神啊？ 从流民到皇帝，朕这一生如履薄冰 全家逼我离婚，现在后悔有用么 带白月光回家，我离婚你悔啥？ 和扶弟魔老婆离婚后，我送她全家升天 重生后在前世死对头怀里兴风作浪 末世降临：我招收下属，获得百倍物资 系统盯上龙椅后，公主天天作死 我与仙子不两立 苟在末日，独自修仙 庆余年：范府大宗师 聊天群：开局获得赛亚人血脉 要离婚你高冷，再婚又发疯？ 重生1961，开局相亲对象就被截胡！ 离婚后，傅先生对她俯首称臣 一本杂录 糟了，那妖女也重生了！ 死亡来信 重生79，离婚后知青老婆她后悔了 弃我选白月光？我离婚你疯什么！
财运天降
陆原语录作为一个超级富二代装穷是一种什么体验？别拦着我，没有人比我更有资格回答这个问题！...
雪中悍刀行
这个江湖。有武夫自称天下第二一甲子。有剑仙一剑破甲两千六。有胆小的骑牛道士肩扛两道。但一样是这个江湖，可能是江湖儿郎江湖死，才初出茅庐，便淹死在江湖中。可能对一个未入江湖的稚童来说，抱住了一柄刀，便是抱住了整座江湖。而主角，一刀将江湖捅了个透！临了，喊一声小二，上酒...
斗罗大陆3龙王传说
伴随着魂导科技的进步，斗罗大陆上的人类征服了海洋，又发现了两块大陆。魂兽也随着人类魂师的猎杀走向灭亡，沉睡无数年的魂兽之王在星斗大森林最后的净土苏醒，它要...
全职法师
一觉醒来，世界大变。熟悉的高中传授的是魔法，告诉大家要成为一名出色的魔法师。居住的都市之外游荡着袭击人类的魔物妖兽，虎视眈眈。崇尚科学的世界变成了崇尚魔法，偏偏有着一样以学渣看待自己的老师，一样目光异样的同学，一样社会底层挣扎的爸爸，一样纯美却不能走路的非血缘妹妹不过，莫凡发现绝大多数人都只能够主修一系魔法，自己却是全系全能法师！...
闪婚厚爱：误嫁天价老公
简然以为自己嫁了一个普通男人，谁料这个男人摇身一变，成了她公司的总裁大人。不仅如此，他还是亚洲首富帝国集团最神秘的继承者。人前，他是杀伐果断冷血无情的商业帝国掌舵者。人后，他是一头披着羊皮的狼，把她啃得连骨头也不剩。...
最强狂兵
王猛，特种兵，代号暴王。此人凶残暴虐，狂猛无敌，乃兵之大凶！凶兵突然回归都市，策马江湖，再搅风云大佬们顿足捶胸放虎归山，控制不住了群号450242488狂兵部落...