熱血小說網 > 從大學學霸到首席院士 > 第36章 圖靈等價證明成功
  2023年2月15日,算力實驗室!

  “如果將模糊Zadeh算子的定義域擴大,就可以重新定義模糊極大極小算子,使得滿足交換律、結合律和零元律。“

  葉非皺眉思索的看著面前寫滿公式的紙:“就可以求出圖靈等價。”

  現在他們已經研究到最后一步,而最后一步他們已經研究一周。

  經過許多次失敗后,葉非昨天想到利用模糊算子、神經網絡和遞歸函數,求出圖靈等價。

  因為圖靈等價還未證明出來,但模糊極大極小算子神經元網絡已經被證明出來。

  而模糊極大極小神經元網絡的計算能力和圖靈機類似。

  所以,就可以用模糊極大極小神經元網絡替換圖靈機,就可以求出圖靈等價。

  現在關鍵是如何替換。

  “周教授,來,我們用Godel-Kleen部分遞歸函數來求證。”

  “好!”

  研究到這一步,周教授感覺已經跟不上葉非的思路,葉非說什么他就做什么。

  此時,他就是一個機器人,毫無感情的執行葉非下達的一切命令。

  和葉非待的時間越久,他越發現葉非的天才。

  而自己只是一個只知道執行命令的廢物。

  對,和葉非在一起,你別有思想,只把自己當廢物。

  如果有思想,最終你會發現,最終自己還是廢物。

  既然如此,不如一開始就把自己當廢物。

  反正,最后課題會研究出來,只需要耐心等著享受成果。

  周教授不會像葉非的導師魯一山一樣,魯一山會反思自己為何廢物。

  而周教授不會,他是完全把自己當廢物。

  魯一山會因為自己在課題中起不到太大作用而難過,但周教授不會。

  既然起不到太大作用,就聽葉非的命令,抱大腿完成課題。

  魯一山會因為葉非太天才,而不想和他合作。

  周教授不會,越天才越好,越天才自己要更加抱緊大腿,多多合作。

  他還想著,圖靈等價證明出來后,下一次兩人再次合作。

  下午五點!

  【圖靈等價任務完成

  獎勵:100積分】

  “呼……”葉非長呼一口氣,看著身旁的周教授,笑道:“周教授,我們成功了。”

  “啊……”周教授如夢初醒,問道:“成功了嗎?”

  “嗯!”葉非點頭:“成功了,你看這一步。”

  說著葉非指著紙上的一段公式。

  “當相等判定函數與布爾選擇函數合在一起,模糊極大極小神經元網絡就可以替換圖靈機,也就證明出圖靈等價。”

  葉非笑道:“接下來的收尾工作交給你了。”

  下面是驗算,經過系統的提醒,他知道,他的證明是成功的。

  但驗算是每一個證明后必定要走的程序,所以,他把這個任務交給周教授。

  “沒問題!”周教授笑道。

  圖靈等價大部分工作是葉非做的,所以,為了抱緊大腿,其余工作周教授會做。

  “論文通訊作者你要來當嗎?”葉非問道。

  每一個難題被證明后必定要寫論文,葉非沒問周教授誰寫論文。

  誰寫論文倒不是說費心費力。

  而是寫論文的人必定是論文第一作者,第一作者在論文中是最重要的,這位置葉非不會讓出去。

  雖然一作可以同時有多人,但必須是多人在論文中的貢獻相等,才能多人。

  可是課題研究大部分功勞是葉非的,所以一作只能是葉非一人。

  即使讓周教授去寫,他也寫不出來。

  因為課題中很多難題是葉非解決的,有些問題至今周教授都沒搞明白。

  “不了!”周教授沒覺得自己在這次課題中起多大作用,他不好意思占通訊作者。

  通訊作者雖然比第一作者次一點,但卻掌握著論文的版權。

  并且,如果他占通訊作者這個位置,在外人看來,是他指導葉非寫論文。

  他真不好意思說自己指導葉非,是葉非指導自己還差不多。

  再說,如果他真占這么大便宜,惹惱葉非,下次兩人再也沒合作機會了。

  科學的抱大腿方法,需要把控好尺度。

  有些便宜可以占,有些便宜不能占。

  葉非點了點頭,也沒推辭,道:“那你當二作吧!”

  “行!”周教授點頭:“驗算完后,我把完整的證明過程發給你。”

  在做課題的時候,所有證明資料有些雜亂,需要事后整理。

  而驗算的過程中,剛好可以整理資料。

  其中就有完整的證明過程。

  “好!”葉非道。

  分工已經明確,周教授驗算證明過程,葉非寫論文。

  葉非一邊向宿舍走去,一邊心中思索:“圖靈等價問題證明成果,等到論文寫完后,開始教百度公司的員工和與超算中心的合作。”

  葉非的算法創造法是被百度買走的,一半的錢已經在一周前打到。

  “對了,這兩件事不知道能不能設置成任務?”

  說著,葉非在系統中設置任務。

  【任務:教導百度公司員工圖計算法創造法

  詳情:理解圖計算法原理

  獎勵:5積分】

  “這么少?”葉非詫異:“看樣子不是解決難題,積分獎勵非常少。”

  “再試試這個。”

  【任務:與國家超算沙丘中心合作,創造超算算法

  詳情:以數學算法創造超算算法

  獎勵:50積分】

  “50積分?”葉非驚愕:“積分值是解決圖靈等價這一類難題的一半了,看樣子又是一個難啃的骨頭。”

  葉非以為,自己都創造出數學算法,再以數學算法去創造超算算法,應該挺簡單的。

  但通過積分值看,難度有些高。

  “葉非!”這時,許院長從不遠處走來。

  “許院長!”葉非道。

  “你準備一下,這個月月底和我去領獎,你計算機獎獲獎了。”

  葉非眼前一亮,連追問道:“獲幾個獎”

  “你猜?”許院長笑道。

  葉非搖頭,覺得許院長都五十多歲的人了,還這么幼稚。

  你猜?

  你看我猜不猜?

  葉非道:“月底多少號?”

  “28號。”

  “好!”葉非點頭:“到時候您提前一天打電話給我。”

  2月28日,距離現在還有將近半月時間。

  “行!”許院長點頭,問道:“你今天離開實驗室挺早啊!”

  葉非道:“課題研究成功了,剩下的收尾工作全部交給周教授,我回去寫論文。”

  “研究成功了?”許院長驚訝:“你是說圖靈等價?”

  “嗯!”葉非點頭。

  “你真成功了?”許院長驚訝的瞪大眼睛。

  那可是圖靈等價,困擾無數數學家和計算機科學家八十六年難題,就這樣被證明出來了?

  “真成功了。”葉非道。

  “不可能吧!”許院長還是不敢相信。

  “你去問問周教授就知道了。”葉非擺擺手道:“我回去了。”

  他打了一個哈欠,道:“這段時間都沒睡好覺,我要回去睡一覺。”

  證明圖靈等價最后階段,他和周教授沒日沒夜的工作,每天只睡四個小時,除了吃飯和上洗手間,其余時間都在工作。

  說完后,葉非繼續向宿舍走去。

  許院長快速向算力實驗室趕去。

  等到算力實驗室后,求證周教授真的證明出圖靈等價。

  他驚呼道:“竟然真的成功了,周教授,你可不能騙我。”

  “我騙你做什么?”周教授不耐煩的道:“過幾天葉非的論文就寫好了,你到時候就能看到了。”

  “真證明出來了。”許院長驚訝的道。

  他倒吸一口涼氣,心中震驚:“很少見過有人在兩個領域內都是頂級天才,而葉非就是。”

  “他不僅是數學頂級天才,也是計算機頂級天才。”

  “怎么才能把他挖來呢?”

  許院長心中宛若百爪撓心,對葉非更加垂涎三尺。 無盡的昏迷過后,時宇猛地從床上起身。想要看最新章節內容,請下載星星閱讀app,無廣告免費閱讀最新章節內容。網站已經不更新最新章節內容,已經星星閱讀小說APP更新最新章節內容。

  他大口的呼吸起新鮮的空氣,胸口一顫一顫。

  迷茫、不解,各種情緒涌上心頭。

  這是哪?

  隨后,時宇下意識觀察四周,然后更茫然了。

  一個單人宿舍?

  就算他成功得到救援,現在也應該在病房才對。

  還有自己的身體……怎么會一點傷也沒有。

  帶著疑惑,時宇的視線快速從房間掃過,最終目光停留在了床頭的一面鏡子上。

  鏡子照出他現在的模樣,大約十七八歲的年齡,外貌很帥。

  可問題是,這不是他!下載星星閱讀app,閱讀最新章節內容無廣告免費

  之前的自己,是一位二十多歲氣宇不凡的帥氣青年,工作有段時間了。

  而現在,這相貌怎么看都只是高中生的年紀……

  這個變化,讓時宇發愣很久。

  千萬別告訴他,手術很成功……

  身體、面貌都變了,這根本不是手術不手術的問題了,而是仙術。

  他竟完全變成了另外一個人!

  難道……是自己穿越了?

  除了床頭那擺放位置明顯風水不好的鏡子,時宇還在旁邊發現了三本書。

  時宇拿起一看,書名瞬間讓他沉默。

  《新手飼養員必備育獸手冊》

  《寵獸產后的護理》

  《異種族獸耳娘評鑒指南》

  時宇:???

  前兩本書的名字還算正常,最后一本你是怎么回事?

  “咳。”

  時宇目光一肅,伸出手來,不過很快手臂一僵。

  就在他想翻開第三本書,看看這究竟是個什么東西時,他的大腦猛地一陣刺痛,大量的記憶如潮水般涌現。

  冰原市。

  寵獸飼養基地。

  實習寵獸飼養員。網站即將關閉,下載星星閱讀app為您提供大神大魚食小魚的從大學學霸到首席院士

  御獸師?