數學家證明了三明治圖的假設

一群數學家提出了一個關於三明治圖的久違假設的證明，這個假設已經無法解決了幾十年。研究人員的工作提出了一種新的方法來分析複雜的網絡結構，允許有效地確定兩個給定配置之間的中間圖的存在。

三明治圖問題涉及尋找一個包含第一個給定圖的所有邊且是第二個圖的子圖的圖。證明依賴於圖論算法理論，並允許減少尋找具有數百萬個節點的網絡的解的計算複雜度。以前，類似的問題需要指數時間，現在已經為特定類別的網絡找到多項式約束。

新的方法使用結構分解方法，允許將複雜的圖分解為更簡單的組件而不失去拓撲完整性。這一發現對於優化路由算法、社交網絡分析和硬件架構設計至關重要，在這些領域中需要在施加各種約束時檢查連接性。

研究結果已經在科學界引起了爭論，包括在Hacker News上的討論，專家們指出該方法在自動化微芯片設計任務中的潛在應用。作者提出的數學工具允許正式化「三明治」的搜索，甚至在網絡結構的數據不完整的情況下也是如此。

這一成就改變了對於圖論中NP難問題的解決方法。將這些算法集成到數據分析軟件庫中將允許將圖模型的處理速度提高十倍，相比之下，傳統的枚舉方法將會更快，這為複雜系統的建模提供了一種更有效的方法。