2026年1月7日
2-SAT
摘要： \(\text{luogu-4782}\) 有 \(n\) 个布尔变量 \(x_1\sim x_n\)，另有 \(m\) 个需要满足的条件，每个条件的形式都是 「\(x_i\) 为 true / false 或 \(x_j\) 为 true / false」。比如 「\(x_1\) 为真或 \(x_ 阅读全文
posted @ 2026-01-07 21:19 So_noSlack 阅读(3) 评论(0) 推荐(0)
我热爱 2025，但我更向往 2026
摘要： $2025$ 年终总结 阅读全文
posted @ 2026-01-07 20:07 So_noSlack 阅读(13) 评论(0) 推荐(0)