最大基数匹配 swMATH ID: 29532 软件作者： 克里斯汀·里兹卡拉 说明： 最大基数匹配。图G中的匹配是G的边的子集M，因此没有两个边共享一个端点。如果匹配的基数至少与任何其他匹配的基数一样大，则匹配具有最大基数。图G的奇数覆盖OSC是用整数对G的节点进行标记，使得G的每一条边都与标记为1的节点相关，或者连接标记为相同数量i≥2的两个节点。本文证明了埃德蒙兹定理。。 主页： https://www.isa-afp.org/entries/Max-Card-Matching.html 依赖项： 伊莎贝尔 相关软件： Why3号机组;Caduceus公司;最短路径;存档正式校对;图论;Dijkstra最短路径;seL4级;布吉;NQTHM公司;VCC（沃尔沃汽车公司）;CeTA公司;HOL公司;z3（零3）;卡拉卡拉;伊莎贝尔/HOL;毫升;LEDA公司;伊莎贝尔;HOL-Boogie公司;Coq公司 引用于： 1文件 4位作者引用 1 艾亚德·阿尔卡萨 1 Böhme，萨沙 1 库尔特·梅尔霍恩 1 克里斯汀·里兹卡拉 连载1篇 1 自动推理杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文