Binairo（二元謎題）提示是指任何一條單行規則，讓你無需猜測就能填入一個格子，而在 6×6 棋盤上，這些提示來自三個推論家族。每個家族都單獨作用於單一行或單一欄。平衡提示會在某一行已出現三個 0 或三個 1 時，立即鎖定一個數字。相鄰提示則在出現 000 或 111 的連續時，強制將與兩個相同數字相鄰或介於其間的格子設為相反數字。唯一性提示是唯一需要參考盤面其他部分的家族，它會在較晚的階段觸發：當一列中有五個格子已經確定時，最後一個格子必須與同一方向上其他已完成的列有所不同。這三個家族合力，在完全不猜測的情況下解開 Lizely Binairo 題目，並且在任何遵循相同三條規則的標準 6×6 二元棋盤上都能達到同樣效果。
「提示邏輯」在 Binairo 棋盤上的意義
「提示」一詞在益智網站上被使用得很隨意，有時指的是一個已填入的格子，有時是一條線索，有時則是一個模糊的暗示。在嚴格的 Binairo 語境中，提示是一條你可以寫下來的推論：將一條規則套用於單一行或單一欄，並得出唯一一個格子的唯一一個合法數字。這裡沒有猜測、沒有回溯、也不依賴未來的步驟。這個定義至關重要，因為 Binairo 謎題被設計為一步步解開，而 Binairo（二元謎題） 工具正是圍繞這個理念所打造。棋盤出廠時帶有 8 個固定的起始數字以及一個有限性的唯一解證明：每個給定數字都對單一解答有所貢獻，移除任何一個給定數字都會允許多於一種的完成方式。有了這樣的結構，正確的提示必定能夠完成整個棋盤。
如果你希望在套用推論之前先複習規則，可以參考 Binairo 規則與操作指南，其中以淺顯易懂的方式說明了同樣的三條限制。若需要更廣泛的策略地圖，Binairo 解題策略演練 將這些提示延伸為一套完整的解題順序，可套用於任何 6×6 棋盤。
三個推論家族並列比較
幾乎每個 Binairo 提示都屬於以下三個規則家族之一。每個家族都單獨作用於單一行或單一欄，這也是這些推論在手機、平板或狹窄的桌面視窗中都能方便套用的原因。
- 平衡提示。一旦某一行中包含三個 0，該行中每個剩餘的空格就必須是 1。出現三個 1 時亦同。平衡是最容易察覺的推論，因為其計數是精確且一目了然的。
- 相鄰提示。三個相同數字的連續在任何方向上都是不合法的。如果兩個相鄰格子都是 0，那麼緊接在這對格子之前或之後的格子必須是 1。當兩個相同數字中間相隔一個空格，形成類似 0、空格、0 的圖樣時，邏輯同樣適用：位於中間的格子必須是 1。在這兩種圖樣中將 0 與 1 互換，即可涵蓋所有相鄰的情況。
- 唯一性提示。當一列中有五個格子已知時，將該列的部分與同一方向上所有已完成的列進行比較。即使平衡提示與相鄰提示允許，若最終的數字會抄襲另一個已完成的列，也是不合法的。
| 家族 | 觸發條件 | 強制數字 |
|---|---|---|
| 平衡 | 某一行中已放入三個 0 或三個 1 | 每個剩餘空格填入相反的數字 |
| 相鄰（成對） | 兩個相同的相鄰格子（00 或 11），且其中一側有一個空格 | 下一個空格填入相反的數字 |
| 相鄰（間隔） | X、空格、X（兩個相同數字中間夾著一個空格） | 中間的格子填入相反的數字 |
| 唯一性 | 某一行或某一欄中已固定五個格子，且至少有一條已完成的線可供比較 | 與該方向上所有已完成線皆不同的唯一數字 |
平衡提示與相鄰提示完全作用於單一條線內，因此只要該行或該欄擁有足夠的給定數字就會立即觸發。唯一性是唯一需要將部分完成的線與盤面其餘部分進行比較的家族，這也是唯一性提示往往最後才出現的原因：你需要有已完成的列或欄作為對照，而全新的 6×6 棋盤一開始只有 8 個分散的給定數字，而非完成的列或欄。不同的列可以等同於不同的欄，因為唯一性僅在同一方向內強制執行。
Lizely 題目上的實戰演練
在同一個起始位置看這三個家族實際運作會很有幫助。想像一下打開 Binairo（二元謎題）題目，按照列的順序掃描 8 個給定數字。沒有任何一條線是以三個相同數字作為開頭，因此第一輪掃描中不會立即出現平衡提示。改為留意緊密的成對：8 個給定數字中包括第 3 列上一對相鄰的相同數字，而這對數字會立即透過相鄰提示，強制將該對兩側的格子設為相反數字。一旦這些被強制填入的格子就位，它們會在後續的掃描中將所在欄的計數推向平衡提示，從此列與欄開始互相支援。
當兩到三列開始填滿後，唯一性提示便加入輪替。將任何已有五個已知格子的列與你所完成的第一列進行比較；那個唯一的空格必須與該已完成的列有所不同，這便確定了最後的數字。一個唯一性提示通常會完成一列，而這個剛完成的列立刻成為其他位置唯一性提示的新對照依據。同樣的循環也會在欄上重演，因此解題過程在幾輪內便從「強制一個格子」推進到「強制一欄」，再到「完成一列」，全程無需猜測。
如何在 Lizely Binairo 棋盤上套用提示
- 讀取 8 個給定數字，並在心裡將它們鎖定為固定數字。它們在視覺上很醒目且無法更改，因此它們是你第一輪掃描的錨點，也是後續每個提示的種子。
- 逐條掃描每一條線，並套用平衡提示。對於任何已經顯示三個相同數字的列或欄，將其餘空格填入相反的數字。
- 全面搜尋相鄰提示。尋找兩側帶有空格的相鄰 00 或 11 對，以及 0、空格、0 或 1、空格、1 的圖樣，然後將對應的格子強制設為相反的數字。
- 一旦任何一列或一欄完全填滿，就將其鎖定為唯一性提示的對照依據。從此，任何在同一方向上會抄襲它的部分線都是不合法的。
- 重複步驟 2 到 4，直到不再出現新的推論。若仍有格子無法確定，請改為掃描其所在欄而非所在列，因為相同的規則在這兩個方向上各自獨立適用。
- 透過直接邏輯填入最後的格子，逐條檢查平衡、相鄰與唯一性，然後選擇檢查棋盤或按下 Enter 以獲得正好 1,000 分。
一個小習慣可以節省時間：首先掃描最密集的那一條線。給定數字最多的那一列或一欄，最有可能在第一輪掃描中就觸發平衡提示或相鄰提示，而一個被強制填入的格子往往會在整個盤面中引發連鎖反應。將其視為一種柔性起手：在緊密成對上的一次相鄰提示，通常會在同一輪中衍生出兩到三個平衡提示或相鄰提示，這使得唯一性提示能比漫無目的的掃描更早派上用場。
當推論錯誤時：兩次錯誤檢查機制
提示只有在結果值得信賴時才有用，而 Binairo 棋盤將這份信任契約明確化，以確保錯誤的推論絕不會在不知情的情況下毀掉你的遊戲進度。若任何可編輯格子仍處於未知狀態，檢查棋盤會回報棋盤尚未完成，且不會增加錯誤計數，這代表你可以在不受到懲罰的情況下檢視未完成的嘗試。你可以先在腦中推演一個提示、輸入一個數字，並以檢查棋盤作為健全性測試，再完成該列的其餘部分。
完全填滿但內容不正確的棋盤會記錄一次錯誤並保持可編輯狀態，讓你可以立即修正推論結果。第二次完全填滿後仍錯誤的檢查會使遊戲陷入死鎖，直到重新開始為止。死鎖發生後，棋盤按鈕、明確的數值控制項、檢查功能、鍵盤編輯以及游標移動都不再改變遊戲狀態。完成與死鎖都是終止狀態，脫離其中任何一個的唯一方式就是重新開始，系統會產生一份全新的相同固定謎題副本，帶有原來的 8 個給定數字、其他所有格子皆為未知、錯誤計數為零、分數為零，並選中第一個可編輯格子。由於棋盤是確定性的，且給定數字總是落在相同的格子上，因此同一套提示順序在每次嘗試中都會產生相同的完成結果。
實戰操作提示：鍵盤、重新開始與老闆鍵
幾個與規則無關的提示可以讓 Binairo 棋盤上的提示驅動解題流程更為流暢。對於密集的列，請使用鍵盤，因為鍵盤對應觸控操作：方向鍵可在 6×6 棋盤上移動，0 與 1 為所選可編輯格子設定數字，Delete 或 Backspace 可清除該格，Space 可在未知、0 與 1 之間循環切換，Enter 則用於檢查棋盤。若你正在進行一列掃描且遇到多個相鄰圖樣，使用鍵盤會比個別點擊設定 0 或設定 1 按鈕更為迅速。
每個格子都是一個原生按鈕，帶有列、欄與狀態標籤，棋盤採用 6 個有邊界的欄與正方形格子，並容納在狹窄的最大寬度內，使其能在 390 像素的視窗中保持水平不捲動，這也讓鍵盤對應無論在桌上型電腦或手機上皆保持一致。共用的遊戲外框會顯示可見分數、本機儲存的最佳分數、重新開始按鈕，以及一個雙擊 Escape 的老闆鍵：在外框的時限內連按兩次 Escape，即可用一個類似試算表的畫面蓋住謎題，再按兩次即可返回。所有謎題邏輯皆在瀏覽器本機端執行，因此遊戲不會將任何動作或答案傳送至伺服器、不需要帳號、不上傳任何資料、不要求任何裝置權限，也不會增加任何套件相依性。這使得棋盤成為一個安全的沙盒，讓你練習三個提示家族直到它們內化為直覺。
在獲得首次 1,000 分之後的下一步
當這三個家族變得駕輕就熟時，請將它們推進到更困難的組合中。嘗試不解讀某欄便先解一列，然後在最後同時檢查兩者並留意連鎖效應：某一列中的平衡提示完成了一欄，進而解開了另一列中的唯一性提示。這些連鎖效應正是為何一個唯一確定的 6×6 棋盤會獎勵系統化的推論而非聰明的猜測。計分與固定題目都是刻意設計的：1,000 分的結果僅確認了這道確定性謎題在這些規則下被完成，而棋盤屬於休閒性質的邏輯練習，而非排名或診斷工具。將每次嘗試視為串接平衡、相鄰與唯一性提示的機會，你將看到謎題在完全不需要猜測的情況下逐步解開。