2-SAT問題相關演算法與題目講解(O(n*m)與O(m))
阿新 • • 發佈:2019-01-17
2-SAT問題 資訊學競賽 OI ACM O(m) O(nm)
2-SAT問題
張天翔
前置技能
- 拓撲排序
- 基本邏輯運算
- 強聯通分量
問題模型
給出n個布林值組成的序列
問題分析
首先列出7種有意義的限制(其實真正有意義的為5個),如下:
-1:
-2:
-3:
-4:
-5:
-6:
-7: ORAj=0
所有可能的限制條件如下
01:
02:
03:
04:
05:
06:
07:
08:
09:
10: OTAj)=0⇔(Ai=1)OR(Aj=1)⇔AiORAj=1(限制−4)
11:
12: