是的，確實有些 Water Sort 和 Ball Sort 謎題真的無解。無論你的水準多高、嘗試多少步，某些顏色配置就是沒有任何合法移動序列能到達已解狀態。這不是難度問題，而是關於謎題結構的數學事實。下面解釋為什麼存在無解的謎題、如何識別它們，以及遇到時該怎麼辦。
為什麼有些謎題求解不了
一個顏色分類謎題只有在狀態空間——所有可能棋盤排列的集合——中存在一條從起始位置到目標位置的路徑時,才是可解的。當不存在這樣的路徑時,謎題就無解。
謎題最終無解最常見的原因有以下幾個:
空間不足
空試管是讓分類成為可能的操作空間。它們充當臨時儲存區,用於存放需要讓開的顏色。如果謎題相對於空位擁有過多的顏色,某些顏色會被永久鎖死。一個有十種顏色而沒有空試管的謎題幾乎肯定無解。
死鎖的顏色排列
有時初始排列會形成循環依賴。顏色 A 被困在顏色 B 之下,B 被困在顏色 C 之下,C 又被困在顏色 A 之下。任何一步移動都打不破這個循環,而空位也不足以解開它。這些死鎖可能很微妙——它們可能不只涉及三種顏色,而是跨越多個試管、由整條相互鎖定的依賴鏈構成。
顏色數量不正確
一個良構的謎題要求每種顏色出現的次數恰好等於試管容量。如果某種顏色在四格容量的試管謎題中只出現了三次,這個謎題就無法求解,因為該顏色永遠填不滿一個完整的試管。這種情況通常意味著生成錯誤,或者輸入謎題時出了錯。
ChromaOracle 如何偵測無解謎題
ChromaOracle 的求解器使用 BFS（廣度優先搜尋）,它從初始配置開始,系統地探索每一個可達的棋盤狀態。它檢查所有距離起點一步的狀態,然後是兩步,然後是三步,依此類推。
如果 BFS 把所有可達狀態都耗盡了,仍然沒有找到已解配置,那它就證明了不存在解。這不是逾時,也不是猜測——演算法字面上檢查過每一種可能的移動序列,確認沒有一種行得通。ChromaOracle 會立即清晰地報告這個結果。
正是這種窮舉做法使偵測可靠。啟發式求解器可能在嘗試一定次數後放棄,讓你猜不出謎題到底是真不可能還是只是難。BFS 完全消除了這種模糊性。
如何自己識別無解謎題
雖然你無法媲美電腦的窮舉搜尋,但有一些警告訊號暗示謎題可能無解:
- 沒有空試管,也沒有可立即匹配的頂色 —— 如果每個試管都滿了,而且沒有任何頂色能匹配另一個試管的頂色,你連一個合法的第一步都沒有。
- 循環陷阱 —— 如果你發現要分類某種顏色就必須先移走一種本身又必須先分類前者才能動的顏色,你可能正在面對一個死鎖。
- 反覆循環 —— 如果你發現自己在反覆撤銷和重做同樣的移動,毫無進展,那麼狀態空間中可達的部分可能並不包含解。
- 顏色數量不匹配 —— 數一遍每種顏色。如果有任何顏色出現的次數不足以填滿一個試管,謎題就是有問題的。
這些訊號單獨看都不是決定性的,所以求解器才是確認可解性的最終工具。
卡住時該怎麼辦
如果你已經在一個謎題上工作了幾分鐘卻沒有進展,執行以下步驟:
- 把謎題輸入到 ChromaOracle 中。 按它在你螢幕上的樣子輸入顏色。求解器要麼回傳最佳解,要麼確認謎題無解。
- 檢查你的顏色輸入。 如果求解器說無解,請反覆確認你輸入的顏色是否正確。一種顏色放錯位置就會完全改變這個謎題。
- 接受並繼續。 如果謎題確認無解,繼續投入時間沒有任何意義。許多謎題應用因為程式生成出錯而包含無解關卡。跳過這一關,去玩下一關。
- 使用復原按鈕。 如果謎題原本可解,但你做出了錯誤的移動序列,大多數應用都有復原功能。撤回到一個可行的狀態,然後跟隨求解器推薦的路徑。
謎題應用會故意包含無解關卡嗎?
通常不會故意如此。大多數謎題應用都用演算法生成關卡,而某些生成方法不驗證可解性。結果就是一小部分生成的關卡是不可能的。一些應用會在發布關卡前測試可解性,但許多不會。
這正是像 ChromaOracle 這樣的求解器存在的主要原因之一。當你撞上一堵牆時,你應該知道這堵牆是真實的還是想像的。
常見問題
流行應用中無解謎題有多常見?
因應用而異。設計良好、在關卡生成期間會驗證可解性的應用沒有任何無解關卡。隨機生成關卡而不做檢查的應用,可能有 1% 到 5% 的關卡無解。業界裡沒有統一標準,所以比例完全取決於開發者的品質把控。
如果謎題有空試管,它一定可解嗎?
不一定。空試管讓可解性更可能,但不能保證。即使有空試管,如果顏色排列形成了死鎖——即便有可用的操作空間也解不開——謎題仍然可能無解。空試管的數量、顏色的數量,以及具體的排列方式都會影響結果。
我能透過加一個空試管讓無解謎題變得可解嗎?
很多情況下,可以。增加一個空試管會擴展狀態空間,可能打破之前無法消解的死鎖。但這並不絕對——如果顏色排列被深度鎖死,即使加了額外空位,某些謎題仍然無解。唯一確定的方法是把修改後的謎題運行通過求解器。