浅谈2-SAT(待续)
2-SAT问题,其实是一个逻辑互斥问题。
做了两道裸题之后仔细想来,和小时候做过的“有两个女生,如果A是女生,那么B一定不是女生。A和C性别相同,求A、B、C三人的性别。”几乎是一样的。
对于这道题我们来分析一下。
“如果A是女生,那么B一定不是女生”——A和B性别相反,假设“A为女生”为true,那么“B为女生”必定为false,于是一定有“B为男生”为true【注意是一定】。
对于这句话同理可得,假设“B为女生”为true,那么“A为男生”必定为true。
“A和C性别相同”——假设“A为女生”为true,那么“C为女生”必定为true; 假设“A为男生”为true,那么“C为男生”必定为true。
这道题的逻辑关系十分简单,我们可以肉眼看出答案,然而对于一些逻辑关系成千上万达到1E6数量的我们不能直观看出,所以针对比较复杂的情况,人力想出了列表的方法。
| A | B | C
——————————
女 | | |
——————————
男 | | |
之后对于随机选择一个格子进行假设保证不出现互斥的情况。
如何实现的?比如我在"A男"这一格打了勾,那么必定会在“B女”,“C男”打勾,发现不满足题意,再令A为女生重新打勾。
下面讨论2-SAT的算法。
先说一些概念:
一个命题:若P则Q。
它的逆否命题:若非Q则非P。
这两个是等价的(大多2-SAT图是对称的,一些不对称的图指定了某个条件的真假性)
一些“不同时为真”、“不同时为假”的逻辑关系都可以化成“若P则Q”的形式(“不同时为真”:若A为真则B为假,及其逆否命题 若B为真则A为假;若B为假则A为真,及其逆否命题 若A为假则B为真)
对于“若P则Q”,我们从P出发,连一条边到Q,代表P如果为真Q一定为真。对于所有这样的逻辑关系都建立这样的逻辑边,之后选取一个节点进行假设赋值,如果这个点无论真假都不满足条件,该问题就无解。
然后解题顺序:
1.建图(把每个点拆成点A 2*i 和点B2*i+1,对于每个点A和B必定有且仅有一个为真)
2.跑2-SAT
下面放代码模板
- void _clean(){
- for(int i=;i<=n*+;i++){
- g[i].clear();
- mark[i]=false;
- }
- }
- bool _dfs(int u){
- if(mark[u^])return false;//如果该点的对立面为真,该点必定为假
- if(mark[u])return true;//如果该点之前扫过,为真,那么直接返回
- mark[u]=true;//如果这个点没讨论过(A/B两点均没赋值),那么把该点赋为真
- stk[++top]=u;//进栈,这个我还没能理解,不过最后满栈应该是top==n,栈里的都为真
- for(int i=;i<g[u].size();i++)
- if(!_dfs(g[u][i]))return false;//该点为真,那么和这个点相连的每个点全必须为真,否则返回false
- return true;
- }
- bool _Twosat(){
- _clean();
- top=;
- for(int i=;i<=n*+;i+=)
- if(!mark[i+] && !mark[i]){//如果该点没讨论过
- top=;
- if(!_dfs(i)){假设A点为真失败
- while(top)
- mark[stk[top--]]=false;//栈里元素全出栈,并赋值为假
- if(!_dfs(i+))return false;//如果假设B点为真也失败,那么无解。
- }
- }
- return true;
- }
补充:
1、2-SAT问题就是一个“不能同时为真”、“若满足状态1就必定满足状态2”的逻辑问题。这一类问题的特点大多是对于每个对象可以等价成两种互斥状态。
2、大多的2-SAT问题是对称的,即满足p->q,就一定满足-q->-p(逆否命题的互推),但也有个别例外,就是比如有一个对象与2-sat图的其他对象关联,但是题目已经决定了这个对象必须是某一个状态(不能自我假设了,这个时候可以对于这个点跑一个裸的dfs,一会儿我会讲到例题)
下边讲几道2-SAT的题目(都只讲建图不放代码了)
1、
另一篇博文里有详细题解:http://www.cnblogs.com/L-Excalibur/p/8513386.html
2、
题目链接:https://cn.vjudge.net/contest/209473#problem/K
题目大意:有一堆宇航员要去完成任务,A任务非常伟大,只有能力值大于等于平均能力值的人才能完成,B任务是普通任务,只有能力值低于平均能力值的人才会去完成,C任务不限制条件,所有能力值的人都可以做。但是这堆宇航员互相有一些憎恨关系,如果两个宇航员互相憎恨,那么就不能给他们分配同一个任务,给出一个合理方案,如果没有合理方案输出no solution。
解题思路:每个能力值大于等于平均值的人(以下简称第一类人)划分为两种状态a.选择任务A,b.选择任务C;能力值小于平均值(第二类人)划分为两种状态a.选择任务B,b.选择任务C。如果第一类人或第二类人有内部矛盾,那么如果其中一个为状态a,另一个一定为状态b(对称建图,不能同时为a和b,共四条)。如果第一类人和第二类人有矛盾,那么不能同时为b,一个为b另一个一定为a。
浅谈2-SAT(待续)的更多相关文章
- 【WebApi系列】浅谈HTTP
[01]浅谈HTTP在WebApi开发中的运用 [02]聊聊WebApi体系结构 [03]详解WebApi如何传递参数 [04]详解WebApi测试和PostMan [05]浅谈WebApi Core ...
- 【WebApi系列】浅谈HTTP在WebApi开发中的运用
WebApi系列文章 [01]浅谈HTTP在WebApi开发中的运用 [02]聊聊WebApi体系结构 [03]详解WebApi参数的传递 [04]详解WebApi测试和PostMan [05]浅谈W ...
- C#中,用HashTable,DataTable等复制和克隆浅谈
如有雷同,不胜荣欣,若转载,请注明 在C#中,用HashTable,DataTable等复制和克隆浅谈,下面直接看例子 HashTable ht = null; ht = new HashTable( ...
- C# 复制和克隆认识浅谈
如有雷同,不胜荣欣.若转载,请注明 在C#中,用HashTable,DataTable等复制和克隆浅谈,以下直接看样例 HashTable ht = null; ht = new HashTable( ...
- 浅谈 Fragment 生命周期
版权声明:本文为博主原创文章,未经博主允许不得转载. 微博:厉圣杰 源码:AndroidDemo/Fragment 文中如有纰漏,欢迎大家留言指出. Fragment 是在 Android 3.0 中 ...
- 浅谈 LayoutInflater
浅谈 LayoutInflater 版权声明:本文为博主原创文章,未经博主允许不得转载. 微博:厉圣杰 源码:AndroidDemo/View 文中如有纰漏,欢迎大家留言指出. 在 Android 的 ...
- 浅谈Java的throw与throws
转载:http://blog.csdn.net/luoweifu/article/details/10721543 我进行了一些加工,不是本人原创但比原博主要更完善~ 浅谈Java异常 以前虽然知道一 ...
- 浅谈SQL注入风险 - 一个Login拿下Server
前两天,带着学生们学习了简单的ASP.NET MVC,通过ADO.NET方式连接数据库,实现增删改查. 可能有一部分学生提前预习过,在我写登录SQL的时候,他们鄙视我说:“老师你这SQL有注入,随便都 ...
- 浅谈WebService的版本兼容性设计
在现在大型的项目或者软件开发中,一般都会有很多种终端, PC端比如Winform.WebForm,移动端,比如各种Native客户端(iOS, Android, WP),Html5等,我们要满足以上所 ...
随机推荐
- @RequestParam注解一般用法
原文链接:https://www.cnblogs.com/likaileek/p/7218252.html SpringMVC注解@RequestParam全面解析 在此之前,写项目一直用的是@R ...
- Centos6.6下编译安装Apache2.2.31
安装环境: [root@apache ~]# cat /etc/redhat-release CentOS release 6.6 (Final) [root@apache ~]# uname -r ...
- makefile 和 编译条件 的简略总结
#-g gdb可看代码 #-fPIC -fPIC 的使用,会生成 PIC 代码,.so 要求为 PIC,以达到动态链接的目的,否则,无法实现动态链接. -fPIC 作用于编译阶段,告诉编译器产生与位置 ...
- 洛谷 P3994 高速公路
https://www.luogu.org/problemnew/show/P3994 设dp[i] 表示第i个城市到根节点的最小花费 dp[i]=min{ (dis[i]-dis[j])*P[i]+ ...
- 官方资料&一些好的博客与技术点
https://technet.microsoft.com/zh-cn/library/hh848794.aspxzh https://msdn.microsoft.com/en-us/power ...
- 用matplotlib绘制每次交易的盈亏三角形
用matplotlib绘制每次交易的盈亏三角形 结果: 代码: python def plot_trade_triangle(self): # plot each trade as a trade-t ...
- 浏览器存储:cookie
Cookie是什么:cookie是指存储在用户本地终端上的数据,同时它是与具体的web页面或者站点相关的.Cookie数据会自动在web浏览器和web服务器之间传输,也就是说HTTP请求发送时,会把保 ...
- 2016-2017-2 20155309 南皓芯java第六周学习总结
教材内容详解 这一次主要学习的是第十章与第十一章的内容.主要讲述了串流,字符处理和线程以及并行API. 输入输出 串流:Java中的数据有来源(source)和目的地(destination),衔接两 ...
- 记录下(同一个计算机)多个容器 dockr bridge(桥接) docker-compose 配置
直接上 version: '3' services: mysql: container_name: mysql image: mysql:5.7.21 environment: MYSQL_ROOT_ ...
- Parameters.Add和Parameters.AddWithValue
因为vs2013没有更新update 5所以Parameters.Add可以用Parameters.AddWithValue赋值无效 更新后可以. Parameters.AddWithValue的底层 ...