第93章 用游標卡尺量山（7 / 9）
这一次，连窗外风吹树叶的声音都仿佛被抽乾了。
一个下午。
第一次系统看。
然后，利用算法状態空间的具象化，画出了一块极具潜力的候选单砖。
这句话如果单独拿到任何一个国际离散几何的学术会议上听，都会被当成无药可救的疯话。
会被保安直接请出场外。
可现在，桌上的这本黑色笔记本，把这句疯话变得无比真实，真实到令人毛骨悚然。
因为顾南舟和陈彦，亲眼看见了那条路。
它不是从单砖问题本身出发的。
它从五个数字的排序出发。
从一个在底层硬体里，每秒钟会被调用几千万次的小动作出发。
从算法状態的指数级爆炸出发。
从如何提前砍掉死路，並用绝对的严谨证明自己没有砍错出发。
一路横衝直撞，硬生生地撞到了局部规则如何强迫全局结构这个纯数学的南墙上，並且在墙上砸出了一个大洞。
顾南舟又翻到了夹在笔记本中间的那张大號方格纸。
那是江临做的局部邻域表。
表格里的几列，简直和江临刚才说的mpsv0.2算法目標形成了完美的镜像对称。
local patch（局部拼块）——对应算法里的当前状態（state）。
valid（是否合法）——对应正確性判定（validity check）。
forced metatile（强迫归属的超砖）——对应状態合併（state merging）。
dead end（死胡同）——对应算法剪枝（pruning）。
顾南舟忽然觉得，这背后的意义，比一个研究了三十年铺砌的数学老专家，在灵光乍现中苦思冥想终於解出来这个答案，更让人感到头皮发麻。
这个学生根本不是衝著解决爱因斯坦问题来的。
他没有那种纯粹数学家对几何对称性和美感的病態追求。
他是被一个完全不同领域的工程瓶颈给逼到了绝境，为了突围，被逼到了同一个数学结构面前，最终硬是用暴力却精妙的手段，把全局的无限信息，死死地摺叠压缩进了一块小小的局部规则里。
在排序网络里，这种做法是把全局的排序正確性，巧妙地藏进一串局部的两两比较交换的动作中。
在离散铺砌里，这种做法是把无限平面的非周期性，硬生生地刻进一块砖的那几道凹凸不平的几何边界里。
底层逻辑，是完全同一件事。
而一双从来没有被传统铺砌理论训练过，因此也从来没有被它的成见，它的公理，它歷史上的失败案例所束缚过的眼睛，从学科的侧门，以一种最不讲理的方式，撞了进来。
这反而比一个在这个领域里泡了二十年的专家解出来，更让顾南舟感到一种直击灵魂的惊嘆。 ↑返回顶部↑
一个下午。
第一次系统看。
然后，利用算法状態空间的具象化，画出了一块极具潜力的候选单砖。
这句话如果单独拿到任何一个国际离散几何的学术会议上听，都会被当成无药可救的疯话。
会被保安直接请出场外。
可现在，桌上的这本黑色笔记本，把这句疯话变得无比真实，真实到令人毛骨悚然。
因为顾南舟和陈彦，亲眼看见了那条路。
它不是从单砖问题本身出发的。
它从五个数字的排序出发。
从一个在底层硬体里，每秒钟会被调用几千万次的小动作出发。
从算法状態的指数级爆炸出发。
从如何提前砍掉死路，並用绝对的严谨证明自己没有砍错出发。
一路横衝直撞，硬生生地撞到了局部规则如何强迫全局结构这个纯数学的南墙上，並且在墙上砸出了一个大洞。
顾南舟又翻到了夹在笔记本中间的那张大號方格纸。
那是江临做的局部邻域表。
表格里的几列，简直和江临刚才说的mpsv0.2算法目標形成了完美的镜像对称。
local patch（局部拼块）——对应算法里的当前状態（state）。
valid（是否合法）——对应正確性判定（validity check）。
forced metatile（强迫归属的超砖）——对应状態合併（state merging）。
dead end（死胡同）——对应算法剪枝（pruning）。
顾南舟忽然觉得，这背后的意义，比一个研究了三十年铺砌的数学老专家，在灵光乍现中苦思冥想终於解出来这个答案，更让人感到头皮发麻。
这个学生根本不是衝著解决爱因斯坦问题来的。
他没有那种纯粹数学家对几何对称性和美感的病態追求。
他是被一个完全不同领域的工程瓶颈给逼到了绝境，为了突围，被逼到了同一个数学结构面前，最终硬是用暴力却精妙的手段，把全局的无限信息，死死地摺叠压缩进了一块小小的局部规则里。
在排序网络里，这种做法是把全局的排序正確性，巧妙地藏进一串局部的两两比较交换的动作中。
在离散铺砌里，这种做法是把无限平面的非周期性，硬生生地刻进一块砖的那几道凹凸不平的几何边界里。
底层逻辑，是完全同一件事。
而一双从来没有被传统铺砌理论训练过，因此也从来没有被它的成见，它的公理，它歷史上的失败案例所束缚过的眼睛，从学科的侧门，以一种最不讲理的方式，撞了进来。
这反而比一个在这个领域里泡了二十年的专家解出来，更让顾南舟感到一种直击灵魂的惊嘆。 ↑返回顶部↑