象做多位数除法一样求出3-SAT的解

姜咏江

3-SAT是破解千禧大奖P/NP的典型NP-complete问题。据说NP-complete问题一直没有多项式时间复杂度的算法，因而回答不了P/NP问题，所以美国克雷数学所才于2000年悬赏百万美元，广征P/NP问题破解。

不才，知道其中的难度，但出于兴趣，开动脑筋，经历波折数次，终于设计出了3-SAT分段子句消去法，使3-SAT的求解过程，如同做多位整数除法的算数题，可以用来解决一些问题。

君，如有兴趣，可参阅 http://blog.sciencenet.cn/blog-340399-928224.html 

还是那句话：“把简单问题说复杂了，那叫蒙人。把复杂问题说简单了，那叫本事。”

科研快乐！

2015-9-22