.

Author: ShenMian

src/solver/tunnels.md

@@ -1,5 +1,8 @@
 # 隧道(Tunnel)
 
+TODO: 图片: 分支后又合并, 说明为何无影响力推动可以被跳过.
+TODO: 说明何为隧道.
+
 在有 $n$ 个箱子的关卡中, 每一个状态最多有 $n$ 个子状态. 但如果当前状态是无影响力推动, 那么只需要产生 1 个子状态.
 
 然而有些产生状态的推动对于求解问题并无实质性贡献, 这类推动被称为**无影响力推动**(No influence pushes).
@@ -19,8 +22,12 @@ TODO: 是否满足容许性?
 ###########
 ```
 
+## 停放
+
 TODO: 说明隧道中可以停放一个箱子, 在隧道的入口处, 或出口前. 但应该只停靠在入口处, 因为这样更高效. 说明为何更高效.
 
+---
+
 若推动后产生了如下的模式, 包括旋转和镜像.
 
 ```txt