092 雷聲滾滾，一掃濁世 (第1/9頁)
一桶布丁提示您：看後求收藏（八零中文www.80zw.tw），接著再看更方便。
可惜的是，不過評論有多熱鬧，寧孑都不會去關注直播的，他對自己在影片上是什麼形象其實並不太關心。或者說寧孑從小到大，其實都沒怎麼關注過自己的形象問題。
否則也不會來京城前，寧曉都看不下去他那身打扮，一定要帶著他去改變形象了。
一個小時雖然不長，卻能讓他思考一些問題。
三月雖然不在身邊，但留給他的題目卻一直長伴著他。
尤其是在宣佈寧孑數學基礎課程已經畢業之後，給出的目標跟具體題目難度再次上了一個臺階。
比如寧孑現在的目標是嘗試證明某類np問題=或者≠p類問題。
最簡單的描述就是某類np=p？。
說到這類數學問題，包括寧孑之前解決的ns方程問題，就得從上個世紀元年傳說中的德國大數學家大衛·希爾伯特說起。
這位傳說級全能向的大數學家決定相信後人的智慧，於是在1900年巴黎的數學會議上，一口氣提出了個問題。而這個問題直接成了整整一個世紀全球數學界的主流研究方向。
甚至針對這些問題的研究，對電腦科學的發展幫助同樣是極大的。
就這樣很快一個百年過去了，雖然個問題並沒有完全解決，但新世紀的數學家們坐在一起商量了下，覺得既需要呼應歷史，又不能埋沒了新世紀成長起來的新一代數學家們的智慧，所以應該在前人的基礎上再推出幾個問題。只是隨著數學在這一個世紀的飛速發展，各種分類越來越細，新時代已經沒有一個像當年希爾伯特這樣近乎全能數學家有那個資格來向全球數學界提問了。
但不要緊，在世界超級大國的號召下，克雷數學研究院邀請了曾證明費馬大定理的安德魯·懷爾斯，榮獲過菲爾茲、阿貝爾雙數學獎的阿蒂亞，美國數學家約翰·泰特，甚至還包括了弦理論創始人物理學家威騰等等一眾科學家坐在一起討論新世紀難題。
就這樣傳說中的千禧年七大難題誕生了。np=p?成為了千禧年難題之首，而已經被寧孑證明的ns方程問題，則同樣屬於一個困擾了數學家許多年的超級難題。
當然關於np=p？也有很長一段歷史。
早在1971年計算複雜理論的科學家斯蒂芬·庫克就在其《定理證明過程的複雜性》論文中提到了一類極為特殊的問題——np-c問題。這類問題有兩個特點，首先它必須是一個np問題，其次任何其它np類問題都可以歸約到這個問題。
顯然這種問題是非常複雜的，事實上當時的學術界一直懷疑是否真的有這種問題存在。
但牛人終究是牛人，在提出了這類問題後，斯蒂芬·庫克還真找到了一個問題，並透過圖靈機的方式，證明了他提出的這個問題就屬於npc問題，也就是np完全問題。
其定義為“給出一個含有
個邏輯變數的邏輯表示式，判斷這個表示式是否可能取值為真，也就是判斷這個邏輯表示式是否是可被滿足的。”因為這個定義，所以該類問題又被稱作為“可滿足性問題”。
這裡不需要管斯蒂芬·庫克開了多大的腦洞，反正他透過這種方式證明了他提出的問題屬於npc問題之後，數學界著名的庫克定理就此誕生“可滿足性問題是一個npc”問題。
當斯蒂芬·庫克完成了這個開創性的工作之後，次年得到啟發的數學家便一連找出了21個npc類問題。比如大名鼎鼎的“哈密頓迴圈”、“揹包問題”、“三位匹配問題”等等。
當然最重要的並不是這些問題被發現，而是根據學術界對npc問題的定義二：任何其它np類問題都可以歸約到這個問題，那麼只需要找到任意一個npc問題中多項式時間複雜度的演算法，也意味著能夠證
