通过Michael R. Garey & David S.Johnson的A Guide to the Theory of NP-Completeness一书中关于3SAT到3DM的规约，以及自己的规约经历，发现：在使用3SAT进行问题规约时，需要注意两个方面。首先是，真值指派；其次是，子句满足测试。通过Michael R. Garey & David S.Johnson的A Guide to
阅读背景：
使用3SAT进行NP-complete规约一点启发
来源：互联网
分享到：
