2024年12月11日
2-sat 学习笔记
摘要： \(\text{2-sat}\) 学习笔记 有这样一类问题，有多个变量 \(a_{1\to n}\)，每个变量的取值范围为 \(\{0,1\}\)，给出 \(m\) 条限制条件，形如 \((\lor_{i=1}^{k}a_{p_i}=x_i)=\text{true}\) 的形式，需要你求解是否有可行 阅读全文
posted @ 2024-12-11 19:13 DycIsMyName 阅读(4) 评论(0) 推荐(0) 编辑