第155章 算法完成
第155章 算法完成
數院教學樓，101階梯教室。
這是數學英才班數學分析課的課堂。
軍訓結束之後，所有新生都正式進入到了課程學習之中，他們數學英才班自然也不例外。
講台上，一位頭髮花白的老教授正在黑板上書寫著關于勒貝格積分的收斂定理。
作為上京大學數學英才班的課程，這門課的進度和難度都遠超普通班。
然而，教室後排靠窗的位置，卻傳來一陣輕微但極有韻律的鍵盤敲擊聲。
「噠噠噠——」
林葉盯著屏幕，手指飛快。
他正在編寫著他們那套聲學反演算法中關於伴隨算子梯度的自動微分模塊，這是核心求解器的最後一塊拼圖。
旁邊的蘇昭宇看著林葉屏幕上那滾動的C++代碼和夾雜其中的複雜數學注釋，又看了看黑板上的￡一δ語言，只覺得一陣頭暈目眩。
別人在學積分，林葉在寫求解器內核；別人在理解極限，林葉在挑戰工業應用的極限。
根本沒得比啊！
「——關於這個法圖引理的應用，大家有什麼想法嗎？」
老教授突然停下粉筆，目光掃向後排，以乎注意到了那個完全沒聽課的學生。
他眯了眯眼睛，因為電腦屏幕擋著，再加上距離有點遠，老教授實在是沒看清那裡坐著的學生是誰。
不過，既然都在數學英才班上課了，怎麼說也得認真聽課吧？
「那位敲電腦的同學，你來說一下？」
全班的目光瞬間聚焦在林葉身上。
啊？
老師在點——林神的名？
他們都聽說過了，林葉上課的時候可以完全不用聽課，以他表現出來的水平，本科階段的課程，即使是數學英才班的課，大概也都沒有太大意義，還不如讓人家在課堂上干自己的事情呢。
到時候多為他們數院發那麼幾篇論文，多好？
林葉的手指停頓了一下，也有些意外，不過他也沒說什麼，站起身，迅速掃了一眼老教授在黑板上寫的內容，隨後便給出了回答。
「在測度空間（儀，Σ，u）上，對於非負可測函數序列{f}，法圖引理保證了下極限的積分小於等於積分的下極限。這本質上是控制收斂定理的弱化版本，不需要控制函數條件，而在構造Banach空間中的弱緊性證明時，它常用於處理範數的下半連續性。」
老教授訝然，沒想到這學生這麼快就給出了回答。
看來應該是早就學習過了。
於是他點點頭：「回答的不錯。我知道你們都是尖子生中的尖子生，不過上課還是要認真聽啊，對了，你叫什麼名字？」
「林葉。」
「林葉——？」
老教授頓時眯起眼睛，走近前，好好看了一眼林葉，這才恍然大悟。
「哦！原來是林葉啊！哈哈，看來是我誤會了，你有什麼重要的工作那就做吧！這些基礎課對你來說確實不用聽太多。」
眾人這才恍然大悟，敢情這位老師剛才沒有認出林葉啊！
誤會解除。
「抱歉，給您添麻煩了。」林葉也笑著表示了一聲歉意，然後又補了一句：「還有，老師，您黑板左下角那個集合序列的包含關係寫反了。」
老教授愣了一下，回頭仔細看了一眼黑板，隨即哈哈大笑：「哎喲，還真是寫反了！
年輕人就是比我這老頭子眼尖啊，坐著吧，繼續敲你的代碼，別打擾別人就行。」
全班一片寂靜。
下課鈴響。
「林哥，去吃飯？」王澤軒收拾好書包，湊過來問道，「今天二食堂有紅燒排骨。」
「不了。」林葉合上電腦，揉了揉有些發酸的脖子，「我得去工學院那邊了。那邊有人帶飯，課題組這幾天是攻堅期，都在連軸轉。」
「工學院——帶飯——」王澤軒咂咂嘴，看著林葉背起書包匆匆離去的背影，眼神中滿是羨慕。
隨著林葉離開，教室里原本安靜的討論聲瞬間爆發出來，好幾個同學圍到了王澤軒和蘇昭宇身邊。
「哎，王澤軒，林葉他真去工學院做課題了？」一個拿過CMO金牌的男生問道，語氣里滿是不可思議，「咱們才大一啊，導師分配都要等到國慶節後吧？我現在連教授的辦公室門朝哪開都不知道，他都有工位了？」
「何止是工位。」王澤軒挺起胸膛，與有榮焉地說道，「我林哥可是工學院院長親自請過去的，而且是核心項目。你們沒看這幾天林哥忙得腳不沾地嗎？人家那是在搞產學研結合，是大工程！」
「太強了——」
「這就是雙金王的含金量嗎？」
」
在一片羨慕和驚嘆聲中，一旁的蘇昭宇推了推眼鏡，心中雖然還有一絲不甘，但更多的是一種無奈的服氣。
年1888n
工學院，馮致遠的實驗室。
林葉推門而入的時候，裡面依然是一片熱火朝天的景象。
鍵盤聲和討論聲仿佛交織在一起。
「組長來了！」
眼尖的趙旭第一個看到林葉，立刻放下了手裡的滑鼠，快步迎了上來。
他的手裡提著一個保溫袋，臉上掛著討好的笑容。
「林組長，還沒吃飯吧？這是剛去食堂打的，你要的烤肉拌飯，加了兩個蛋，特意讓師傅多放了點醬汁。」
這一聲「組長」叫得無比順口，絲毫沒有因為對方是大一新生而感到彆扭。
自從那天確定接下來大方向的組會結束之後，林葉展現出的統籌能力和代碼水平，已經把這幫碩士博士們治得服服帖帖。
「謝了，趙師兄。」
林葉接過盒飯，走到屬於他的工位坐下。
他並沒有像其他人那樣停下來專心吃飯，而是打開了那個標誌性的黑色終端界面，一邊用勺子挖著烤肉飯往嘴裡送，一邊單手在鍵盤上敲擊幾下，調出了各個小組提交的代碼分支。
「孫師兄，前處理這邊的網格映射函數，效率有點低了。」
林葉咽下一口飯，目光掃過屏幕，頭也不回地說道：「你在做拓撲映射的時候，用了太多次動態內存分配，把【std：：vector】換成預分配的內存池，或者直接用指針操作，速度能提上去30%。」
不遠處，正盯著屏幕發愁的孫志強渾身一震，趕緊跑過來看了一眼林葉指出的位置，瞬間冷汗就下來了。
「是是是！我大意了，馬上改！」
孫志強擦了擦汗，心裡一陣後怕。
這問題藏得很深，只有在大規模並行時才會顯現出來，到時候再想糾正的話那可就麻煩了。
只是沒想到林葉一邊吃飯一邊掃了一眼就抓出來了。
「趙師兄，後處理的可視化模塊，色階的插值算法有問題。」林葉又指了指另一行代碼，「雖然不影響數據，但會導致梯度顯示有鋸齒，改成雙線性插值最好。」
「明白！這就改！」趙旭也趕緊領命。
接下來的時間中，林葉也發揮著作為組長的職責，即使吃著飯，也能夠很快地將其他人的工作中出現的問題給抓出來。
最後，林葉的目光落在了一個標註為【Admin】的分支上。
那是馮致遠親自負責的部分一作為大老闆，他雖然不寫核心算法，但主動承擔了數據清洗和一些外圍參數配置的工作，以此來支持林葉。
林葉點開看了看，又扒了一口飯，然後轉頭看向坐在不遠處認真核對數據的馮致遠。
馮致遠這段時間也沒有待在自己的辦公室，而是跟著課題組一同工作。
當他察覺到林葉的目光，下意識地挺直了腰背，心裡竟然升起了一絲像是小學生等待老師批改作業的緊張感。
「馮老師，」林葉咽下嘴裡的食物，語氣平和地說道，「您負責的這部分邊界條件參數配置，邏輯沒問題，數據格式也很規範。可以直接合併進主分支了。」
聽到「沒問題」三個字，馮致遠明顯鬆了一口氣，緊繃的肩膀垮了下來，臉上露出了欣慰的笑容。
「好，好，沒問題就好。」馮致遠笑著說道，「那我就提交了。」
周圍的幾個博士生偷偷對視一眼，都在彼此眼中看到了深深的敬畏。
能讓堂堂工學院院長、流體力學大牛因為一句「沒問題」而感到如釋重負雖然林葉說話時總是客客氣氣，甚至還嘴角帶笑，但那種由絕對的技術統治力帶來的壓迫感，卻讓在場的每一個人都感到手心冒汗。
隨著林葉吃完了飯，他去洗了個手，回到位置上，便再次開始寫起了那個核心求解器的算法。
整個課題組，都在他這位組長的作用下，以一種前所未有的速度，向著那個聲學反演的終極目標衝刺。
就這樣，時間飛快過去了。
直到國慶節即將到來時。
終於，算法完成了！
>
數院教學樓，101階梯教室。
這是數學英才班數學分析課的課堂。
軍訓結束之後，所有新生都正式進入到了課程學習之中，他們數學英才班自然也不例外。
講台上，一位頭髮花白的老教授正在黑板上書寫著關于勒貝格積分的收斂定理。
作為上京大學數學英才班的課程，這門課的進度和難度都遠超普通班。
然而，教室後排靠窗的位置，卻傳來一陣輕微但極有韻律的鍵盤敲擊聲。
「噠噠噠——」
林葉盯著屏幕，手指飛快。
他正在編寫著他們那套聲學反演算法中關於伴隨算子梯度的自動微分模塊，這是核心求解器的最後一塊拼圖。
旁邊的蘇昭宇看著林葉屏幕上那滾動的C++代碼和夾雜其中的複雜數學注釋，又看了看黑板上的￡一δ語言，只覺得一陣頭暈目眩。
別人在學積分，林葉在寫求解器內核；別人在理解極限，林葉在挑戰工業應用的極限。
根本沒得比啊！
「——關於這個法圖引理的應用，大家有什麼想法嗎？」
老教授突然停下粉筆，目光掃向後排，以乎注意到了那個完全沒聽課的學生。
他眯了眯眼睛，因為電腦屏幕擋著，再加上距離有點遠，老教授實在是沒看清那裡坐著的學生是誰。
不過，既然都在數學英才班上課了，怎麼說也得認真聽課吧？
「那位敲電腦的同學，你來說一下？」
全班的目光瞬間聚焦在林葉身上。
啊？
老師在點——林神的名？
他們都聽說過了，林葉上課的時候可以完全不用聽課，以他表現出來的水平，本科階段的課程，即使是數學英才班的課，大概也都沒有太大意義，還不如讓人家在課堂上干自己的事情呢。
到時候多為他們數院發那麼幾篇論文，多好？
林葉的手指停頓了一下，也有些意外，不過他也沒說什麼，站起身，迅速掃了一眼老教授在黑板上寫的內容，隨後便給出了回答。
「在測度空間（儀，Σ，u）上，對於非負可測函數序列{f}，法圖引理保證了下極限的積分小於等於積分的下極限。這本質上是控制收斂定理的弱化版本，不需要控制函數條件，而在構造Banach空間中的弱緊性證明時，它常用於處理範數的下半連續性。」
老教授訝然，沒想到這學生這麼快就給出了回答。
看來應該是早就學習過了。
於是他點點頭：「回答的不錯。我知道你們都是尖子生中的尖子生，不過上課還是要認真聽啊，對了，你叫什麼名字？」
「林葉。」
「林葉——？」
老教授頓時眯起眼睛，走近前，好好看了一眼林葉，這才恍然大悟。
「哦！原來是林葉啊！哈哈，看來是我誤會了，你有什麼重要的工作那就做吧！這些基礎課對你來說確實不用聽太多。」
眾人這才恍然大悟，敢情這位老師剛才沒有認出林葉啊！
誤會解除。
「抱歉，給您添麻煩了。」林葉也笑著表示了一聲歉意，然後又補了一句：「還有，老師，您黑板左下角那個集合序列的包含關係寫反了。」
老教授愣了一下，回頭仔細看了一眼黑板，隨即哈哈大笑：「哎喲，還真是寫反了！
年輕人就是比我這老頭子眼尖啊，坐著吧，繼續敲你的代碼，別打擾別人就行。」
全班一片寂靜。
下課鈴響。
「林哥，去吃飯？」王澤軒收拾好書包，湊過來問道，「今天二食堂有紅燒排骨。」
「不了。」林葉合上電腦，揉了揉有些發酸的脖子，「我得去工學院那邊了。那邊有人帶飯，課題組這幾天是攻堅期，都在連軸轉。」
「工學院——帶飯——」王澤軒咂咂嘴，看著林葉背起書包匆匆離去的背影，眼神中滿是羨慕。
隨著林葉離開，教室里原本安靜的討論聲瞬間爆發出來，好幾個同學圍到了王澤軒和蘇昭宇身邊。
「哎，王澤軒，林葉他真去工學院做課題了？」一個拿過CMO金牌的男生問道，語氣里滿是不可思議，「咱們才大一啊，導師分配都要等到國慶節後吧？我現在連教授的辦公室門朝哪開都不知道，他都有工位了？」
「何止是工位。」王澤軒挺起胸膛，與有榮焉地說道，「我林哥可是工學院院長親自請過去的，而且是核心項目。你們沒看這幾天林哥忙得腳不沾地嗎？人家那是在搞產學研結合，是大工程！」
「太強了——」
「這就是雙金王的含金量嗎？」
」
在一片羨慕和驚嘆聲中，一旁的蘇昭宇推了推眼鏡，心中雖然還有一絲不甘，但更多的是一種無奈的服氣。
年1888n
工學院，馮致遠的實驗室。
林葉推門而入的時候，裡面依然是一片熱火朝天的景象。
鍵盤聲和討論聲仿佛交織在一起。
「組長來了！」
眼尖的趙旭第一個看到林葉，立刻放下了手裡的滑鼠，快步迎了上來。
他的手裡提著一個保溫袋，臉上掛著討好的笑容。
「林組長，還沒吃飯吧？這是剛去食堂打的，你要的烤肉拌飯，加了兩個蛋，特意讓師傅多放了點醬汁。」
這一聲「組長」叫得無比順口，絲毫沒有因為對方是大一新生而感到彆扭。
自從那天確定接下來大方向的組會結束之後，林葉展現出的統籌能力和代碼水平，已經把這幫碩士博士們治得服服帖帖。
「謝了，趙師兄。」
林葉接過盒飯，走到屬於他的工位坐下。
他並沒有像其他人那樣停下來專心吃飯，而是打開了那個標誌性的黑色終端界面，一邊用勺子挖著烤肉飯往嘴裡送，一邊單手在鍵盤上敲擊幾下，調出了各個小組提交的代碼分支。
「孫師兄，前處理這邊的網格映射函數，效率有點低了。」
林葉咽下一口飯，目光掃過屏幕，頭也不回地說道：「你在做拓撲映射的時候，用了太多次動態內存分配，把【std：：vector】換成預分配的內存池，或者直接用指針操作，速度能提上去30%。」
不遠處，正盯著屏幕發愁的孫志強渾身一震，趕緊跑過來看了一眼林葉指出的位置，瞬間冷汗就下來了。
「是是是！我大意了，馬上改！」
孫志強擦了擦汗，心裡一陣後怕。
這問題藏得很深，只有在大規模並行時才會顯現出來，到時候再想糾正的話那可就麻煩了。
只是沒想到林葉一邊吃飯一邊掃了一眼就抓出來了。
「趙師兄，後處理的可視化模塊，色階的插值算法有問題。」林葉又指了指另一行代碼，「雖然不影響數據，但會導致梯度顯示有鋸齒，改成雙線性插值最好。」
「明白！這就改！」趙旭也趕緊領命。
接下來的時間中，林葉也發揮著作為組長的職責，即使吃著飯，也能夠很快地將其他人的工作中出現的問題給抓出來。
最後，林葉的目光落在了一個標註為【Admin】的分支上。
那是馮致遠親自負責的部分一作為大老闆，他雖然不寫核心算法，但主動承擔了數據清洗和一些外圍參數配置的工作，以此來支持林葉。
林葉點開看了看，又扒了一口飯，然後轉頭看向坐在不遠處認真核對數據的馮致遠。
馮致遠這段時間也沒有待在自己的辦公室，而是跟著課題組一同工作。
當他察覺到林葉的目光，下意識地挺直了腰背，心裡竟然升起了一絲像是小學生等待老師批改作業的緊張感。
「馮老師，」林葉咽下嘴裡的食物，語氣平和地說道，「您負責的這部分邊界條件參數配置，邏輯沒問題，數據格式也很規範。可以直接合併進主分支了。」
聽到「沒問題」三個字，馮致遠明顯鬆了一口氣，緊繃的肩膀垮了下來，臉上露出了欣慰的笑容。
「好，好，沒問題就好。」馮致遠笑著說道，「那我就提交了。」
周圍的幾個博士生偷偷對視一眼，都在彼此眼中看到了深深的敬畏。
能讓堂堂工學院院長、流體力學大牛因為一句「沒問題」而感到如釋重負雖然林葉說話時總是客客氣氣，甚至還嘴角帶笑，但那種由絕對的技術統治力帶來的壓迫感，卻讓在場的每一個人都感到手心冒汗。
隨著林葉吃完了飯，他去洗了個手，回到位置上，便再次開始寫起了那個核心求解器的算法。
整個課題組，都在他這位組長的作用下，以一種前所未有的速度，向著那個聲學反演的終極目標衝刺。
就這樣，時間飛快過去了。
直到國慶節即將到來時。
終於，算法完成了！
>