今年的全国数学建模大赛，绝对是有史以来，影响力最大的一届，即使全国数学建模大赛结束了很长时间了，舆论对这场比赛的宣传还没有结束，而这一切跟江焕已经没有什么关系了。

意想不到的结局，他们的论文直接被一个科研部门拿去用了，他们代表的贸大小组直接被除名了。

......

全国数学建模大赛算是彻底的跟江焕他们无关了。

而江焕、鲁文和张辉也不在乎全国数学建模大赛了，比赛后，鲁文带着团队开始在江焕的指导下，根据新的光华计算机语言，编写云计算算法、构建云安全体系，为大客户提供定制的云计算算法、构建云计算的安全体系。

江焕新创作的光华计算机语言正发挥着超乎形象的作用，有着光华数据研究所的支持，短短的时间内，光华数据信息服务有限公司已经一跃成为了世界上最大的云计算和云安全提供商。

而张辉彻底的成了一个商人，整天全球的跑，他真的见识道了知识的力量，天啊，他们是全世界唯一的云计算和云安全提供商，而唯一，就意味着暴利，之前，光华数据的客户都是国企和央企，虽然客户一点都不讨价还价，但是张辉还是不敢开高价，要知道，他们是服务业，是没有什么成本的，一套云计算算法和云计算的安全体系，要个三四千万，张辉就觉得高得不行了。

可是前一段时间，公司阿里提供了一套量身定做的云计算服务器算法构建了一套云计算的安全体系，要价5亿人民币，张辉就觉得很暴利了啊！

而后来更加夸张，山姆国的亚马逊竟然直接出价5亿美元，邀请光华数据公司去提供云计算算法和构建一套云计算安全体系，整个公司吓呆了，要知道，当初为阿里的5亿人民币，整个公司就惊呆了，公司团队直接拿出了一个亿作为分红奖励，而这次可是5亿美元啊！

一个程序，几行代码，就这么贵？这真的彻底的刷新了张辉的认识观点，也导致了光华数据公司一跃成为了世界上要价最高的公司。

......

而江焕淡定了很多，光华数据公司虽然盈利了，但是，江焕并没有拿到多少钱，他的分红还是照常的投入了两个公益基金，每个月还是只有五万块的生活费。

光华数据公司的巨额盈利，一部分拿来了作为员工奖励，光华数据公司在不到半年的时间内，公司的每一个员工都成了百万的富豪了，尤其是光华研究院的，每一个人都成了千万富翁，而另一部分钱，用在了公司的扩张上，新的办公楼已经在X县选址好了，计划是一整个数据服务工业区，这是一笔很大的投入。

.......

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

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

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

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

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

（4）δ：Q×Γ→Q×Γ×{L，R}是转移函数，其中L，R 表示读写头是向左移还是向右移；

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

（6）qaccept是接受状态；

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

......

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

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

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

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

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

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

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

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

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

而这个问题不仅仅是一个数学问题，对江焕来说，它更是一种计算机编程问题，光华数据公司的核心业务可是大数据分析啊，可是，现在这个不务正业的公司，大数据分析业务一点都没有，反而在云计算和云安全领域一跃成为世界第一。

安静的图书馆，江焕摩挲着右手中指的笔茧，思考着自己的怎么落笔。

时间一分一秒的过着，江焕发了一会儿呆，开始落笔了。

一张张的A4纸，江焕没有什么停顿，思想如泉涌，大脑之中的想法开始跃然纸上。

而图书馆之中，江焕并没有发现，陈岳丘已经坐在了他的对面，带着老花镜，一张一张的看着江焕的草稿。

而几个便衣的安保人员也在私下里小声地把江焕附近的人清场了。

陈岳丘认认真真地坐着笔记，真的很棒！

数学，虽然看起来仅仅是1+1的简单逻辑，但是数学的伟大之处在于它是一种工具，各行各业进行分析问题的工具，而陈岳丘之所以让他的安保人员把周围的人清理开，是因为他江焕的数学思路，为他最近在研究的一个关于航空器的课题打开了新的思路。

安静的图书馆里，一老一少，对面而坐，身外无物的专注着自己的问题。