Binary 解題器

什麼是 Binary 解題器？

Binary 解題器會完成只由 0 和 1 組成的盤面。它也常被搜尋為 Takuzu solver、Binairo solver、Binero solver、0h h1 solver、Tic-Tac-Logic solver 或 Binary puzzle helper。

本解題器使用標準 Binary 規則：每一列與每一行的 0 和 1 數量相同，不可出現三個相同數字連續，且完成的列或行不可完全相同。

• 解報紙、書本、App 或列印題紙上的 Binary。
• 檢查部分填入的 Takuzu 盤面是否仍有效。
• 不顯示完整答案，只找下一個邏輯步驟。
• 測試自製 Binairo 題目的有效性與唯一解。

如何使用此 Binary 解題器

先選擇盤面大小，然後點擊格子輸入已知的 0 和 1。未知格保持空白。

Solve 會完成整個盤面。Check 會判斷無解、唯一解或多解。Next move 會一次顯示一個合乎邏輯的 Binary 推論。

• 6x6 適合入門題。
• 8x8 是最常見的 Takuzu 大小。
• 10x10 與 12x12 適合較大的 Binairo。
• 只有想把提示寫入盤面時才使用 Apply move。
• Clear 清除輸入，Reset 回到 8x8。

解題器使用的 Binary 規則

8x8 盤面每列與每行需要四個 0 和四個 1；10x10 需要各五個；12x12 需要各六個。

不可三連的規則同時適用於水平與垂直方向。唯一性會在完成的列與行上檢查。

• 每個空格必須填 0 或 1。
• 每一列的 0 和 1 數量相同。
• 每一行的 0 和 1 數量相同。
• 000 和 111 不允許出現。
• 完成的列與行不可重複。

下一步邏輯與 Binary 策略

Next move 會先使用最容易手算的技巧。00_ 或 _00 會強制填 1；11_ 或 _11 會強制填 0。0_0 會強制填 1，1_1 會強制填 0。

接著它會計算每一列與每一行。若某個數字已達到一半，剩下的空格都必須填另一個數字。

最後會比較已完成與幾乎完成的列或行，避免兩條線變得完全相同。

• 先找成對模式。
• 在接近完成的列與行中計算 0 和 1。
• 比較完成線與幾乎完成線。
• 避免猜測；好的 Binary 題目應有被迫的下一步。
• 需要最終答案時再使用 Solve。

為什麼 Binary 需要唯一解

好的 Binary 題目應該只有一個答案。如果有兩個有效完成盤面，玩家可能被迫猜測。

當線索太少時，解題器會提示多解。這對檢查自製題、手動抄題或卡住的盤面很有用。