使用3SAT进行NP-complete规约一点启发

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

一般，需要观察自己的问题，从哪一方面触发规约到哪一方面结束较为简单。可以选择从真值指派开始到子句满足测试结束，也可以从子句满足测试开始到真值指派结束。当然，因问题而异了，需要好好分析，能走不少弯路。