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