2-SAT

zcmimi at 
SAT 指 Satisfiability(可满足性问题)k-SAT 指每个限制有$k$个条件,而当$k>2$时该问题为 NP 完全的,只能暴力 LG 4782 【模板】2-SAT 问题有$n$个布尔变量$x_1,x_2,\dots,x_n$,另有$m$个需要满足的条件,每个条件的形式都是「$x_i$ 为 true/false 或 x_j 为 true/false」.比如「$x_1$为 true 或$x_3$为 false」、「$x_7$为 false 或$x_2$为 false」。2-SAT 问题的目标是给每个变量赋值使得所有条件得到满足。……