摘要：
2-SAT问题，其实是一个逻辑互斥问题。做了两道裸题之后仔细想来，和小时候做过的“有两个女生，如果A是女生，那么B一定不是女生。A和C性别相同，求A、B、C三人的性别。”几乎是一样的。对于这道题我们来分析一下。“如果A是女生，那么B一定不是女生”——A和B性别相反，假设“A为女生”为true，那么“ 阅读全文
摘要：
题目链接：https://cn.vjudge.net/contest/209473#problem/C 先谈一下二分图相关： 一个图是二分图的充分必要条件： 该图对应无向图的所有回路必定是偶环（构成该环形的边的数量为偶数）。暂时不证明，后证。 那么怎么判断一个图的回路是奇环还是偶环呢？ 交叉染色法。 阅读全文
摘要：
题目链接：https://cn.vjudge.net/contest/209473#problem/B 题目大意：对于n个数字，给出sum[j]-sum[i](sum表示前缀和)的符号（正负零），求一组n个数的的可行解（n个数都在-10——10之间）【保证一定有解】 解题思路： 第一反应！差分约束！ 阅读全文