p=np？猜想這一千禧年難題是計算機數學領域中的核心。
整個問題可以拆分成n個次級難題，而這其中最出名的有四個。
分別是大正整數因子分解問題、圖同構問題、離散對數問題、曼哈頓網絡問題。
其中大數分解問題和圖同構問題和最為著名，因為這兩個問題的解決涉及密碼學和復雜性理論的很多基本問題。
解決了它們，能夠極大的促進計算機科學、算法等方面的發展。
其他的不說，就像智能駕駛這一塊，環境感知和決策算法是自動駕駛汽車實現智能行駛的關鍵。
環境感知算法通過車載傳感器和攝像頭來獲取道路、障礙物、交通標志等信息，并進行感知和建模。
而決策算法則根據環境感知的結果，做出行車路徑規劃、交流協調、避讓決策等操作。
這些算法通常涉及到多傳感器融合、狀態估計、機器學習等多種技術。
更需要運用矩陣運算、圖像變換、最優化理論、統計學等大量的數學模型和算法來實現智能決策。
比如圖同構理論，盡管目前來說它依舊面臨著諸多挑戰，但圖像處理、視頻分析、尋找最優路徑、網絡流算法、高效避障礙等領域有著眾多的應用。
數學工具上的突破，給ai智駕的算法判斷帶來了更先進高效的計算法方式。
這也是川海網絡科技公司那邊的智能駕駛能夠快速的在短短兩三年的時間內，就追上其他早已經深入布局的企業的原因。
.......
辦公室中，聽到徐川詢問圖同構方面的研究和稿紙，劉嘉欣笑了笑，從隨身攜帶的背包中取出來了整理過后的稿紙。
她就知道徐川的注意力肯定會集中在這個上面，所以提前就準備好了。
“我看看。”
看到稿紙，徐川迫不及待的伸手接了過來。
的確，相對比智駕領域的突破，他更在意圖同構難題上的研究。
這涉及到一個千禧年難題的答案，也涉及到更多的應用領域。
智駕，只是它的一部分應用而已。
翻閱著手中的稿紙，徐川眼眸中帶著感興趣的神色。
“...給定兩個圖g=(vg，eg)g=(v_g，e_g)g=(v
g，eg)和h=(vh，eh)h=(v_h，e_h)h=(vh，eh)。”
“若存在一種從g到h的映射?:vg→vh，滿足：?(vi)=vi′，?(vj)=v′j......”
“有點意思，沒有走更廣泛的p類問題方式，而是通過準多項式與映射函數來對同構模塊進行切割。”
“這種方法有點類似于弱黎曼猜想的研究方式？”
看著手中的稿紙，徐川自言自語的念叨著。
圖同構問題，其實通俗一點來說，它就是給定兩個圖，問它們是否一模一樣。
而如何對給定的2個圖檢查它們是否同構，一模一樣呢？