今年的全國數學建模大賽，絕對是有史以來，影響力最大的一屆，即使全國數學建模大賽結束了很長時間了，輿論對這場比賽的宣傳還沒有結束，而這一切跟江煥已經沒有什么關系了。
意想不到的結局，他們的論文直接被一個科研部門拿去用了，他們代表的貿大小組直接被除名了。
......
全國數學建模大賽算是徹底的跟江煥他們無關了。
而江煥、魯文和張輝也不在乎全國數學建模大賽了，比賽后，魯文帶著團隊開始在江煥的指導下，根據新的光華計算機語言，編寫云計算算法、構建云安全體系，為大客戶提供定制的云計算算法、構建云計算的安全體系。
江煥新創作的光華計算機語言正發揮著超乎形象的作用，有著光華數據研究所的支持，短短的時間內，光華數據信息服務有限公司已經一躍成為了世界上最大的云計算和云安全提供商。
而張輝徹底的成了一個商人，整天全球的跑，他真的見識道了知識的力量，天啊，他們是全世界唯一的云計算和云安全提供商，而唯一，就意味著暴利，之前，光華數據的客戶都是國企和央企，雖然客戶一點都不討價還價，但是張輝還是不敢開高價，要知道，他們是服務業，是沒有什么成本的，一套云計算算法和云計算的安全體系，要個三四千萬，張輝就覺得高得不行了。
可是前一段時間，公司阿里提供了一套量身定做的云計算服務器算法構建了一套云計算的安全體系，要價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的簡單邏輯，但是數學的偉大之處在于它是一種工具，各行各業進行分析問題的工具，而陳岳丘之所以讓他的安保人員把周圍的人清理開，是因為他江煥的數學思路，為他最近在研究的一個關于航空器的課題打開了新的思路。
安靜的圖書館里，一老一少，對面而坐，身外無物的專注著自己的問題。
