【科技尽头】小说免费阅读,请收藏 一七小说【1qxs.com】
其定义为“给出一个含有
个逻辑变量的逻辑表达式,判断这个表达式是否可能取值为真,也就是判断这个逻辑表达式是否是可被满足的。”因为这个定义,所以该类问题又被称作为“可满足性问题”。
这里不需要管斯蒂芬·库克开了多大的脑洞,反正他通过这种方式证明了他提出的问题属于NPC问题之后,数学界著名的库克定理就此诞生“可满足性问题是一个NPC”问题。
当斯蒂芬·库克完成了这个开创性的工作之后,次年得到启发的数学家便一连找出了21个NPC类问题。比如大名鼎鼎的“哈密顿循环”、“背包问题”、“三位匹配问题”等等。
当然最重要的并不是这些问题被发现,而是根据学术界对NPC问题的定义二:任何其它NP类问题都可以归约到这个问题,那么只需要找到任意一个NPC问题中多项式时间复杂度的算法,也意味着能够证明NP=P。
然而几十年过去,没有一个NPC类问题得到证明,所以主流学术界大都是认为NP≠P的。
但如果说到证明这个理论,其实偶尔也会有数学家跳出来声称完全解决了这个问题,但不管是关于NP=P又或者NP≠P的证明,从来没得到过数学界跟计算机理论学界的承认。
当然以三月负责任的教导态度,自然不会将这个问题直接抛给宁为就不管了。
即便是更高深的数学内容,依然是循循善诱的解决模式。
这次三月给宁孑出的问题是一个许多玩家都耳熟能详的华容道游戏。
当然,并不是让宁孑玩这个游戏,而是让宁孑通过之前所学习到知识体系,尝试证明或者设计一种算法,让华容道游戏能快速得到结果的最优解,又或者证明根本不存在有一种通用解或者算法能让这个游戏存在最优解决办法。
这显然是个非常让人头疼的问题,涉及到群论等诸多数学领域。
标准的综合性难题。
也让宁孑几乎不需要任何酝酿便陷入深度思索之中。
……
作为这次复现试验当之无愧的主角,当宁孑接受了费米实验室的远程连线出现了在镜头前,几乎全球所有直播的画面都给了宁孑一个固定的分镜头,即便正式的试验过程还没开始。
这个做法起码在华夏是绝对正确的。
互联网具备着天然的放大效应,尤其是当一个人被放大到镜头前,被众人检视的时候。不管是优点还是缺点,都特别容易被瞬间放大。其中最直观,最容易判别的便是,外在形象的美丑。
这个时代的和平国度给与国民最大的馈赠大概便是可以在网络上自由的表达喜好。
比如疯狂的颜值党们。帅即正义这种明显不太科学的宣言,市场却是相当庞大的。
本章未完,点击[下一页]继续阅读-->