研究人员开发了一种从文本或形状等输入模式生成迷宫结构的新流程。该过程涉及将路径合成问题编码为可满足性模理论（SMT）作为全局约束，确保邻接性、连续性和模式约束覆盖。合成的路径可以是平面且无自交的，或具有规定交叉点的分层路径，为创建二维迷宫和三维编织迷宫结构奠定基础。这项工作通过提供更多SMT-LIB示例并详细介绍将合成路径转换为具体迷宫设计，扩展了先前的一篇会议论文。 AI
影响 引入了一种生成复杂迷宫结构的新颖计算方法，可能适用于游戏或模拟中的程序化内容生成。
排序理由 该集群包含一篇详细介绍路径合成和迷宫构建新方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
