2018年10月5日
2-SAT学习笔记
摘要： 快NOIP了我学这个干什么。。。 $2 SAT$定义 $SAT$是$Satisfiability$的缩写，意为可满足性。即一串布尔变量，每个变量只能为真或假。要求对这些变量进行赋值，满足布尔方程。 例如$($$a$ $or$ $b$$)$$and$$($$a$ $or$ $!c$$)$$and$$( 阅读全文
posted @ 2018-10-05 15:06 多弗桃 阅读(217) 评论(0) 推荐(0) 编辑