摘要：考虑霍尔定理和广义霍尔定理： 霍尔定理：对于一个左部图为 \(X\)、右部图大小为 \(Y\) 的二分图（钦定 \(|X|\leq |Y|\)），存在边数等于 \(|X|\) 的匹配的充要条件是：对于左部图的任何一个点集，右部图中和它相邻的点集大小都大于等于它（相邻的点集指的是所有点出边的并集）。 阅读全文

摘要：不妨先看一个子问题：太空飞行计划问题，它就是广为人知的“最大权闭合子图”模型。 在这道子问题中，仪器（机器）不能租用。我们考虑一个反悔的过程——开始先把所有实验的贡献算上，之后利用最小割模型去掉最小代价使得方案合法。 在最小割模型中，我们把所有实验、仪器都分别看成一个点。其中，源点向所有实验连一条容 阅读全文