“如果將模糊Zadeh算子的定義域擴大，就可以重新定義模糊極大極小算子，使得滿足交換律、結合律和零元律。“
葉非皺眉思索的看着面前寫滿公式的紙：“就可以求出圖靈等價。”
現在他們已經研究到最後一步，而最後一步他們已經研究一週。
經過許多次失敗後，葉非昨天想到利用模糊算子、神經網絡和遞歸函數，求出圖靈等價。
因爲圖靈等價還未證明出來，但模糊極大極小算子神經元網絡已經被證明出來。
而模糊極大極小神經元網絡的計算能力和圖靈機類似。
所以，就可以用模糊極大極小神經元網絡替換圖靈機，就可以求出圖靈等價。
現在關鍵是如何替換。
“周教授，來，我們用Godel-Kleen部分遞歸函數來求證。”
“好！”
研究到這一步，周教授感覺已經跟不上葉非的思路，葉非說什麼他就做什麼。
此時，他就是一個機器人，毫無感情的執行葉非下達的一切命令。
和葉非待的時間越久，他越發現葉非的天才。
而自己只是一個只知道執行命令的廢物。
對，和葉非在一起，你別有思想，只把自己當廢物。
如果有思想，最終你會發現，最終自己還是廢物。
既然如此，不如一開始就把自己當廢物。
反正，最後課題會研究出來，只需要耐心等着享受成果。
周教授不會像葉非的導師魯一山一樣，魯一山會反思自己爲何廢物。
而周教授不會，他是完全把自己當廢物。
魯一山會因爲自己在課題中起不到太大作用而難過，但周教授不會。
既然起不到太大作用，就聽葉非的命令，抱大腿完成課題。
魯一山會因爲葉非太天才，而不想和他合作。
周教授不會，越天才越好，越天才自己要更加抱緊大腿，多多合作。
他還想着，圖靈等價證明出來後，下一次兩人再次合作。
下午五點！
【圖靈等價任務完成
獎勵：100積分】
“呼……”葉非長呼一口氣，看着身旁的周教授，笑道：“周教授，我們成功了。”
“啊……”周教授如夢初醒，問道：“成功了嗎？”
“嗯！”葉非點頭：“成功了，你看這一步。”
說着葉非指着紙上的一段公式。
“當相等判定函數與布爾選擇函數合在一起，模糊極大極小神經元網絡就可以替換圖靈機，也就證明出圖靈等價。”
葉非笑道：“接下來的收尾工作交給你了。”
下面是驗算，經過系統的提醒，他知道，他的證明是成功的。
但驗算是每一個證明後必定要走的程序，所以，他把這個任務交給周教授。
“沒問題！”周教授笑道。
圖靈等價大部分工作是葉非做的，所以，爲了抱緊大腿，其餘工作周教授會做。
“論文通訊作者你要來當嗎？”葉非問道。
每一個難題被證明後必定要寫論文，葉非沒問周教授誰寫論文。
誰寫論文倒不是說費心費力。
而是寫論文的人必定是論文第一作者，第一作者在論文中是最重要的，這位置葉非不會讓出去。
雖然一作可以同時有多人，但必須是多人在論文中的貢獻相等，才能多人。
可是課題研究大部分功勞是葉非的，所以一作只能是葉非一人。
即使讓周教授去寫，他也寫不出來。
因爲課題中很多難題是葉非解決的，有些問題至今周教授都沒搞明白。
“不了！”周教授沒覺得自己在這次課題中起多大作用，他不好意思佔通訊作者。
通訊作者雖然比第一作者次一點，但卻掌握着論文的版權。
並且，如果他佔通訊作者這個位置，在外人看來，是他指導葉非寫論文。
他真不好意思說自己指導葉非，是葉非指導自己還差不多。
再說，如果他真佔這麼大便宜，惹惱葉非，下次兩人再也沒合作機會了。
有些便宜可以佔，有些便宜不能佔。
葉非點了點頭，也沒推辭，道：“那你當二作吧！”
“行！”周教授點頭：“驗算完後，我把完整的證明過程發給你。”
在做課題的時候，所有證明資料有些雜亂，需要事後整理。
而驗算的過程中，剛好可以整理資料。
其中就有完整的證明過程。
“好！”葉非道。
分工已經明確，周教授驗算證明過程，葉非寫論文。
葉非一邊向宿舍走去，一邊心中思索：“圖靈等價問題證明成果，等到論文寫完後，開始教百度公司的員工和與超算中心的合作。”
葉非的算法創造法是被百度買走的，一半的錢已經在一週前打到。
“對了，這兩件事不知道能不能設置成任務？”
說着，葉非在系統中設置任務。
【任務：教導百度公司員工圖計算法創造法
詳情：理解圖計算法原理
獎勵：5積分】
“這麼少？”葉非詫異：“看樣子不是解決難題，積分獎勵非常少。”
“再試試這個。”
【任務：與國家超算沙丘中心合作，創造超算算法
詳情：以數學算法創造超算算法
獎勵：50積分】
“50積分？”葉非驚愕：“積分值是解決圖靈等價這一類難題的一半了，看樣子又是一個難啃的骨頭。”
葉非以爲，自己都創造出數學算法，再以數學算法去創造超算算法，應該挺簡單的。
但通過積分值看，難度有些高。
“葉非！”這時，許院長從不遠處走來。
“許院長！”葉非道。
“你準備一下，這個月月底和我去領獎，你計算機獎獲獎了。”
葉非眼前一亮，連追問道：“獲幾個獎”
“你猜？”許院長笑道。
葉非搖頭，覺得許院長都五十多歲的人了，還這麼幼稚。
你猜？
你看我猜不猜？
葉非道：“月底多少號？”
“28號。”
“好！”葉非點頭：“到時候您提前一天打電話給我。”
2月28日，距離現在還有將近半月時間。
“行！”許院長點頭，問道：“你今天離開實驗室挺早啊！”
葉非道：“課題研究成功了，剩下的收尾工作全部交給周教授，我回去寫論文。”
“研究成功了？”許院長驚訝：“你是說圖靈等價？”
“嗯！”葉非點頭。
“你真成功了？”許院長驚訝的瞪大眼睛。
那可是圖靈等價，困擾無數數學家和計算機科學家八十六年難題，就這樣被證明出來了？
“真成功了。”葉非道。
“不可能吧！”許院長還是不敢相信。
“你去問問周教授就知道了。”葉非擺擺手道：“我回去了。”
他打了一個哈欠，道：“這段時間都沒睡好覺，我要回去睡一覺。”
證明圖靈等價最後階段，他和周教授沒日沒夜的工作，每天只睡四個小時，除了喫飯和上洗手間，其餘時間都在工作。
說完後，葉非繼續向宿舍走去。
許院長快速向算力實驗室趕去。
等到算力實驗室後，求證周教授真的證明出圖靈等價。
他驚呼道：“竟然真的成功了，周教授，你可不能騙我。”
“我騙你做什麼？”周教授不耐煩的道：“過幾天葉非的論文就寫好了，你到時候就能看到了。”
“真證明出來了。”許院長驚訝的道。
他倒吸一口涼氣，心中震驚：“很少見過有人在兩個領域內都是頂級天才，而葉非就是。”
“他不僅是數學頂級天才，也是計算機頂級天才。”
“怎麼才能把他挖來呢？”
許院長心中宛若百爪撓心，對葉非更加垂涎三尺。