..

  背着书包在图书馆找了一个安静的地方，江焕开始写着他的论文：

  m是一个七元组，{q，Σ，□，Γ，δ，q0，qaccept}，其中 q，Σ，Γ都是有限集合，且满足：

  （1）q 是有限状态集合；

  （2）Σ是输入字母表，其中不包含特殊的空白符□；

  （3）Γ是带子上字母表，其中□∈Γ且Σ∈Γ；

  （4）δ：qxΓ→qxΓx{l，r}是转移函数，其中l，r 表示读写头是向左移还是向右移；

  （5）q0∈q是起始状态；

  （6）qaccept是接受状态；

  （7）□是空白字符（唯一允许在任何一步出现无数次的字符）

  ......

  江焕要证明的正是“np完全问题”

  系统给出的证明方法最已经印在了江焕的大脑之中，而江焕也彻底的吃透了，但是要将整个论证过程完成的整理出来，是需要花费不少功夫的。

  一个想法，自己理解了根本就不重要，关键是你写出来的别人也能懂。

  系统给江焕的“np完全问题”的证明，篇幅很短，江焕第一次读的时候，根本就读不懂，但是将近一年多的时间，江焕已经把“np完全问题”做了很好的数学新逻辑铺垫和计算机新逻辑铺垫。

  而且江焕的新逻辑，也正在数学领域和计算机领域发挥着革命性的影响，现在，已经是江焕证明“np完全问题”的最佳时候了。

  有些计算问题是确定性的，比如加减乘除之类，你只要按照公式推导，按部就班一步步来，就可以得到结果。但是，有些问题是无法按部就班直接地计算出来。

  比如，找大质数的问题。又没有一个公式，你一套公式，就可以一步步推算出来，下一个质数应该是多少呢？这样的公式是没有的。再比如，大的合数分解质因数的问题，有没有一个公式，把合数代进去，就直接可以算出，它的因子各自是多少？也没有这样的公式。

  这种问题的答案，是无法直接计算得到的，只能通过间接的“猜算”来得到结果。这就是非确定性问题。而这些问题的通常有个算法，它不能直接告诉你答案是什么，但可以告诉你，某个可能的结果是正确的答案还是错误的。

  而江焕正打算证明这个问题：完全多项式非确定问题

  而这个问题不仅仅是一个数学问题，对江焕来说，它更是一种计算机编程问题，光华数据公司的核心