在这篇论文中，我们展示了一种从输入模式（如文本或形状）构建迷宫结构的流程。核心的路径合成问题被编码为满足性模块理论（SMT）中的全局约束，涉及相邻性、连续性以及模式约束覆盖。这种方法允许每个固定边界的实例在一次调用中被解决。生成的路径可以是一个平面自避路线或具有规定上下交叉的分层遍历，这些路径为构建平面迷宫和三维编织迷宫的实现提供了支撑。本文扩展了已发表的Bridges 2026会议论文，提供了更多具有代表性的SMT-LIB示例，并更全面地阐述了合成路径如何转化为平面和三维形式的具体迷宫结构。
博主点评： 这项研究展示了SMT在迷宫结构生成中的强大应用，强调了路径合成的复杂性与美学潜力。利用全局约束来优化迷宫设计，未来可能在自动化设计与游戏开发中发挥重要作用。通过引入更丰富的示例，研究者为相关领域提供了宝贵的参考。