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 · 1343 阅读 · 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 · 1081 阅读 · 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 · 1037 阅读 · 0 评论