阅读背景：

2-SAT问题学习笔记+例题[洛谷P4792]

来源：互联网 

一个不错的2-SAT文章:传送门

问题初入

什么是2-SAT

SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题，简称 k-SAT。SAT是适定性



你的当前访问异常,请进行认证后继续阅读剩余内容。

分享到：
你可能喜欢:
相关阅读:
随便看看: