摘要：
题目链接 "BZOJ1997" 题解 显然相交的两条边不能同时在圆的一侧，$2 sat$判一下就好了 但这样边数是$O(m^2)$的，无法通过此题 但是$n$很小，平面图 边数上界为$3n 6$，所以过大的$m$可以判掉 C++ include include include include inc 阅读全文
摘要：
题目链接 "POJ1275" 题解 显然可以差分约束 我们记$W[i]$为$i$时刻可以开始工作的人数 令$s[i]$为前$i$个时刻开始工作的人数的前缀和 每个时刻的要求$r[i]$，可以通过如下限制满足： $$s[i] s[i 8] \ge r[i]$$ $$0 \le s[i] s[i 1] 阅读全文
摘要：
题目链接 "POJ1201" 题解 差分约束 令$a[i]$表示是否选择$i$，$s[i]$表示$a[i]$的前缀和 对$s[i] \quad i \in [ 1,50000]$分别建立一个点 首先有 $$s[i] s[i 1] \ge 0$$ $$s[i] s[i 1] \le 1$$ 然后就是限 阅读全文