z451538473的专栏

题目大意：给出一个有向图，a到b的边表示a认识b，但是b不一定认识a。现在要把这些人分到两个队伍中，每个队伍中的人都必须相互认识，问两个队伍的最小人数差距是多少。看题解后发现要求补图，二分染色，再用DP求。不过DP部分真心不知道怎么写了，写了一个乱七八糟的DP，WA了几次没心情改了，就这样吧，等以后再回来做吧……

2011年北京现场赛的A题，今天下午做这套题，开场不久发现有两道全场题，然后我看A题，队友看B题，结果A题一直没有什么好思路，一开始想求一个最小生成树然后枚举删点，然后枚举一个没删的点和删掉的点人口和最大的点再找一条路连接起来，总之各种复杂……算了下复杂度O(n^3)果断超时了，优化也没想出来，队友提供了类似一个题解的思路但是由于当时没有预处理点，分析复杂度也是超时的就没继续想，现在想想真不应该啊

这题就是一道KM算法的模版题，下午做比赛的时候两个模版都是TLE，好不科学，比赛结束后去杭电交就成WA了，更不科学……后来发现是建图的时候写挫了T_T，要不比赛的时候就能多出一题了，还有一道匹配题也没敢写，一会就去写一下。话说根本不知道KM的实现啊，只知道抄模版，感觉自己好挫啊……#include #include #include using namespace std;#defin

经典2-SAT题目，之前做的一场比赛里面有一道2-SAT的题，当时没什么思路，之后看题解就想学一下2-SAT，今天终于把这个模版题做出来了。感觉2-SAT还是图论里面综合性比较强的题目，需要用到tarjan缩点和拓扑排序，建图的时候也挺纠结的。这题的大意就是说一些夫妻去参加聚会，其中一些人两两之间可能有不正常关系（比如搞基，百合什么的），同一对夫妻不能坐在同一边，有特殊关系的两个人也不能在同一边。

我做的第一道差分约束题，把求满足不等式的解的个数最值问题转化成求最短路真是神转化，看半天才看明白这到底是什么意思。这题中给的不等式是1 问要满足这些条件至少需要多少个数。通过不等式我们能得到一个方程，令s(i)表示从最左边的点到第i个点满足约束条件的情况下至少需要多少个点，因为要保证所有子区间也要满足条件，所以应取最大值，这样就转化成了一个SPFA求最长路的问题。SPFA最长路的松弛条件为dis[