一桶布丁 作品
092 雷聲滾滾，一掃濁世
可惜的是，不過評論有多熱鬧，寧孑都不會去關注直播的，他對自己在視頻上是什麼形象其實並不太關心。或者說寧孑從小到大，其實都沒怎麼關注過自己的形象問題。
否則也不會來京城前，寧曉都看不下去他那身打扮，一定要帶著他去改變形象了。
一個小時雖然不長，卻能讓他思考一些問題。
三月雖然不在身邊，但留給他的題目卻一直長伴著他。
尤其是在宣佈寧孑數學基礎課程已經畢業之後，給出的目標跟具體題目難度再次上了一個臺階。
比如寧孑現在的目標是嘗試證明某類np問題=或者≠p類問題。
最簡單的描述就是某類np=p？。
說到這類數學問題，包括寧孑之前解決的ns方程問題，就得從上個世紀元年傳說中的德國大數學家大衛·希爾伯特說起。
這位傳說級全能向的大數學家決定相信後人的智慧，於是在1900年巴黎的數學會議上，一口氣提出了23個問題。而這23個問題直接成了整整一個世紀全球數學界的主流研究方向。
甚至針對這些問題的研究，對計算機科學的發展幫助同樣是極大的。
就這樣很快一個百年過去了，雖然23個問題並沒有完全解決，但新世紀的數學家們坐在一起商量了下，覺得既需要呼應歷史，又不能埋沒了新世紀成長起來的新一代數學家們的智慧，所以應該在前人的基礎上再推出幾個問題。只是隨著數學在這一個世紀的飛速發展，各種分類越來越細，新時代已經沒有一個像當年希爾伯特這樣近乎全能數學家有那個資格來向全球數學界提問了。
但不要緊，在世界超級大國的號召下，克雷數學研究院邀請了曾證明費馬大定理的安德魯·懷爾斯，榮獲過菲爾茲、阿貝爾雙數學獎的阿蒂亞，美國數學家約翰·泰特，甚至還包括了弦理論創始人物理學家威騰等等一眾科學家坐在一起討論新世紀難題。
就這樣傳說中的千禧年七大難題誕生了。np=p?成為了千禧年難題之首，而已經被寧孑證明的ns方程問題，則同樣屬於一個困擾了數學家許多年的超級難題。
當然關於np=p？也有很長一段歷史。
早在1971年計算複雜理論的科學家斯蒂芬·庫克就在其《定理證明過程的複雜性》論文中提到了一類極為特殊的問題——np-c問題。這類問題有兩個特點，首先它必須是一個np問題，其次任何其它np類問題都可以歸約到這個問題。
顯然這種問題是非常複雜的，事實上當時的學術界一直懷疑是否真的有這種問題存在。
但牛人終究是牛人，在提出了這類問題後，斯蒂芬·庫克還真找到了一個問題，並通過圖靈機的方式，證明了他提出的這個問題就屬於npp完全問題。
其定義為“給出一個含有n個邏輯變量的邏輯表達式，判斷這個表達式是否可能取值為真，也就是判斷這個邏輯表達式是否是可被滿足的。”因為這個定義，所以該類問題又被稱作為“可滿足性問題”。
這裡不需要管斯蒂芬·庫克開了多大的腦洞，反正他通過這種方式證明了他提出的問題屬於npc問題之後，數學界著名的庫克定理就此誕生“可滿足性問題是一個npc”問題。
當斯蒂芬·庫克完成了這個開創性的工作之後，次年得到啟發的數學家便一連找出了21個npc類問題。比如大名鼎鼎的“哈密頓循環”、“揹包問題”、“三位匹配問題”等等。
當然最重要的並不是這些問題被發現，而是根據學術界對npc問題的定義二:任何其它np類問題都可以歸約到這個問題，那麼只需要找到任意一個npc問題中多項式時間複雜度的算法，也意味著能夠證明np=p。
然而幾十年過去，沒有一個npc類問題得到證明，所以主流學術界大都是認為np≠p的。
但如果說到證明這個理論，其實偶爾也會有數學家跳出來聲稱完全解決了這個問題，但不管是關於np＝p又或者np≠p的證明，從來沒得到過數學界跟計算機理論學界的承認。
當然以三月負責任的教導態度，自然不會將這個問題直接拋給寧為就不管了。
即便是更高深的數學內容，依然是循循善誘的解決模式。
這次三月給寧孑出的問題是一個許多玩家都耳熟能詳的華容道遊戲。
當然，並不是讓寧孑玩這個遊戲，而是讓寧孑通過之前所學習到知識體系，嘗試證明或者設計一種算法，讓華容道遊戲能快速得到結果的最優解，又或者證明根本不存在有一種通用解或者算法能讓這個遊戲存在最優解決辦法。
這顯然是個非常讓人頭疼的問題，涉及到群論等諸多數學領域。
標準的綜合性難題。
也讓寧孑幾乎不需要任何醞釀便陷入深度思索之中。
……
作為這次復現試驗當之無愧的主角，當寧孑接受了費米實驗室的遠程連線出現了在鏡頭前，幾乎全球所有直播的畫面都給了寧孑一個固定的分鏡頭，即便正式的試驗過程還沒開始。
這個做法起碼在華夏是絕對正確的。
互聯網具備著天然的放大效應，尤其是當一個人被放大到鏡頭前，被眾人檢視的時候。不管是優點還是缺點，都特別容易被瞬間放大。其中最直觀，最容易判別的便是，外在形象的美醜。
這個時代的和平國度給與國民最大的饋贈大概便是可以在網絡上自由的表達喜好。
比如瘋狂的顏值黨們。帥即正義這種明顯不太科學的宣言，市場卻是相當龐大的。
毫無疑問，起碼從顏值上來說，寧孑是沒什麼可挑剔的，或者說絕對符合大眾對於人臉的審美。
不管是五官比例，細節，即便是架上了一副眼鏡，也是那英氣的臉多了幾分儒雅的氣質。
於是讓許多科學黨們無語的事情還是發生了。
即便為了體現出這是一次科學界的盛世，企鵝視頻專門邀請了兩位華科院的科學家，在視頻直播中討論人類從古至今對於雷電的認識，雷電形成的原因，以及向大眾解釋寧孑論文中一些科學術語跟相關研究成果，甚至為了讓探討的內容生動有趣，兩位科學家還講了許多相關的小故事……
比如已經在網絡上引發熱議的特斯拉線圈，跟特斯拉其人，比如當年為了研究雷電，做了風箏試驗的美國科學家本傑明·富蘭克林。
但當顏值黨們湧入直播間之後，證明了這些專家精心準備的內容對於引流並沒有什麼卵用。
因為瘋狂增加的彈幕內容已經說明了一切。
“哇喔，果然是太帥了，比照片上還帥！”
“簡直顛覆了我對科學家的認知，所以科學家真的可以這麼年輕，還這麼英俊的嗎？”
“為什麼要把我家寧孑的畫面放的那麼小？聽兩個老頭子講課有什麼意思？立刻放大畫面，我要欣賞那張帥臉！”
“天啊，誰都別阻止我，我一定要靠燕北體大！”
……
如果對這些彈幕內容不滿的話，那就太年輕了。
因為隨著時間推移，聞訊而來的顏值黨不斷增加，彈幕內容開始朝著更加荒謬的方向發展……
“天啊，這孩子真俊，請問該在哪裡幫他打榜？他代言了什麼品牌啊？”
“強烈建議原地出道吧，寧歐巴！你隨便什麼會我都買票！”
“寧孑你為什麼要皺眉呢？不開心跟媽媽說，媽媽寵你……”
……
甚至不止是國內網絡，即便是在國外網絡上，也有無數的驚歎。
“哇哦，這個男人思考時的樣子簡直太性感了！”
“雖然我不太喜歡亞裔，但如果是他出現在我今晚去的酒吧裡，想來我不會介意跟他來一次激情的約會。”
“我喜歡他皺眉頭思考時的樣子，果然男人認真起來的樣子更有魅力。”
……
對於那些因為沒法前往費米實驗室，所處環境又沒有電視，只能通過視頻的來看這場直播的科學家來說，看到這樣的彈幕無異是種折磨。
畢竟他們很難將自己帶入到這種感覺中去。
好吧，寧孑看上去的確是挺順眼的，但那又怎麼呢？
好看能吃嗎？
尤其是那些無腦到認為這位科學家如此英俊，所以那些質疑寧孑的都是在找茬的言論，更是徹底能把人給整無語了。
無語的人中甚至包括了已經開學的丁雨霖。
要感謝費米實驗室將這次試驗復現的時間定在了週三的當地時間早上十點。此時美國還在使用夏令時，華夏時間比費米實驗室所在的美國尹利諾斯州快了13個小時，試驗正式開始時，是華夏時間晚上九點。
雖然不是休息日，但對於丁雨霖來說起碼是放學之後的時間。
在今天這個特殊的日子裡，寧曉也沒有像往常一樣在吃完飯後便督促著這個堂妹趕緊去學習，而是跟她一起坐在電腦前看起了直播。
如果是以前看到這些彈幕，丁雨霖大概會覺得很歡樂，她的大小姐妹們簡直太可愛了。
但換了一種身份，再看到這些言論，竟只覺得辣眼睛……
尤其是當堂姐開了頭後，便一發不可收拾。
“這些女人太可恨了，就想著佔咱們家小寧的便宜！呸，噁心！”
“是啊，真不要臉呢！咱哥肯定不會喜歡她們這種的，對吧？”
“那是肯定的。再說了，你哥從小就聽我的，他以後如果談戀愛了，怎麼也得過我這一關，這種小妖精，我肯定不會讓她們接近你哥的！”
“嗯嗯，曉姐，那你可得幫我哥把好關啊！對了，姐，你說我哥能成功嗎？”
“這麼跟你說吧，你哥打小就有一個特點，一件事哪怕他有百分之九十九的把握能完成，都不會先說出來。只有那種他百分之百能成功的事，才會提前說。所以壓根就不需要擔心這個，懂了吧？”
“呼……所以啊，我哥最棒了！”
……
不談寧家兩個女生的同仇敵愾。
盧正月看到這些彈幕，到是顯得挺樂呵。
連心底那一絲緊張情緒都被這些亂七八糟的發言給攪和沒了，只覺得有趣。
甚至開始考慮也許應該利用這一點，讓寧孑在明年體大數學系招生的時候出把力。
……
同樣在書房裡關注著視頻的範振華則早早的將彈幕給關閉了。
否則也不會來京城前，寧曉都看不下去他那身打扮，一定要帶著他去改變形象了。
一個小時雖然不長，卻能讓他思考一些問題。
三月雖然不在身邊，但留給他的題目卻一直長伴著他。
尤其是在宣佈寧孑數學基礎課程已經畢業之後，給出的目標跟具體題目難度再次上了一個臺階。
比如寧孑現在的目標是嘗試證明某類np問題=或者≠p類問題。
最簡單的描述就是某類np=p？。
說到這類數學問題，包括寧孑之前解決的ns方程問題，就得從上個世紀元年傳說中的德國大數學家大衛·希爾伯特說起。
這位傳說級全能向的大數學家決定相信後人的智慧，於是在1900年巴黎的數學會議上，一口氣提出了23個問題。而這23個問題直接成了整整一個世紀全球數學界的主流研究方向。
甚至針對這些問題的研究，對計算機科學的發展幫助同樣是極大的。
就這樣很快一個百年過去了，雖然23個問題並沒有完全解決，但新世紀的數學家們坐在一起商量了下，覺得既需要呼應歷史，又不能埋沒了新世紀成長起來的新一代數學家們的智慧，所以應該在前人的基礎上再推出幾個問題。只是隨著數學在這一個世紀的飛速發展，各種分類越來越細，新時代已經沒有一個像當年希爾伯特這樣近乎全能數學家有那個資格來向全球數學界提問了。
但不要緊，在世界超級大國的號召下，克雷數學研究院邀請了曾證明費馬大定理的安德魯·懷爾斯，榮獲過菲爾茲、阿貝爾雙數學獎的阿蒂亞，美國數學家約翰·泰特，甚至還包括了弦理論創始人物理學家威騰等等一眾科學家坐在一起討論新世紀難題。
就這樣傳說中的千禧年七大難題誕生了。np=p?成為了千禧年難題之首，而已經被寧孑證明的ns方程問題，則同樣屬於一個困擾了數學家許多年的超級難題。
當然關於np=p？也有很長一段歷史。
早在1971年計算複雜理論的科學家斯蒂芬·庫克就在其《定理證明過程的複雜性》論文中提到了一類極為特殊的問題——np-c問題。這類問題有兩個特點，首先它必須是一個np問題，其次任何其它np類問題都可以歸約到這個問題。
顯然這種問題是非常複雜的，事實上當時的學術界一直懷疑是否真的有這種問題存在。
但牛人終究是牛人，在提出了這類問題後，斯蒂芬·庫克還真找到了一個問題，並通過圖靈機的方式，證明了他提出的這個問題就屬於npp完全問題。
其定義為“給出一個含有n個邏輯變量的邏輯表達式，判斷這個表達式是否可能取值為真，也就是判斷這個邏輯表達式是否是可被滿足的。”因為這個定義，所以該類問題又被稱作為“可滿足性問題”。
這裡不需要管斯蒂芬·庫克開了多大的腦洞，反正他通過這種方式證明了他提出的問題屬於npc問題之後，數學界著名的庫克定理就此誕生“可滿足性問題是一個npc”問題。
當斯蒂芬·庫克完成了這個開創性的工作之後，次年得到啟發的數學家便一連找出了21個npc類問題。比如大名鼎鼎的“哈密頓循環”、“揹包問題”、“三位匹配問題”等等。
當然最重要的並不是這些問題被發現，而是根據學術界對npc問題的定義二:任何其它np類問題都可以歸約到這個問題，那麼只需要找到任意一個npc問題中多項式時間複雜度的算法，也意味著能夠證明np=p。
然而幾十年過去，沒有一個npc類問題得到證明，所以主流學術界大都是認為np≠p的。
但如果說到證明這個理論，其實偶爾也會有數學家跳出來聲稱完全解決了這個問題，但不管是關於np＝p又或者np≠p的證明，從來沒得到過數學界跟計算機理論學界的承認。
當然以三月負責任的教導態度，自然不會將這個問題直接拋給寧為就不管了。
即便是更高深的數學內容，依然是循循善誘的解決模式。
這次三月給寧孑出的問題是一個許多玩家都耳熟能詳的華容道遊戲。
當然，並不是讓寧孑玩這個遊戲，而是讓寧孑通過之前所學習到知識體系，嘗試證明或者設計一種算法，讓華容道遊戲能快速得到結果的最優解，又或者證明根本不存在有一種通用解或者算法能讓這個遊戲存在最優解決辦法。
這顯然是個非常讓人頭疼的問題，涉及到群論等諸多數學領域。
標準的綜合性難題。
也讓寧孑幾乎不需要任何醞釀便陷入深度思索之中。
……
作為這次復現試驗當之無愧的主角，當寧孑接受了費米實驗室的遠程連線出現了在鏡頭前，幾乎全球所有直播的畫面都給了寧孑一個固定的分鏡頭，即便正式的試驗過程還沒開始。
這個做法起碼在華夏是絕對正確的。
互聯網具備著天然的放大效應，尤其是當一個人被放大到鏡頭前，被眾人檢視的時候。不管是優點還是缺點，都特別容易被瞬間放大。其中最直觀，最容易判別的便是，外在形象的美醜。
這個時代的和平國度給與國民最大的饋贈大概便是可以在網絡上自由的表達喜好。
比如瘋狂的顏值黨們。帥即正義這種明顯不太科學的宣言，市場卻是相當龐大的。
毫無疑問，起碼從顏值上來說，寧孑是沒什麼可挑剔的，或者說絕對符合大眾對於人臉的審美。
不管是五官比例，細節，即便是架上了一副眼鏡，也是那英氣的臉多了幾分儒雅的氣質。
於是讓許多科學黨們無語的事情還是發生了。
即便為了體現出這是一次科學界的盛世，企鵝視頻專門邀請了兩位華科院的科學家，在視頻直播中討論人類從古至今對於雷電的認識，雷電形成的原因，以及向大眾解釋寧孑論文中一些科學術語跟相關研究成果，甚至為了讓探討的內容生動有趣，兩位科學家還講了許多相關的小故事……
比如已經在網絡上引發熱議的特斯拉線圈，跟特斯拉其人，比如當年為了研究雷電，做了風箏試驗的美國科學家本傑明·富蘭克林。
但當顏值黨們湧入直播間之後，證明了這些專家精心準備的內容對於引流並沒有什麼卵用。
因為瘋狂增加的彈幕內容已經說明了一切。
“哇喔，果然是太帥了，比照片上還帥！”
“簡直顛覆了我對科學家的認知，所以科學家真的可以這麼年輕，還這麼英俊的嗎？”
“為什麼要把我家寧孑的畫面放的那麼小？聽兩個老頭子講課有什麼意思？立刻放大畫面，我要欣賞那張帥臉！”
“天啊，誰都別阻止我，我一定要靠燕北體大！”
……
如果對這些彈幕內容不滿的話，那就太年輕了。
因為隨著時間推移，聞訊而來的顏值黨不斷增加，彈幕內容開始朝著更加荒謬的方向發展……
“天啊，這孩子真俊，請問該在哪裡幫他打榜？他代言了什麼品牌啊？”
“強烈建議原地出道吧，寧歐巴！你隨便什麼會我都買票！”
“寧孑你為什麼要皺眉呢？不開心跟媽媽說，媽媽寵你……”
……
甚至不止是國內網絡，即便是在國外網絡上，也有無數的驚歎。
“哇哦，這個男人思考時的樣子簡直太性感了！”
“雖然我不太喜歡亞裔，但如果是他出現在我今晚去的酒吧裡，想來我不會介意跟他來一次激情的約會。”
“我喜歡他皺眉頭思考時的樣子，果然男人認真起來的樣子更有魅力。”
……
對於那些因為沒法前往費米實驗室，所處環境又沒有電視，只能通過視頻的來看這場直播的科學家來說，看到這樣的彈幕無異是種折磨。
畢竟他們很難將自己帶入到這種感覺中去。
好吧，寧孑看上去的確是挺順眼的，但那又怎麼呢？
好看能吃嗎？
尤其是那些無腦到認為這位科學家如此英俊，所以那些質疑寧孑的都是在找茬的言論，更是徹底能把人給整無語了。
無語的人中甚至包括了已經開學的丁雨霖。
要感謝費米實驗室將這次試驗復現的時間定在了週三的當地時間早上十點。此時美國還在使用夏令時，華夏時間比費米實驗室所在的美國尹利諾斯州快了13個小時，試驗正式開始時，是華夏時間晚上九點。
雖然不是休息日，但對於丁雨霖來說起碼是放學之後的時間。
在今天這個特殊的日子裡，寧曉也沒有像往常一樣在吃完飯後便督促著這個堂妹趕緊去學習，而是跟她一起坐在電腦前看起了直播。
如果是以前看到這些彈幕，丁雨霖大概會覺得很歡樂，她的大小姐妹們簡直太可愛了。
但換了一種身份，再看到這些言論，竟只覺得辣眼睛……
尤其是當堂姐開了頭後，便一發不可收拾。
“這些女人太可恨了，就想著佔咱們家小寧的便宜！呸，噁心！”
“是啊，真不要臉呢！咱哥肯定不會喜歡她們這種的，對吧？”
“那是肯定的。再說了，你哥從小就聽我的，他以後如果談戀愛了，怎麼也得過我這一關，這種小妖精，我肯定不會讓她們接近你哥的！”
“嗯嗯，曉姐，那你可得幫我哥把好關啊！對了，姐，你說我哥能成功嗎？”
“這麼跟你說吧，你哥打小就有一個特點，一件事哪怕他有百分之九十九的把握能完成，都不會先說出來。只有那種他百分之百能成功的事，才會提前說。所以壓根就不需要擔心這個，懂了吧？”
“呼……所以啊，我哥最棒了！”
……
不談寧家兩個女生的同仇敵愾。
盧正月看到這些彈幕，到是顯得挺樂呵。
連心底那一絲緊張情緒都被這些亂七八糟的發言給攪和沒了，只覺得有趣。
甚至開始考慮也許應該利用這一點，讓寧孑在明年體大數學系招生的時候出把力。
……
同樣在書房裡關注著視頻的範振華則早早的將彈幕給關閉了。