![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
2-SAT
芋智波佐助
菜鸟一只
展开
-
LA 3211 Now or later / 2-SAT
每架飞机只能在E L 这2个时间点降落 每2架并且降落的时间间隔必须大于等于p才算安全 目标使p尽量大 二分时间间隔 做2-SAT 有解说明可行 xi = true 表示选择E false 选择L 如果 abs(Ei - Ej) 建图 上模版 #include #include #include #include using namespace std; const int原创 2014-01-28 16:37:54 · 1330 阅读 · 0 评论 -
HDU 3622 Bomb Game / 2-SAT
刚刚学 看到很多网上和书上有直接逐点判断的dfs暴力算法 加上今天事情特别多 看了半天 也可以用tarjan判断 这个有空在学 题意不用说了吧 就是求一个半径 n个炸弹吧 每个可以选择2个点之中的一个放 一定要选一个 比你多也不能少 以这n个点为圆心的圆不能相交 然后主要是每次二分建图 假设有(u1,u2) (v1, v2)一对 并且当前二分的半径是mid 如果 u1 和 v1的距离小于m原创 2014-02-20 21:09:47 · 1067 阅读 · 0 评论 -
Light OJ 1251 Forming the Council 2-SAT输出任意一组解
题目来源:Light OJ 1251 Forming the Council 题意:若干了条件至少满足一个 求是否有方案 输出任意一种可能的方案 留下的人的个数 思路:2-SAT基础题 #include #include #include using namespace std; const int maxn = 100010; int n, m; vector G[maxn*2];原创 2014-06-06 18:42:31 · 1030 阅读 · 0 评论