摘要：
1二分图最大匹配必须边可行边 顾名思义，必须边，指无论哪一种二分图最大匹配方案，都有这一条边。可行边，指在某一种二分图最大匹配方案找中有这一条边。 2判定 对于完备匹配来说，任意的最大匹配方案，若是匹配边，则从右部点向左部点连有向边，若不是匹配变，则从左部点向右部点连边，在这张图上跑tarjan求强 阅读全文
摘要：
1二分图最大匹配 在一张二分图中选出最多的边，使得边两两不相交。 2求解 2.1匈牙利算法 即不断地尝试匹配，有人抢就放弃的算法。 #include<iostream> #include<cstdio> #include<cmath> #include<algorithm> #include<cst 阅读全文
摘要：
1 2-SAT问题 有n给变量$x_i$，每一个变量有两个可能的取值$x_{i,0},x_{i,1}$，显然，总共的方案数为$2^n$， 有m个约束条件，每一个约束条件形如：如果$x_i$赋值为$x_{i,p}$，则$x_j$赋值为$x_{j,q}$。问在这m个约束条件下，是否存在一种合法的方案，如 阅读全文