CF 1903F:
考虑二分答案 \(ans\)。
可以得到这样的限制：
- 若选择了 \(x\)，则不可以选择 \(x+1,x+2,...,x+ans\)。
- 若未选择 \(u_i\)，则必须选择 \(v_i\)。
这是一个 2-sat 的形式。但限制 1 建边太多，可以用线段树优化建图。
CF 记录
发布时间 2023-12-14 22:01:46作者: tybbs
CF 1903F:
考虑二分答案 \(ans\)。
可以得到这样的限制：
这是一个 2-sat 的形式。但限制 1 建边太多，可以用线段树优化建图。