小說王耽美小說網

第一百二十六章 我竟然證明了角谷猜想?

關燈
趙奕聽羅智金說的厲害,還以為‘賀門’是個大‘門派’,實際上,‘賀門’很小,也只是個‘戲娛’的稱呼。

賀明成一輩子都在做研究,不可能有太多時間帶學生。

他幾年才收一個學生,只是看到好苗子心動,培養也只是對學習進行指點,就是告訴學生該學什麽。

比如,袁仲晨。

袁仲晨在燕華大學上大一的時候,圖書館裏遇到的賀明成,兩人說了一會兒,賀明成發現袁仲晨很獨到的見解,差不多等於‘看對眼’,他就指導袁仲晨應該學什麽。

袁仲晨大學畢業,就離開了燕華大學。

賀明成覺得袁仲晨是最得意的弟子,其實他就帶了袁仲晨有三年多,也只是告訴他該看什麽書,有不懂的地方幫忙解答一下,也沒要求袁仲晨畢業去幹什麽。

‘賀門’,是靠學生闖出的名號。

七年前,賀明成的學生,應化國,他的研究成果獲得國際獎項時,在頒獎的時候說道,“我要感謝我的老師賀明成!我的博士學位是在美國取得的,但賀明成才是我最尊敬的老師,我永遠都是‘賀門弟子’。”

這就是‘賀門弟子’的由來。

其他人都把賀明成的學生稱為‘賀門弟子’,但一個個人頭數出來也不超過十個,放在一起翻不起多大的浪花。

所謂‘有本事’,也不過是個研究員、教授、博導之類。

院士就不用想了。

賀明成做了一輩子的研究,也沒混出來一個院士評級。

這些和趙奕還扯不上關系。

當天晚上趙奕回到酒店,仔細的過了一遍論文證明過程,明天就要真正上臺演講,來聽講的還都是大佬,他心裏也是有些緊張的。

那好像是……

畢業設計、論文,即將接受嚴格答辯、審查的感覺!

第二天趙奕起的很早。

上午再過一遍論文內容,仔細的看發現沒什麽問題,才有心情出去轉轉。

演講是下午兩點進行。

時間到了中午的時候,就有很多人來到燕華大學,研究生樓下聚集著不少人,好多都是頂尖的計算機人士,還有一些數學、物理等教授也來了,一個計算機的算法,能吸引這麽多人,還有個原因是‘普及性’。

如果是非常專業性質的計算機算法,能吸引的只有計算機行業人士,其他學科的人不一定能聽明白,也不知道具體有什麽用。

‘有效與無關進位篩選’就不同了。

‘篩選法’就是在解決魔方計算問題的過程中總結出來的,而魔方計算問題根本不用專業人士,找個初中生,甚至小學生就能明白意思。

當看似簡單的問題,成為了世界難題,關註的人就肯定會多。

所以來的人也有些雜。

時間到了一點左右的時候,趙奕也來到了研究生樓,為了減少不必要的麻煩,他被徐超帶著進了會議室裏的小間,就一心認真的準備演講。

兩點。

會議室人滿為患。

趙奕準時的走進了會場,兩側攝像機頓時指了過去,他的臉上掛著淡笑,表情出輕松自然,隨後控制著電腦,打開了制作好的PPT,並依照計劃好的內容開始演說。

這其實就和拿著臺詞演講沒什麽區別,就是把推導好的過程詳細的證明一遍。

本來應該一直順暢的結束,中途提問的時候就不對了。

有個叫李益來的教授,總是問一下刁鉆古怪的問題,他還不斷反覆的詢問,過程中和大學數學、定理有關的步驟。

趙奕解答的很輕松。

當知道一些證明定理和結果後,《聯絡率》能幫助他輕松解決過程,他在臺上侃侃而談,越說就越有自信,讓李益來看的更窩火。

李益來挑毛病也是有原因的。

他的研究項目是和‘數據挖掘’有關的算法,但兩、三年時間都沒什麽進展,好不容易有了一些進展,正打算發表一篇和優化算法有關論文,打算以此申請一些科研經費。

論文寫完了。

他的優化算法論文中,舉的例子就和魔方計算有關,裏面還表示說,使用他的算法可以大大簡化計算量,只要繼續深入的研究下去,就能找到破解魔方最簡潔的算法。

這時候魔方計算器出現了。

李益來感覺臉被打的啪啪響,他生氣的差點砸掉了電腦,想想經費申請不下來,一臺電腦也是價值不菲,最後還是沒舍得砸下去。

當然。

最重要的是努力成了無用功。

科研領域最怕的就是研究方向相同,方向相同就會導致,有一方的研究會成為無用功。

李益來敗在一個高中生手裏,心裏的憋屈可想而知,他還沒辦法說出來,還要慶幸論文沒有投稿、發表,否則真就成了笑話。

現在看到臺上的年輕高中生,其他人都是一臉的‘後生可畏’,李益來只感覺郁悶的吐血。

‘有效與無關進位篩選’,可不是簡單就能證明出來的,中途需要給人消化理解的時間,也會給出提問的機會。

李益來就不斷的提問。

李益來專業做算法研究,能力還是相當不錯的,他提問了幾次以後,忽然皺住了眉頭,隨後再次舉手提問。

其他人都有些看不過去了--

“這個李益來要臉不要!”

“為難一個學生幹什麽,他問的東西都很明顯的,根本不應該問。”

“老不要臉!”

賀明成教授坐在第一排中間,他不但聽得很認真,還低著頭做筆記,發現李益來總是打斷,提的問題還有些可笑,也不由得皺住眉頭。

李益來還是說了出來,他指出了一個真正的問題,“趙奕同學,我註意到你剛才的證明過程,說所有的可能的情況,被分析判定後,都會歸為數字一,也就是只剩下一種可能。”

“這個過程並不嚴謹,你用到了幾個代數的定理,但最後的總結,卻直接得到了結果。”

“如果你的證明過程是對的,不就等於證明了角谷猜想?”

李益來說完有些得意的坐了下來。

會場頓時安靜了。

每個人都在討論剛才的過程,因為過程有些覆雜且繞腦,趙奕有一部分是用計算機的方法演示、說明的,其他人並沒有註意到。

李益來提醒了一下,大家馬上都註意到了。

角谷猜想,也叫作冰雹猜想,是一種數學猜想,說一個正整數x,如果是奇數就乘以3再加1,如果是偶數就析出偶數因數2,這樣經過若幹個次數,最終都會回到1。

許多人都聲稱證明了角谷猜想,還發表了一系列的論文,實際上,至今還沒有‘被公認嚴謹’的證明過程。

所以猜想依舊只是猜想,而不是能直接運用的定理。

趙奕的證明過程中,用計算機演示、說明,看似過程十分的嚴謹,卻用到了‘角谷猜想’的內容。

這並不算錯。

李益來說的證明步驟,是數字無限大的情況下,對每一種可能進行分析判定,運用在魔方上,最多就只有27種扭動情況。

根據日本和美國的數學家攻關研究,小於7x10^11的所有的正整數,都符合角谷猜想的規律,若是再大於7x10^11的數字,差不多只是理論上的數字,計算機想一一判定分析就非常困難了。

另外,計算機和數學不同。

數學需要最為嚴謹的證明,理論上的數字也需要證明,計算機算法最終的目的是輸出正確的結果。

哪怕是存在一點點的瑕疵,‘有效與無關進位篩選法’,放在計算機算法領域裏,也已經是完善的算法,可以直接被運用起來。

用數學思維說明有問題,能算是‘雞蛋裏挑骨頭’了。

會場議論紛紛。

多數人承認李益來說的問題確實存在,但趙奕的證明過程,在現有的計算機性能下,是完全沒有問題的,而計算機算法最重要的,就是能夠輸出結果,能運用於實踐比理論更重要。

結果正確,算法就能應用。

這就足夠了。

臺上。

趙奕盯著屏幕上的過程,不斷思考著李益來質疑的話。

角谷猜想?

好像是啊!

如果證明過程是正確的,豈不同時說明角谷猜想是正確的,反之就是不正確的。

但肯定百分百正確!

趙奕相當的有信心,《聯絡率》可不會騙人,他完全理解了證明過程,而‘角谷猜想’就只是猜想,不是固有的公式、定理,也絕對不是《聯絡率》使用的‘先決條件’。

所以……

趙奕靜靜的思考有五分鐘時間。

臺下眾人都以為他受到了打擊,羅智金教授走過來,想過來安慰下他,告訴他計算機和數學不同,不要理會李益來‘雞蛋裏挑骨頭’的廢話。

這時趙奕擡起了頭,認真看著李益來,隨後幹脆站了起來,邁步走到李益來的面前。

其他人讓出了一條路。

“拉住他!”有人忽然喊了一聲,“別讓他打人啊!現在這小年輕可說不好!”

“趕緊的!”

“李教授,小心!”

李益來聽到喊聲嚇的往後推了一步,只是後面是椅子根本無路可退,他可都有五十多歲了,身體遠算不上硬朗,可禁不住小年輕的一拳。

趙奕終於有了動作。

他激動的抓住李益來的手,非常認真說道,“謝謝你!李教授!謝謝你!真的很感謝。”

“啊?”

李益來有點懵。

趙奕深吸一口氣道,“要不是你提醒,我都沒有發現,我竟然證明了角谷猜想!”

本站無廣告,永久域名(danmei.twking.cc)