2-SAT
zxyoi_dreamer
退役了退役了爬了爬了,搞个锤子算法竞赛,不如好好享受大学生活。
展开
-
【JOISC 2020】【LOJ3272】【UOJ502】汉堡肉(2-SAT)
题解:如果你不去看数据范围很容易就觉得这是一道不可做题。感觉如果 KKK 再大一点也可能就是 NP-Hard 了。首先求出左边界最大值 mxLmxLmxL,右边界最小值 mnRmnRmnR,上边界最小值 mnUmnUmnU 和下边界最大值 mxDmxDmxD,显然任何一组解都可以通过平移走到这几条直线上。当 K≤3K\leq 3K≤3 的时候由抽屉原理可知必然有至少一个点在这几条线的交点处...原创 2020-04-01 18:27:59 · 708 阅读 · 0 评论 -
【JSOI2019】精准预测(2-SAT)(拓扑排序)(bitset卡常)
传送门省选考常数优化,卡空间卡复杂度?惊了题解:读完题知道很显然的2-SAT模型。每个人按照时间建立若干个点,表示他在这个时刻是否存活,然后按照题目给的关系连有向边(注意不要忘记连反向边)。存活时间向前连边,表示在这之前它都是活的,死亡时间向后连边,表示从此刻开始都是死亡状态。很容易发现由于我们都是规定在某个条件下某个人必死,所以图是一个DAG。要最大化一个人存活时候总存活人数,那么...原创 2019-10-25 19:55:51 · 188 阅读 · 0 评论 -
【模板】2—SAT问题
参考题目:洛谷P4782解析:联赛完后统一更模板题题解。代码:#include<bits/stdc++.h>using namespace std;#define ll long long#define re register#define gc getchar#define pc putchar#define cs constinline int geti...原创 2018-11-06 11:17:22 · 204 阅读 · 0 评论 -
【51nod1318】最大公约数与最小公倍数方程组(2-SAT)(数论基础)
传送门吐槽:从各种意义上都难以形容的一道题。好想到是好想,写起来真的。。。一言难尽。。。(社论) 题解:显然考虑分质因数来处理。我们考虑每个数中当前处理的质因子的次数。显然gcdgcdgcd和lcmlcmlcm此时就变成了一堆关于min,max\min,\maxmin,max的限制。对于每个数,显然次数不会超过303030,我们拆点来表示xix_ixi的次数,但是如果一个点...原创 2019-07-24 16:34:37 · 208 阅读 · 0 评论