有科学家发现，类似的完全多项式非确定性问题，都可以转换为一类叫做‘满足性问题’的逻辑运算问题。
既然这类问题的所有可能答案，都可以在多项式时间内计算，那么是否这类问题存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案呢？
这就是著名的“np=p？”猜想。
以上寻找质数的例子，就只是最简单的np问题。
实际上，np问题覆盖的领域非常大，是复杂性理论的重要方向，罗大勇研究的“图同构问题”，就是经典np问题之一。
“图同构问题”，说的是复杂网络对比计算。
比如，两侧各有八个点，点位分布是不一样的，八个点每一个都和其他最少一个点相连。
因为点位的分布是不一样的，各个点位连接一致，画出图形也会有很大不同。
那么怎么证明两个图形是完全一致的呢？
这就是图同构问题，证明两个复杂网络的一致性。
之前罗大勇研究了几年时间，已经找到了方向，并且想到了解决方法，缺少的就是‘灵光一闪’的临门一脚。
内容未完，下一页继续阅读