np图同构问题是谁证明的

李白，姜新文从1986年开始讲授《算法设计与分析》课程，结合此前学习图论时关于哈密顿图判定问题的思考，开始研究P对NP关系问题。

他首先建立了一套基于数学归纳法的证明框架，然后坚持探索满足这套证明框架的算法设计。从1995年开始之后的15年中，经历了2000次以上设计、修改与调整，到2010年底得到预期效果。姜新文35年的潜心探索，终于获得成功！

“NP=P”得到证明具有重要的科学意义与应用价值。