作者:一白化贝
至于李礼,倒没有放飞自我。
一来是他的性格比较内敛,二来,他压根不具备放飞自我的条件好不好!
自从他跟李静在一起后,就一直被李静管着……
重新将目光放在电脑网页上,陈舟滑动鼠标滚轮的手,忽的一顿。
倒不是因为眼前的内容,而是他忽然想起来,刚才在朱明理手机上看到的那个头像,怎么那么熟悉?
“又是张教授?”
陈舟不由得有些哭笑不得,先前的校园网上的事,他还记得呢。
但没想到,这位张中原教授,居然这么喜欢混校园网。
难道和学生打成一片,才能证明自己一直是年轻的自己吗?
也不一定吧?至少那脑袋就不像了……
“设计一种五边形,用它铺满一个平面而不留下空隙,有多少种这样的五边形?”
这是“平面密铺”的问题,也是一直困扰数学界的难题。
密铺理论的应用有很多,像最简单的堆放物体时,如何最大利用空间,节省成本。
在晶体学中,如何优化晶体结构,也属于密铺理论的应用范畴。
但是,因为正五边形的每个内角为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,你还生疏了?”
李礼腼腆一笑:“不是,不是……”
陈舟看着李礼,想说什么,但最终没说,只是问道:“是什么问题?”
李礼拿出自己的笔记本,翻到今天才写的内容,指了指上面的公式:“是关于分布解构法的,这部分内容,我研究了半天,还是看不明白。”
陈舟看了一眼,嘴角露出一丝微笑。
第三百二十三章 第一批人选公布!
旋即,陈舟拿过李礼的笔记本:“能在这上面写吗?”
李礼赶紧点头:“当然可以,当然可以。”
陈舟便在上面边写边给李礼解释。
一旁的赵琦琦,这会凑的更紧了。
他也在研究陈舟的分布解构法,这部分内容,他也看不懂,正好一起学习。
其实,不止是李礼和赵琦琦,还有朱明理,燕大数学系的大部分学生、教授,都在研究陈舟的分布解构法。
只不过,能有机会亲自听陈舟指导的,就只有他们宿舍的三兄弟。
可惜的是,朱明理这小子还跑出去了。
不知不觉间,陈舟在李礼的笔记本上已经写了密密麻麻的四页。
和当初证明克拉梅尔猜想不同,和论文里的分布解构法也不同。
陈舟深入浅出的详细讲解了这部分分布解构法的内容。
虽然陈舟认为自己已经是从简单讲解到困难,基本上由点到线,再到面的都讲清楚了。
但是赵琦琦和李礼还是听得有点懵。
看了看两人的表情,陈舟想了想,说道:“你们先消化一下吧,还是不懂的话,回头再问我。”
李礼和赵琦琦下意识的点了点头。
陈舟起身时,才惊讶的发觉,朱明理这小子不知道什么时候回来了。
这会也正皱眉看着笔记本上的内容呢……
陈舟挺想喊赵琦琦和李礼逮住这小子,问个清楚的。
可看到他这么好学的模样,陈舟又不忍心打断他的思路,便自顾自的拿着脸盆准备去洗漱了。
谁知,朱明理突然说道:“李礼,你这笔记本要转让给我吗?这可是陈哥的手稿呀!!!”
陈舟:“……”
虽然吃了朱明理承诺的三顿饭,但陈舟他们三个后来还是对朱明理“严刑拷打”了一番,想要探听朱明理保密的是什么。
但是朱明理倒还真的保住了秘密,愣是不肯告诉陈舟三人。
这反而令陈舟十分好奇,究竟是什么秘密,值得老朱如此守护?
不仅是他好奇,赵琦琦更是多方打探,却始终不得而知。
陈舟倒是有一个想法,就是校园网上看到的那个头像,但最终他还是没有去找张中原。
反正这秘密是关于他能否上新闻联播的,迟早他都会知道,不比急于一时。
现在的他,正全神贯注的研究着C++语言,以及强脉冲离子束的问题。
关于C++语言编程的计算程序,陈舟已经搞定。
但是对其的学习,却并未停止,只不过稍稍延后。
“通过计算可以看出,温度分布范围可延伸至几倍于离子平均投影射程;表面温度上升时间与束流脉宽相当……”
“也就是说,升温速率随束流功率密度增加而增长,相同功率密度下表面温度最大值随其脉宽增加而增加……”
想到这,陈舟拿笔在草稿纸上开始写着相应的实验参数。
【300KeV,100A/cm2,50ns强脉冲离子束辐照材料时,表面最高升温速度达~10^11K/s,最高温度达2170K,最高冷却速率达~10^10K/s,表面层内温度梯度很大……】
写完后,陈舟看了看这段内容,又看了看电脑上模拟计算的结果。
抬笔继续写到:
【还有表面应力和热激波两种应力场,在与温度场相应区域内存在很大表面热应力(>>10^8Pa)与表面应力梯度(>>10^6Gpa/m),热激波也产生梯度高达10^6Gpa/m的应力场……】
【同时,在靶背面区也有应力场,且因热激波的反射可能加强……】
大半张草稿纸,全是陈舟根据模拟计算得出的结论,也是强脉冲离子束对金属表面改性的热力学过程的结论。
到这里,关于后续实验整体设计的前置条件,算是理清了一半。
还有基于熔坑的实验数据,以及离子源结构的问题。
这是这几天,陈舟和杨依依尽力维持四点一线的生活节奏,所取得的成果。
所谓的四点一线,就是宿舍到操场晨跑,到食堂吃饭,到图书馆研究学习,到宿舍睡觉。
这是一个极其有规律的循环。
或许在很多人眼里,陈舟和杨依依的生活很是枯燥乏味。
但是在他们俩的眼中,这却是极其充实的生活。
而且,在这种相互陪伴,相互促进,相互交流的氛围中,陈舟和杨依依的感情也在不断升温。
说起来,能够找到一位兴趣爱好相同,有着共同语言的伴侣,这本身就是一件概率极低的事情。
但是,为什么说,这种别人看着枯燥乏味的生活,陈舟都需要尽力去维持才行呢?
原因无它,随着AMS评选的2015年数学界的11件大事,逐渐在国内传开后。
毫无意外的,陈舟再一次登上了热搜第一的位置。
他的枯燥乏味的生活,也就这样变得岌岌可危。
从某种意义上来说,这次的评选是对陈舟所做成果的肯定,是一种历史意义上的肯定。
这也是第一次国内外媒体的集体狂欢。
但是,作为事件的主角,陈舟本人表示很无奈。
上一篇:华娱之我即是天命
下一篇:人在港综,你管这叫卧底?