np圖同構問題是誰證明的

李白，姜新文從1986年開始講授《算法設計與分析》課程，結合此前學習圖論時關於哈密頓圖判定問題的思考，開始研究P對NP關係問題。

他首先建立了一套基於數學歸納法的證明框架，然後堅持探索滿足這套證明框架的算法設計。從1995年開始之後的15年中，經歷了2000次以上設計、修改與調整，到2010年底得到預期效果。姜新文35年的潛心探索，終於獲得成功！

“NP=P”得到證明具有重要的科學意義與應用價值。