有人可以用最简单的方式向我解释，如何将3-SAT缩减为Vertex Cover？我正在按照here的说明进行操作（滚动到第4页底部）。我理解有两个“小工具”的基本设置：2节点变量小工具和3节点子句小工具。我也理解公式k = variables + 2 clauses是覆盖所有边所需的最小节点数。我不明白的是这个设置如何证明如果存在k-covering，那么CNF中的布尔表达式是可以满足的。具有可满足且不可满足的表达式的示例将是有帮助的。此外，一旦3-SAT问题转换为k-covering，它是否提供了一种方法来确定应将哪个值（true或false）分配给每个变量，以便满足布尔表达式？谢谢你的帮助。