RB16B

摘要： 一、2-SAT 2-SAT 问题是给定 \(n\) 个变量 \(x_1, x_2, \dots, x_n\)，取值只有 \(0\) 或 \(1\)，然后这些变量要满足一些条件，比如：如果 \(x_1 = 1\) 那么 \(x_2 = 0\) 之类的。 然后我们要解决的问题就是判定是否存在一组 \(( 阅读全文

该文被密码保护。 阅读全文