每天听简报，了解最新科技、AI、软件资讯
计算机图形学与几何学者探索出一种将彭罗斯非周期镶嵌转化为纯代数重写系统的优雅算法。彭罗斯P3镶嵌由两种菱形拼合而成，具有无限铺满平面却永远不重复的非周期特性。 作者指出，生成这类图案的标准几何方法通常依赖鲁宾逊三角形的递归细分，但传统图形细分规则很难直接被计算机可靠运算。为此，方案将三角形的颜色与顶点抽象为符号表达式，利用项重写框架定义四条严密的代数推演规则。 计算机只需对代数项进行纯符号替换，就能以极高精度递归生成任意层级的子三角形，最终在边界拼接还原出经典的双色菱形图案。这一实践为复杂几何图案的形式化验证与符号化生成提供了清晰的范式。
进度保存在本设备 · 登录同步