简介

2-SAT (2-satisfiability) 问题形如:

  1. 给定一些变量 \(x_i \in \{true, false\}\);
  2. 给定一些一元/二元约束条件, 如 \(x_i \land \lnot x_j\), 利用 \(\land\) 连接;
  3. 为每一个变量赋一个值, 满足所有约束条件.

将第2条中的一/二元约束条件改为多元, 即为 N-SAT 问题.

可以证明 N-SAT 问题没有多项式解法, 但 2-SAT 问题有 \(O(n + m)\) 的解法.

算法

对每个变量建立两个点: \(x_i\), \(x_i'\), 表示取真或假.

根据约束条件建立若干条边 \((p, q)\), 表示若选 \(p\) 则必须选 \(q\). (见下)

将得到的图缩点. 若 \(x_i\) 和 \(x_i'\) 在同一个强连通分量内, 则无解.

否则, 若 \(x_i\) 的所在强连通分量的拓扑序大于 \(x_i'\), 则选 \(x_i\); 否则选 \(x_i'\).

我们知道tarjan算法求出的强连通分量标号为强连通分量拓扑序的逆序. 因此判断 \(scc_{x_i} < scc_{x_i'}\) 即可.

建边

  1. 一元逻辑

    1. \(p\): \((p', p)\);
    2. \(\lnot p\): \((p, p')\).
  2. 二元逻辑 (\(p\) 和 \(\lnot p\) 是一样的, 下面仅描述 \(p\) 的情况)
    1. \(p \rightarrow q\): \((p, q)\), \((q', p')\);
    2. \(p \land q\): 等价于 \(p\), \(q\);
    3. \(p \lor q\): \((p', q)\), \((q', p)\) (等价于 \(\lnot p \rightarrow q\));
    4. \(p \oplus q\): \((p, q')\), \((p', q)\), \((q, p')\), \((q', p)\). (xor)

容易发现所有二元逻辑都会建立若干对边, 这称作2-SAT问题的对称性, 是算法正确的关键.

较慢的算法 && 字典序最小解

我们还可以枚举每个点, 然后假设其为 true (或者 false), 从该点dfs判断是否可行.

这样可以求出一些特殊条件的解, 如最小字典序.

时间复杂度 \(O(nm)\), 但是多数情况跑不满.

代码

//任意解
int chos[nsz];
int dfn[nsz*2],pd=0,low[nsz*2],inscc[nsz*2],ps=0;
int stk[nsz*2],top=0,vi[nsz*2];
void tarj(int p){
dfn[p]=low[p]=++pd;
stk[++top]=p,vi[p]=1;
for(auto v:edge[p]){
if(dfn[v]==0){
tarj(v);
low[p]=min(low[p],low[v]);
}
else if(vi[v])low[p]=min(low[p],dfn[v]);
}
if(low[p]==dfn[p]){//scc
++ps;
int v;
do{
v=stk[top];
inscc[v]=ps,vi[v]=0,--top;
}while(v!=p);
}
} bool sat2(){//toefl ielts sat
rep(i,2,n*2+1)if(dfn[i]==0)tarj(i);
rep(i,1,n){
if(inscc[i<<1]==inscc[i<<1|1])return 0;//no solution
chos[i]=inscc[i<<1|1]<inscc[i<<1];
}
return 1;
}

[模板] 2-SAT 问题的更多相关文章

  1. 2 - sat 模板(自用)

    2-sat一个变量两种状态符合条件的状态建边找强连通,两两成立1 - n 为第一状态(n + 1) - (n + n) 为第二状态 例题模板 链接一  POJ 3207 Ikki's Story IV ...

  2. TwoSAT算法模板

    该模板来自大白书 [解释] 给多个语句,每个语句为“ Xi为真(假) 或者 Xj为真(假)” 每个变量和拆成两个点 2*i为假, 2*i+1为真 “Xi为真 或 Xj为真”  等价于 “Xi为假 –& ...

  3. C++ 模板基础

    我们学习使用C++,肯定都要了解模板这个概念.就我自己的理解,模板其实就是为复用而生,模板就是实现代码复用机制的一种工具,它可以实现类型参数化,即把类型定义为参数:进而实现了真正的代码可重用性.模版可 ...

  4. (模板)poj2947(高斯消元法解同余方程组)

    题目链接:https://vjudge.net/problem/POJ-2947 题意:转换题意后就是已知m个同余方程,求n个变量. 思路: 值得学习的是这个模板里消元用到lcm的那一块.注意题目输出 ...

  5. 虚拟化技术之kvm镜像模板制作工具virt-sysprep

    virt-sysprep这个工具来自libguest-tools这个工具包,它能够把kvm虚拟机对应的磁盘文件做成一个模板,后续我们启动虚拟机就可以基于这个镜像模板启动:什么是镜像模板呢?所谓模板就是 ...

  6. Jade模板引擎让你飞

    写在前面:现在jade改名成pug了 一.安装 npm install jade 二.基本使用 1.简单使用 p hello jade! 渲染后: <p>hello jade!</p ...

  7. ABP入门系列(2)——通过模板创建MAP版本项目

    一.从官网创建模板项目 进入官网下载模板项目 依次按下图选择: 输入验证码开始下载 下载提示: 二.启动项目 使用VS2015打开项目,还原Nuget包: 设置以Web结尾的项目,设置为启动项目: 打 ...

  8. CMS模板应用调研问卷

    截止目前,已经有数十家网站与我们合作,进行了MIP化改造,在搜索结果页也能看到"闪电标"的出现.除了改造方面的问题,MIP项目组被问到最多的就是:我用了wordpress,我用了织 ...

  9. PHP-自定义模板-学习笔记

    1.  开始 这几天,看了李炎恢老师的<PHP第二季度视频>中的“章节7:创建TPL自定义模板”,做一个学习笔记,通过绘制架构图.UML类图和思维导图,来对加深理解. 2.  整体架构图 ...

  10. 【原创分享·微信支付】C# MVC 微信支付之微信模板消息推送

    微信支付之微信模板消息推送                    今天我要跟大家分享的是“模板消息”的推送,这玩意呢,你说用途嘛,那还是真真的牛逼呐.原因在哪?就是因为它是依赖微信生存的呀,所以他能不 ...

随机推荐

  1. matplotlib与numpy

    import matplotlib.pyplot as pltimport numpy as np y = df.loc[0:100, 4].valuesy = np.where(y == 'Iris ...

  2. jquery快速入门(五)

    jQuery - AJAX AJAX 是与服务器交换数据的技术,它在不重载全部页面的情况下,AJAX 通过后台加载数据,并在网页上进行显示,实现了对部分网页的更新. AJAX就是异步 JavaScri ...

  3. 树莓派linux系统连接windows7系统中的共享文件夹的正确姿势

    一.要想使用树莓派linux成功访问win7的共享文件夹而不报错,最重要的事情是要正确设置win7中共享文件的设置. 1.需要共享文件点击右键→属性 2.共享选项卡→网络和共享中心 3.点开公用下拉菜 ...

  4. 表单数据验证方法(二)——ASP.NET后台验证

    昨天写了一下关于如何在前台快捷实现表单数据验证的方法,今天接着昨天的,把后台实现数据验证的方法记录一下.先说明一下哈,我用的是asp.net,所以后台验证方法也是基于.net mvc来做的. 好了,闲 ...

  5. Ubunttu16.04升级/更新git版本(亲测有效)

    sudo add-apt-repository ppa:git-core/ppa sudo apt-get update sudo apt-get install git 升级前: 升级后:

  6. nginx系列14:对HTTP协议的反向代理proxy模块

    proxy_pass指令 URL参数规则 需要注意的是,url中携带和不携带URI时发往上游请求的行为不同!

  7. css 椭圆样式

    <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8&quo ...

  8. flex 输入框布局

    1:创建一个弹性容器(display:flex) 2:构建2个或3个弹性项目. 3:把弹性项目设置为居中对齐.(align-items:center) 4:改变input自身对齐方式,把它设置为拉伸以 ...

  9. Android 注解框架对比

    Java的注解(Annotation)相当于一种标记,在程序中加入注解就等于为程序打上某种标记,标记可以加在包,类,属性,方法,本地变量上.然后你可以写一个注解处理器去解析处理这些注解(人称编译时注解 ...

  10. SQL Server系统表sysobjects介绍

    SQL Server系统表sysobjects介绍 sysobjects 表结构: 列名 数据类型 描述 name sysname 对象名,常用列 id int 对象标识号 xtype char(2) ...