《開局一個屬性面板,肝成無雙國士》第337章 P vs NP問題的突破性進展(1)

作者:北冥有鯤鵬·3個月前

顧青搖了搖頭。“經費不足。做結構生物學的研究,冷凍電鏡和高精度質譜儀是基本門檻。我們實驗室現有的裝置精度不夠,申請新裝置至少要等下一個撥款週期,而且金額太大,院裡批不批還兩說。

再說我們現在己經有課題方向了,是海水稻方向的一個子題,關於根系泌氧能力對鹽脅迫耐受性的影響,資料才跑了一半,暫時轉不了向。”

“海水稻?”

趙陽對這個方向有些印象。耐鹽鹼水稻的研究在袁老推動下己經成了國內幾個重點農業實驗室的核心方向,顧明的課題組之前做耐鹽鹼水稻的轉錄因子鑑定己經有了一些積累,轉到海水稻是順理成章的延伸。

“對。”

顧青用筷子夾了塊清炒蝦仁,放進嘴裡慢慢嚼著。

“我們前期做了幾批不同品種的海水稻在鹽脅迫下的根系轉錄組比較,發現一組與通氣組織形成相關的基因在耐鹽品種裡表達量特別高。現在在做功能驗證,用基因沉默和過表達分別處理,看通氣組織密度和根系泌氧能力的實際變化。”

兩個人聊了一會兒海水稻的實驗設計,趙陽提了幾個關於通氣組織定量分析的方法建議,顧青一一記下來。吃完飯,趙陽結了賬,把顧青送回研究生宿舍,然後再坐著王海開的車,回到了別墅。

回到別墅之後,趙陽繼續寫論文。

耗費了三天時間,他把之前關於P vs NP問題的成果整理了出來。這篇論文的核心貢獻在於將多項式方法與代數幾何中的理想理論相結合,利用希爾伯特零點定理來刻畫NP完全問題在多項式時間內不可解的結構障礙。

具體來說,他證明了:如果某個NP完全問題對應的布林函式可以被多項式大小的電路所計算,那麼這個電路的代數化版本必然滿足一組高度約束的多項式方程;而透過研究這些方程生成的理想的零點集,可以推匯出該零點集的維數下界與電路大小下界之間的對應關係。

論文的結論部分提出了一個猜想:如果能夠將這種對應關係推廣到任意有限域上的多項式理想,那麼P≠NP的證明就可以透過證明某個特定NP完全問題的代數簇維數必然超多項式增長來完成。

他還在論文的附錄部分詳細列出了幾個未解決的子問題,比如有限域上消元定理的推廣、特定多項式理想的維數上界估計、以及將代數簇維數與圖論中的團大小進行精確對映的構造方法。

論文投給了《數學年刊》,同時上傳到了arXiv上。他想看看,能不能吸引一些數學家的興趣,從而找到一些新方向,加快對這個問題的研究。沒辦法,目前進展還是有些慢了。這種級別的問題,太難了。

以趙陽現在的咖位,盯著他arXiv賬號的數學家自然有很多。

陶哲軒早上到UCLA辦公室,習慣性地開啟arXiv刷今天的新論文,剛點進數論和計算機科學交叉板塊,第一眼就看到了趙陽的名字。

他原本還端著一杯咖啡準備慢慢喝,看到標題之後把杯子放下了,整個人往螢幕前湊了湊,開始逐行往下讀。讀了大概二十分鐘,他抓起桌上的筆,在草稿紙上開始推演趙陽在附錄部分提出的那個有限域消元定理的推廣問題。

幾乎是同一時間,德國波恩的馬普數學研究所裡,法爾廷斯教授也在看這篇論文。

只是看了一會兒。

法爾廷斯教授眼神之中露出了饒有興趣的光芒。

“有點意思!”

“大衛,幫我把這篇論文打印出來,然後幫我把我的早飯和午飯一起拿過來,今天之內別來打擾我!”

法爾廷斯教授朝著旁邊的學生說到。

大衛愣了一下,他很少見法爾廷斯教授,面對一篇論文如此的鄭重……好吧。

之前面對哥德巴赫-趙定理的時候,態度好像也是如此。

“好的教授!”

回答完以後,大衛匆匆去幫忙幹活。

德利涅教授在普林斯頓高等研究院的辦公室裡也下載了這篇論文。

。十二前搜熱了上衝接首,有到無從時小個幾短短在條詞的”PN sv P 趙“上博微。上路網際網文中了到發究研的趙把人有經己,候時個這而

”!快麼這的來到想沒!事的早遲,道知就我,一之題難大七年禧千,PN sv P是回這。了來又神趙“

”?果段階是還了決解底徹是?度程麼什了到做底到文論篇這下一說哥懂有沒有“

。界下的度雜複路電畫刻來理定點零特伯爾希用,了來起合結何幾數代和法方式項多把他。展進破突的正真是是但,決解全完是不。本印預下一了翻概大剛剛我“

”。了掉幹被的真就PN sv P,決解能果如,題問子個幾了出列裡錄附在他廣推上域限有在是題問的下剩。的立格嚴是上域閉數代的零為徵特在映對套這了明證還,映對了造構僅不他。來出造構映對的把到做能人有沒來從但,過提人沒是不前之路思個這

”?啃起一家學數的界世全讓來擲丟題問子的下剩,了完做分部的難最把他?助求開公在是這神趙說以所“

”。瞭明指經己向方但,完不啃間時短人個一他。關攻起一家專的域領同不要需,題課究研的立獨是都個一每題問子個幾這,了說也裡文論在己自他。解理麼這以可“

”。走前往起一人的來後讓,好標路把,著掖著藏不。吧局格的家學科級頂是就這“

”。吧了說多我用不量分的文論篇這,話種這出說軒哲陶讓能。’步地的能可不為認前之我了到推法方式項多把趙‘句一了配候時的發轉上特推在軒哲陶。了看在經己說據涅利德和斯廷爾法“

。解到找間時式項多在能也否是,題問的解證驗間時式項多在能有所:是心核的題問個這,本題問PN sv P論討始開人的多越來越。了來起漸漸論輿

。事的過明證被未從但信相人數多大前目是這而,難更題問的別比就生天題問些有著味意就那,PN≠P果如。覆顛被會都礎基的系算計代現有所乎幾,疊摺質白蛋到程排流到學碼從麼那,PN=P果如

。試嘗次一的點終近接最域領個這來年十幾是,架框新的合結何幾數代與法方式項多的供提他但,案答終最出給有沒文論的趙

。題問索思續繼中之房書在就,後之去出發文論把他。注關麼怎沒論討些這對趙

。式算行幾寫上紙稿草在爾偶,翻地份一份一他,要摘獻文的論理想理式項多上域限有於關有所來年十近了理整他幫新小

!了對發文論篇這己自算就那,徑路的新和靈的新些一供提己自給夠能果如,家學數尖頂些那,上人他在託寄希多太把沒也趙,說實老但,慧智的人眾合集要想,了來出發文論把趙然雖

!啊自要需還究終鐵打

猜你喜歡

同題材或同分類的其他作品。