西北实验室坐落在广袤无垠的罗布泊西侧,而经过不停地扩建,此时的实验室已经有非常大的占地面积,所拥有的实验室种类和数量也有了扩充。
然而这两年间,实验室建筑的扩展仅仅是整个西北实验室巨大变化的一个微小部分,每一个新来到西北实验室的人,都会在晴朗无风沙的天气下,看到实验室东面那庞大而整齐的高耸建筑,仿佛一台台没有安装扇叶的风力发电机,一直绵延到罗布泊无人区的最深处。
那就是近一年以来,李力及其整个团队一直在做的事情,倾尽了帝国近百分之一的工业力量所制造出来的人类历史上最大的试验场:
可编程巨型符文阵20。
三千六百根模块化组装的符文关键点支柱整齐排列在三千平方公里的罗布泊区域,每根符文柱高达一百六十米,为了保证能够生成稳定的巨型符文,各个符文柱的顶端海拔误差不超过十公分。
国家及民间建设队,包括招募的外国工程队,约一百八十支,总计三千多人参加了这次修建,这还不算参与符文柱模块冶炼制造的一千多家工厂和二十多所高等院校,涉及人员超过十万人。
虽然罗布泊干旱缺水的环境让这一百八十支工程队吃尽了苦头,但是所有的符文柱位置都在罗布泊内,保证了他们所面临的地质条件和运输环境基本一致,这样就不会因为有些符文柱建设在坚硬的岩石上而有些建设在柔软的土地里而计算多套不同的建设方案。
由于罗布泊地势平坦,海拔起伏较少,使得人们能够仰望近处高耸的塔尖,并随着排列整齐的塔线向远处望去,绵延到天边。
堪称人类奇迹。
很少人能抵挡窥探这项人类奇迹的诱惑,每每有人凭借自身或者交通工具浮上天空的时候,都会惊叹于这片建筑群的宏大,感慨自己的渺小,顺便疑惑一下:这些符文柱阵列为什么不是按照正方形排列的?
没错,三千六百个符文柱并非是横纵六十的数量按照方形进行排列,而是从中心向外顺时针螺旋排列,并且螺旋上的每两个点间隔都不甚相同,这给整个符文柱阵列增添了一份别样的美感。
使用此排布方式是因为,在对大多数符文进行关键点取样的时候,研究团队发现了一个现象,那就是矩阵内并非所有的点都可以作为符文关键点。
按照可编程符文10版的方形设计来说,其中大概有百分之十二的点永远都用不上,百分之八的点很少用到,百分之二十一的点时可以通过调整符文的设计来选择使用,还有百分之三的点需要在规则的阵列外额外添加关键点。
这样就会导致整个符文关键点出现浪费,使用频率不均等问题,10版的可编程符文还好,每一个符文关键点使用的材料并不多,其建设难度和周期也短,但是对于20版本的可编程符文阵来说,每一个符文柱都需要巨大的资源和人力来完成,所以必须规避这种无端浪费。
于是西北实验室发文请求其他学校的帮忙,收到支援请求的华泾工程学院通过对魔法界广泛使用的一千三百八十七种常用符文进行了解构与分析,最后通过统计生成了一副能够覆盖所有符文关键点的最大兼容点集合,并由计算机绘制在了纸上。
当时图出来的时候,所有人都吃了一惊。
所有点围绕着中心形成一副隐约的顺时针螺旋状图案,呈放射状向外扩去,如同自然界中螺壳,某些树木的生长线,毛发的漩涡一样。
其他人还是为了惊叹而惊叹,但是当李力看到这个图案后,直接惊掉了下巴。
“质数螺旋?”
他怎么也想不到,这种魔法侧的东西又跟数学扯上了关系,华泾数学系整理出来的关键点统计图表竟然跟他记忆中的质数螺旋几乎相同。
其他人自然不知道什么是质数螺旋,因为在这个数学并不发达完善的世界里,很多概念都还没有被发现,即便被发现了也不一定会流传下来,毕竟这个世界的人对数学的概念还仅停留在工程测绘和天文观测上。
所以为了给面前一脸懵逼的乐正本和凌春两位数学系教授解释什么是质数,李力又不得不化身为数学老师,向家教一样给两人上了一堂小课。
然而即便解释完什么是质数,两人也是一脸懵逼,他们当然听懂了什么是质数,但是——
“李力老师,什么是质数螺旋?”乐正本疑惑地问道。
螺旋是一个图形,那么最好的呈现方式就是以图形的方式,于是李力二话没说直接从不知道哪里扯出来一张稿纸,开始在上面绘制了起来。
首先将整个纸中间绘制出一个正方形,接着将正方形划分出21x21一共441个小方格,然后李力便将1、2、3。。。等自然数从中心开始,逆时针有序地填入小方格中。
两人一头雾水地看着李力将441个数字一笔一划地填入其中。
当所有数字入格后,李力说到:“笛卡尔坐标的自然数逆时针螺旋排布大概是这样的。”
“这。。。是自然数,但不是质数啊?”乐正本挠了挠头说到。
李力看了他一眼,没有直接解释,而是直接在这张表格中开始画圈。
2、3、5、7、11。。。当一个个质数逐渐被圈出来以后,两人也逐渐看出了端倪。
一个隐藏的空白螺旋出现在了被圈出来的质数间隔里,形成一个向外辐射的螺旋,而对比从华泾给到的统计图,竟然相差仿佛。
“这。。。”两人惊讶万分地看着李力标注出来的质数螺旋图案,再看看关键点统计图,陷入了思考。
突然,乐正本突然想到什么,脱口而出,“难道符文关键点都是自然数中的质数?”
“那怎么将两者进行一一对应呢?”李力反问道,“质数的个数是无限多个的,而目前看来他和关键点并不能重合在一起,你怎么找到两者对应的数学模型(公式)?”
乐正本没有说话,很显然他也意识到这个问题。
这时,凌春的喃喃声将两人的注意力吸引了过去,只见她看着关键点统计图,却没有聚焦上去,看起来像是在深入思考,一边思考一边呢喃道:“或许。。。我们可以改一下坐标系。。。”
这是一年前发生的事情,也是在讨论整个可编程符文20项目在方案确定阶段所做的研究,虽然直到项目完成时,整个映射关系依旧没有通过简洁的数学模型描述清楚,不过这个课题仅作为一个数学研究课题,并不耽误项目使用关键点统计图进行工程建设。
这让数学实验室里的团队有些沮丧,他们隐约觉得如果能够发现两者之间的规律,就会对符文结构学产生深远的影响,不过很显然这不是一件容易的事情。
而随着可编程巨型符文阵20建设完成,工程队全数离开,在临近年关的时节,实验室里的学生和教授也开始陆陆续续休假,虽然李力很想在冬季的时候进行巨型符文阵的实验,但是考虑到西北冬季的极端天气增多,将学校里的研究员们撒入罗布泊无人区是一件风险巨大的事情。
于是乎,除了一些理论研究和部分能在实验室里做的研究以外,大部分人包括李力,一下子就闲了下来。
再加上樾樾父母和武沐也来到了西北,经实验室高层慎重研究决定(李力和樾樾吃饭的时候闲聊),过年时节将在西北实验室举办一场盛大的年会,并邀请西北与他们有合作的六个院校,共同过一个好年。