【发布时间】：2020-08-03 05:29:27
【问题描述】：
当我试图弄清楚为什么停止问题是 NP-hard 时，我找到了this。 但是，有一句话让我很困惑
我们首先注意到所有 NP 完全问题都可以简化为 3SAT。
为什么所有 NP-Complete 问题都可以简化为 3-SAT？
希望你的回答:-)
【问题讨论】：
-
我投票结束这个问题，因为它属于cstheory.stackexchange.com
标签： np np-complete sat
【发布时间】：2020-08-03 05:29:27
【问题描述】：
根据定义，NP-完全问题 X 具有以下性质：每个问题 Y ∈ NP 简化为 X。（这就是 NP-hardness 的含义。）同样，根据定义，每个 NP-完全问题都在 NP。将这两者放在一起，每个 NP-完全问题都会减少到彼此，因此所有 NP-完全问题都会减少到 3SAT。
【讨论】：
-
是否有资源显示从常见的 NP 完全问题到 3SAT 的减少？ IE。团、顶点覆盖、独立集、子集和、背包
-
我不熟悉执行此操作的标准化资源，但我想如果您搜索“SAT Solver”，您可能会找到一些链接？