我们知道3SAT≤p3COLOR（即3SAT是可以简化为3COLOR的多项式时间）。 任何人都可以简短地说明为什么3COLOR≤p3SAT？ 并给出一个实际的库克减少量，表明3COLOR≤p3SATPlease。
答案 0 :(得分：2)
简短的回答是：由于3SAT是NP完全的，NP中的任何问题都可以是p.t.减少到 解决3SAT的一个实例（或显示它不可满足）。因此3COLOR＆lt; = p 3SAT。
对于p.t.的施工将3COLOR减少为SAT，你可能会看到第2节 以下文件（该主题与您的问题无关）：
http://research.microsoft.com/apps/pubs/default.aspx?id=66816