Festival 简介与剧透功能

pan528

几年前，我发了一个“解关器的使用心得”帖子（http://bbs.mf8-china.com/forum.php?mod=viewthread&tid=107634），并贴上了维基网的推箱子解算器的排名，现在这个排名早已洗牌。2021年，Festival 闪亮登场，一直霸冠。下面我重点介绍一下它的剧透功能：

一、Festival 简介
Festival Sokoban Solver
下载网址：https://festival-solver.site/
历次版本：
festival v3.1（2023.1.22）最新版
festival v3.0（2022.11.22）
festival v2.4（2022.10.11）
Festival v2.0（2021.8.29）
Festival v1.32（2021.2.28）测试版；
Festival 1.32.rar (143.9 KB, 下载次数: 32)

2024-1-7 13:18:44 上传

下载次数: 32

Festival v1.3（2021.1.27）稳定版。

Festival v2.0 以后功能虽然有所增强和调整，但 Festival v1.32 的剧透功能关闭了，有点遗憾。

Festival 是目前推箱子求解综合能力最强的解算器，是 NO.1。是第一个解决了 XSokoban 关卡集中全部 90 个的解算程序。它在许多其他关卡集上的解算能力也有很好的得分，相关测评参见维基网（http://sokobano.de/wiki/index.php?title=Solver_Statistics）（截至2021.6.2.的页面）。

Festival 由亚龙·肖姆（Yaron Shoham）编写。是一个以 shell 命令的形式运行的命令行程序，也可借助 YASC 等支持外挂的图形界面推箱子程序外挂运行。YASC 增加了对运行 Festival 插件解算程序的支持，Festival 作者建议用 YASC 外挂。Sokoban YASC 外挂设置方式：

Tools（工具）→Solver（解算器）→Browse...（浏览…）或→Setting...（设置……）

Festival 以 shell 命令运行时输出三个文件：
1）已解关卡保存在文件“solutions.sok”中（含关卡和答案，可直接导入库，使用十分方便！）。
2）日志文件“times.txt”，保存是否解决关卡和耗时等参数。
3）在求解过程中，保存过程文件“status.sok”（解关过程的剧透，仅限于1.32版前）。

Festival 参数
-time      : 以秒为单位的时间限制（例如，-time 300）。默认值：600秒。
-level     : 指定求解的关卡序次。重写“from”和“to”。
-from      : 解算关卡的起始关。默认值：1（第一关）
-to        : 解算关卡的结束关。默认值：最后一关。
-out_dir   : 输出文件的目录。默认值：“.”（当前目录）
-save_best : 程序将自动保存最佳答案，即使没有解决（目前是实验性的）。默认值：否。

示例：
festival.exe ..\..\levels\Not-3353-min-250_50.txt -time 1200 -level -from 24 -to 50

示例：
festival.exe ..\..\levels\Not-3353-min-250_50.txt -time 1200 -level -from 24 -to 50

二、Festival 剧透功能
如果你能熟练地运用正推、逆推、双推几种模式交换完成解关，可以跳过本段。

有些难关，Festival 虽然不能直接解开，但利用 status.sok 的剧透，就可比较容易获得“过程图”，通关就不是难事了。

Festival 求解应该是通过正推、逆推、双推几种模式交叉完成的。
status.sok 文件中保存了每个过程文件（仅见 v1.32 以下版本），里面有逆推、正推的过程，但后一文件会自动覆盖前一个文件。
你如果及时拷贝出来，可利用这些过程文件，找到求解的“中间图”，通过这种方式把一个复杂的关卡分解成几个简单关卡，最终破解复杂关卡！
当然，困难在于找到接近中间或接近可自动解关的点，而且是拉通了的逆推或正推图。
Festival 1.32及之前的版本，解关过程中生成的 status.sok 文件是解关过程文件，通关过程就是在这里被剧透的。

（一）编写一个用于捕获 festival 解关过程文件的批处理：
编者写了一个“延时分段备份解关过程”的批处理，以便把每个过程图延时、分段拷贝下来进行分析，如下：

@echo off

color 1F
echo.
echo 正在延时分段备份解关过程 ...
echo.
if exist status.sok copy status.sok A-000.txt
setlocal enabledelayedexpansion
for /l %%i in (1,1,200)do (
set m=00%%i
ping -n 30 168.1>nul
copy status.sok A-!m:~-3!.txt
)
endlocal
pause
goto:eof

以上的下列参数可设置：

ping -n 30                        可根据延时需要增加或减少；
for /l %%i in (1,1,200)                “200”这个数字也可根据关卡大小，增加或减少；

但遗憾的是，Festival 2.0 版将在求解过程中，保存过程文件的“status.sok”文本（解关过程的剧透文本）删除了，如要获得过程文本，只能去拷贝运行的DOS界面了，显然很不方便。

大胡子叔叔

  不明觉厉

pan528

例二：

##########
# .    * #
#* **$.$ #
# *  .#$ #
# .$ $ * #
# *.#. * #
# $ $$* .#
# #.*. $ #
#@$ *  . #
##########
Title: 十密一疏（原关）
Author: Zou Yongzhong
Date:20170930
Comment: 21只木箱将整间仓库围得密不透风，但千虑必有一失，十密总有一疏吧。没有不透风的墙，在腾挪时怎么找到仓库的疏漏是这个关卡的关键。假如这里少个箱子就简单了，假如这个点移一格就方便了，假如这个墙换成箱子就解决了，这么多假如都不如这一句：假如没有这个关卡就清静了！anian先生推这关时推了三天没过关，第4天过关后问我是怎样研究出来的。其实我耗费的时间远不止三天。我是在10×10见方的地图内等距离排列三块砖墙，然后利用这三个墙做各种障碍，每一个元素都逐个推敲，每个箱位和点位的布置都是考虑互相的关联和阻碍。当然缺陷也是显而易见的，我没有逆推经验，曾试图在设计中制造更多的逆推障碍，却不很理想。
Comment_end:

uuuurRddddRRurRuruuuuuLLLLDurrdLurrrdLrddLUrdddlddrUllldRuruUllDurrddlUddllluuRRllddrUdrrurrdLuuurDldlLuuRDrruLruulDruuulDulldRurrdddddllluUUdddddlluuuuuRldddddrruuuuLrddrrruuuuullllDDuurrdLDllDlluRuuRRDrrurrdddddllluULLrrddrrruuuuulldllDurrurrdddddllluuUluullddRluurrdLurRRdLddddrrruuuuLrddlUrdddlddrUlullddRluurrdLdllluuRRuuuuullddlldddRRddrrUrrrdLuuUrDldlldlluulluuurruurrddddRDrddLLuRuuluuuullddlldddrrddRluulluuurruurrddddrddlLrruulDrrruLdlddrrULulluuuuullddlldddrrRddRRUrrdLuuurDldlLUURDrruLruulDruuuLDrddddlllllllddRRlluuuuurruurrdRlullddlldddrrUUddlluRluurDlddrrrrrrruuuuulLdlLullDurrdLrrdDLLURurrurrdddddllllllluuuRRdrrUdlluRllldddrrUUddlluRluurDrruuullDDRlldddrrUUddlluRluuruulDrdDrrULdllddrrrrrrruuuuullLLLDllDDrUdrruLuurrrrrdddddlllllUUUdddrrrrruulLLLrrrruuullllDDuurrdLurrrdddlllUllDlluuuRRRDullldddrruUddlluRluurDrruLrRRdLddrrruuLrddlUrdddlddrUlullddRluullllUUUdddrrrrrrdLurUruulDruuuLDrddllDuluuuRldddLLURdrrrruulD


uuuurRddddRRurRuruuuuLrddLUrdddlddrUllldRuruUllDurrddlUddllluuRRllddrUdrrurrdLuuurDldlLdlluuuuurrDDDuRDrruLruulDruuuLDuLLDRurrdddddllluuUlldddddrrUUUULrddrrruuuuulllLDDuurrdLDllDlluRuuRRDrdDLLrruulDuullddRdDDRRUULUllldddRRuUrrddddllUUlluuuruurrDDurrurrdddddlddLLuuuuUluuRRdLddddddrruuruuuuLrddlUrdddlddlluuLLddRluurrdLruuuuuulllddldddRRRdrRdrrULuUruuuuLLLddddDRluuuuurrrddddlLdllddRRUrrdLulLuUrrrDulllddrrUdlluurDrruLruulDruuulDulldRurrdddddllluUUdddllllddRRlluuuuurRRlluurRDLdlldddrrUUddrruuLULuurDldDrrddrrruuuuulldLDDlluRluurDrrurrdddddlllllUUrrUdllURldddlluRluuRDrruuullDDRlldddrrUUddlluRluuruulDrdDrrULdllddrrrrrrruuuuullLLLDllDDrUdrruLuurDurrrrdddddlllllUUlluuuRRRRRdLulllldddrrddrrrrruulLLUUruLLLdDDlluRluuRDrRuLrrrdLddrrruuLrddlUrdddlddrUlullddRluullllUUUdddrrrrrrdLurUruulDruuuLDrddllDuluuuRldddLLURdrrrruulD


##########
#-.----*-#
#*$.*-*$-#
#-.-$.#--#
#-*-$$$*-#
#-**#.@*-#
#-----.-.#
#-#**.$-$#
#---*-$.-#
##########
Title: 十密一疏（过程图）
Author: Zou Yongzhong

dllllluuurruurrddDuuullddlldddrrrrrrruLruulDuruuLLLrrDulldRldLLrrdRlulluuRDrrurrdddddlllllUUUdddlluRluuRDlddrrrrrrruuuuulldllullDurrdrruLdlLrrddLLrruulluRdrddllURurrurrdddLLLUluuRRllddrdrrrddllllllluuuRRdRRRllluRllldddrrUUruLruurrdLullllDDDuRRdddrrrrruuuuuLLLLLDDDulluuRDrRurrdLulLdddrrUdlluRluurrrrrdddddlllllUUUdddrrrrruuLLLLulDrrrrruuullllDurrdLullDllddRluurrRlllddrUdRRRRllULuurDurrdLurrrdddLLLrrrddlllllUUUdlluuuRRRRRllllldddrrddrrrrruulllUUruLLLDDDlluRluuRDrRurrdLddrrrddlllllllUUUdddrrrrrrruullluuulLrrdddrrruuLrddlUrdddllllllluurrUdllddrrrrrrruulllLLrrrrrddlddrUlullddRluurrdLurUruulDuruuLDrddllluuuRldddrDullluRdrrrruulD


##########
#      * #
#*.$*$.* #
# $ . #$ #
# .$.*.* #
# *.#  * #
# $ $$$  #
# #.* .$.#
#@$ * .  #
##########
Title: 十密一疏（逆向图）
Author: Zou Yongzhong

uuuurRddddRRurRuruuuuuLLLLDurrdLurrrdLrddLUrdddlddrUllldRuruUllDurrddlUddllluuRRllddrUdrrurrdLuuurDldlLuuRDrruLruulDruuulDulldRurrdddddllluUUdddddlluuuuuRldddddrruuuuLrddrrruuuuullllDDuurrdLDllDlluRuuRRDrrurrdddddllluULLrrddrrruuuuulldllDurrurrdddddllluuUluullddRluurrdLurRRdLddddrrruuuuLrddlUrdddlddrUlullddRluurrdLdllluuRRuuuuullddlldddRRddrrUrrrdLuuUrDldlldlluulluuurruurrddddRDrddLLuRuuluuuullddlldddrrddRluulluuurruurrddddrddlLrruulDrrruLdlddrrULulluuuuullddlldddrrRddRRUrrdLuuurDldlLUURDrruLruulDruuuLDrddddlllllllddRRlluuuuurruurrdRlullddlldddrrrrrrruuuuLrddlUrdddllllllluuurruurrRlllddlldddrrrrrrUdlluR

验算：原关 -> 逆向图答案 -> 过程图答案 = 原关通关答案

pan528

（二）festival v1.32 中 status.sok 的剧透实例
例一：

原关：
--------####------
-------##**#------
-------#**##------
--######**######--
-##----****----##-
##--**-*-*--*---#-
#--*--*--*-*-*--##
#-**--#--*-#--*--#
#-*--###-*###-*-$#
#-*-*###-*###-*-.#
#@*-*--*-*--*-*-##
#-*-*--*-*--*-*-#-
#-*-*--*-*--*-*-#-
#-*-*#-*--**#-*-#-
#-*--########-*-#-
#--*--######-*--#-
##--**-*--*-*--##-
-###############--
Title: Halloween 2018: Pumpkin
Author: qqwref

uuuurururDurrdLddldlddddRDluuuRDrrRluLrdddRUrRdLuUURDrruRlddRUrUUURUrrDLddLruuuuullulldRddRdRluluuurrdLulDlldLLuRRRllldddDDLDllllddrUluuuururuurRRddlULuullldRlldldddddddddrdrUrUUlDuuuRDluuuuruURRRdrdddrdrrrrUrruUlluURuullldldlLLrddddldlLuRddLurrRuuuuurrururrrddlddrrddlldlluLLrdLLUUUUluRdddddddrUUrrdLurrrurrdLLLrrrddLULrrdddlUlUUrDruuulDDlLuLLdRurRurruullDDrDLuuurDDluuuurDDDuuuuulDulldRRurDDDDrruLdllulURurrDLrDrdL

uuuurururDurrdLddldlddddddrdLuuuRDluuuRDrrRluLrdddRUrRdLuUURDrruRlddRUrUUURUrrDLddLruuuuullulldRddRdRluluuurrdLulldldRlLLuLrddlUrddDDLDllllddrUldddrUluuuuuururuRRRRRllllluurDldRuullldldldddddddddRluuuuuuuuururRurrddldlUrrRdrdddrdrrrrUrruUlluURuullldldlLLrddddldldLuuRdrRuuuuurrururrrddlddrrddlldlluLLrdLLddrUluUUUUluRddddrrrddLurrrurrdLrddLULLrrrdddlUlUdrruulDruuulDDuulLddRluuLLddRuurrrdLrruuullDurDDLuuuurDDDurruLdlluurDDuuuulDulldRRurDrDDrdLulllUdrrruulD


1、墙化关：
##################
###    ####    ###
##  ** * *  *   ##
#  *  *  * * *  ##
# **  #  * #  *  #
# *  ### #### * $#
# * *### #### * .#
#@* *  * *  * * ##
# * *  * *  * * ##
# * *  * *  * * ##
# * *# *  ### * ##
# *  ######## * ##
#  * ########*  ##
##  #########  ###
##################
##################
##################
##################

2、Festival 过程关（可解）
##################
###    ####@   ###
##  ** * * $.$  ##
#  *  .$ * . *$$##
# **  #  * #  .$ #
# *  ### ####$.  #
# * *### #### * *#
# * *  . .  . * ##
# * *  * *$ * * ##
# * *  * .$ * * ##
# * *# *  ### * ##
# *  ######## *$##
#  * ########.  ##
##  #########  ###
##################
##################
##################
##################
Solution(pushes 53, moves 270, inlines 28, changes 19, sessions 28):
  rdddrrdrddLLLLddLruurrrruululluuulDrddrrdrddllllLLLuuuuLrddddrrrddlUruLrrrdLullddrUluRdrrurrdLLurruulDDuuulluuurrdDDDDlUruuuulldddRluuurrddDDulluulldRuurrrdddllUdrrdrruLdlldddddddrrUUUUUUUllululuurrrddDlddddddddrruuuuuuuLulDDDDDDDuuuuuurrruLdllululuurrrddLLrruulDrrDDrdL

3、过程关反开（逆向图）
##################
###    ####    ###
##  ** * * .$.  ##
#  *  $. * $ *..##
# **  #  * #  $. #
# *  ### ####.$ $#
# * *### #### * .#
#@* *  $ $  $ * ##
# * *  * *. * * ##
# * *  * $. * * ##
# * *# *  ### * ##
# *  ######## *.##
#  * ########$  ##
##  #########  ###
##################
##################
##################
##################

Solution
dddddrdrUUUUUUdddddlluuuuuuuRldddddddrruuuRDlddlluuuuuuuuurururDurrdLulldldldddddddddrruuuuuRDrrRlddRUrRlUUUdRlddllulluUddrrdrrrdLuuurDrruRlddRluuLdlldllulllddddlluuuuuuuuurururrdddlDuruuulldldldddddddddrruuuurrruLrddrruuLDrrrrdrUrUUURUruulullldldLLrrururrrdrddrDuluulullldRurrdrddrdLuuululldddRluuurrdrddddddddLruuuuuuuululldddrdddLruuuluulldlldDDDldRuuuuuuLrddlUrrrurrurrdrddddddLruuuuuululldddrdddRdrUllldRurrUUUdddlluuuRldddrrdLrddlUrdddlUruuuulluuuluuurrdDuulldddrdddrrddlLrrddllUdrruulDrddldlUrruuuuulluuuluuurrddLruullldldlluRRRllldddddldllllddddlluuuuuuuuurururrddRRRurrrurrrddlddddldlluLrdrrurrDulldRuuuuuruullldllldllluulldldldddddddddrruuuurrrrrUUdrrdrrruuuuuruullldlddLruururrrddlddddrrdddllUURDullllullldllllddddlluuuuuuuuurururrddrrrurrrurrrddldddDlLLrrrrddrdddllUdrruuuluulllldLLuRRdrrurrdLLLLrrrrdrdddlluUUruulldRurDuluuuuruulDDDDDDldRllluRRdrUUUUUddddllllldRRRurruuuuruullldllldllluulldldldddddddddrruuuurrrRRlllllddddlluuuuRRllddRlddrruUlDuluurDuluuuuurururrddrrrurrrurrrddlddddlllllldlluRdrrurrrrruuuuruullldllldllluulldldldddddrruRUdldlluuuuurururrddrrrurrrurrrddlddddllllldlllLLrrrrrurrrrruuuuruullldllldllldlDDDldRRRlluuuuruuulldldlddddRRdrUUdllDrrrruLLLdlluuuuurururrddrrrurrrurrrddlddddlllllLrrrrrruuuuruullldllldllldlDDDldlluuurRlldddrruUddlluuuuurururrddrrrurrrurrrddlddddllllllLLLrrrrrrrrruuuuruullldllldllluulldldldddddrrUrrrrrrrrrrrruuLrddlllllllllllldlluuuuurururrddrrrurrrurrrddldDDurrddlLLLLLLLrrrrrruuuurDldddrruuruLdddlluuuururDDDuullddRUluRdrrdLuluuulDulldRurrdddllUdrdddllllldRlddrUluurrrddLLrruurruuuruuullldllldllluulldldldddddrrurrdrRurrrrrruuuluRddddlllllldllulldlluuuuurururrddrrrurrrurrDLddrUddddlllllldllulldlluuuuurururrddrrrurrdRRdrdddllddllULrdrruulDlluRdrrurruuulullulldllluulldldldddddrrurrdrRRRddlUruulldRurDllllulldlluuuuurururrddrrrurrdrrdrdddlldLLLrrrurruuulullulldldRullluulldldldddddrrurrdrRRRllllulldlluuuuurururrddrrrdDDDrdLuuuuuurrdrrdrdddllLLdlUUdrrrrruuululldLrurrdrdddllllldddrUluurrrrruuulullulldllldlDLrururrrurrdrrdrdddllllllLrrrrrrruuulullulldllluulldldldddddrrRllluuuuurururrddrrrurrddlUlllldldlDDrdLuuururuuulldldlddddddddrruUUUddddlluuuuuuuurururrddrrdRurrrrdrdddllllluUUluRRRllllluulldldlddddddddrrurUlddlluuuuuuuurururrddrrrddddrrrddLruullluuuullluulldldlddddddddrrdrUllluuuuuuuurururrddrrrddddrrrrrrrUUddlluuuluLLrrdrdddrruuLrddDDDuuullllllluuuullluurDldRuullldRurrddldlUrruullldldlddddddddrruuuurRRRRRRRRRlllllllddLruurrddRluulllllddddddlUluuuuuuuuurururrrddllddlDDDDDDuuuurrrddlUruL

4、中间调整关（完成后的前二步，原最后一步堵了通道，故退两步）
##################
###    ####    ###
##  ** * * $.$  ##
#  *  .$ * . *$$##
# **  #  * #  .$ #
# *  ### ####$.  #
# * *### #### * *#
# * .  . .  . * ##
# * *$ * *$ * * ##
# * *@ * .$ * * ##
# * *# *  ### * ##
# *  ######## *$##
#  * ########.  ##
##  #########  ###
##################
##################
##################
##################
Moves(pushes 264, moves 2450, inlines 166, changes 146, sessions 153):
  dddddrdrUUUUUUdddddlluuuuuuuRldddddddrruuuRDlddlluuuuuuuuurururDurrdLulldldldddddddddrruuuuuRDrrRlddRUrRlUUUdRlddllulluUddrrdrrrdLuuurDrruRlddRluuLdlldllulllddddlluuuuuuuuurururrdddlDuruuulldldldddddddddrruuuurrruLrddrruuLDrrrrdrUrUUURUruulullldldLLrrururrrdrddrDuluulullldRurrdrddrdLuuululldddRluuurrdrddddddddLruuuuuuuululldddrdddLruuuluulldlldDDDldRuuuuuuLrddlUrrrurrurrdrddddddLruuuuuululldddrdddRdrUllldRurrUUUdddlluuuRldddrrdLrddlUrdddlUruuuulluuuluuurrdDuulldddrdddrrddlLrrddllUdrruulDrddldlUrruuuuulluuuluuurrddLruullldldlluRRRllldddddldllllddddlluuuuuuuuurururrddRRRurrrurrrddlddddldlluLrdrrurrDulldRuuuuuruullldllldllluulldldldddddddddrruuuurrrrrUUdrrdrrruuuuuruullldlddLruururrrddlddddrrdddllUURDullllullldllllddddlluuuuuuuuurururrddrrrurrrurrrddldddDlLLrrrrddrdddllUdrruuuluulllldLLuRRdrrurrdLLLLrrrrdrdddlluUUruulldRurDuluuuuruulDDDDDDldRllluRRdrUUUUUddddllllldRRRurruuuuruullldllldllluulldldldddddddddrruuuurrrRRlllllddddlluuuuRRllddRlddrruUlDuluurDuluuuuurururrddrrrurrrurrrddlddddlllllldlluRdrrurrrrruuuuruullldllldllluulldldldddddrruRUdldlluuuuurururrddrrrurrrurrrddlddddllllldlllLLrrrrrurrrrruuuuruullldllldllldlDDDldRRRlluuuuruuulldldlddddRRdrUUdllDrrrruLLLdlluuuuurururrddrrrurrrurrrddlddddlllllLrrrrrruuuuruullldllldllldlDDDldlluuurRlldddrruUddlluuuuurururrddrrrurrrurrrddlddddllllllLLLrrrrrrrrruuuuruullldllldllluulldldldddddrrUrrrrrrrrrrrruuLrddlllllllllllldlluuuuurururrddrrrurrrurrrddldDDurrddlLLLLLLLrrrrrruuuurDldddrruuruLdddlluuuururDDDuullddRUluRdrrdLuluuulDulldRurrdddllUdrdddllllldRlddrUluurrrddLLrruurruuuruuullldllldllluulldldldddddrrurrdrRurrrrrruuuluRddddlllllldllulldlluuuuurururrddrrrurrrurrDLddrUddddlllllldllulldlluuuuurururrddrrrurrdRRdrdddllddllULrdrruulDlluRdrrurruuulullulldllluulldldldddddrrurrdrRRRddlUruulldRurDllllulldlluuuuurururrddrrrurrdrrdrdddlldLLLrrrurruuulullulldldRullluulldldldddddrrurrdrRRRllllulldlluuuuurururrddrrrdDDDrdLuuuuuurrdrrdrdddllLLdlUUdrrrrruuululldLrurrdrdddllllldddrUluurrrrruuulullulldllldlDLrururrrurrdrrdrdddllllllLrrrrrrruuulullulldllluulldldldddddrrRllluuuuurururrddrrrurrddlUlllldldlDDrdLuuururuuulldldlddddddddrruUUUddddlluuuuuuuurururrddrrdRurrrrdrdddllllluUUluRRRllllluulldldlddddddddrrurUlddlluuuuuuuurururrddrrrddddrrrddLruullluuuullluulldldlddddddddrrdrUllluuuuuuuurururrddrrrddddrrrrrrrUUddlluuuluLLrrdrdddrruuLrddDDDuuullllllluuuullluurDldRuullldRurrddldlUrruullldldlddddddddrruuuurRRRRRRRRRlllllllddLruurrddRluulllllddddddlUluuuuuuuuurururrrddllddlDDDDDDuuuurrrddl

5、再解“中间调整关”
##################
###    ####    ###
##  ** * * $.$  ##
#  *  .$ * . *$$##
# **  #  * #  .$ #
# *  ### ####$.  #
# * *### #### * *#
# * .  . .  . * ##
# * *$ * *$ * * ##
# * *@ * .$ * * ##
# * *# *  ### * ##
# *  ######## *$##
#  * ########.  ##
##  #########  ###
##################
##################
##################
##################

Solution
ruurrrrrrruUddllllluuuuRRuRurrrdDLDDrrddLLLLLrrrrruulluuruullldldllLrddddllddlUruLrrruuuurrururrrddlddrrddlllllLLrrrrrrruullDurrddlLLLLrddLLdlUUUUUUluRddddddrrruulDrdLruurruuuurDldddrruuLulDDurrddlLuurDruruLdlluurDDuuurDlddrruLdlldddddddrrUUUUUUUlluurrDrdLuuululDDDDDDDDDDuuuuuuuuuulldRurrddldlUrruulD


6、合成与注释：

（一）合成
0、原关 -> 4、中间调整关 -> 5、再解“中间调整关”= 原关解开 ！！！
（二）注释
1、墙化关——简化解算器程序的运算；
2、Festival 过程关（可解）：
有效的“过程图”需要符合两个标准：
1）原关已打开且路经简化；
2）没有死锁。
3、过程关反开（逆向图）：
获得“过程图”后，要做两件事：
1）先用“过程图”试通关（也可用解关器完成）；
2）制作“过程图”的“逆向图”（将原关归位点改成“过程图”归位点）。
“过程图”是一定能通关的，因为它是解关器正逆推、双推生成的；
“逆向图”侧需不断的试推和分析：如，与原关对照，修正推箱人位置，或连通的步骤（如本例的第四步、第五步），再试解，最终找出解关的路径。