.

Author: ShenMian

src/solver/deadlocks_v2.md

@@ -6,17 +6,19 @@
 
 ## 为什么要检测死锁
 
-1. 优化求解器: 可以在搜索时进行可行性剪枝.
+1. **优化求解器**: 可以在搜索时进行可行性剪枝.
 
     若被死锁的箱子不在目标上, 那么该状态及其衍生状态一定无解.  
     部分死锁存在特定的模式, 可以通过较小的代价进行检测, 从而使求解器跳过无意义的搜索.
 
-2. 提升玩家体验: 可以警告或防止玩家产生死锁状态.
+2. **提升玩家体验**: 可以警告或防止玩家产生死锁状态.
 
     比如在显示箱子可达位置时不显示会产生死锁的箱子位置.
 
 ## 静态死锁
 
+**检测时机**: 因为该类型的死锁只与关卡的地形有关, 因此可以在**最开始进行计算**, 之后在**箱子被死锁时进行更新**. 被死锁的箱子可以被当成墙体, 进而导致关卡地形发生变化.
+
 ![Static deadlock - Sokoban Wiki](assets/static_deadlock_1.png)
 
 以上图为例, 暗色格子属于静态死锁区域. 若箱子被推动到这些区域则会导致该箱子永远无法再被推到目标上.
@@ -27,7 +29,7 @@
 
 以上图为例, 箱子向右被推入死角, 导致冻结死锁. 此时该箱子无法再被移动, 可以视作墙体, 进而导致关卡地形发生变化, 需要重新计算静态死锁区域.
 
-这类地形变化只会增加墙体, 导致静态死锁区域增加. 因此即使不在地形变化时重新计算也不会导致误报, 但可能导致静态死锁检测不全面.
+这类地形变化只会增加墙体, 导致静态死锁区域增加. 因此即使**不在地形变化时重新计算也不会导致误报**, 但可能导致静态死锁检测不全面.
 
 ```rs
 pub fn is_static_deadlock(
@@ -81,9 +83,17 @@ pub fn is_static_deadlock(
 
 ## 冻结死锁(Freeze deadlocks)
 
-若一个箱子在水平和垂直方向均不可能移动且不位于目标上, 则出现冻结死锁.
+**检测时机**: **箱子推动后**.
+
+若一个箱子在水平和垂直方向均不可能移动, 则出现冻结死锁.
+
+能遮挡箱子的元素有两个:
+
+1. 墙体.
+2. 其他箱子: 需**递归**的判断该箱子是否被死锁.
+
+在递归的检查其他箱子是否死锁时会产生循环检查, 即已检查过的节点会被重复检查, 从而形成死循环.
 
-判断指定箱子是否处于冻结死锁还需要**递归**的判断相邻箱子是否也处于死锁状态.  
 为避免循环检查, 可以将已检查的箱子视为被死锁的, 原因如下:
 
 如下 XSB 关卡所示, 有箱子 A, B, C. 其中 B 的左侧和下方是空地:
@@ -155,6 +165,8 @@ pub fn is_freeze_deadlock(
 
 ## 畜栏死锁(Corral deadlocks)
 
+**检测时机**: **当玩家不可达区域面积减小时进行计算**, 因为此时才可能产生玩家永远不可达的区域, 区域周边的箱子只能被继续向内推动, 进而导致死锁.
+
 ![Corral deadlock - Sokoban Wiki](assets/corral_deadlock.png)
 
 ## 闭对角死锁(Closed diagonal deadlocks)