倉庫番の手詰まり:見分ける四つの形
手詰まりとは、すべての箱を目標へ置ける合法手順が存在しない局面です。Crate Bloom は静的な証明がある場合だけ「手詰まり」と表示します。
目標でない角
直角の壁に入った箱は、壁の外側に立てないため出せません。目標の角は反例であり、正しく置かれた箱を手詰まりと誤判定しません。
証明済みの壁際
目標から逆向きに到達可能な床を計算します。壁に触れただけでは手詰まりではなく、壁沿いに目標へ進めるなら可逆です。
凍結した 2×2
2×2 が壁と箱で完全に埋まり、目標外の箱が一つでもあれば動かせません。単に密集した箱は手詰まりと断定しません。
対処方法
罠へ入れる直前のプッシュまで Undo し、次に必要な立ち位置を確認します。「危険」なら失敗と決めつけず経路を再確認します。