从图案到迷宫：SMT求解器自动生成平面与三维迷宫结构

近日，一项发表于arXiv的研究展示了一种新颖的迷宫自动生成技术。该研究构建了一套完整的处理流程，能够将用户输入的图案（如文字或特定形状）转化为结构复杂的迷宫。其核心创新在于将路径合成问题编码为可满足性模理论（SMT）的约束求解问题，通过对相邻关系、路径连续性和图案覆盖范围施加全局约束，使得每个固定边界的实例都能通过单次调用求解器完成。生成的路径可以是平面的、不自交的路线，也可以是具有规定上下交叉点的分层遍历路径。这些路径随后作为“骨架”，用于构建平面迷宫或三维编织迷宫的实际结构。该方法扩展了先前在Bridges 2026会议上发表的工作，提供了更具代表性的SMT-LIB代码示例，并更详细地阐述了如何将合成的抽象路径具体实现为平面和三维的实体迷宫构造。该技术为游戏设计、艺术创作和教育工具等领域提供了新的自动化设计可能性。