刚学算法，所以不太会只知道把3-SAT归约到4-SAT就能证明了，可是具体过程不太清楚，求解
http://blog.csdn.net/shenlan211314/article/details/6338462