2014年3月7日
LA3713 2-sat（用到两种矛盾关系）
摘要： 1 /*LA3713 2 典型的2-sat模型 3 宇航员分两类： 4 1、年龄少于平均 young 5 2、至少为平均 6 矛盾： 7 情况一：如果两个宇航员属于同一类且相互矛盾的话，则他们两个的选择一定是不相同的 8 情况二：如果不属于同一组相互矛盾，不能同时选C任务 9 建... 阅读全文
posted @ 2014-03-07 01:40 little_w 阅读(443) 评论(0) 推荐(0)
【算法总结】2-sat中对象的5种矛盾关系及其连边方式
摘要： 部分参照：From:http://blog.csdn.net/jarjingx/article/details/8521690综述：每个条件的形式都是x[i]为真/假或者x[j]为真/假，每个x[i]拆成2*i和2*i+1两个点，分别表示x[i]为真，x[i]为假；加的每一条边之间的关系是and模型一：两者（A，B）不能同时取（但可以两个都不选）说明：A为假或B为假那么选择了A就只能选择B’，选择了B就只能选择A’连边A→B’，B→A’模型二：两者（A，B）不能同时不取（但可以两个都选）说明：A为真或B为真那么选择了A’就只能选择B，选择了B’就只能选择A连边A’→B，B’→A模型三：两者（A 阅读全文
posted @ 2014-03-07 01:39 little_w 阅读(290) 评论(2) 推荐(0)
LA3211二分答案+2-sat+总结的此类问题统一建模方法
摘要： 1 /*LA3211 2 2-sat+二分答案 3 现在统一建模的方式： 4 1、同一组的两个状态分别存储在2*i和2*i+1两个节点，产生2*n个节点 5 2、for(int i=1;i 15 #include 16 #include 17 #include 18 #include 19 #include 20 #include 21 #include 22 #include 23 #include 24 #include 25 #include 26 #include 27 #include 28 #include 29 #define INF 0x... 阅读全文
posted @ 2014-03-07 00:41 little_w 阅读(212) 评论(0) 推荐(0)
HDU3622二分+2-sat
摘要： 1 /*HDU3622 2 这道题是2-sat问题的体型之一，二分答案，2-sat判断是否有自适应的解，从而找到最大的最小值或最小的最大值 3 这道题有一定的思维上的难度。 4 二分半径，若不同组的两个点i和j间的距离小于2*rad，则i和j是矛盾点，连上相应的边，求2-sat即可。 5... 阅读全文
posted @ 2014-03-07 00:18 little_w 阅读(248) 评论(0) 推荐(0)