【学习笔记】 2-SAT问题
Algorithm Description
\(2-SAT\)问题就是给定一串布尔变量,每个变量只能为真或假。
要求对这些变量进行赋值,满足布尔方程。
会有一些形如 \(x_1||x_2\) 或者 \(x_5||(!x_6)\) 的条件
所谓布尔方程就是赋值之后满足所有的条件
首先扯一句,如果这个条件变成三或者三以上个\(x\)相关的了,就只能\(2^n\)枚举了
(好像是 \(N-SAT\) 问题是 \(NP\) 完全的)
然后我们思考如何求解这样的问题
前人告诉我们,可以把这些变量转移到图上进行操作
\]
首先拆点: \(i->i\) 同时 \((!i)->i+n\)
然后我们我们考虑建图的时候
对于每一个条件: \(a||b\) ,连上 \((!a)->b\) 和 \((!b)->a\) 的两条有向边
这里可以理解成【\(b\) 假则 \(a\) 必须真,\(a\) 假则 \(b\)必须真】
考虑 \(tarjan\) 求一波强连通分量,如果有 \(scc[i]==scc[i+n]\) 直接无解
显然真假是不一样的(就是不能赋相同的值)
\]
如果要跑方案,就直接输出\([scc[i]<scc[i+n]]\) 就好
例题
由于实在是模板题(不知为啥当时放这么一个纯板子……),就不写了
Code:
#include<bits/stdc++.h>
using namespace std;
#define int long long
namespace yspm{
inline int read()
{
int res=0,f=1; char k;
while(!isdigit(k=getchar())) if(k=='-') f=-1;
while(isdigit(k)) res=res*10+k-'0',k=getchar();
return res*f;
}
const int N=4e6+10;
int n,m,a,b,x,y,tim,top,tot,cnt;
int dfn[N],low[N],st[N],vis[N],scc[N],head[N];
struct node{int to,nxt;}e[N];
inline void add(int u,int v){e[++cnt].nxt=head[u],e[cnt].to=v; head[u]=cnt; return ;}
inline void tarjan(int u,int fa)
{
dfn[u]=low[u]=++tim; st[++top]=u; vis[u]=1;
for(int i=head[u];i;i=e[i].nxt)
{
int t=e[i].to; if(t==fa) continue;
if(!dfn[t]) tarjan(t,u),low[u]=min(low[u],low[t]);
else if(vis[t]) low[u]=min(low[u],dfn[t]);
}
if(dfn[u]==low[u])
{
tot++; while(st[top]!=u) scc[st[top]]=tot,vis[st[top--]]=0;
scc[st[top]]=tot; vis[st[top--]]=0;
}
return ;
}
signed main()
{
n=read(); m=read();
for(int i=1;i<=m;++i)
{
a=read(); x=read(); b=read(); y=read();
if(!x&&!y) add(a+n,b),add(b+n,a);
if(!x&&y) add(a+n,b+n),add(b,a);
if(x&&!y) add(a,b),add(b+n,a+n);
if(x&&y) add(a,b+n),add(b,a+n);
}
for(int i=1;i<=2*n;++i) if(!dfn[i]) tarjan(i,0);
for(int i=1;i<=n;++i)
{
if(scc[i]==scc[i+n]) return puts("IMPOSSIBLE"),0;
}
puts("POSSIBLE"); for(int i=1;i<=n;++i) printf(scc[i]>scc[i+n]?"1 ":"0 ");
return 0;
}
}
signed main(){return yspm::main();}
瞎看吧,这个 \(add\) 压行有点严重了,没去格式化 \(2333\)
【学习笔记】 2-SAT问题的更多相关文章
- <老友记>学习笔记
这是六个人的故事,从不服输而又有强烈控制欲的monica,未经世事的千金大小姐rachel,正直又专情的ross,幽默风趣的chandle,古怪迷人的phoebe,花心天真的joey——六个好友之间的 ...
- OGG学习笔记02-单向复制配置实例
OGG学习笔记02-单向复制配置实例 实验环境: 源端:192.168.1.30,Oracle 10.2.0.5 单实例 目标端:192.168.1.31,Oracle 10.2.0.5 单实例 1. ...
- python数据分析入门学习笔记
学习利用python进行数据分析的笔记&下星期二内部交流会要讲的内容,一并分享给大家.博主粗心大意,有什么不对的地方欢迎指正~还有许多尚待完善的地方,待我一边学习一边完善~ 前言:各种和数据分 ...
- 【MarkMark学习笔记学习笔记】javascript/js 学习笔记
1.0, 概述.JavaScript是ECMAScript的实现之一 2.0,在HTML中使用JavaScript. 2.1 3.0,基本概念 3.1,ECMAScript中的一切(变量,函数名,操作 ...
- Linux 学习笔记之超详细基础linux命令 Part 13
Linux学习笔记之超详细基础linux命令 by:授客 QQ:1033553122 ---------------------------------接Part 12---------------- ...
- Linux 学习笔记之超详细基础linux命令 Part 8
Linux学习笔记之超详细基础linux命令 by:授客 QQ:1033553122 ---------------------------------接Part 7----------------- ...
- Deep learning with Python 学习笔记(5)
本节讲深度学习用于文本和序列 用于处理序列的两种基本的深度学习算法分别是循环神经网络(recurrent neural network)和一维卷积神经网络(1D convnet) 与其他所有神经网络一 ...
- 【Redis】命令学习笔记——字符串(String)(23个超全字典版)
Redis支持五种数据类型:string(字符串),hash(哈希),list(列表),set(集合)及zset(sorted set:有序集合). 本篇基于redis 4.0.11版本,学习字符串( ...
- programming-languages学习笔记--第3部分
programming-languages学习笔记–第3部分 */--> pre.src {background-color: #292b2e; color: #b2b2b2;} pre.src ...
- 学习笔记 - 2sat
学习笔记 - 2sat 决定重新启用Markdown--只是因为它支持MathJax数学公式 noip考完,既轻松又无奈,回来慢慢填坑 这篇博客也是拖了好久,通过kuangbin的博客才弄懂2-sat ...
随机推荐
- 量化投资_Multicharts数组操作函数_append()追加函数(自定义)
1. Multicharts中关于数组的操作比较麻烦,而且当中所谓的动态数组的定义并不是像其他语言那种的概念.因此要对数组进行元素“”追加“”的话,需要重新更改数组的索引,然后再最后一个位置添加val ...
- java题求代码,4、现在有如下的一个数组: int oldArr[]={1,3,4,5,0,0,6,6,0,5,4,7,6,7,0,5} 要求将以上数组中值为0的项去掉,将不为0的值存入一个新的数组,生成的新数组为: int newArr[]={1,3,4,5,6,6,5,4,7,6,7,5}
public class TEST { public static void main(String[] args) { int [] oldArr= {1,3,4,5,0,0,6,6,0,5,4,7 ...
- 新手转行必知!Python和Java到底有啥区别?
TIOBE 9月编程语言排行榜中Java第一,但PYPL 9月排行榜中Python却是第一.两个编程语言排行榜均是旨在给开发者做一个学习参考,那么问题来了:Java和Python都很火,两个语言到底有 ...
- python复习——数据输入输出
标准输入:x=input()…… 标准输出:print()…… 格式化输出:1.字符串格式化运算符% 例:print('Values are %s,%s,%s.'%(1,2,['one','two'] ...
- UML-设计模式-本地服务容错-代理模式
在<本地服务容错-适配器+工厂模式>中,总是优先尝试本地服务.但是,有时候需要先尝试外部服务,然后才是本地服务.GoF的代理模式可以解决这个问题. 1.代理模式的一般结构 2.使用代理模式 ...
- POJ 1651:Multiplication Puzzle 矩阵相乘式DP
Multiplication Puzzle Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 7118 Accepted: ...
- SpringCloud学习之Feign 的使用(五)
Feign 是一个声明式的伪RPC的REST客户端,它用了基于接口的注解方式,很方便的客户端配置,刚开始使用时还不习惯,感觉是在客户端写服务端的代码,Spring Cloud 给 Feign 添加了 ...
- Maven:Failed to read artifact descriptor for xxx
Maven多模块项目jar包引用问题: Failed to execute goal on project xxx-service: Could not resolve dependencies fo ...
- Python连接Oracle问题
Python连接Oracle问题 1.pip install cx_oracle 2.会出现乱码问题: 方法一:配置环境变量 export NLS_LANG="SIMPLIF ...
- 2018.11.16javascript课上随笔(DOM)
<li> <a href = "“#”>-</a> </li> <li>子节点:文本节点(回车),元素节点,文本节点. 不同节点树 ...