邏輯格謎題透過一張類別表格搭配簡短的事實線索,藉此鎖定每個人的隱藏屬性,而簡易版本刻意把類別與線索的數量壓低,讓細心的讀者不必動用進階技巧就能得出答案。Lizely 上的邏輯格謎題把這個格式套用到一個原創的三人組合:Ava、Ben 與 Cora 各從 {貓、狗、貓頭鷹} 中帶來一種不同的寵物,並各從 {星期一、星期二、星期三} 中選擇不同的日子造訪。四條簡短的線索——Ava 並非在星期一造訪、狗的主人在星期一造訪、Cora 在星期三造訪,以及 Ava 並未帶貓——在三十六種可能的配對中,恰好只留下一組有效的格子。每隻寵物都是獨一無二的,每天也都獨一無二,選擇器會在允許檢查之前先拒絕重複的選項。第一組填錯的完整格子是可修復的;唯一正確的格子則會剛好給予 1,000 點,並凍結這一局。

什麼讓邏輯格謎題變得簡易
簡易的邏輯格謎題刻意讓三個要素保持稀少:類別的數量、每個類別下的值數,以及每條線索的長度。一道有兩個類別、每個類別兩到三個值的謎題,會給解題者一個有限且偏小的搜尋空間,而簡短的陳述式線索——通常一行一條事實——讓細心的讀者能夠在不猜測的情況下逐一排除選項。Lizely 上的邏輯格謎題完全符合這個描述:它採用兩個類別(寵物與造訪日)、每個類別三個值,搭配三個人,總共只產生三十六種一對一的配對。四條線索全部都是直接的排除條件,沒有複合條件句、沒有比較用語,也沒有算術。
這種簡潔至關重要,因為每一個額外的子句都會增加讀者誤讀措詞或遺漏某個否定詞的地方。當一條線索寫「Ava 並未帶貓」時,否定本身就是線索。當另一條寫「狗的主人在星期一造訪」時,則直接把狗的日子釘在星期一。兩條線索扮演了錨點的角色,剩下的兩條則各自從 Ava 的那排移除一個選項。四條線索合計把候選集合從三十六縮減到一。
如何一步步解開邏輯格謎題
- 先依題目順序讀完四條線索,再去碰任何選擇器。這四條線索分別是:Ava 並非在星期一造訪;狗的主人在星期一造訪;Cora 在星期三造訪;Ava 並未帶貓。
- 把 Cora 的日子鎖定為星期三。既然有一條線索直接固定了某人的日子,這一排只要一步就完成。接著,另外兩人日子選擇器中的星期三選項會被停用,並標註為 Cora。
- 把狗主人的日子鎖定為星期一。在寵物選擇器中拿到 Dog 的那個人,其造訪日同時也會是星期一。把 Dog 放到剩下的一個人身上,然後把同一人的日子設為星期一;星期一會在 Cora 那排以及另一排被停用,直到那一排拿到 Dog 為止。
- 排除 Ava 的兩項條件。Ava 既不在星期一,也不在星期三,於是在三個可選的日子中,剩下來的星期二就歸 Ava。再者,既然 Cat 不在 Ava 手上,Ava 就會拿到既不是 Cat 也不是 Dog 的那隻,也就是 Owl。
- 確認最後一排。一旦 Dog 與星期一落在同一個人手上、Owl 與星期二屬於 Ava、Cora 對應星期三,那麼 Cat 就必須歸給剩下的那個人,且落在剩下的那一天。
- 當六個選擇器——三個寵物與三個日子——皆已填妥,按下 Check grid 一次。唯一的解答會剛好給予 1,000 點,並凍結終端狀態。
在按下按鈕之前,有一項簡單的檢查:確認每隻寵物只出現一次、每天只出現一次,且四條線索皆成立。前往 Logic Grid Puzzle,在 Lizely 上對照真實的選擇器練習同樣的流程。
為何這道邏輯格只有唯一解答
簡易的邏輯格謎題同時也應該是公平的,而這裡所謂的公平,是指能以機械化方式證明再無其他格子符合這四條線索。三隻寵物分配給三個指定的人共有 3! = 6 種方式,三個日子分配給三個指定的人另有 3! = 6 種方式。在尚未讀取任何線索之前,兩者的乘積為 36 種可能的一對一格子。Logic Grid Puzzle 使用一套獨立的測試預言機,自行定義其陣列、排列程序,以及對應四條線索的四個獨立述詞。它枚舉全部 36 種格子,套用這四個述詞,並保留通過所有述詞的格子。最終結果恰好只有一種格子:Ava 在星期二帶來 Owl,Ben 在星期一帶來 Dog,Cora 在星期三帶來 Cat。
同一套預言機接著透過一次移除一條線索並重新枚舉,證明每一條線索都是不可或缺的。少了「Ava 並非在星期一造訪」會剩下三種格子。少了「狗的主人在星期一造訪」會剩下四種。少了「Cora 在星期三造訪」會剩下四種。少了「Ava 並未帶貓」會剩下兩種。每一次移除都會留下超過一個候選,因此四條線索每一條都對唯一解答做出了實質貢獻。
| 移除的線索 | 剩餘的候選格子數 |
|---|---|
| Ava 並非在星期一造訪 | 3 |
| 狗的主人在星期一造訪 | 4 |
| Cora 在星期三造訪 | 4 |
| Ava 並未帶貓 | 2 |
| 無(保留全部四條線索) | 1 |
簡易遊玩的操作方式與無障礙設計
簡易的邏輯格謎題,同時也應該是讀者能在手上剛好持有的裝置上實際操作的謎題。Logic Grid Puzzle 使用原生 select 控制項而非拖曳手勢,因此不論是觸控點按、滑鼠點選或鍵盤操作,體驗皆一致。Tab 鍵會依閱讀順序在控制項之間移動,當控制項取得焦點後,方向鍵可變更已開啟的值,瀏覽器既有的 Enter 或 Space 行為則會在平台支援時開啟 select。每個控制項皆帶有人物專屬的可存取名稱,因此螢幕閱讀器會播報「Ava, pet」或「Ben, day」,而非未標示的儲存格。
這些選擇器具備防止重複的安全機制。一旦某隻寵物被指派給某人,該寵物在其他人的寵物選擇器中便會被停用,並標註其目前的主人;日子的行為也是一樣的。若玩家想將 Dog 從 Ben 移到 Ava,必須先在 Ben 那排清除 Dog,之後該選項才能在 Ava 那排選取。提交一排其寵物已被他人選走的組合,會被視為一筆原子衝突而遭到拒絕:配對格子會維持原樣,並顯示明確的衝突訊息。390 像素的行動裝置版型會將每個人的一排垂直堆疊,讓姓名、寵物選擇器與日子選擇器在小螢幕上仍保持易於觸控。
猜錯時會發生什麼事
簡易的邏輯格謎題在機制上也應該是寬容的,Logic Grid Puzzle 的兩次作答規則正是圍繞這個理念而設計。在六個選擇器尚未填齊之前按下 Check grid 並無害處:謎題會回報格子尚未完成,不計入任何錯誤作答次數,分數也維持不變。一組填錯的完整格子會以「人物—寵物—日子」的標準簽章記錄下來。第一個不同的填錯完整格子仍可修復——只要變更任何選擇器並再次檢查,該局即可繼續。第二次提交完全相同的錯誤格子屬於原子化的無操作;雙擊並不會消耗第二次錯誤機會,歷史紀錄中僅保留不同的填錯完整格子。
第二個不同的填錯完整格子會結束該局。介面接著會揭露唯一解答——Ava 在星期二帶 Owl、Ben 在星期一帶 Dog、Cora 在星期三帶 Cat——並凍結所有指派與檢查控制項。相同的凍結機制也適用於正確格子:解出的排列會留在畫面上,分數會設為剛好 1,000 點,本機共用最高分會更新,且無法再進行任何變更。這裡沒有時間獎勵、沒有部分得分、沒有線索加成,也沒有隱藏的分數計算;分數就是剛好 1,000 點或該局最後停留的分數。
依正確順序閱讀線索
線索順序是讓這道格子題讀起來「簡易」的一個小而關鍵的因素。兩條錨點線索——「狗的主人在星期一造訪」以及「Cora 在星期三造訪」——各自把單一值釘到單一一排,因此能立刻把搜尋空間從三十六種格子縮減到寥寥數種。兩條否定線索——「Ava 並非在星期一造訪」以及「Ava 並未帶貓」——各自從 Ava 那排移除一個選項,因此一旦 Ava 的日子透過消去法確定,她的寵物也就跟著確定。先讀錨點再讀排除條件,能避免解題者在後面的線索與前面假設矛盾時,又回頭修正先前的某一排。
若想一次解得乾淨,可以先從 Cora 固定的星期三造訪與狗主人固定的星期一造訪出發,再結合 Ava 的兩條排除條件決定剩下的寵物與日子。同一套流程也能當作健全性檢查:若解題者最終在同一排放了兩隻寵物、同一排放了兩個日子,或留下任何一排空白,就代表流程中某處被跳過了,選擇器需要重設。對於已經熟悉格子推理的讀者,避免影像邏輯格遊戲常見錯誤一文涵蓋了類似的防錯習慣。
重設與重新遊玩
Reset grid 與共用的 Restart 控制項可在任何時候將狀態完整還原為最初的空白狀態。重設不會消耗作答次數,也不會更改分數。共用的雙 Escape 老闆模式可暫時遮住遊戲畫面,同時保留相同的本機狀態,因此被打斷的遊戲可以不必重新輸入任何選擇即可繼續。
指派、檢查、分數與鍵盤活動都停留在當前的瀏覽器分頁中;不會上傳任何資料,也不涉及帳號、付款、API 呼叫、伺服器端解題程式或外部服務。一旦頁面載入完成,這道固定的謎題即可在不需要擷取變動內容的情況下持續遊玩。邏輯格這個題組屬於休閒娛樂,所揭露的解答、有限的兩次錯誤規則與固定的 1,000 點分數描述的是遊戲行為,而非任何對於智力、教育、就業適性、健康、記憶或心理能力的衡量。
延伸閱讀:向他人說明魔方陣謎題規則。