2025年7月19日
2-SAT
摘要： 调不出来题 www 定义 什么是 SAT, 我们有一些方程, 每个方程形如 \(x_i \and x_j \or x_k \xor x_z = 0/1\), \(x\) 均为 \(0/1\) 的 bool 数组我们需要求出一个解, 或者判断无解。 而 k-SAT, 就是所以分成的位置数数量最多为 \ 阅读全文
posted @ 2025-07-19 07:42 liuyichen 阅读(6) 评论(0) 推荐(0)