姜咏江

我确信子句消去法是快速求出SAT问题满足解的唯一方法。子句消去法是一个多项式时间的算法，我已经在科学网上介绍了它完整的证明，我有十足的把握，没有人能够推翻它。

由于SAT问题直接能够运用到超大规模集成电路化简、生物基因计算、博弈决策、密码破译、人工智能、计算机系统设计等诸多方面，其应用的价值远超过理论的探讨。

由于科学网上现在无人愿意肯定我的理论与方法，有人劝我将论文写成英文，投到国外刊物上发表。我一向主张创新发明先国内后国外。我相信正确的理论和方法不经过国外的权威说话，也一定会证明其正确性。我就不相信中国的科学界人士，会永远将科技创新的话语权交给国外。

我已经是七十多岁的老人了，精力确实已经不如从前。十年前，我很快就会将这个算法的软件程序编写出来，但现在确实难以胜任了。我现在真希望中国能有年轻人能够认识到这项发明的实际意义，能够快速地将子句消去法从理论转化到企业行为。如果哪位青年人有这种眼光与魄力，又具备计算机编程能力，我一定会助他一臂之力。

子句消去法用Python来设计并不难。如果有人愿意从事这项开创性的工作，愿意成为企业的开创者，请与我联系，我会全力协助。我不希望有人偷偷地使用我的发明。

请参考：http://blog.sciencenet.cn/blog-340399-1013911.html 

accsys@126.com

2016-11-15