2
分形迷宫的可判定性
分形迷宫是包含其自身副本的迷宫。例如，以下是Mark JP Wolf 撰写的以下文章： 从MINUS开始，然后前往PLUS。输入迷宫的一个较小的副本时，请务必记录该副本的字母名称，因为您将不得不在出路时留下该副本。您必须退出所输入迷宫的每个嵌套副本，并以与输入时相反的顺序退出（例如：输入A，输入B，输入C，退出C，退出B，退出A）。可以将其视为一系列嵌套框。如果没有退出嵌套副本的退出路径，则说明您已经走到了尽头。已添加颜色以使路径更清晰，但它仅是装饰性的。 如果存在解决方案，则广度优先搜索应找到解决方案。但是，假设没有解决方案，那么我们的搜索程序将永远运行下去。 我的问题是：给定一个分形迷宫，我们如何确定它是否有解？ 或者，对于给定大小的分形迷宫（每个副本的输入/输出数量），最短解的长度是否有界限？（如果有这样的界限，我们只能进行深度搜索）