# ReferenceFinder：基于 Huzita-Justin 公理的折纸参考点计算几何算法 > 解析 Robert J. Lang 的 ReferenceFinder 如何利用七条 Huzita-Justin 折纸公理，通过计算几何搜索算法实现任意目标坐标的折叠序列生成。 ## 元数据 - 路径: /posts/2026/02/22/reference-finder-origami-algorithm/ - 发布时间: 2026-02-22T22:17:55+08:00 - 分类: [compilers](/categories/compilers/) - 站点: https://blog.hotdry.top ## 正文 在折纸艺术从传统手工艺迈向数学严格性的进程中，一个核心问题始终困扰着技术折纸的设计者：如何仅凭折叠动作，将纸面上的一点精确放置到预设的数学坐标位置？传统做法依赖尺规测量，但这无疑破坏了折纸「仅需一张纸」的纯粹性。正是在这一背景下，Robert J. Lang 于 1990 年代末开发了 ReferenceFinder——一款利用计算几何算法自动搜索短折纸序列的工具。如今，该工具由 Mu-Tsun Tsai 维护并提供 Web 版本可在浏览器中直接运行。 ## Huzita-Justin 折纸公理的形式化定义 整个 ReferenceFinder 算法的理论基础建立在七条 Huzita-Justin 公理（又称 Huzita-Hatori 公理）之上。这些公理完整描述了理想纸张单次折叠所能产生的全部几何构造。每条公理通过点与点的重合、点与线的对齐、线与线的对齐来定义一条新的折痕。具体而言：第一公理为给定两点可作其连线的中垂线；第二公理为给定两点可作过这两点的直线；第三公理为给定两点可将一点折至另一点所在位置；第四公理为给定一条直线与直线外一点，可作过该点且与给定直线垂直的折痕；第五公理为给定两条直线，可将一条直线折至与另一条直线重合；第六公理为给定一点与一条直线，可将点折至直线所在位置；第七公理为给定两点与一条直线，可将一点折至直线并同时使另一点落在过该点的指定直线上。值得注意的是，这些公理覆盖了折纸中所有可能的单次折叠操作，从计算几何的角度看，它们构成了一个完备的构造操作集。 ## 搜索空间的指数级膨胀与剪枝策略 ReferenceFinder 的核心策略是将任意目标点的寻找问题转化为在由公理序列构成的状态空间中的搜索问题。程序初始化时会构建一个包含约十八万三千五百八十八条折痕与两万一千六百七十四标记点的数据库，这些都是通过至多五步 Huzita-Justin 折叠操作能够在单位正方形内构造出来的几何元素。理论上，若允许无限步折叠，状态空间将呈指数级增长；但实际观察表明，仅需少数几步折叠就能以极高精度逼近任意目标点。算法采用广度优先搜索结合贪心评估的方式：从所有可能的单步折叠开始，逐步扩展至两步、三步直至五步，并在每一步评估当前构造点与目标点的欧氏距离。当某条折叠序列产生的参考点与目标点的误差小于预设阈值（通常优于千分之一）时，搜索终止并输出该序列。这一阈值的选择基于人类折叠的实际精度极限——即使是最熟练的折纸者，在纸质上折叠的误差也很难低于千分之一，因此更精确的结果在实际操作中并无意义。 ## 代数表达式解析与近似求解机制 用户向 ReferenceFinder 输入目标坐标时，既可以输入具体的数值如「0.333333」，也可以输入代数表达式如「1/3」或「1/sqrt(2)+sin(10)」。程序内置的表达式解析器支持基本算术运算、三角函数（使用度数制）以及常见数学常数。这意味着设计者可以直接输入设计图中推导出的数学比例，而无需手动计算数值。例如，若某个折纸底座要求将正方形边长按照黄金比例分割，设计者只需输入相应的代数表达式，ReferenceFinder 便会自动搜索能够产生该比例的折叠序列。对于无法通过有限步折叠精确构造的无理数，算法会返回误差最小的近似序列，同时在输出中明确标注绝对误差值供用户判断是否满足精度要求。 ## 工程实现的关键参数与优化 在 Web 版本的 ReferenceFinder 中，有几个值得关注的工程参数：初始化阶段预计算并缓存所有秩不超过五的折叠序列，这使得后续查询可在毫秒级响应；搜索算法默认返回误差最小的五个候选序列供用户选择；坐标系原点位于左下角，与常见的数学坐标系一致。这些参数使得该工具在折纸设计与数学教育领域具有实际应用价值。 资料来源：本文算法细节主要参考 Robert J. Lang 在 Lang Origami 网站上发布的 ReferenceFinder 原始文档。 ## 同分类近期文章 ### [C# 15 联合类型：穷尽性模式匹配与密封层次设计](/posts/2026/04/08/csharp-15-union-types-exhaustive-pattern-matching/) - 日期: 2026-04-08T21:26:12+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深入分析 C# 15 联合类型的语法设计、穷尽性匹配保证及其与密封类层次结构的工程权衡。 ### [LLVM JSIR 设计解析：面向 JavaScript 的高层 IR 与 SSA 构造策略](/posts/2026/04/08/jsir-javascript-high-level-ir/) - 日期: 2026-04-08T16:51:07+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深度解析 LLVM JSIR 的设计动因、SSA 构造策略以及在 JavaScript 编译器工具链中的集成路径，为前端工具链开发者提供可落地的工程参数。 ### [JSIR：面向 JavaScript 的高级 IR 与碎片化解决之道](/posts/2026/04/08/jsir-high-level-javascript-ir/) - 日期: 2026-04-08T15:51:15+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 解析 LLVM 社区推进的 JSIR 如何通过 MLIR 实现无源码丢失的往返转换，并终结 JavaScript 工具链碎片化困境。 ### [JSIR：面向 JavaScript 的高层中间表示设计实践](/posts/2026/04/08/jsir-high-level-ir-for-javascript/) - 日期: 2026-04-08T10:49:18+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深入解析 Google 推出的 JSIR 如何利用 MLIR 框架实现 JavaScript 源码的高保真往返，并探讨其在反编译与去混淆场景的工程实践。 ### [沙箱JIT编译执行安全：内存隔离机制与性能权衡实战](/posts/2026/04/07/sandboxed-jit-compiler-execution-safety/) - 日期: 2026-04-07T12:25:13+08:00 - 分类: [compilers](/categories/compilers/) - 摘要: 深入解析受控沙箱中JIT代码的内存安全隔离机制，提供工程化落地的参数配置清单与性能优化建议。