第一百一十五章 名人的特权以及航空材料院的邀请 (第2/8页)

有任何一个公式可以一步步推导出下一个大质数。

    这种问题是无法通过计算得到答案的，只能间接性的‘猜’来得到结果。

    比如，7是质数，下一个质数是哪一个？可以验算8、9、10，都不是质数验算11，发现了质数。

    这就是非确定性问题，它不能够通过计算得到结果，而是需要一个个的去验证。

    这种以穷举法来得到答案的问题，就是完全多项式问题，一个个的检验下去，就可以得到最终的结果。

    但是，这样算法的复杂程度是指数关系，数字大到一定地步，很快就无法进行运算了。

    有科学家发现，类似的完全多项式非确定性问题，都可以转换为一类叫做‘满足性问题’的逻辑运算问题。

    既然这类问题的所有可能答案，都可以在多项式时间内计算，那么是否这类问题存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案呢？

    这就是著名的“NP=P？”猜想。

    以上寻找质数的例子，就只是最简单的NP问题。

    实际上，NP问题覆盖的领域非常大，是复杂性理论的重要方向，罗大勇研究的“图同构问题”，就是经典NP问题之一。

    “图同构问题”，说的是复杂网络对比计算。

    比如，两侧各有八个点，点位分布是不一样的，八个点每一个都和其他最少一个点相连。

    因为点位的分布是不一样的，各个点位连接一致，画出图形也会有很大不同。

    那么怎么证明两个图形是完全一