摘要：
"题目链接" 把机器A的n个模式作为n个左部节点，机器B的m个模式作为m个右部节点，每个任务是一条边，连接a[i]和b[i]。由于每个任务需要在A和B之间选一个，所以求这个二分图的最小点覆盖就相当于用最少的模式完成任务。 由König定理，二分图最小点覆盖包含的点数等于二分图最大匹配包含的边数。所以 阅读全文
摘要：
"题目链接" 蒟蒻来写一篇 KM算法 的题解。 首先，如果所有线段不相交，那么线段长度之和一定最小。证明很简单，在这里不再赘述。（提示：三角形两边之和大于第三边） 那么这道题就转化为了一道带权二分图匹配问题，可以使用费用流求解。又由于黑白点数相同，所以带权最大匹配一定是完备匹配，故可以用KM算法求解 阅读全文
摘要：
本蒟蒻最近在复习图论，听机房里的大佬说这道题是一道差分约束裸题，就跑过来做了这道题。 简单介绍一下差分约束系统： 差分约束系统 就是给出n个变量$x_{i}$，在m个形如$x_{i} x_{j}\le c_{k}$的不等式的约束下，求解所有满足这些不等式的解。 而查分约束系统可以通过图论解决。我们可 阅读全文