我们马上记住本站网址,www.wuxianliuxs.cc,若被浏/览/器/转/码,可退出转/码继续阅读,感谢支持.
（6）qaccept是接受状态；
（7）□是空白字符（唯一允许在任何一步出现无数次的字符）
......
江焕要证明的正是“np完全问题”
系统给出的证明方法最已经印在了江焕的大脑之中，而江焕也彻底的吃透了，但是要将整个论证过程完成的整理出来，是需要花费不少功夫的。
一个想法，自己理解了根本就不重要，关键是你写出来的别人也能懂。
系统给江焕的“np完全问题”的证明，篇幅很短，江焕第一次读的时候，根本就读不懂，但是将近一年多的时间，江焕已经把“np完全问题”做了很好的数学新逻辑铺垫和计算机新逻辑铺垫。
而且江焕的新逻辑，也正在数学领域和计算机领域发挥着革命性的影响，现在，已经是江焕证明“np完全问题”的最佳时候了。
有些计算问题是确定性的，比如加减乘除之类，你只要按照公式推导，按部就班一步步来，就可以得到结果。但是，有些问题是无法按部就班直接地计算出来。
比如，找大质数的问题。又没有一个公式，你一套公式，就可以一步步推算出来，下一个质数应该是多少呢？这样的公式是没有的。再比如，大的合数分解质因数的问题，有没有一个公式，把合数代进去，就直接可以算出，它的因子各自是多少？也没有这样的公式。
这种问题的答案，是无法直接计算得到的，只能通过间接的“猜算”来得到结果。这就是非确定性问题。而这些问题的通常有个算法，它不能直接告诉你答案是什么，但可以告诉你，某个可能的结果是正确的答案还是错误的。
而江焕正打算证明这个问题：完全多项式非确定问题
而这个问题不仅仅是一个数学问题，对江焕来说，它更是一种计算机编程问题，光华数据公司的核心业务可是大数据分析啊，可是，现在这个不务正业的公司，大数据分析业务一点都没有，反而在云计算和云安全领域一跃成为世界第一。
安静的图书馆，江焕摩挲着右手中指的笔茧，思考着自己的怎么落笔。
时间一分一秒的过着，江焕发了一会儿呆，开始落笔了。
一张张的a4纸，江焕没有什么停顿，思想如泉涌，大脑之中的想法开始跃然纸上。
而图书馆之中，江焕并没有发现，陈岳丘已经坐在了他的对面，带着老花镜，一张一张的看着江焕的草稿。
而几个便衣的安保人员也在私下里小声地把江焕附近的人清场了。
陈岳丘认认真真地坐着笔记，真的很棒！
数学，虽然看起来仅仅是1+1的简单逻辑，但是数学的伟大之处在于它是一种工具，各行各业进行分析问题的工具，而陈岳丘之所以让他的安保人员把周围的人清理开，是因为他江焕的数学思路，为他最近在研究的一个关于航空器的课题打开了新的思路。
安静的图书馆里，一老一少，对面而坐，身外无物的专注着自己的问题。