第三百二十二章 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完全问题这个猜想，指的则是既然所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。
　　这类问题的所有可能答案，都可以在多项式时间内计算，那是否这类问题，存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案呢？
　　听着很简单，但是验证起来，就完全是另外一回事了。
　　NP完全问题也是逻辑和计算机科学中最突出的问题之一。
　　即使现在的计算机科学发展迅速，但是这个问题的答案，依然无解。
　　轻轻摇了摇头，陈舟把脑海中的杂乱思绪甩出，不管是不是真的能够对NP完全问题产生启示，这位Babai教授的论文，他是必须得看上一看的。
　　正好他今天也开始学习计算机科学的知识了。
　　把电脑还给李礼，陈舟发现朱明理这小子居然还没回来，不由得有些哭笑不得，这能是什么秘密，让他宁跑也要保密？
　　“陈哥，那个，能不能请教你个问题？”李礼接过电脑，支支吾吾的说道。
　　陈舟看了李礼一眼，旋即拍了拍他的肩膀，笑着说道：“你小子有什么就说？吞吞吐吐的干嘛呢？”
　　赵琦琦也凑上来说：“就是，陈哥又不是外人，咋滴，两个LI，你还生疏了？”
　　李礼腼腆一笑：“不是，不是……”
　　陈舟看着李礼，想说什么，但最终没说，只是问道：“是什么问题？”
　　李礼拿出自己的笔记本，翻到今天才写的内容，指了指上面的公式：“是关于分布解构法的，这部分内容，我研究了半天，还是看不明白。”
　　陈舟看了一眼，嘴角露出一丝微笑。