摘要： 引入 有 \(n\) 个变量 \(x_1 \cdots x_n\)，每个变量的取值范围为 \(\{0,1\}\)，另有 \(m\) 个条件，每个条件都是对其中两个变量的取值限制，形如要么 \(x_i = 0/1\) 要么 \(x_j = 0/1\)。求是否存在 \(n\) 个变量的合法赋值。 这样的 阅读全文