什麼是 Binary、Takuzu 或 Binairo？
Binary 是只使用 0 和 1 的邏輯謎題，也稱為 Takuzu、Binairo、Binero 或 0h h1。
目標是完成盤面，讓每一列與每一行的 0 和 1 數量相同，不能有三個相同數字連續，且完成的列或行不能完全相同。本遊戲提供多種尺寸與難度，並在顯示前檢查唯一解。
- 每個空格填入 0 或 1。
- 每一列與每一行都要有相同數量的 0 和 1。
- 任何列或行都不能出現三個相同數字連續。
- 完成的列與行不可重複。
- 每一道線上 Binary 都會由解題器檢查唯一解。
如何線上玩 Binary
先找成對數字。如果看到 00，前後相鄰空格只要存在就必須是 1；看到 11 則會強制填 0。
接著找 0 _ 0 或 1 _ 1 這類分開的成對數字，中間格必須是相反數字。檢查會標示錯誤，提示會給出一格。
- 使用 0 和 1 按鈕，或點擊格子循環輸入。
- 留意每一列與每一行的數量。
- 先解決會造成三連的強制步驟。
- 比較幾乎完成的列與行。
- 使用復原、重設或答案練習不同解法。
Binary 尺寸與難度
6x6 適合學規則。8x8 是快速日常 Takuzu。10x10 與 12x12 會產生更長的推理鏈。
簡單保留較多線索，中等移除更多給定，困難更依賴列與行的比較。
- 6x6 是適合初學者的小盤面。
- 8x8 是預設的平衡尺寸。
- 10x10 與 12x12 是更強的策略挑戰。
- 每個難度都會產生新謎題。
- 內部解題器必須找到剛好一個解。
Binary 解題策略
最好的策略是在局部模式與整行檢查之間切換。局部模式避免三連，整行檢查保持平衡。
如果一列已經有某個數字的一半數量，剩下空格都必須填另一個數字。行也同理。
唯一性是最後一層：兩條幾乎相同的線可能會強制某一格，避免它們完全相同。
- 00_ 和 _00 強制 1；11_ 和 _11 強制 0。
- 0_0 強制 1；1_1 強制 0。
- 完成的線必須一半是 0、一半是 1。
- 完成的列與行必須唯一。
- 幾乎相同的線通常會要求相反數字。
為什麼唯一解很重要
Binary 應該靠推理完成，而不是在兩個同樣有效的結局之間猜測。
產生器先建立答案，再逐步移除線索並執行解題器。如果出現第二個解，線索就會放回去，因此謎題保留唯一解。