我看到SAT问题（或3-SAT）在经典NP算法理论中被列为NPC问题，举出的例子之一就是CNF中子项共有2^n个的例子。这种情况下使用蛮力方法应该都是指数复杂度的。但是为什么会出现这种穷举所有输入组合方式呢？在SAT问题中是否可以避免这种穷举方法?

其实我提出的子句标志消去法的算法规模根本就不是n，而是子句的数量，这就绕开了愚蠢的穷举法。开始我也没意识到，通过与您讨论，一下子想清楚了。还要感谢您。如此是否k=n已经不重要了。

关于算法时间复杂度规模的这种观点我以前说过，只是运用得不专业（http://blog.sciencenet.cn/blog-340399-849311.html）。研究的过程就是一个不断深入，不断纠正错误的过程。大家都一样。非常高兴与您深入探讨。希望保持联系。