第714章 着急的李振邦（第2 / 4页）

习惯性的用笔点着这两个问题，陈舟此刻打算从最简单的问题入手，去验证自己的思路。

“这两个都是最简单的非确定性问题，虽然没有确定性的计算公式，但是存在一个算法，可以验证结果的正确与误……”

“把这两个问题的思路再延伸的话……”

“这个算法，假如可以在多项式时间内算出来，那就变成了多项式非确定性问题……”

“再假如这个问题的所有可能答案，都是可以在多项式时间内，通过这个算法进行正确与否的验算，那就变成了完全多项式非确定性问题……”

顺着这个思路，陈舟开始梳理了起来。

即使他在颁奖晚宴上，像发癔症般的抓住了那丝灵感。

但现在直接解决NP完全问题的难度，仍旧很大，甚至超出了他的预估。

这也是他现在从最简单的问题入手，去验证自己的思路的原因。

这样做的好处有两点。

一是找到自己思路的死角，解决隐藏的问题。

二是，题集可以发挥威力了。

“按照一般的解法，完全多项式非确定性问题的答案，可以用穷举法来得到，只要一个个检验下去，最终便能得到结果。”

“但是，算法的问题就会凸显出来，算法的复杂程度是指数关系，这个算法的时间，随问题的复杂程度成指数的增长，很快就变得不可计算了。”

“到这里的话，就能推到NP完全问题身上了，只是……”

陈舟边梳理，边把问题转移到了NP完全问题上。

这也是最初提出这个问题时，学术界的人所走的路。

因为所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。

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