UKE_Automation

摘要： 1 概念 有这样一类问题，给出 \(n\) 个布尔变量 \(a_i\)，并且给出若干限制条件，每一个限制条件形如 \((\bigvee\limits_{i=1}^k a_{p_i}=x_i)=\text{true}\)。问是否存在一种可行解。这被称之为 k-SAT 问题，当 \(k>2\) 时这个问 阅读全文