第129章 高級解法與頂級解法（1/2）
吃完了飯，林葉他們便返回了酒店。
而他們離開的時候，已經有相當多人開始談論起一杯奶茶問題已經有了第一個解法的事情。
林葉參加的那個青年學者沙龍搞出來的解法，已然從ICM這裡傳播出去了。
各路正在研究一杯奶茶問題的大佬們，包括皮埃爾·利翁這樣的菲獎得主也都知道了這件事情，並且都找到了他們整理出來的那篇論文，開始研究了起來。
那篇論文也被上傳到了不少的地方，除了arXiv這樣的預印本網站上面，他們沙龍的不少人也都將論文分享到了網上，從而讓更多人能夠知道是他們首先找到了解法，以及他們的解法到底是怎樣的。
當然，像是偏微分樹洞，林葉發的那個帖子下面，劉洋大概也已經將論文上傳了。
大概整個數學界關注這個問題的人，都在等待著|y2000的回應。
回到了酒店。
「早點休息。」
陳景明和林葉說了一聲，而後就先一步回到了他的房間。
「爺爺您也早點休息。」
林葉回應了一聲，隨後也進入到自己的房間中。
——
打開了筆記本電腦，進入到偏微分樹洞。
果然，可真是一片盛況啊————
原本只是幾百條回復的帖子，此刻樓層已經蓋過了一千，滾動條短得像個米粒，輕輕一拉就是滿屏的數學符號和各國語言的驚嘆。
不僅有中文，中間還夾雜著大量的英文回復。
畢竟現在一杯奶茶問題已經火遍了數學界，有的是好事者將這個帖子搬運到了國外的MathOverflow或者Reddit上，自然就引流回了一批慕名而來的外國友人。
反正偏微分樹洞的註冊也沒啥門檻就是了，有個郵箱就成。
【667樓：Isthistheoriginalpost？TheMilk Teaproblem？（這是原貼嗎？奶茶問題？）】
【899樓：後排出售瓜子飲料，聽說ICM那邊已經成立了討伐聯盟了？】
林葉滑動滑鼠，終於在一千多樓找到了劉洋發的帖子。
劉洋還專門創建了一個ID為「ICM青年學者沙龍聯合小組」的新號，在下面給出了回復。
【1024樓（1CM青年學者沙龍聯合小組）：@ly2000，幸不辱命。經過我們45人小組歷時六天的攻堅，結合離散變分原理，我們成功構造出了滿足所有約束條件的保結構算子。
論文連結：www————
摘要：————利用伯努利數展開處理dp^—1算子————構.了隱式辛格式.————證明了能量誤差的有界性————
附言：雖然過程很艱難，但我們做到了。樓主，這杯奶茶，是不是該兌現了？（笑）】
這條回復下面，已經有了一大堆對於他們ICM青年學者沙龍的驚嘆了。
【1025樓：臥槽！45人小組！這排面也太大了！這就是國家隊的實力嗎？】
【1032樓：我看完了摘要。利用伯努利數處理指數映射的導數逆，這個切入點非常精妙，避開了傳統泰勒展開的截斷誤差，而且構造出的離散歐拉—龐加萊方程在數學結構上非常漂亮。佩服！】
【1048樓：Impressive work！ The discrete variational approach is indeed powerful.
（令人印象深刻的工作！離散變分方法確實強大。）
【1056樓：給跪了！六天時間就能搞出這種級別的成果？我感覺可以把我的畢業論文撕了！】
【1088樓：樓主呢？樓主快出來挨打————哦不，快出來兌現奶茶！人家可是把論文都拍在你臉上了！】
除了這些之外，還有上百條【膜拜大神】、【合影留念】、【這就是華國速度】之類的評論。
看著這群情激奮的場面，林葉手指輕敲桌面，搖頭失笑。
至於那個論文，他就完全沒有點開的興致了。
——
開玩笑，這篇論文從核心思路的構建，到中間變分導數的計算，再到最後那個作為補丁的離散壓強項，全都有他的影子在裡面。
甚至連論文裡那個用來作為算例驗證的旋轉圓盤流模型，都是他隨口提議的。
他對這篇論文的熟悉程度，甚至可能比那個負責排版的博士生還要高，自然沒必要再浪費時間去讀一遍。
「確實是不錯的工作，但也只是不錯了。」他在心裡給出了評價。
離散變分積分器，勝在結構嚴謹，理論完備。
但它的死穴也很明顯——全隱式。
在這個算法下，流體演化的每一步，都需要求解一個巨大的、非線性的代數方程組，如果是算個幾千網格的小模型還湊合，真要是用到千萬級網格的工程計算里，計算機能算到冒煙。
這距離他心中那個完美的，快速且精準的顯式解法，還有著本質的代差。
「如果就這樣把奶茶給了，那豈不是告訴大家，隱式算法就是終點了？」
林葉搖了搖頭。
作為出題人，他覺得自己有義務把標準拔高一點，逼一逼這幫天才們的潛力。
這樣也能夠讓他學習到更多精彩的思路。
於是，他把手放在鍵盤上，略作思索，敲下了一段回復。
（1y2000（樓主）：回復@ICM青年學者沙龍聯合小組】
【首先，祝賀你們。能在如此短的時間內，利用離散變分原理推導出這套完整的保結構格式，證明了你們紮實的數學功底和出色的團隊協作能力。這篇論文的質量很高，正如樓上所說，其代數處理技巧非常精彩。
但是，很遺憾，這並不是我所期待的那個「驚喜」。
你們的方案雖然保證了辛結構，但由此導出的格式是全隱式的。在處理大規模流體計算時，每一步都需要進行高維非線性疊代，這帶來的計算成本是巨大的。在某種程度上，這是用計算時間換取了結構保持，並沒有真正體現出幾何算法相對於傳統算法的優越性。
在我看來，這道題存在更優雅的，且計算代價低得多的顯式解法，或者基於有限維代數逼近的截斷解法。
所以，這杯奶茶，還是先寄存在我這裡吧。加油，希望能看到更好的思路。】
點擊發送。
看著那條回復出現在最新的樓層，林葉伸了個懶腰。
「這樣應該就差不多了吧？既肯定了他們的成果，又指出了不足，還指明了方向。」
嗯，應該算是足夠合適了。
做完這一切，他便不再關注論壇的動靜。
對他來說，這只是一個小插曲。
真正的大頭，還是在他要投給PRL的補充材料里。
本章未完，點選下一頁繼續閱讀。