当我们谈论折纸时，大多数人想到的是艺术创作或儿童手工艺。然而，在数学与计算机科学的交叉领域，折纸本质上是一个严格的几何构建问题。ReferenceFinder 是这一领域的经典工具，它能够在仅允许折纸的情况下，通过一系列折叠操作在单位正方形纸上构造出任意指定的坐标点。其核心算法融合了形式化公理系统、代数方程求解与有界搜索技术，构成了一套完整的计算折纸几何体系。
Huzita-Justin 公理：折纸的七条几何法则
任何折纸操作都可以抽象为一条折痕线的确定，而这条折痕线必然满足某些几何约束。20 世纪 70 年代至 90 年代，数学家 Huzita 与 Justin 系统地归纳出了七条基本公理，描述了给定若干初始点或直线时，可以唯一确定的一条折痕线。这七条公理分别对应以下七种可构造情形：已知两点，可折出一条使这两点重合的折痕；已知一点与一条直线，可折出使该点落在此直线上的折痕；已知两点与一条直线，可折出同时使两点分别落在此直线两侧的折痕；等等。每条公理都可以转化为具体的代数方程组，这意味着折叠操作在数学上具有确定性与可计算性。
ReferenceFinder 正是基于这七条公理构建其整个搜索空间。工具的初始状态设定为单位正方形，其四个顶点、四条边以及两条对角线构成了_rank_0 级别的所有可构造元素。这相当于欧氏几何中的公设 —— 所有后续构造的起点与基础。每次折叠操作都严格对应某条 Huzita-Justin 公理的实例应用，折痕本身作为新的直线被加入可构造元素集合，而被折痕穿过的已有点或直线则会通过反射变换产生新的几何实体。
分层搜索与构造闭包
算法的核心策略是迭代闭包计算。假设我们已经得到了_rank_k 级别的所有可构造点与直线，那么_rank_k+1 级别的构造方法如下：遍历所有 Huzita-Justin 公理，尝试将其应用于所有_rank 不高于_k 的输入元素组合；每当某条公理的输入条件被满足，就执行该公理并生成新的点或直线；新生成的元素被标记为_rank_k+1 级别，并记录其父元素与所采用的公理编号。这种自底向上的构造方式确保了系统能够系统性地枚举所有在有限折叠次数内可达的几何元素。
在实际实现中，ReferenceFinder 会预计算并存储一个包含数万个可构造点与直线的数据库。以在线版本为例，其初始化过程显示 “正在初始化 38200 条直线和 16340 个标记，秩≤5”，这表明系统预设了搜索深度上限为 5 次折叠。这一限制并非随意设定，而是工程实践中的权衡结果：更高的秩意味着指数级增长的搜索空间与内存消耗，同时 5 次折叠已足以覆盖绝大多数实用场景的精度需求。
目标逼近与最优解选择
当用户在界面中输入目标坐标时，系统并非实时进行几何求解，而是在预计算的数据库中进行近似匹配。每个可构造点都存储了高精度的坐标值（浮点数精度通常保留约 13 位有效数字），系统计算候选点到目标点的欧氏距离，以该距离作为几何误差的度量。排序算法采用多级优化策略：首先按折叠次数（即 rank 值）升序排列，优先返回折叠步骤最少的结果；在相同 rank 条件下，再按几何误差升序排列，确保返回的解在精度上最优。
这种设计体现了工程实践中的实用主义哲学。实际折纸操作中，人类能够达到的精度极限大约在千分之一左右 —— 即误差为纸张尺寸的 0.1%。因此，ReferenceFinder 返回的解通常能够满足真实折叠的精度要求。系统默认返回排名前 5 的折叠序列，供用户根据实际操作便利性进行选择。
技术启示与延伸思考
ReferenceFinder 的核心算法虽然看似简单 —— 仅是七条公理加上有界搜索 —— 但其背后蕴含的计算折纸思想却极为深刻。它将传统的几何作图问题转化为在离散状态空间中的搜索问题，这种思路与人工智能中的规划算法有异曲同工之妙。更重要的是，这套系统证明了折纸的几何表达能力远超一般人的直觉：仅凭 5 次折叠，就能在纸上标记出数以万计的精确坐标点，这为折纸在工业设计（如太阳能电池板折叠）、医疗支架等领域的应用提供了理论基础。
从系统设计的角度看，ReferenceFinder 的预处理 - 查询分离架构也值得借鉴。计算密集的搜索过程在初始化阶段一次性完成，用户查询时仅需进行简单的查表与排序操作，这使得交互响应极为迅速。当前在线版本已更新至 v4.7.3，由 Mu-Tsun Tsai 维护，继续为折纸数学研究者与爱好者提供工具支持。
资料来源：ReferenceFinder 在线工具（https://mutsuntsai.github.io/reference-finder）；Robert J. Lang 关于 ReferenceFinder 的原始论述（https://langorigami.com/article/referencefinder/）。