随笔分类 -  2-SAT

摘要：CF1239B The World Is Just a Programming Task 题目描述 定义一个括号序列s是优秀的，当且仅当它是以下几种情况的一种： 1.|s|=0 2.s=‘(’+t+‘)’，其中t是优秀的 3.s=t1+t2，其中t1、t2都是优秀的 一个括号序列的价值为将它看成一个 阅读全文

摘要：题目大意 2 SAT，其中有$d$($d\leq 8$)个点是$3 SAT$。 题解 枚举$d$个点不取三个中（假设三个为$a,b,c$）的哪一个，然后整体变成做$2 SAT$。 注意枚举完不选$a$（即选$b或c$）和不选$b$（即选$a或c$）后，不选$c$（即选$a或b$）已经包含在前两种中， 阅读全文

摘要：说明 "板板题链接" "这个人" 讲得很清楚 WAWAWAWA 建的边“不完整”，比如当限制是“x为1时y一定为1”时，连x y的边时，忘记连y' x'的边（逆否）。 代码 阅读全文