如何将 3COLOR 减少到 3SAT？

【问题标题】：How to reduce 3COLOR to 3SAT?如何将 3COLOR 减少到 3SAT？
【发布时间】：2011-10-24 09:17:14
【问题描述】：

我们知道 3SAT ≤p 3COLOR（即 3SAT 是多项式时间可简化为 3COLOR）。谁能给出一个简短的论据，为什么 3COLOR ≤p 3SAT？并给出一个实际的库克减少表明 3COLOR ≤p 3SAT 请。

【问题讨论】：

【解决方案1】：

简短的回答是：因为 3SAT 是 NP 完全的，所以 NP 中的任何问题都可以是 p.t。减少到解决 3SAT 的实例（或显示它不可满足）。因此 3COLOR

对于 p.t. 的构造将 3COLOR 减少到 SAT，您可能会看到第 2 节以下文件（主题与您的问题无关）：

【讨论】：