2023年7月16日
[学习笔记] 2-SAT
摘要： 一、2-SAT 2-SAT 问题是给定 \(n\) 个变量 \(x_1, x_2, \dots, x_n\)，取值只有 \(0\) 或 \(1\)，然后这些变量要满足一些条件，比如：如果 \(x_1 = 1\) 那么 \(x_2 = 0\) 之类的。 然后我们要解决的问题就是判定是否存在一组 \(( 阅读全文
posted @ 2023-07-16 15:54 CountingGroup 阅读(9) 评论(0) 推荐(0) 编辑
AtCoder Beginner Contest 合集 I
该文被密码保护。 阅读全文
posted @ 2023-07-16 11:25 CountingGroup 阅读(18) 评论(0) 推荐(0) 编辑