今在网上偶见蒋迅的“数学都知道”还在登载柳渝对子句消去法的否定见解，觉得应该更改了。

我这个人喜欢公开地讨论问题，因为相互竞说能够引人入胜，促进问题的解决。子句消去法求解3-SAT（包括k-SAT），到现在应该是端倪尽现了。不知柳渝博友是否还认为这是一个P=P的方法？

诚然，我当初提出的子句消去法不够完善，或者说内有错误论述，你的批评是正确的。现在我将子句消去法已经完善了（我想你已经读了我近期有关的博文），希望能够再提出你的宝贵评价。我想，这对我们搞学术研究的人十分有益。

顺致问候

圣诞快乐！

姜咏江              

2015-12-25