趙奕聽羅智金說的厲害,還以爲‘賀門’是個大‘門派’,實際上,‘賀門’很小,也只是個‘戲娛’的稱呼。
賀明成一輩子都在做研究,不可能有太多時間帶學生。
他幾年才收一個學生,只是看到好苗子心動,培養也只是對學習進行指點,就是告訴學生該學什麼。
比如,袁仲晨。
袁仲晨在燕華大學上大一的時候,圖書館裡遇到的賀明成,兩人說了一會兒,賀明成發現袁仲晨很獨到的見解,差不多等於‘看對眼’,他就指導袁仲晨應該學什麼。
袁仲晨大學畢業,就離開了燕華大學。
賀明成覺得袁仲晨是最得意的弟子,其實他就帶了袁仲晨有三年多,也只是告訴他該看什麼書,有不懂的地方幫忙解答一下,也沒要求袁仲晨畢業去幹什麼。
‘賀門’,是靠學生闖出的名號。
七年前,賀明成的學生,應化國,他的研究成果獲得國際獎項時,在頒獎的時候說道,“我要感謝我的老師賀明成!我的博士學位是在美國取得的,但賀明成纔是我最尊敬的老師,我永遠都是‘賀門弟子’。”
這就是‘賀門弟子’的由來。
其他人都把賀明成的學生稱爲‘賀門弟子’,但一個個人頭數出來也不超過十個,放在一起翻不起多大的浪花。
所謂‘有本事’,也不過是個研究員、教授、博導之類。
院士就不用想了。
賀明成做了一輩子的研究,也沒混出來一個院士評級。
這些和趙奕還扯不上關係。
當天晚上趙奕回到酒店,仔細的過了一遍論文證明過程,明天就要真正上臺演講,來聽講的還都是大佬,他心裡也是有些緊張的。
那好像是……
畢業設計、論文,即將接受嚴格答辯、審查的感覺!
第二天趙奕起的很早。
上午再過一遍論文內容,仔細的看發現沒什麼問題,纔有心情出去轉轉。
演講是下午兩點進行。
時間到了中午的時候,就有很多人來到燕華大學,研究生樓下聚集着不少人,好多都是頂尖的計算機人士,還有一些數學、物理等教授也來了,一個計算機的算法,能吸引這麼多人,還有個原因是‘普及性’。
如果是非常專業性質的計算機算法,能吸引的只有計算機行業人士,其他學科的人不一定能聽明白,也不知道具體有什麼用。
‘有效與無關進位篩選’就不同了。
‘篩選法’就是在解決魔方計算問題的過程中總結出來的,而魔方計算問題根本不用專業人士,找個初中生,甚至小學生就能明白意思。
當看似簡單的問題,成爲了世界難題,關注的人就肯定會多。
所以來的人也有些雜。
時間到了一點左右的時候,趙奕也來到了研究生樓,爲了減少不必要的麻煩,他被許超帶着進了會議室裡的小間,就一心認真的準備演講。
兩點。
會議室人滿爲患。
趙奕準時的走進了會場,兩側攝像機頓時指了過去,他的臉上掛着淡笑,表情出輕鬆自然,隨後控制着電腦,打開了製作好的PPT,並依照計劃好的內容開始演說。
這其實就和拿着臺詞演講沒什麼區別,就是把推導好的過程詳細的證明一遍。
本來應該一直順暢的結束,中途提問的時候就不對了。
有個叫李益來的教授,總是問一下刁鑽古怪的問題,他還不斷反覆的詢問,過程中和大學數學、定理有關的步驟。
趙奕解答的很輕鬆。
當知道一些證明定理和結果後,《聯絡率》能幫助他輕鬆解決過程,他在臺上侃侃而談,越說就越有自信,讓李益來看的更窩火。
李益來挑毛病也是有原因的。
他的研究項目是和‘數據挖掘’有關的算法,但兩、三年時間都沒什麼進展,好不容易有了一些進展,正打算髮表一篇和優化算法有關論文,打算以此申請一些科研經費。
論文寫完了。
他的優化算法論文中,舉的例子就和魔方計算有關,裡面還表示說,使用他的算法可以大大簡化計算量,只要繼續深入的研究下去,就能找到破解魔方最簡潔的算法。
這時候魔方計算器出現了。
李益來感覺臉被打的啪啪響,他生氣的差點砸掉了電腦,想想經費申請不下來,一臺電腦也是價值不菲,最後還是沒捨得砸下去。
當然。
最重要的是努力成了無用功。
科研領域最怕的就是研究方向相同,方向相同就會導致,有一方的研究會成爲無用功。
李益來敗在一個高中生手裡,心裡的憋屈可想而知,他還沒辦法說出來,還要慶幸論文沒有投稿、發表,否則真就成了笑話。
現在看到臺上的年輕高中生,其他人都是一臉的‘後生可畏’,李益來只感覺鬱悶的吐血。
‘有效與無關進位篩選’,可不是簡單就能證明出來的,中途需要給人消化理解的時間,也會給出提問的機會。
李益來就不斷的提問。
李益來專業做算法研究,能力還是相當不錯的,他提問了幾次以後,忽然皺住了眉頭,隨後再次舉手提問。
其他人都有些看不過去了--
“這個李益來要臉不要!”
“爲難一個學生幹什麼,他問的東西都很明顯的,根本不應該問。”
“老不要臉!”
賀明成教授坐在第一排中間,他不但聽得很認真,還低着頭做筆記,發現李益來總是打斷,提的問題還有些可笑,也不由得皺住眉頭。
李益來還是說了出來,他指出了一個真正的問題,“趙奕同學,我注意到你剛纔的證明過程,說所有的可能的情況,被分析判定後,都會歸爲數字一,也就是隻剩下一種可能。”
“這個過程並不嚴謹,你用到了幾個代數的定理,但最後的總結,卻直接得到了結果。”
“如果你的證明過程是對的,不就等於證明了角谷猜想?”
李益來說完有些得意的坐了下來。
會場頓時安靜了。
每個人都在討論剛纔的過程,因爲過程有些複雜且繞腦,趙奕有一部分是用計算機的方法演示、說明的,其他人並沒有注意到。
李益來提醒了一下,大家馬上都注意到了。
角谷猜想,也叫作冰雹猜想,是一種數學猜想,說一個正整數x,如果是奇數就乘以3再加1,如果是偶數就析出偶數因數2ⁿ,這樣經過若干個次數,最終都會回到1。
許多人都聲稱證明了角谷猜想,還發表了一系列的論文,實際上,至今還沒有‘被公認嚴謹’的證明過程。
所以猜想依舊只是猜想,而不是能直接運用的定理。
趙奕的證明過程中,用計算機演示、說明,看似過程十分的嚴謹,卻用到了‘角谷猜想’的內容。
這並不算錯。
李益來說的證明步驟,是數字無限大的情況下,對每一種可能進行分析判定,運用在魔方上,最多就只有27種扭動情況。
根據日本和美國的數學家攻關研究,小於7*10^11的所有的正整數,都符合角谷猜想的規律,若是再大於7*10^11的數字,差不多隻是理論上的數字,計算機想一一判定分析就非常困難了。
另外,計算機和數學不同。
數學需要最爲嚴謹的證明,理論上的數字也需要證明,計算機算法最終的目的是輸出正確的結果。
哪怕是存在一點點的瑕疵,‘有效與無關進位篩選法’,放在計算機算法領域裡,也已經是完善的算法,可以直接被運用起來。
用數學思維說明有問題,能算是‘雞蛋裡挑骨頭’了。
會場議論紛紛。
多數人承認李益來說的問題確實存在,但趙奕的證明過程,在現有的計算機性能下,是完全沒有問題的,而計算機算法最重要的,就是能夠輸出結果,能運用於實踐比理論更重要。
結果正確,算法就能應用。
這就足夠了。
臺上。
趙奕盯着屏幕上的過程,不斷思考着李益來質疑的話。
角谷猜想?
好像是啊!
如果證明過程是正確的,豈不同時說明角谷猜想是正確的,反之就是不正確的。
但肯定百分百正確!
趙奕相當的有信心,《聯絡率》可不會騙人,他完全理解了證明過程,而‘角谷猜想’就只是猜想,不是固有的公式、定理,也絕對不是《聯絡率》使用的‘先決條件’。
所以……
趙奕靜靜的思考有五分鐘時間。
臺下衆人都以爲他受到了打擊,羅智金教授走過來,想過來安慰下他,告訴他計算機和數學不同,不要理會李益來‘雞蛋裡挑骨頭’的廢話。
這時趙奕擡起了頭,認真看着李益來,隨後乾脆站了起來,邁步走到李益來的面前。
其他人讓出了一條路。
“拉住他!”有人忽然喊了一聲,“別讓他打人啊!現在這小年輕可說不好!”
“趕緊的!”
“李教授,小心!”
李益來聽到喊聲嚇的往後推了一步,只是後面是椅子根本無路可退,他可都有五十多歲了,身體遠算不上硬朗,可禁不住小年輕的一拳。
趙奕終於有了動作。
他激動的抓住李益來的手,非常認真說道,“謝謝你!李教授!謝謝你!真的很感謝。”
“啊?”
李益來有點懵。
趙奕深吸一口氣道,“要不是你提醒,我都沒有發現,我竟然證明了角谷猜想!”