第三百二十二章 NP完全问题的启示?

陈舟见此,笑着摇了摇头。

他觉得赵琦琦和朱明理,已经彻底达到了放飞自我的境界。

至于李礼,倒没有放飞自我。

一来是他的性格比较内敛,二来,他压根不具备放飞自我的条件好不好!

自从他跟李静在一起后,就一直被李静管着……

重新将目光放在电脑网页上,陈舟滑动鼠标滚轮的手,忽的一顿。

倒不是因为眼前的内容,而是他忽然想起来,刚才在朱明理手机上看到的那个头像,怎么那么熟悉?

“又是张教授?”

陈舟不由得有些哭笑不得,先前的校园网上的事,他还记得呢。

但没想到,这位张中原教授,居然这么喜欢混校园网。

难道和学生打成一片,才能证明自己一直是年轻的自己吗?

也不一定吧?至少那脑袋就不像了……

“设计一种五边形,用它铺满一个平面而不留下空隙,有多少种这样的五边形?”

这是“平面密铺”的问题,也是一直困扰数学界的难题。

密铺理论的应用有很多,像最简单的堆放物体时,如何最大利用空间,节省成本。

在晶体学中,如何优化晶体结构,也属于密铺理论的应用范畴。

但是,因为正五边形的每个内角为108度,而非360度的因数,所以无法密铺平面,只能用变形的五边形挑战该问题。

而11件数学界的大事之一,便是数学家终于找到了第15种五边形。

这也是陈舟所感兴趣的两件事之一。

陈舟饶有兴趣的看着网页上15个被五边形铺满的图案。

五边形问题是大多数学家所感兴趣的几何学领域,因为它是唯一一种尚未被完全理解的形状。

而这第15种五边形,也是30年来新发现的首个满足条件的五边形。

陈舟思索了一下,便滑动鼠标,看向下一个感兴趣的事件了。

现在的他,单纯的只是兴趣,并不打算立即买入几何学的领域。

至于,陈舟所感兴趣的另一件事,便是图同构问题的进展。

这在复杂性理论中一直是一个特殊问题。

简单来说,就是一个正五边形或者是一个五角星,是否属于同构,也就是点之间一一对应的问题。

在这件事的描述上,是关于芝加哥大学的Babai教授在2014年研讨会上提交的有关论文。

他的成果旨在表明,解决这个问题只需要比多项式时间略长的拟多项式时间。

他的成果也被大多数的数学家所认可,认为这将会是这个领域内的巨大进展。

同时会对价值百万美元的“P/NP问题”产生启示。

没错,就是那个七大千禧难题之一的“P/NP问题”。

和1900年在国际数学家大会上希尔伯特提出的著名的“希尔伯特23问”一样。

这是由米国克雷数学研究所,在千禧年5月24日公布的七个世界级数学难题。

每个难题的奖都是一百万美元!

七大千禧难题分别是NP完全问题(P/NP问题)、霍奇猜想、庞加莱猜想、黎曼猜想、杨—米尔斯规范场存在性和质量间隔假设(规范场理论)、NS方程解的存在性与光滑性以及BSD猜想(贝赫和斯维讷通-戴尔猜想)。

目前为止,只有庞加莱猜想被俄罗斯数学家佩雷尔曼所解决。

“对NP完全问题产生启示吗?”

相比较来说,这11件大事中,这件是令陈舟最感兴趣的。

毕竟是和千禧难题产生关系的研究。

虽然对很多人来说,可能11件大事中的最后一件,也就是陈舟的事件,更加吸引人的眼球。

关于NP完全问题,举个简单的例子。

在某个晚上,你去参加了一个宴会。由于宴会过于盛大,你感到了局促不安,这时你会想知道整个宴会厅里,是否有你认识的人。

恰好这时,宴会的主人向你提议说,你一定认识那位正在甜点盘附近吃冰淇淋的女士。

几乎不费多少时间,你就能向那里扫视,并且发现宴会的主人是正确的。

然而,如果没有这样的暗示,你就必须环顾整个宴会厅,一个个地审视每一个人,看是否有你认识的人。

这其实就像一件事,如果一个人告诉你,13717421可以写成两个较小的数的乘积。

你肯定会迟疑,并且猜想他说的对不对。

但是,如果他告诉你,12717421可以分解为3607乘上3803,那你很快就能得到答案,并且验证这是对的。

这就是NP完全问题的简单例子。

至于NP完全问题这个猜想,指的则是既然所有的完全多项式非确定性问题,都可以转换为一类叫做满足性问题的逻辑运算问题。

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