當一個困難的 Lights Out 謎題擁有可數學證明且唯一的最短解時，它才真正稱得上困難。這個 4×4 Lights Out 關卡的最短解恰好是五次按壓，由一個獨立的 GF(2) 預測器透過窮舉所有 65,536 種可能的按壓遮罩加以驗證。起始圖樣在以零為編號的格子 1、2、3、5、9 和 10 上有六盞亮起的燈，同一個預測器也確認此特定盤面恰好存在 16 種全暗的解法，其中僅有一種按壓次數為五次。不可能存在四次按壓的解法，而 1,000 分的獎勵保留給在達到或超過五步下限時仍維持全暗狀態的盤面。正是嚴格的下限、唯一的最優解，以及「一次修復後即死鎖」的狀態機組合，讓它有別於一般的切換小遊戲。
這個關卡為何困難
網路上大多數的 Lights Out 盤面來自隨機的每日產生器或回收的謎題書，其難度僅是大概的。這道關卡恰好相反:關於可解性、解法數量與最短長度的每項主張，皆來自一個不呼叫生產環境鄰居或按壓函式的獨立測試。該測試獨立地為每個盤面格子建構一個 16 位元的效果欄，執行二元高斯消去法，得出矩陣秩數 12 與零度 4，並確認共有 4,096 個不同的可達效果狀態。接著確認所設計的起始盤面恰好擁有 16 個全暗解法遮罩，且其中一個遮罩的權重為五，而其他解法則使用七、九或十一個不同的奇同位按壓。這正是困難的 Lights Out 謎題與真正的數學挑戰之間的差異:難度並非主觀意見，而是 GF(2) 上線性系統的固有性質。
4×4 的格子大小同樣重要。較大的盤面雖可設計出極長的最短路徑，但 16 個格子上的 GF(2) 切換代數仍緊湊到足以稽核。效果欄可放入一個 16 乘 16 的二元矩陣，其秩數、零度、可達狀態與解集合皆小到能夠窮舉。這正是下限、唯一最優解，以及精確的 16 種解法數量能夠被自信陳述而非估算的原因。
十字切換規則及其重要性
按壓規則為標準規則，如 GNOME 的 Lights Off 說明所述，並由 加州大學柏克萊分校 GamesCrafters確認。按壓一個方塊會反轉其自身以及緊鄰的上、下、左、右鄰居的狀態。對角的方塊不會改變。對同一格按壓兩次會恢復原本的燈光圖樣，因為每個方塊都是一個二元變數，翻轉一個位元兩次便會回到原值。按壓順序不會影響最終的同位狀態，即使顯示的移動計數器會記錄每一次的實體按壓。
單次按壓所影響的方塊數量取決於位置。這塑造了困難 Lights Out 謎題所獎勵的推理類型。
| 方塊位置 | 每次按壓影響的方塊數 | 範例 |
|---|---|---|
| 角落 | 3 (自身加兩個正交邊) | 格子 0 影響格子 0、1 和 4 |
| 非角落邊緣 | 4 (自身加三個正交邊) | 格子 1 影響格子 0、1、2 和 5 |
| 內部 | 5 (自身加全部四個正交邊) | 格子 5 影響格子 1、4、5、6 和 9 |
角落按壓在方塊數上最便宜，在覆蓋範圍上最受限制。內部按壓則一次觸及最多方塊。由於唯一目標是將每個起始亮起的格子翻成暗，寬覆蓋與精準度之間的取捨便是核心的規劃難題。
如何以五次按壓解開 4×4
- 開啟盤面。起始圖樣在格子 1、2、3、5、9 和 10 上有六盞亮起的燈，游標位於格子 0，狀態列上零步移動。
- 選擇起始方塊。點擊、輕觸、以方向鍵移動，或使用「按壓所選」按鈕。所選方塊會出現可見的外框，其影響的十字範圍會以較淺的邊框預覽顯示，但不會改變任何狀態。
- 按壓所選方塊。該方塊及其所有正交鄰居會立即切換。亮變暗，暗變亮。移動計數器加一。
- 以按壓同位進行推理。由於按壓兩次會抵消，每個格子的最終盤面只取決於你按下該格的次數同位。在決定前，可利用十字預覽想像每次按壓將翻轉哪些格子。
- 逐列作業。以方向鍵移動游標、按壓，並觀察效果。十字預覽會顯示下一組切換而不會真的執行，因此規劃過程不會弄髒盤面。
- 達到五步下限。獨立的窮舉分析證明此關卡不可能以少於五次按壓解決，因此在第五步之前的任何檢查客觀上皆屬未完成，且不會記錄錯誤。
- 在第五步或之後按下 Enter、C 或「檢查盤面」。在達到下限或之後的全暗盤面恰好獲得 1,000 分，並將該回合鎖定為完成。
- 若首次完整的檢查錯誤，繼續按壓。第一次錯誤的完整檢查會記錄一次錯誤，且盤面仍可編輯。第二次錯誤的完整檢查會使回合死鎖，直到按下「重新開始」。
若想在結構相近的盤面上看五次最短路徑的逐步示範，簡單 Lights Out 謎題:5 步 4×4 攻略指南會在標準的簡單關卡上逐步演練相同的切換邏輯。此困難版本的算術結構相同，但唯一的最優解與嚴格的下限使其更難憑直覺發想。
計分、錯誤與終止狀態
計分刻意設計得很簡單。在達到五步下限或之後的正確檢查會恰好獎勵 1,000 分。分數不會因速度、最小步數之後的額外步數、裝置或輸入方式而改變。正確性是唯一的計分依據。在第五步之前的檢查視為未完成提交，不記錄錯誤，這代表你在投入最終檢查前可自由實驗同位。
雙錯誤狀態機是困難 Lights Out 謎題最獨特之處。執行階段的遊戲會儲存 16 個當前的燈光布林值，並在每次按壓時計算所選格子的界內正交十字。檢查會在通過證明的下限邊界後接受任何 16 格全暗的狀態。這意味著較長的有效解依然有效，符合標準的切換代數。第一次錯誤的完整檢查會記錄一次錯誤，並保留回合的可編輯狀態。玩家可繼續按壓方塊、達到全暗，然後再次檢查以爭取 1,000 分獎勵。第二次錯誤的完整檢查會使回合死鎖，而「重新開始」是唯一的出路。完成與死鎖這兩種終止狀態都會將盤面凍結在純粹的狀態轉換函式中。點擊、空格鍵按壓、游標移動與進一步的檢查都無法在終止狀態後修改盤面。此保證由測試涵蓋，而不僅依賴被禁用的視覺控制項。
鍵盤、觸控與老闆鍵控制
每個互動皆可不使用滑鼠達成。控制佈局設計為可在 390 像素的視口中容納且不產生水平捲動，並使用「開」與「關」文字標籤輔以表面對比，因此遊玩不僅依賴顏色。
| 動作 | 鍵盤 | 指標或觸控 |
|---|---|---|
| 移動選取 | 方向鍵 (不循環) | 輕觸方塊 |
| 按壓所選方塊 | 空格鍵 | 點擊方塊或使用「按壓所選」 |
| 檢查盤面 | Enter 或 C | 「檢查盤面」按鈕 |
| 老闆螢幕 | 雙按 Escape 進入，雙按 Escape 離開 | 不可用 |
| 重新開始 | 「重新開始」按鈕 | 恢復六盞燈的起始圖樣、格子零的游標、零步移動、零次錯誤與零分 |
全域重複旗標會被忽略，因此按住空格鍵無法產生失控的同位變更連發，按住方向鍵也無法跨格略過。雙按 Escape 手勢會啟動一個看似普通辦公工作的試算表式老闆螢幕，再次雙按 Escape 則會返回謎題。游標永不循環，因此你隨時都能知道當前選取位於哪一列與哪一行，而每個方塊都在無障礙標籤中揭露其列、行、亮暗狀態與選取狀態。
一切皆在瀏覽器中本機執行。不會上傳任何盤面狀態、不需要帳號、不請求隨機關卡、計時器不影響結果，也不會引入新的套件相依性。此關卡是一道休閒性質的固定謎題，而非智力測驗或評量。重複遊玩會因記憶而自然變得更容易，這正是時間不納入計分的原因。對於一道提供真正挑戰的困難 Lights Out 謎題，唯一值得帶入下次遊玩的就是同位推理:以奇數或偶數的按壓次數思考、觀察十字預覽，並在至少經過五次審慎移動後才使用首次可修復的檢查。
若你正在權衡選項，常見 LITS 謎題錯誤與如何避免對此有詳細說明。