天羽屠龙舞

/*2-sat问题初破！题意：每一对炸弹只能选一个（明显2-sat），每个炸弹半径自定，爆炸范围不可 相交，求那个最小半径的最大值（每种策略的最小半径不同）。思：最优解：必然是选择的点最近 的俩个距离/2，其他半径大小无纺，不妨设他们都为该最小半径。求最小值最大，二分答案，每次判定 R是否可行，可行就往大的搜索，注意精度r-l 点在同一个SCC中即可。*/ #include //G++

Go Deeper 题意：确定一个0/1数组（size:n）使得满足最多的条件数。条件在数组a,b,c给出。 吐槽：哎，一水提，还搞了很久！关键是抽象出题目模型（如上的一句话）。以后做二sat：有哪些是点，哪些是条件，分清！，然后注意细节。这次居然因为里面一个小错误： 判断有无解的时候，i与i+1是否在一个SCC中的时候，i居然没有每次+2!而是++！傻X了。。。囧！还一直以为自己二分写错。

本文原创于  2014-02-12 09:26。 今复习之用，有新体会，故重新编辑。 2014-02-12 09:26： 2-sat之第二斩！昨天看了半天论文（赵爽的和俉昱的），终于看明白了！好激动有木有！终于理解了赵爽的每一句话！并且用了200+行代码实现，A了！具体过程我是敲了帮天的代码啊！！！不容易啊！步骤如下： 把相关问题编号为01 23 45....，（每个编号为一个命题）

好久没有2-sat了，此题当复习之用，二分求最大值+2-sat判断可行，此题主要跪于题意：The results should be rounded to three decimal places. You should promise that there is still no overlap for any two balloons after rounded. rounded是四舍五入

这次已经不是2sat的问题了，相信2sat已经不是问题了，最后一题2sat，竟然跪在输入上！ 千万注意scanf(%c)!读入！！！！有空格也读啊！！！读入+ -一定要用字符读啊？？笨死算了！被人水死！为人岂自甘下流栽！！好好努力！ 对于+1 -1 这样带符号的，直接%d读入判断符号即可啊！切记！！！ #include //1688MS 第一页有木有！ #include #i

题意：图上n个点，使每个点都与俩个中转点的其中一个相连（二选一，典型2-sat），并使任意两点最大 距离最小（最大最小，2分答案），有些点相互hata，不能选同一个中转点，有些点相互LOVE，必需选相同中转点 （显然是2sat条件）。 关键：每次二分枚举limit，按limit建图，需要注意的是每条逻辑语句对应两条边（相互对称，逻辑上互为假言易位）， 如：必需连通一个点，逻辑语句俩条：a-

关键是题意的理解，英语，有时候明明每个字都认识，但是还是理解错误!哎！！悲剧啊！题意啊！ 这是关键！开始误理解为n对新娘郞，非也！是只有一对，其他是夫妇，理解后就好做了，建立图 是关键，怎么转化关系，对到2sat问题上来，不妨设坐在新娘一排的是要“选择”的，那么对每组读入 ，必需至少一个要选择，（柳暗花明啦？！）然后标号，2-SAT即可。 没有1A原因： 1：题意到关系一误：特殊情况：当

典型的2-sat问题，题意：有m个门，每个门上俩把锁，开启其中一把即可，现在给n对钥匙（所有 钥匙编号0123456...2n-1），每对钥匙只能用一把,要求尽可能开门多（按顺序，前max个）。 关键是题意的分析与转化，只能选一？必然2-sat，每给一对门上的锁对应钥匙的编号，说：必需要这 俩把钥匙的一把（至少），即：a^b，所以，建图了可以，总结通法：对应的数据编号：0123..，每个

比较水的题~ 无聊玩玩练练手速~#include #include #include #include #include using namespace std; const int MAXN=1005*2,MAXE=2005*2005; vector >v(MAXN); int ins[MAXN];int dfn[MAXN];int low[MAXN]; int times;stacksta;