论文提出一套将文字、形状等输入图案转换为迷宫结构的流程：把邻接、连续性和图案覆盖编码为 SMT 全局约束，并对固定规模实例一次求解。生成路径可形成平面自避免路线，或带预设上下穿越关系的分层路径，进一步构造平面及三维编织迷宫。
最近 24 小时暂无可用热度快照。