七十二岁，还能够自己编写计算机程序否？可，只要科学安排自己的体力。

为了向学界证明我的子句消去法能够完备地求出3-SAT问题满足解，我不得不拼了老命，自己编写计算机程序。因为这种计算机科学的最大问题，只有通过计算机程序的验证，才能够有效地说明我的发明创造的正确性。

我先用数据库VFP编写了子句消去法程序，因为用表结构最能够方便地展示和说明子句消去法求SAT问题满足解的正确性。今年初，这件事做好了。后来网友给我了具体的3-SAT问题，那是一个密码破译的实际问题，有2万多个逻辑变量和100多万个子句。这是实用问题，用只能够表示254个变量的数据库表，不可能担此重任。

为了能够让我的子句消去法展示巨大的威力，我不得不用C++来完成使命了。说实话，我自己事先都做了牺牲的准备。计算机程序设计的繁重程度，搞计算机程序设计的人都知道，在编程的过程中发生猝死的事件，以前不在少数。

还好，遵照“量力而行”的原则，经过一个多月的时间，子句消去法的C++程序居然被我设计完成了！当然，这个程序去参加SAT世界大赛，还需要进一步优化，这个工作将来可以让我的学生来做。

通过这次经历，我的体会是“老廉颇也可以编程，只是要悠着点！”

老年人丰富的研究经验是贵重的财富，当年轻人上不去当时候，也只有亲自上阵了。否则会有什么办法呢？

姜咏江

2017-8-11