第86章 np問題
字數:3199 加入書籤
“我先給您講講什麽是p,np問題。”對方雖然是個機車技術專家,但對信息學了解未必很深,徐少東決定從最基本的概念開始講起,“首先說清楚一個概念,時間複雜度,在信息學裏指的是當問題的規模擴大後,算法需要的時間增長多快。如果一個問題可以找到一個能在多項式的時間裏解決它的算法,那麽這個問題就屬於p問題。而np問題是指在多項式的時間內可以驗證一個解的問題。”
趙友亮皺著眉認真想了一會,說道:“那p問題就是np問題的子集嘛,基本概念倒是理解了,不過還是太抽象。”
“那我打個比方啊,比如這趟火車上的幾百個人,如果要證明這裏邊有您認識的人,那麽最笨的辦法就是把每個人都帶到你麵前,讓你一個一個辨認,而你可能一眼就能作出判斷,驗證所需的時間非常的短。”
“嗯,你這麽一說就形象多了。”趙友亮好像有點明白這是怎麽回事。
“既然驗證答案的時間是多項式級的,那麽是否能找到一種辦法,同樣在多項式的時間內完成這個問題,即p問題是否能等同於np問題。很多年來,要證明p=np或者p≠np,這在信息學裏就等同於證明物理學裏的大統一理論和數學中的歌德巴赫猜想。而np完全問題就是np問題中時間複雜程度最高的問題,所有np類問題都約化到np完全問題,隻要解決了它,就能解決所有的np問題。”
“你這麽一說,我有點想起來了,這不就是邏輯電路的可滿足性問題嘛。”趙友亮哈哈一笑,學術的討論使他暫時拋下了心裏的煩心事,“如果一旦p=np證明成立,那這個世界可就天翻地覆了。”
“是的,首先被推翻的就是密碼學,現實中用的好多加密算法,核心都歸結於p不等於np上,像基於大質數相乘的rsa算法。其次是數學,尋找一個證明和驗證一個證明變得同樣簡單,錯誤的猜想將瞬間被推翻。然後是運籌學,整數規劃、旅行商問題,包括我正在研究的運行圖編製問題也將被輕鬆解決……”
徐少東和趙友亮兩人都是理工科出身搞科研的男人,聊得興致勃勃,吃完早餐回去包廂還一直討論。
八點多鍾,列車到達擲州站。擲州是個鐵路城市,各式各樣與鐵路相關的人占全市人口的幾分之一,擲州站是華國最大的列車編組站,進出列車數量全國第一。
徐少東跟趙友亮決定下車活動活動筋骨,感受下擲州站的氣勢,順便抽支煙,意外發現兩人在餐車遇到的那個小夥子從隔壁包廂出來,也下車活動。
或許是心血來潮,徐少東主動跟這個小夥子搭話:“小夥子,你還是學生吧?”
這個小夥子正是章凡,他小心翼翼的拉上包廂門,林穎還在裏邊睡覺,停車時間有十分鍾左右,在車上憋了一天下去走走,想不到這時還有素不相識的人跟他打招呼。
眼前這兩人,跟他打招呼這個戴著黑框眼鏡,穿著白襯衫和西褲,應該不到四十歲,正是年富力強的時候,另一個兩鬢已有些花白,緊緊鎖著眉,看樣子差不多有五十歲了,打扮得也還可以,不過似乎沒睡好不太精神,給人感覺風塵仆仆的樣子。
在長途火車上搭訕是件很正常的事情,況且現在坐高級軟臥車廂基本上都是非富即貴的人,章凡朝兩人點點頭,很爽快的聊了起來。
“小夥子,讀大幾了?”徐少東問道,作為老師,對勤奮學習的學生總是有著天然的好感。
“九月份開學就大二了。”章凡答道。
“咦,才讀完大一就看英文版的《算法導論》呐,《數據結構》最起碼都要大二才開課的。能看懂嗎?”徐少東已經默認章凡是讀計算機係的學生了,如果他知道章凡其實是個學土木工程的,估計更要傻眼。
“有一些能懂,有一些比較吃力。”章凡的回答模棱兩可,這已經是他比較謙虛的說法了。
理解算法其實不是很難,難的是如何應用去解決實際問題。許多算法在發明之初看似並沒有什麽用處,直到在計算機技術的發展和互聯網的壯大才得以發揚光大。
“哎喲,口氣不小嘛。”盡管章凡說得還算委婉,但在徐少東看來已經算口氣不小,他決定出題目考考這個小夥子。
徐少東沒想到他提的一些經典問題像快速排序、檢測鏈表是否有環之類、深度優先搜索、廣度優先搜索之類的,章凡都能對答如流,足以說明基礎掌握得非常牢靠,於是問道:“小夥子不錯嘛,基礎挺紮實,你是哪個學校的?”
章凡微微一笑,心想這些問題前世中早就已經問過千百遍,能不紮實麽,回答道:“我是洋城大學的。”
“洋城大學?洋城哪間大學?”雖然以省會命名的學校大多都是牛校,但徐少東卻沒有聽過洋城大學的名頭,洋城最好的兩所大學應該是南嶺大學和南越理工大學。
“呃,就是洋城大學。”章凡就知道會這樣,洋城大學剛合並不久,連個211都不是,名氣遠遠比不上那兩所名校。
“這個洋城大學,我倒是聽說過,好像是洋城市屬的大學,剛剛由幾所高校組建而成的,校長是從湘南大學調過去的。”趙友亮這時插話說道,畢竟是在湘南省工作的人,對一些科研方麵的人事變動多少有些耳聞。
“哈哈,我說我怎麽之前沒有聽說呢,原來是新組建的。洋城大學,這名字還是蠻響亮的!”徐少東為了避免尷尬,打了個哈哈。
“兩位大叔是老師麽?”章凡問道。
“我姓徐,是西南交通大學的老師。”徐少東見章凡雖然年輕,但言談之間相當沉穩,不禁對其高看一眼。
“西南交通大學,好學校,算是咱們國家成立最早的大學之一了。”西南交大作為土木工程專業的發源地之一,培養過茅一升、竺可貞等頂級大師,章凡早就有所耳聞。
“這位是朱洲電力機車公司的趙總工,畢業於東方交通大學。”
這回輪到章凡大吃一驚了,這位難道就是那位大名鼎鼎的“華國之星”的總工?那可是入選了華國工程院院士的大人物。