第104章 (實習)倒計時
第104章 (實習)倒計時
當林偉和高穩,還在為國產光刻機的流熱耦合算法和底層算力瓶頸憂心忡忡的時候。
李東正坐在書桌前。
「噼里啪啦————」
他雙眼看著屏幕,手上快速的敲著代碼。
他之前在公共機房裡寫的程序,雖然已經用上了黎曼手稿里的多點求值降維思路,並且成功跑通了百億級。
但在數學展開式的局部處理上,還是存在著算力冗餘!
所以現在在寢室,沒有了時間的限制,他也準備徹底的將這套新算法優化到完全體形態。
「在FFT多點求值的架構基礎上,要放棄學界通用的泰勒級數局部逼近思路,嗯——
」
「應該用黎曼手稿里標註的切比雪夫插值來處理核心有理函數的多點求值,這樣的逼近效率會高得多。」
「對了,還要用手稿里的疊代拆分恆等式,把核心求和公式里的奇數和偶數索引項徹底分離開。」
「這樣就能直接砍掉近一半的重複求和項,應該能省出43%左右的算力開銷。
就在他全神貫注的優化著程序時,「吱呀」一聲,寢室門被推開了。
劉強和陳楠一前一後走了進來。
已經躺在上鋪的王浩探出頭來。
「回來啦?去哪了?」
「我去圖書館查了點資料,想整理一下思路,看看能不能在一些比較簡單的期刊上發一篇論文。」
陳楠覺得既然都到了燕大,那肯定不能浪費時間呀,燕大的圖書館那裡啥沒有,而且遇見不清楚的直接就可以問老師。
王浩點了點頭,也沒覺得有啥奇怪的,又問劉強。
「你也去啦?」
「沒有,我去數院蹭了節代數幾何的研討課。」
劉強說完,又看著李東叫了兩聲。
「東哥?」
「東哥,吃飯沒?」
然而,坐在電腦前的李東就像是完全沒聽見一樣的,繼續敲擊著鍵盤。
「王浩,東哥在幹嘛呢?走火入魔了?」
劉強奇怪的轉頭問道。
王浩嘆了口氣說道。
「在編那個跑黎曼Zeta函數非平凡零點的程序呢。」
王浩作為拿過CMO金牌的頂尖競賽生,對計算機編程那一套自然不陌生。
搞數競到了一定高度,往往需要用算法去驗證猜想或者跑窮舉,他自己高中時也寫過類似的程序,只是沒李東玩的這麼高端,居然跑去算黎曼零點而已。
劉強和陳楠都是純粹憑著高考裸分殺進元培的。
雖然都是學霸,但在大一剛開學的這個節點,他們對現代計算機編程接觸得並不多。
聽到王浩這麼一提醒,兩人頓時反應過來,恍然的點了點頭。
「黎曼猜想啊————」陳楠看著李東的背影,若有所思的說道。
「看來咱們也得趕緊補一下,把計算機這一塊給抓起來了。」
「畢竟現代數學,離不開這東西的輔助。」
劉強也深以為然的點了點頭。
「既然這樣————」王浩在床上也來了興趣。
「那咱們明天上完《數學分析》後,一起去信科那邊唄?」
「去聽什麼?」劉強問。
「去聽信息科學技術學院的《數據結構與算法分析》啊!」
「我查過了,明天正好有劉天教授的課。」
劉天,燕大信科教授,雖然比不上身為院士的高穩,但也是數值計算領域的圈內大牛。
他講的算法優化和數值計算實現,在全校都是出了名的硬核。
「行,到時候一起。」
劉強和陳楠都同意了,隨後兩人就去洗漱了。
等他們洗漱完回來,發現李東還在那裡對著屏幕瘋狂輸出,連姿勢都沒怎麼變。
看這樣子應該是進入心流狀態了。
劉強和陳楠在高中都體驗過這樣的狀態,知道那種感覺是可遇而不可求的。
別說是在旁邊說話了,你現在就是在他耳邊敲個銅鑼,他估計也得過好一會兒才能回過神來,一臉茫然的問一句。
「剛才誰在我旁邊說愛我來著?」
所以他們也很識趣的放輕了動作,沒有去打擾。
如果李東知道這幾個室友此刻心裡的想法,他只會淡淡的在心裡回一句。
「可遇不可求嗎?這不隨便進進出出的嗎?」
「當然如果你們說的是專注+1的體驗卡的話,那確實是可遇不可求的。
夜色漸深,馬上就要到23:00了,宿舍也要熄燈了。
李東也敲下了最後一個回車。
他長長舒了一口氣。
程序,終於徹底優化完了!
看著已經熄燈的寢室,他將電腦電源插頭插進了書桌下的專用插座里。
燕大宿舍晚上十一點雖然會切斷照明燈的電源,但書桌下面的牆插電源卻是24小時不斷電的。
「來吧,讓我看看你的極限在哪裡!」
李東眼中閃爍著興奮的光芒,按下了運行鍵。
「如果數據表現完美,驗證了這套算法的複雜度優勢,就該立刻著手把底層的數學邏輯寫成論文了。」
看著屏幕上開始瘋狂滾動的數字,李東合上半個屏幕,起身去簡單洗漱了一下,隨後爬上床光速睡了過去。
黑夜中,Precision7780發出風扇的嗡嗡聲。
屏幕上,臨界線Gram區間的Z(t)函數值不斷刷新,零點定位完成的計數正在批量跳漲一之前在公共機房裡,三小時才突破的百億級大關,現在經過了極致的數學替換和求和項壓縮,僅僅過了一兩個小時。
那串綠色數字就毫無阻礙的跨過了百億門檻,並且增速絲毫沒有減弱的跡象。
與此同時。
在李東枕邊的手機屏幕,微不可察的亮了一下。
微信後台,「青龍學習小組」的群聊界面里。
【群主(實習)】頭銜,上面的(實習)兩個字,正隨著零點計數的飆升,變的更淡了————
第二天清晨。
陽光透過陽台照了進來。
李東打了個哈欠,揉了揉沒有眼屎的眼睛,然後翻身下床,來到了電腦桌前。
掀開屏幕,黑色的控制台窗口依然在正常運行。
【Current Zero Count:88,754,321,000...】
馬上就要突破千億大關了李東攥緊了拳頭,心裡的狂喜將早八帶來的困意都沖淡了不少。
「算法沒有問題,就是不知道我這台移動工作站的極限在哪裡了。
「7
這時,寢室里的室友們也陸陸續續起床了。
李東轉過身,看著正在穿衣服的眾人,主動開口打了個招呼。
「那個,兄弟們,我這台電腦跑的這個程序估計得跑挺久的。」
「寢室的電費如果超了額度,多出來的部分全部由我來出,你們別跟我搶啊。」
幾個室友聽了都笑著擺了擺手。
「嗨!多大點事兒啊東哥,跑個電腦能費多少電,不用你一個人出,大家平攤就行了。」
雖然大家都說沒事,但李東心裡清楚,這種事情必須提前說清楚。
錢可能不多,但如果你一言不發的占用公共資源,裝作啥事沒發生,最後讓大家平攤,別人心裡多多少少都會有芥蒂。
隨後四人洗漱完就有說有笑的走出了宿舍樓。
今天上午,有一節他元培學院大一新生必上的《數學分析》。
>
當林偉和高穩,還在為國產光刻機的流熱耦合算法和底層算力瓶頸憂心忡忡的時候。
李東正坐在書桌前。
「噼里啪啦————」
他雙眼看著屏幕,手上快速的敲著代碼。
他之前在公共機房裡寫的程序,雖然已經用上了黎曼手稿里的多點求值降維思路,並且成功跑通了百億級。
但在數學展開式的局部處理上,還是存在著算力冗餘!
所以現在在寢室,沒有了時間的限制,他也準備徹底的將這套新算法優化到完全體形態。
「在FFT多點求值的架構基礎上,要放棄學界通用的泰勒級數局部逼近思路,嗯——
」
「應該用黎曼手稿里標註的切比雪夫插值來處理核心有理函數的多點求值,這樣的逼近效率會高得多。」
「對了,還要用手稿里的疊代拆分恆等式,把核心求和公式里的奇數和偶數索引項徹底分離開。」
「這樣就能直接砍掉近一半的重複求和項,應該能省出43%左右的算力開銷。
就在他全神貫注的優化著程序時,「吱呀」一聲,寢室門被推開了。
劉強和陳楠一前一後走了進來。
已經躺在上鋪的王浩探出頭來。
「回來啦?去哪了?」
「我去圖書館查了點資料,想整理一下思路,看看能不能在一些比較簡單的期刊上發一篇論文。」
陳楠覺得既然都到了燕大,那肯定不能浪費時間呀,燕大的圖書館那裡啥沒有,而且遇見不清楚的直接就可以問老師。
王浩點了點頭,也沒覺得有啥奇怪的,又問劉強。
「你也去啦?」
「沒有,我去數院蹭了節代數幾何的研討課。」
劉強說完,又看著李東叫了兩聲。
「東哥?」
「東哥,吃飯沒?」
然而,坐在電腦前的李東就像是完全沒聽見一樣的,繼續敲擊著鍵盤。
「王浩,東哥在幹嘛呢?走火入魔了?」
劉強奇怪的轉頭問道。
王浩嘆了口氣說道。
「在編那個跑黎曼Zeta函數非平凡零點的程序呢。」
王浩作為拿過CMO金牌的頂尖競賽生,對計算機編程那一套自然不陌生。
搞數競到了一定高度,往往需要用算法去驗證猜想或者跑窮舉,他自己高中時也寫過類似的程序,只是沒李東玩的這麼高端,居然跑去算黎曼零點而已。
劉強和陳楠都是純粹憑著高考裸分殺進元培的。
雖然都是學霸,但在大一剛開學的這個節點,他們對現代計算機編程接觸得並不多。
聽到王浩這麼一提醒,兩人頓時反應過來,恍然的點了點頭。
「黎曼猜想啊————」陳楠看著李東的背影,若有所思的說道。
「看來咱們也得趕緊補一下,把計算機這一塊給抓起來了。」
「畢竟現代數學,離不開這東西的輔助。」
劉強也深以為然的點了點頭。
「既然這樣————」王浩在床上也來了興趣。
「那咱們明天上完《數學分析》後,一起去信科那邊唄?」
「去聽什麼?」劉強問。
「去聽信息科學技術學院的《數據結構與算法分析》啊!」
「我查過了,明天正好有劉天教授的課。」
劉天,燕大信科教授,雖然比不上身為院士的高穩,但也是數值計算領域的圈內大牛。
他講的算法優化和數值計算實現,在全校都是出了名的硬核。
「行,到時候一起。」
劉強和陳楠都同意了,隨後兩人就去洗漱了。
等他們洗漱完回來,發現李東還在那裡對著屏幕瘋狂輸出,連姿勢都沒怎麼變。
看這樣子應該是進入心流狀態了。
劉強和陳楠在高中都體驗過這樣的狀態,知道那種感覺是可遇而不可求的。
別說是在旁邊說話了,你現在就是在他耳邊敲個銅鑼,他估計也得過好一會兒才能回過神來,一臉茫然的問一句。
「剛才誰在我旁邊說愛我來著?」
所以他們也很識趣的放輕了動作,沒有去打擾。
如果李東知道這幾個室友此刻心裡的想法,他只會淡淡的在心裡回一句。
「可遇不可求嗎?這不隨便進進出出的嗎?」
「當然如果你們說的是專注+1的體驗卡的話,那確實是可遇不可求的。
夜色漸深,馬上就要到23:00了,宿舍也要熄燈了。
李東也敲下了最後一個回車。
他長長舒了一口氣。
程序,終於徹底優化完了!
看著已經熄燈的寢室,他將電腦電源插頭插進了書桌下的專用插座里。
燕大宿舍晚上十一點雖然會切斷照明燈的電源,但書桌下面的牆插電源卻是24小時不斷電的。
「來吧,讓我看看你的極限在哪裡!」
李東眼中閃爍著興奮的光芒,按下了運行鍵。
「如果數據表現完美,驗證了這套算法的複雜度優勢,就該立刻著手把底層的數學邏輯寫成論文了。」
看著屏幕上開始瘋狂滾動的數字,李東合上半個屏幕,起身去簡單洗漱了一下,隨後爬上床光速睡了過去。
黑夜中,Precision7780發出風扇的嗡嗡聲。
屏幕上,臨界線Gram區間的Z(t)函數值不斷刷新,零點定位完成的計數正在批量跳漲一之前在公共機房裡,三小時才突破的百億級大關,現在經過了極致的數學替換和求和項壓縮,僅僅過了一兩個小時。
那串綠色數字就毫無阻礙的跨過了百億門檻,並且增速絲毫沒有減弱的跡象。
與此同時。
在李東枕邊的手機屏幕,微不可察的亮了一下。
微信後台,「青龍學習小組」的群聊界面里。
【群主(實習)】頭銜,上面的(實習)兩個字,正隨著零點計數的飆升,變的更淡了————
第二天清晨。
陽光透過陽台照了進來。
李東打了個哈欠,揉了揉沒有眼屎的眼睛,然後翻身下床,來到了電腦桌前。
掀開屏幕,黑色的控制台窗口依然在正常運行。
【Current Zero Count:88,754,321,000...】
馬上就要突破千億大關了李東攥緊了拳頭,心裡的狂喜將早八帶來的困意都沖淡了不少。
「算法沒有問題,就是不知道我這台移動工作站的極限在哪裡了。
「7
這時,寢室里的室友們也陸陸續續起床了。
李東轉過身,看著正在穿衣服的眾人,主動開口打了個招呼。
「那個,兄弟們,我這台電腦跑的這個程序估計得跑挺久的。」
「寢室的電費如果超了額度,多出來的部分全部由我來出,你們別跟我搶啊。」
幾個室友聽了都笑著擺了擺手。
「嗨!多大點事兒啊東哥,跑個電腦能費多少電,不用你一個人出,大家平攤就行了。」
雖然大家都說沒事,但李東心裡清楚,這種事情必須提前說清楚。
錢可能不多,但如果你一言不發的占用公共資源,裝作啥事沒發生,最後讓大家平攤,別人心裡多多少少都會有芥蒂。
隨後四人洗漱完就有說有笑的走出了宿舍樓。
今天上午,有一節他元培學院大一新生必上的《數學分析》。
>