前言

\(2-SAT\)的解法不止一种(例如暴搜?),但最高效的应该还是\(Tarjan\)

说来其实我早就写过用\(Tarjan\)求解\(2-SAT\)的题目了(就是这道题:【2019.8.14 慈溪模拟赛 T2】黑心老板(gamble)),这篇博客本来已经石沉大海,打算坑掉了的,但由于在\(CSP-S\)前复习板子时忘记了这道题写法,结果板子题都挂了好几次,为了加深印象,为了自我惩罚,来补博客了。

基本模型

什么是\(2-SAT\)?

考虑有\(n\)个物品,每个物品有\(0\)和\(1\)两种取值。给出一些诸如第\(i\)个物品是\(0/1\)或第\(j\)个物品是\(0/1\)的限制,如:

  • 第\(1\)个物品是\(0\)或第\(2\)个物品是\(1\)。
  • 第\(1\)个物品是\(1\)或第\(3\)个物品是\(1\)。
  • ......

而\(2-SAT\),就是求出一个满足所有条件的可行解,或是判断无解。

建图

既然提到要用\(Tarjan\)了,那么首先我们需要把这个问题转移到图上。

我们把每个物品看作两个点,分别表示这个物品取\(0\)和取\(1\)。

由于题目中给出的限制不是很明确,所以我们要先将它进行转化。

例如,若题目中给出第\(i\)个物品是\(x\)或第\(j\)个物品是\(y\)。

那么如果第\(i\)个物品是\(!x\),第\(j\)个物品就必须是\(y\)。反之,如果第\(j\)个物品是\(!y\),第\(i\)个物品就必须是\(x\)。

即,将\((i,!x)\)向\((j,y)\)连边,\((j,!y)\) 向\((i,x)\)连边。

求解

首先,我们考虑,如何判断已知的一组解\(ans\)的合法性。

不难发现,若能从\((i,ans_i)\)走到\((i,!ans_i)\),就说明这组解是不合法的。

这无疑带给我们一些启发。

如果存在\((i,0)\)与\((i,1)\)能互相到达,那么就是无解的。否则一定有解。

结合强连通分量的概念,即若\((i,0)\)与\((i,1)\)在同一个强连通分量中,就无解。

然后我们要考虑如何找到一组可行解。

如果\((i,0)\)所在的连通块能到达\((i,1)\),\(i\)就一定要选\(1\),反之亦然。

而能到达,一个必要条件就是缩点后拓扑序较小。

而要比较拓扑序,实际上也可以直接比较所在连通块缩点后的编号,根据\(Tarjan\)的原理,显然编号越小拓扑序越大。

因此我们只要选择编号较小的方案即可。

代码

#include<bits/stdc++.h>
#define Tp template<typename Ty>
#define Ts template<typename Ty,typename... Ar>
#define Reg register
#define RI Reg int
#define Con const
#define CI Con int&
#define I inline
#define W while
#define N 1000000
#define add(x,y) (e[++ee].nxt=lnk[x],e[lnk[x]=ee].to=y)
#define Gmin(x,y) (x>(y)&&(x=(y)))
using namespace std;
int n,m,ee,lnk[2*N+5];struct edge {int to,nxt;}e[2*N+5];
class FastIO
{
private:
#define FS 100000
#define tc() (A==B&&(B=(A=FI)+fread(FI,1,FS,stdin),A==B)?EOF:*A++)
#define pc(c) (C==E&&(clear(),0),*C++=c)
#define tn (x<<3)+(x<<1)
#define D isdigit(c=tc())
int T;char c,*A,*B,*C,*E,FI[FS],FO[FS],S[FS];
public:
I FastIO() {A=B=FI,C=FO,E=FO+FS;}
Tp I void read(Ty& x) {x=0;W(!D);W(x=tn+(c&15),D);}
Tp I void write(Ty x) {W(S[++T]=x%10+48,x/=10);W(T) pc(S[T--]);}
Tp I void write(Con Ty& x,Con char& y) {write(x),pc(y);}
I void clear() {fwrite(FO,1,C-FO,stdout),C=FO;}
}F;
namespace Tarjan//Tarjan缩点
{
int d,T,cnt,dfn[2*N+5],low[2*N+5],vis[2*N+5],S[2*N+5],col[2*N+5];
I void dfs(CI x,CI lst)//Tarjan
{
dfn[x]=low[x]=++d,vis[S[++T]=x]=1;
for(RI i=lnk[x];i;i=e[i].nxt)
!dfn[e[i].to]?(dfs(e[i].to,x),Gmin(low[x],low[e[i].to]))
:vis[e[i].to]&&Gmin(low[x],dfn[e[i].to]);
if(dfn[x]^low[x]) return;col[x]=++cnt,vis[x]=0;
W(S[T]^x) col[S[T]]=cnt,vis[S[T--]]=0;--T;
}
I void Solve()
{
RI i;for(i=1;i<=2*n;++i) !dfn[i]&&(dfs(i,0),0);//Tarjan
for(i=1;i<=n;++i) if(col[i]==col[n+i]) return (void)puts("IMPOSSIBLE");//判无解
for(puts("POSSIBLE"),i=1;i<=n;++i) F.write(col[i]>col[n+i]," \n"[i==n]);//输出一组可行解
}
}
int main()
{
RI i,a,b,c,d;for(F.read(n),F.read(m),i=1;i<=m;++i)
F.read(a),F.read(b),F.read(c),F.read(d),add(a+n*(!b),c+n*d),add(c+n*(!d),a+n*b);//建边
return Tarjan::Solve(),F.clear(),0;
}

Tarjan在图论中的应用(三)——用Tarjan来求解2-SAT的更多相关文章

  1. Tarjan在图论中的应用(二)——用Tarjan来求割点与割边

    前言:\(Tarjan\) 求割点和割边建立在 \(Tarjan\)算法的基础之上,因此建议在看这篇博客之前先去学一学\(Tarjan\). 回顾\(Tarjan\)中各个数组的定义 首先,我们来回顾 ...

  2. Tarjan在图论中的应用(一)——用Tarjan来实现强连通分量缩点

    前言 \(Tarjan\)是一个著名的将强连通分量缩点的算法. 大致思路 它的大致思路就是在图上每个联通块中任意选一个点开始进行\(Tarjan\)操作(依据:强连通分量中的点可以两两到达,因此从任意 ...

  3. 『图论』有向图强连通分量的Tarjan算法

    在图论中,一个有向图被成为是强连通的(strongly connected)当且仅当每一对不相同结点u和v间既存在从u到v的路径也存在从v到u的路径.有向图的极大强连通子图(这里指点数极大)被称为强连 ...

  4. 转载:WinForm中播放声音的三种方法

    转载:WinForm中播放声音的三种方法 金刚 winForm 播放声音 本文是转载的文章.原文出处:http://blog.csdn.net/jijunwu/article/details/4753 ...

  5. Jquery中each的三种遍历方法

    Jquery中each的三种遍历方法 $.post("urladdr", { "data" : "data" }, function(dat ...

  6. C#中的线程三 (结合ProgressBar学习Control.BeginInvoke)

    C#中的线程三(结合ProgressBar学习Control.BeginInvoke) 本篇继上篇转载的关于Control.BeginInvoke的论述之后,再结合一个实例来说明Cotrol.Begi ...

  7. C++中的异常处理(三)

    C++中的异常处理(三) 标签: c++C++异常处理 2012-11-24 23:00 1520人阅读 评论(0) 收藏 举报  分类: 编程常识(2)  版权声明:本文为博主原创文章,未经博主允许 ...

  8. Linux内核中影响tcp三次握手的一些协议配置

    在Linux的发行版本中,都存在一个/proc/目录,有的也称它为Proc文件系统.在 /proc 虚拟文件系统中存在一些可调节的内核参数.这个文件系统中的每个文件都表示一个或多个参数,它们可以通过 ...

  9. Google Chrome中的高性能网络 (三)

    使用预连接优化了TCP连接管理 已经预解析到了主机名,也有了由OmniBox和Chrome Predictor提供信号,预示着用户未来的操作.为什么再进一步连接到目标主机,在用户真正发起请求前完成TC ...

随机推荐

  1. 微信小程序模板(template)和组件的区别

    template模块主要是展示,方法需要在使用template的页面中定义,对于通用的数据,最先想到或者理应是template,但是template有个缺点,那就是只是页面效果,不会有对应的js操作. ...

  2. 从零开始搭建solo个人博客系统

    目录 1.博客系统的搭建流程 2.服务器选购 2.1阿里云学生主机 2.2普通云主机 3.域名购买与备案(可选) 3.1域名购买 3.2域名服务器备案 3.3域名服务器解析 4.solo安装 4.1 ...

  3. find 常用命令

    系统中总会不断产生一些文件,比如日志文件,不一定会用到也不会自动删除,这时候就需要手动删除,当然也可以转存到其他目录下.不好找的时候可以用find模糊查找,加个job定时任务自动执行定期删除文件1.添 ...

  4. unittest---unittest跳过用例

    我们在做自动化测试的时候,可能会遇到一些用例中间不用回归,想要进行跳过.直接注释的话,代码量修改过大,显然这个方法不妥,哪还有什么方法?unittest这个自动化框架可以帮助我们完成这个操作 自动跳过 ...

  5. 日记o3o

    12.17 段考超级烂,连sts都没考过,但是今晚来机房,nj发邮件的时候也给我发了,看来是可以继续学竞赛啦,很快心,也挺不开心的,毕竟以后想要跟上文化课就要很努力了,有能力但是得去花时间啊,寒假又要 ...

  6. 【安富莱】RTX嵌入式操作系统教程发布,支持F103,F407和F429,含81个配套例程(2017-10-17)

    前言说明:1. 首先感谢大家对我们安富莱电子一年来的支持,2016年我们会再接再厉推出更好的教程. 2. 估计也有网友会问RTX的优势在那里,针对这个问题,教程中第一章分为6条专门回答了这个问题,有兴 ...

  7. 【algo&ds】6.图及其存储结构、遍历

    1.什么是图 图表示"多对多"的关系 包含 一组顶点:通常用 V(Vertex)表示顶点集合 一组边:通常用 E(Edge)表示边的集合 边是顶点对:(v,w)∈ E,其中 v,w ...

  8. 一起学SpringMVC之注解

    概述 SpringMVC不仅提供了Xml的配置方式,还提供了注解的方式来声明一个Controller,本文属于SpringMVC的入门级内容,仅供学习分享使用,如有不足之处,还请指正. SpringM ...

  9. Oracle 事务ACID的特性

    1.事务对数据库控制操作 事务(Transaction)是用户定义的一个数据库操作序列,是不可分割的一部分的整体.这些操作要么做,要么不做(原子性).事务是对数据库对进行操作的最基本的逻辑单位,他可以 ...

  10. Java中15种锁的分类综合总结

    本人免费整理了Java高级资料,涵盖了Java.Redis.MongoDB.MySQL.Zookeeper.Spring Cloud.Dubbo高并发分布式等教程,一共30G,需要自己领取.传送门:h ...