现了质数。
这就是非确定性问题,它不能够通过计算得到结果,而是需要一个个的去验证。
这种以穷举法来得到答桉的问题,就是完全多项式问题,一个个的检验下去,就可以得到最终的结果。
但是,这样算法的复杂程度是指数关系,数字大到一定地步,很快就无法进行运算了。
有科学家发现,类似的完全多项式非确定性问题,都可以转换为一类叫做‘满足性问题’的逻辑运算问题。
既然这类问题的所有可能答桉,都可以在多项式时间内计算,那么是否这类问题存在一个确定性算法,可以在多项式时间内,直接算出或是搜寻出正确的答桉呢?
这就是着名的“np=p?”猜想。
以上寻找质数的例子,就只是最简单的np问题。
实际上,np问题覆盖的领域非常大,是复杂性理论的重要方向,罗大勇研究的“图同构问题”,就是经典np问题之一。
“图同构问题”,说的是复杂网络对比计算。
比如,两侧各有八个点,点位分布是不一样的,八个点每一个都和其他最少一个点相连。
因为点位的分布是不一样的,各个点位连接一致,画出图形也会有很大不同。
那么怎么证明两个图形是完全一致的呢?
这就是图同构问题,证明两个复杂网络的一致性。
之前罗大勇研究了几年时间,已经找到了方向,并且想到了解决方法,缺少的就是‘灵光一闪’的临门一脚。
好多研究都会被限制在‘这一脚’。
有些人运气不错,突然想到了就解决了难题,有些人运气不好,一辈子也没有办法跨过去。
王浩上了一堂课,得到了一些灵感,他找到了一种“迈出第一步的方法”。
在回到了综合楼办公室以后,