第四百六十六章 P≠NP?國際數學家大會閉幕式上的電話
從全能學霸到首席科學家 作者:首席設計師 投票推薦 加入書簽 留言反饋
關於鋰硫電池的研究也開始了,而由於主要研究的材料也就隻有固態電解質材料,所以相對來說研究任務也變輕鬆了不少。
鋰硫電池作為鋰電池中一種十分理想的新電池,在能量密度上相比較普通的電池來說,有著跨越一個數量級的優勢。
不過當然的是,鋰硫電池仍然是一個實驗室中的產物,以當前的技術來說,其隻能夠放在試管中進行實驗。
這便是因為其存在的幾個缺點。
首先就是鋰硫電池的中間放電產物會溶解到有機電解液中,從而影響到電解液的性能,最終也會影響到電池的整體性能。
其次就是硫單質作為電池正極的時候,會因為在反應發生中產生的一些最終產物影響到電池的性能,嚴重點的甚至還會直接造成電池的損壞。
最後就是一種名為鋰枝晶的問題,負極的金屬鋰作為一種活性材料,在充放電的過程中會發生形體上的變化,鋰離子在背還原為金屬鋰的時候,一個個鋰原子就有可能會在金屬鋰的表麵形成鋰枝晶,而這些鋰枝晶就有可能會刺穿正負極的隔膜,然後直接和正極接觸。
而正負極一旦接觸,也就會造成短路問題,短路之後電池溫度急劇升高,最後就會導致燃燒,甚至更嚴重點的還會產生爆炸。
正是因為這些頗有些棘手的問題,就會直接讓鋰硫電池到現在仍然還隻是實驗室中的技術,未曾實現。
不過,如果使用上了固體電解質之後,這些問題,大半都能夠得到迎刃而解。
就比如第一個問題,固體電解質不是液體,自然也就不存在什麽溶解的問題了,所以這個問題也就不成問題了。
再比如鋰枝晶的問題,鋰枝晶是鋰電池中一種不可避免的問題,而在現在的絕大多數鋰離子電池中,電池商已經為了解決鋰離子電池而做出了諸多的方案,所以現在因為鋰枝晶導致的危險事故桉例基本上都是很少的了。
不過雖然很少,但是也還仍然存在,隻不過鋰枝晶在麵對固體電解質的時候,同樣也會沒轍,畢竟鋰枝晶的主要問題就是讓正負極相接造成短路,然後溫度急劇升高,但是現在都用上了固體電解質,鋰枝晶再牛逼,還能夠直接刺穿整個固體電解質不成?
所以固體電解質方麵存在的問題,也就同樣的迎刃而解了。
而剩下的問題相對來說會產生的影響就比較小,雖然也是待解決的問題,但是相比較起固體電解質的作用來說,是可以放到最後來解決的。
所以對於林曉來說,先一步解決固體電解質的問題,才是最重要的。
……
鋰硫電池隻是一方麵,林曉在研究這項技術的同時,也並沒有忘記龐偉院士交給他的量子計算機控製模型的問題。
而經過了這麽久的研究,最終,他也被困在了一個問題上麵。
“該如何判斷,在這一瞬間的過程中,它表達的到底是1,亦或者是0?”
林曉皺著眉頭,關於這個問題,他已經有整整一個月沒有進展了。
當然,隻是一個月沒有進展而已,對於其他的科研人員來說,對於一個問題一個月沒有進展什麽的,完全是一件常事。
更多的甚至連一年兩年都屬於十分常見的事情,就更不用說一些正在研究世界級難題的人了,十年如一日都不是不可能。
不過對於林曉來說,一個月的時間沒有一點進展,還是有些讓他犯難。
當然,這也說明了這個問題的難度足夠高。
而這也能夠給他帶來更多的挑戰感。
“或許,我應該發散一下思維?”
林曉的心中思索起來。
“假如將代表1的量子態表示為一種函數,而代表0的量子態則表示為另外一種函數,然後再利用芯片的識別能力來識別呢?”
忽然間,他的腦海中閃過了一個想法。
“對了……p=np?!”
就像是他當初利用p=np問題的原理構建了一個程序,然後再利用這個程序確定了引力子和相對論的關係。
“要是使用相同的方法,或許也就能夠解決這個問題了。”
他的目光中陷入了一陣思考。
而後,他的眼中便是一動,隨後就拿出了一支筆,開始寫了起來。
直覺告訴他,這個方法是可行的,但是該如何解決這個問題,還需要基於數學上的推論。
就這樣,一個周後,他十分驚訝地看著自己得到的一個函數。
當然,這個函數和他想要搞出來的東西沒有關係,充其量也隻能算作一個中間產物罷了,隻不過,這個中間產物的意義,卻不同尋常。
“這難道是一個單向函數?”
他緊皺著眉頭,看著這個函數,心中忍不住思考起來。
如果真的是這樣的話,那他可能,就又一個不小心地解決了一個七大千禧年難題了。
當然,這個“解決”,指的不是證明,而是證偽。
他將證偽p不等於np,也就是說,對於p問題,不能完全等價於np問題。
p即複雜度類p,即為所有可以由一個確定型圖靈機在多項式表達的時間內解決的問題;而類np由所有可以在多項式時間內驗證它的解是否正確的決定問題組成。
一旦能夠證明p=np,世間的一切問題都將能夠變得簡單起來,就像是如果能夠將非線性和線性實現統一一樣。
不過在過去,大多數的科學家都不相信p能夠等於np,特別是對於一些密碼學的專家來說,畢竟一旦p=np了,那麽密碼學的大廈就會轟然倒塌,因為p=np能夠讓任何密碼都變得沒有破解的難度,隻需要交給計算機來進行計算就好了。
隻不過,想要解決這個問題仍然存在著較大的困難,不管是證明還是證偽,然後再由於這個問題的意義比較重大,於是也就被選為了七大千禧難題之一。
而在證偽的方法中,有一個方法就是:找到一個單向函數。
單向函數指的是對於每一個輸入,函數值都容易計算;但是對於一個隨機的函數值,算出其對應的輸入卻比較困難。
也就是說在f(x)=y中,給出一個x的值,我們很容易就能夠得到y的值,但是如果給出一個y,我們卻很難反向算出x的值。
而這就完全不符合p=np時的情況了,自然而地也就將這個問題給證偽了。
也就是說,單向函數就像是一個特殊解,隻要找到一個,就能夠直接將這個千禧年難題給解決掉。
隻不過,此時此刻的林曉,卻完全沒有想到自己隻是為了找出能夠控製量子計算機的一個模型,卻就在不經意間將這個東西給找了出來。
他一時之間甚至感覺有點不真實。
然而接下來,係統的聲音突然響起,告訴他這很真實。
“恭喜宿主,成功找到了一個單向函數,證明了p不等於np……”
係統的聲音讓林曉心中就是一愣。
係統,居然認可了?
然而他心中剛這麽想,係統接下來的話,就讓他心中一跳。
“不過,如果當宿主認為這個問題就此結束了的話,那麽請思考一下,真的是你這樣認為的嗎?”
“獎勵:5000點數學經驗,3000點信息學經驗,50點真理點。”
聽到係統的話語,林曉感到了十分的困惑和不解。
現在既然都已經說明了他偶然間找到的這個函數是單向函數,但為什麽又要這麽說?
“真的是我這麽認為的嗎?”
“難道係統的意思是說,還能夠將這個p=np給證明了?”
他感到了由衷的不解。
證明一個證偽的問題?
這又要從何解起?
而就在他的心中產生這種困惑的時候,他的手機鈴聲卻忽然響了起來。
暫且回過了神,他拿起手機看了一眼。
“嗯?這是陶哲軒的電話?”
陶哲軒怎麽突然想著要給他打電話了?
最近這段時間,應該正在召開國際數學家大會吧,陶哲軒現在應該在國際數學家大會上,怎麽還有空來找他?
不過他又想起來,今天好像是今年國際數學家大會的最後一天了,現在這個時間段,似乎正是閉幕式的時候?
這就更讓他感到疑惑了。
而後他接通了電話,說道:“喂,陶,怎麽突然想著找我了?現在如果我沒有記錯的話,你應該在參加數學家大會的閉幕式吧?”
隨後對麵就傳來了陶哲軒的聲音。
“哈哈!林,沒錯,現在我正在參加數學家大會的閉幕式,當然,也正是因為此,我才要給你打這個電話啊。”
聽到陶哲軒的話,林曉頓時就感到更加的疑惑了。
“什麽意思?”
“嗬嗬,我現在給你發個視頻通話邀請吧,到時候,你就會知道了。”
“這……好吧,我倒是要看看你在做什麽。”
雖然不知道陶哲軒的用意,不過他既然都這麽說了,那就看看吧。
而後很快,陶哲軒便就給他發來了一個視頻邀請。
林曉點下了接受邀請,隨後便進入到了視頻的畫麵中。
隨著視頻畫麵的打開,當林曉看到陶哲軒那邊的景象時,頓時就是一愣。
因為視頻中,陶哲軒赫然是站在台上的,而他的身後,則是觀眾席。
隻見幾千名參加大會的數學家以及數學愛好者或者是從業者們,都坐在自己的座位上,然後朝他揮著手。
同時,還有一道道向他打招呼的聲音傳來。
“嗨!林教授!”
“林!好久不見!”
“林教授!”
……
雖然聲音比較嘈雜,但是林曉卻還是能夠聽出來他們都說的是什麽。
他發愣了片刻,說道:“呃……大家好?”
然後他又連忙問陶哲軒:“陶,這是怎麽回事兒?”
陶哲軒笑了笑,終於解釋道:“今年的數學家大會沒有了你,總算是變得稍微平澹了一點,沒有再出現一些像你經常給我們帶來的那些震撼數學界的報告了。”
“但也正因為如此,我們大家也都很想念你,雖然現在因為一些原因讓你不能夠在這次大會上出現在這裏,和我們一起討論數學,不過我們都相信,總會有問題解決的那一天的。”
“世界的數學是一家人,我們都很想念你。”
陶哲軒的話說完,觀眾席上人們也都喊了起來:“林!我們都很想念你。”
見到這,林曉的心中不由生出了感動,萬萬沒想到,陶哲軒突然給他打來電話,卻是因為這件事情。
他笑了起來,說道:“謝謝大家,我同樣也很想念各位,想念曾經的兩次大會上,和許多朋友們的討論。”
“當然,至少現在,我也還是以這種方式,參加到這場大會了嘛。”
會場上的人數學家們都笑了起來,而這個時候陶哲軒也開玩笑道:“嘿,如果這也算的話,你可還沒有給我們帶來一些令人驚訝的成果呢!這可就等於打破了你過去的習慣了!”
“哪有那麽多令人驚訝的成果啊!”
林曉頓時哭笑不得起來。
但是,就在這個時候,他又遲疑片刻,說了一句:“呃?好像,也不是就沒有了?”
鋰硫電池作為鋰電池中一種十分理想的新電池,在能量密度上相比較普通的電池來說,有著跨越一個數量級的優勢。
不過當然的是,鋰硫電池仍然是一個實驗室中的產物,以當前的技術來說,其隻能夠放在試管中進行實驗。
這便是因為其存在的幾個缺點。
首先就是鋰硫電池的中間放電產物會溶解到有機電解液中,從而影響到電解液的性能,最終也會影響到電池的整體性能。
其次就是硫單質作為電池正極的時候,會因為在反應發生中產生的一些最終產物影響到電池的性能,嚴重點的甚至還會直接造成電池的損壞。
最後就是一種名為鋰枝晶的問題,負極的金屬鋰作為一種活性材料,在充放電的過程中會發生形體上的變化,鋰離子在背還原為金屬鋰的時候,一個個鋰原子就有可能會在金屬鋰的表麵形成鋰枝晶,而這些鋰枝晶就有可能會刺穿正負極的隔膜,然後直接和正極接觸。
而正負極一旦接觸,也就會造成短路問題,短路之後電池溫度急劇升高,最後就會導致燃燒,甚至更嚴重點的還會產生爆炸。
正是因為這些頗有些棘手的問題,就會直接讓鋰硫電池到現在仍然還隻是實驗室中的技術,未曾實現。
不過,如果使用上了固體電解質之後,這些問題,大半都能夠得到迎刃而解。
就比如第一個問題,固體電解質不是液體,自然也就不存在什麽溶解的問題了,所以這個問題也就不成問題了。
再比如鋰枝晶的問題,鋰枝晶是鋰電池中一種不可避免的問題,而在現在的絕大多數鋰離子電池中,電池商已經為了解決鋰離子電池而做出了諸多的方案,所以現在因為鋰枝晶導致的危險事故桉例基本上都是很少的了。
不過雖然很少,但是也還仍然存在,隻不過鋰枝晶在麵對固體電解質的時候,同樣也會沒轍,畢竟鋰枝晶的主要問題就是讓正負極相接造成短路,然後溫度急劇升高,但是現在都用上了固體電解質,鋰枝晶再牛逼,還能夠直接刺穿整個固體電解質不成?
所以固體電解質方麵存在的問題,也就同樣的迎刃而解了。
而剩下的問題相對來說會產生的影響就比較小,雖然也是待解決的問題,但是相比較起固體電解質的作用來說,是可以放到最後來解決的。
所以對於林曉來說,先一步解決固體電解質的問題,才是最重要的。
……
鋰硫電池隻是一方麵,林曉在研究這項技術的同時,也並沒有忘記龐偉院士交給他的量子計算機控製模型的問題。
而經過了這麽久的研究,最終,他也被困在了一個問題上麵。
“該如何判斷,在這一瞬間的過程中,它表達的到底是1,亦或者是0?”
林曉皺著眉頭,關於這個問題,他已經有整整一個月沒有進展了。
當然,隻是一個月沒有進展而已,對於其他的科研人員來說,對於一個問題一個月沒有進展什麽的,完全是一件常事。
更多的甚至連一年兩年都屬於十分常見的事情,就更不用說一些正在研究世界級難題的人了,十年如一日都不是不可能。
不過對於林曉來說,一個月的時間沒有一點進展,還是有些讓他犯難。
當然,這也說明了這個問題的難度足夠高。
而這也能夠給他帶來更多的挑戰感。
“或許,我應該發散一下思維?”
林曉的心中思索起來。
“假如將代表1的量子態表示為一種函數,而代表0的量子態則表示為另外一種函數,然後再利用芯片的識別能力來識別呢?”
忽然間,他的腦海中閃過了一個想法。
“對了……p=np?!”
就像是他當初利用p=np問題的原理構建了一個程序,然後再利用這個程序確定了引力子和相對論的關係。
“要是使用相同的方法,或許也就能夠解決這個問題了。”
他的目光中陷入了一陣思考。
而後,他的眼中便是一動,隨後就拿出了一支筆,開始寫了起來。
直覺告訴他,這個方法是可行的,但是該如何解決這個問題,還需要基於數學上的推論。
就這樣,一個周後,他十分驚訝地看著自己得到的一個函數。
當然,這個函數和他想要搞出來的東西沒有關係,充其量也隻能算作一個中間產物罷了,隻不過,這個中間產物的意義,卻不同尋常。
“這難道是一個單向函數?”
他緊皺著眉頭,看著這個函數,心中忍不住思考起來。
如果真的是這樣的話,那他可能,就又一個不小心地解決了一個七大千禧年難題了。
當然,這個“解決”,指的不是證明,而是證偽。
他將證偽p不等於np,也就是說,對於p問題,不能完全等價於np問題。
p即複雜度類p,即為所有可以由一個確定型圖靈機在多項式表達的時間內解決的問題;而類np由所有可以在多項式時間內驗證它的解是否正確的決定問題組成。
一旦能夠證明p=np,世間的一切問題都將能夠變得簡單起來,就像是如果能夠將非線性和線性實現統一一樣。
不過在過去,大多數的科學家都不相信p能夠等於np,特別是對於一些密碼學的專家來說,畢竟一旦p=np了,那麽密碼學的大廈就會轟然倒塌,因為p=np能夠讓任何密碼都變得沒有破解的難度,隻需要交給計算機來進行計算就好了。
隻不過,想要解決這個問題仍然存在著較大的困難,不管是證明還是證偽,然後再由於這個問題的意義比較重大,於是也就被選為了七大千禧難題之一。
而在證偽的方法中,有一個方法就是:找到一個單向函數。
單向函數指的是對於每一個輸入,函數值都容易計算;但是對於一個隨機的函數值,算出其對應的輸入卻比較困難。
也就是說在f(x)=y中,給出一個x的值,我們很容易就能夠得到y的值,但是如果給出一個y,我們卻很難反向算出x的值。
而這就完全不符合p=np時的情況了,自然而地也就將這個問題給證偽了。
也就是說,單向函數就像是一個特殊解,隻要找到一個,就能夠直接將這個千禧年難題給解決掉。
隻不過,此時此刻的林曉,卻完全沒有想到自己隻是為了找出能夠控製量子計算機的一個模型,卻就在不經意間將這個東西給找了出來。
他一時之間甚至感覺有點不真實。
然而接下來,係統的聲音突然響起,告訴他這很真實。
“恭喜宿主,成功找到了一個單向函數,證明了p不等於np……”
係統的聲音讓林曉心中就是一愣。
係統,居然認可了?
然而他心中剛這麽想,係統接下來的話,就讓他心中一跳。
“不過,如果當宿主認為這個問題就此結束了的話,那麽請思考一下,真的是你這樣認為的嗎?”
“獎勵:5000點數學經驗,3000點信息學經驗,50點真理點。”
聽到係統的話語,林曉感到了十分的困惑和不解。
現在既然都已經說明了他偶然間找到的這個函數是單向函數,但為什麽又要這麽說?
“真的是我這麽認為的嗎?”
“難道係統的意思是說,還能夠將這個p=np給證明了?”
他感到了由衷的不解。
證明一個證偽的問題?
這又要從何解起?
而就在他的心中產生這種困惑的時候,他的手機鈴聲卻忽然響了起來。
暫且回過了神,他拿起手機看了一眼。
“嗯?這是陶哲軒的電話?”
陶哲軒怎麽突然想著要給他打電話了?
最近這段時間,應該正在召開國際數學家大會吧,陶哲軒現在應該在國際數學家大會上,怎麽還有空來找他?
不過他又想起來,今天好像是今年國際數學家大會的最後一天了,現在這個時間段,似乎正是閉幕式的時候?
這就更讓他感到疑惑了。
而後他接通了電話,說道:“喂,陶,怎麽突然想著找我了?現在如果我沒有記錯的話,你應該在參加數學家大會的閉幕式吧?”
隨後對麵就傳來了陶哲軒的聲音。
“哈哈!林,沒錯,現在我正在參加數學家大會的閉幕式,當然,也正是因為此,我才要給你打這個電話啊。”
聽到陶哲軒的話,林曉頓時就感到更加的疑惑了。
“什麽意思?”
“嗬嗬,我現在給你發個視頻通話邀請吧,到時候,你就會知道了。”
“這……好吧,我倒是要看看你在做什麽。”
雖然不知道陶哲軒的用意,不過他既然都這麽說了,那就看看吧。
而後很快,陶哲軒便就給他發來了一個視頻邀請。
林曉點下了接受邀請,隨後便進入到了視頻的畫麵中。
隨著視頻畫麵的打開,當林曉看到陶哲軒那邊的景象時,頓時就是一愣。
因為視頻中,陶哲軒赫然是站在台上的,而他的身後,則是觀眾席。
隻見幾千名參加大會的數學家以及數學愛好者或者是從業者們,都坐在自己的座位上,然後朝他揮著手。
同時,還有一道道向他打招呼的聲音傳來。
“嗨!林教授!”
“林!好久不見!”
“林教授!”
……
雖然聲音比較嘈雜,但是林曉卻還是能夠聽出來他們都說的是什麽。
他發愣了片刻,說道:“呃……大家好?”
然後他又連忙問陶哲軒:“陶,這是怎麽回事兒?”
陶哲軒笑了笑,終於解釋道:“今年的數學家大會沒有了你,總算是變得稍微平澹了一點,沒有再出現一些像你經常給我們帶來的那些震撼數學界的報告了。”
“但也正因為如此,我們大家也都很想念你,雖然現在因為一些原因讓你不能夠在這次大會上出現在這裏,和我們一起討論數學,不過我們都相信,總會有問題解決的那一天的。”
“世界的數學是一家人,我們都很想念你。”
陶哲軒的話說完,觀眾席上人們也都喊了起來:“林!我們都很想念你。”
見到這,林曉的心中不由生出了感動,萬萬沒想到,陶哲軒突然給他打來電話,卻是因為這件事情。
他笑了起來,說道:“謝謝大家,我同樣也很想念各位,想念曾經的兩次大會上,和許多朋友們的討論。”
“當然,至少現在,我也還是以這種方式,參加到這場大會了嘛。”
會場上的人數學家們都笑了起來,而這個時候陶哲軒也開玩笑道:“嘿,如果這也算的話,你可還沒有給我們帶來一些令人驚訝的成果呢!這可就等於打破了你過去的習慣了!”
“哪有那麽多令人驚訝的成果啊!”
林曉頓時哭笑不得起來。
但是,就在這個時候,他又遲疑片刻,說了一句:“呃?好像,也不是就沒有了?”