2-SAT速成

时间 2019-11-06

标签 sat 速成繁體版

原文原文链接

本文只作总结性说明html

2-SAT

2-SAT是k-SAT问题的一种，k-SAT问题在\(k>=3\)时已经被证实是NP彻底问题优化

2-SAT问题定义比较简单spa

有n个布尔变量\(x_1-x_n\)。给出\(m\)个限制关系，每一个关系最多只对两个变量进行限制。求一组取值使得知足全部限制。htm

这里的限制例如：选\(A\)必选\(B\) 或是 \(A,B\)至少选一个blog

2-SAT问题所构成的图具备对称性排序

对于两个点来讲get

即若选\(A\)必选\(B\)，那么选\(B\)必选\(A\)class

根据这种性质，前人总结出了一种方法变量

将一个点\(A\)拆为\(A,A'\)方法

1.若选\(A\)必选\(B\)，那么从\(A\)向\(B\)连一条边

2.tarjan缩点(把时间从\(O(NM)\)优化至\(O(n)\))

3.判断是否\(A'A\)是否在同一强联通份量中

对于须要输出方案的题目

4.根据缩完点的图，建出其反图

5.对反图进行拓扑排序

6.根据拓扑排序的顺序标记答案

那么选择了A就只能选择B’，选择了B就只能选择A’

连边A→B’，B→A’

那么选择了A’就只能选择B，选择了B’就只能选择A

连边A’→B，B’→A

那么选择了A，就只能选择B，选择了B就只能选择A，选择了A’就只能选择B’，选择了B’就只能选择A’

连边A→B，B→A，A’→B’，B’→A’

　　连边A’→A

\(A'A\)不能同时出现，选\(A'\)必选\(A\)，故只能单独选\(A\)

由简单到简单2333