清羽

摘要： 对转化为最小割模型的理解：所有的人流都必须上升1 阅读全文

摘要： König定理的证明最大匹配数不超过最小覆盖数显然成立。两两匹配的节点中至少选一个。否则必有边不匹配。任取一个最小覆盖Q，一定可以构造出一个与之大小相等的匹配M显然成立。每个点连一条匹配边，则这条边的另一端一定可以是一个不在覆盖中的点（否则可以把这个点删掉，则不是最小覆盖）。故匹配与之大小相等。同理... 阅读全文