陈舟见此,笑着摇了摇头。
他觉得赵琦琦和朱明理,已经彻底达到了放飞自我的境界。
至于李礼,倒没有放飞自我。
一来是他的性格比较内敛,二来,他压根不具备放飞自我的条件好不好!
自从他跟李静在一起后,就一直被李静管着……
重新将目光放在电脑网页上,陈舟滑动鼠标滚轮的手,忽的一顿。
倒不是因为眼前的内容,而是他忽然想起来,刚才在朱明理手机上看到的那个头像,怎么那么熟悉?
“又是张教授?”
陈舟不由得有些哭笑不得,先前的校园网上的事,他还记得呢。
但没想到,这位张中原教授,居然这么喜欢混校园网。
难道和学生打成一片,才能证明自己一直是年轻的自己吗?
也不一定吧?至少那脑袋就不像了……
“设计一种五边形,用它铺满一个平面而不留下空隙,有多少种这样的五边形?”
这是“平面密铺”的问题,也是一直困扰数学界的难题。
密铺理论的应用有很多,像最简单的堆放物体时,如何最大利用空间,节省成本。
在晶体学中,如何优化晶体结构,也属于密铺理论的应用范畴。
但是,因为正五边形的每个内角为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完全问题,举个简单的例子。
在某个晚上,你去参加了一个宴会。由于宴会过于盛大,你感到了局促不安,这时你会想知道整个宴会厅里,是否有你认识的人。
恰好这时,宴会的主人向你提议说,你一定认识那位正在甜点盘附近吃冰淇淋的女士。
几乎不费多少时间,你就能向那里扫视,并且发现宴会的主人是正确的。
然而,如果没有这样的暗示,你就必须环顾整个宴会厅,一个个地审视每一个人,看是否有你认识的人。
这其实就像一件事,如果一个人告诉你,127174可以写成两个较小的数的乘积。
你肯定会迟疑,并且猜想他说的对不对。
但是,如果他告诉你,127174可以分解为3607乘上3803,那你很快就能得到答案,并且验证这是对的。
这就是NP完全问题的简单例子。
至于NP完全问题这个猜想,指的则是既然所有的完全多项式非确定性问题,都可以转换为一类叫做满足性问题的逻辑运算问题。
这类问题的所有可能答案,都可以在多项式时间内计算,那是否这类问题,存在一个确定性算法,可以在多项式时间内,直接算出或是搜寻出正确的答案呢?
听着很简单,但是验证起来,就完全是另外一回事了。
NP完全问题也是逻辑和计算机科学中最突出的问题之一。
即使现在的计算机科学发展迅速,但是这个问题的答案,依然无解。
轻轻摇了摇头,陈舟把脑海中的杂乱思绪甩出,不管是不是真的能够对NP完全问题产生启示,这位Babai教授的论文,他是必须得看上一看的。
正好他今天也开始学习计算机科学的知识了。
把电脑还给李礼,陈舟发现朱明理这小子居然还没回来,不由得有些哭笑不得,这能是什么秘密,让他宁跑也要保密?
“陈哥,那个,能不能请教你个问题?”李礼接过电脑,支支吾吾的说道。
陈舟看了李礼一眼,旋即拍了拍他的肩膀,笑着说道:“你小子有什么就说?吞吞吐吐的干嘛呢?”
赵琦琦也凑上来说:“就是,陈哥又不是外人,咋滴,两个LI,你还生疏了?”
李礼腼腆一笑:“不是,不是……”
陈舟看着李礼,想说什么,但最终没说,只是问道:“是什么问题?”
李礼拿出自己的笔记本,翻到今天才写的内容,指了指上面的公式:“是关于分布解构法的,这部分内容,我研究了半天,还是看不明白。”
陈舟看了一眼,嘴角露出一丝微笑。8)