第273章 271,華夏科學院數學與系統科學研究院
書房裡的時鐘安安靜靜的走著,不知不覺中,時間已經過去了兩個小時。
當夏凝帶著兩個孩子從外面游泳、打球回來,看到蘇瑜還是一動不動的坐在書房裡,牽著兩個孩子,開口道:「別打擾爸爸了,媽媽帶你們睡覺。」
「嗯嗯~」
兩個孩子乖乖的點點頭,游泳、打球外加興趣班,他們也累壞了,看了爸爸一眼,就跟著媽媽去樓上睡覺了。
而蘇瑜並沒有注意到老婆孩子的回來,或者說是他已經完全沉浸在一種忘我的狀態之中了。
蘇瑜已經快十年沒有進入到這種狀態了,這就足以說明他現在手裡上工作的難度之大了。
結合著自己之前對np完全問題研究的草稿,讀完了手裡的幾份論文,蘇瑜終於想通了,至於具體是想通了什麼,蘇瑜也不確定,這還需要他進一步的驗算。
拿起了空白的草稿紙,蘇瑜開始了認真的驗算。
大部分計算機領域的科學家是認為「np完全問題」是不成立的,也就是NP≠P,因為這麼多年來,沒有人能夠發現一個NP完全問題的多項式時間算法。
在此領域求索了十年多時間的蘇瑜也一樣,但是在他也逐漸要認同「NP≠P」的時候,他突然找到了不一樣的結果:
先是高斌在蘇瑜的草稿中找到的「不對勁」,這個「不對勁」已經被蘇瑜和高斌解決了,他們在此基礎上研究了一種算法。
該算法能正確的接受NP完全語言,是一個多項式時間演算法若且唯若NP=P,但是這一它需要多久執行完畢,蘇瑜也不清楚,廢土世界的人工智慧「蘇小智」正在運算著。
而現在,蘇瑜又通過1993年的一篇論文,找到了一種新的邏輯表達的靈感,一種可以用新的邏輯命題的特定的可表達性的術語重新表達出來的靈感。
所以,蘇瑜現在要做的,就是要把這種靈感推算下去,看看能不能把這種靈感順利落地。
很難得的有了靈感,這讓蘇瑜十分興奮,但是興奮勁來得快,走得也快。
「哎呀~」
當他開始寫第四頁草稿時,他的筆尖停下了,扔掉了筆,有些煩躁的抓了抓頭髮。
卡文了!
就在追爽的那一刻,卡住了!
這感覺,讓蘇瑜很難受。
「卡住了?」
窗外的天色已經黑了,把兩個孩子哄入睡的夏凝走進書房,溫柔地幫著蘇瑜按摩著腦袋。
感受著老婆溫柔的手指,蘇瑜舒服的仰頭,點點頭,算是回答了老婆的詢問。
「別著急嘛。」夏凝笑了笑,開始認真地給蘇瑜按摩起來。
第二天,睡了一覺的蘇瑜穿越到了廢土世界,現實世界裡,他雖然在找一種np完全問題邏輯表達的時候卡住了,但是在廢土世界,還有希望——人工智慧蘇小智的運算。
「運算結果怎麼了?」
坐進首領官邸,蘇瑜對空氣問了一句。
「滴。」電子音響起,蘇小智開口道:「主人,這運算結果,可能我這一輩子都完不成運算。」
蘇瑜停頓了一下啊,他也根本就沒有指望著人工智慧能夠真的完成,這只不過是一種突破驗證罷了。
蘇瑜繼續開口道:「把你這幾天工作驗證的圖表給我發過來。」
接著,蘇瑜的電腦屏幕上,呈現出了幾張複雜的圖表,這圖表里,反應的就是最近幾天「蘇小智」對蘇瑜編寫的NP完全語言的運行分析。
蘇瑜開始認真看了起來,而越看,他的眉頭皺得越緊。
他好像抓住了點什麼,又好像什麼也沒有抓住,這感覺讓蘇瑜覺得很糟糕、很難受。
沉思了一會兒,拿起筆了,蘇瑜開始在白紙上進行驗算了。
新的周一,蘇瑜的車隊駛入了科學院數學與系統科學研究院。
科學院數學與系統科學研究院,這是一個綜合性的國立學術研究機構,覆蓋了數學與系統科學的主要研究方向。
研究院成立於1998年12月,是由數學研究所、應用數學研究所、系統科學研究所及計算數學與科學工程計算研究所等四個研究所整合而成。
研究院下設4個研究所,18個國家重點實驗室、科學院重點實驗室、研究中心,17個交叉研究中心;擁有職工537人。
隨著華夏這幾年的經濟、政治和文化的發展,這裡也已經成為全球最頂級的數學研究中心。
最近幾年,包括菲爾茲數學獎在內的國際數學獎項,都會出現它的身影、在各個大型國際科研項目里,它也是不可或缺的,雖然它只有537名在職員工,但是每年有過千名來自世界各地的訪問學者在這裡工作。
蘇瑜今天來這裡是做關於np完全問題的學術交流的,雖然蘇瑜對np完全問題已經有一定的研究方向了,但是該項目是顛覆性的,也就意味著它的工作量是十分龐大的。
蘇瑜需要大家的幫助,大家也需要蘇瑜的思路來「孵化」他們自己的成果。
所以,周一的一大早,蘇瑜把兩個孩子送去小學後,他的車隊就把他送到了該研究院。
……
「蘇院長,您好,您好!」
蘇瑜剛從車上下來,數學研究院的院長瞿知幾院士高興地跟蘇瑜握手,因為蘇瑜還掛職科學院的榮譽院長的頭銜,所以瞿知幾院士恭敬地稱呼蘇瑜為「蘇院長」。
「瞿院士,您好,您好!」
蘇瑜急忙恭敬地跟瞿知幾院士握手。
這位不到60歲的瞿知幾院士是很厲害的,他在複分析研究,特別是整函數與亞純函數的值分布理論方面有系統的、深入的研究。
同時,他因為開創性的把蘇瑜的數學融入進了複分析領域,先後獲得了沃爾夫數學獎、阿貝爾獎、高斯獎和陳省身獎,是世界複分析領域的國際領軍者,也是華夏「國寶級」學者。
蘇瑜一直跟瞿知幾院士有著溝通,兩人的關係還是不錯的,簡單寒暄了幾句,蘇瑜和瞿知幾院士一起走進了瞿知幾院士的辦公室。
辦公室里,不用吩咐,瞿知幾院士的博士生早已經把茶給泡好了。
蘇瑜在沙發上坐下後,瞿知幾院士笑著開口:「嘗一下,這還是上次你給我帶的茶葉呢。」
蘇瑜嘗了一口茶,覺得還不錯,一聽是自己送的,一笑,開口道:「我這也是借花獻佛了,這茶葉也是別人送我的,說實話,至於誰送的,我也不知道。」
蘇瑜和瞿知幾院士倒是沒著急談論數學,像是正常好友一般,坐在一起聊聊天,討論一下相關部門的人員升降的內幕八卦。
這種簡單的閒聊也讓一直困在「np完全問題」研究里的蘇瑜難得的獲得了一絲放鬆。
(本章完)