RainAir

学习笔记

题解(9)

/ 注册

全部文章 / 学习笔记（共1篇）

2-SAT 学习笔记

定义 SAT 维基百科——Boolean_satisfiability_problem 2-SAT SAT 的简化版本：每个等式中只有两个变量参与。有个变量和个等式，每个等式形如，其中是一个位运算。你要求出一组可行解。求解将每个拆成两个点和表示取值情况。每个限制...

2-SAT

2020-02-28

0 847