數獨基礎規則
歡迎你來到數獨!
歡迎你來到數獨!
很多初學者會這樣想:
候選數就是:<strong 一個空格里“還可能是哪些數字”</strong 。
排除法是數獨裏最常用、也最踏實的一種推理:
區塊排除是一類非常常用的“刪候選”技巧。
數對和數組是一類非常實用的“刪候選”技巧。
鏈(Chain)是很多高級技巧的共同基礎。
摩天大樓是一種“刪候選”的單數技巧:只盯住一個數字 <strong d</strong 。
X翼是一種用“矩形”來刪候選數的技巧:我們只盯住一個數字 <strong d</strong ,如果它在兩行(或兩列)裏的位置剛好“對齊成一個矩形”,那麼矩形外的同數字候選就可以刪除。
雙線風箏是一種“刪候選”的單數技巧:只盯住一個數字 <strong d</strong 。
BUG+1 的全稱是 <strong BUG+1(全雙值墳墓 +1)</strong 。
劍魚其實不難,你可以把它想成一句話:
XY翼(也常被叫作 Y-Wing)是一種“刪候選”的短鏈技巧:它由 <strong 1 個樞紐格</strong 和 <strong 2 個翼</strong 組成。
唯一矩形(Unique Rectangle,簡稱 UR)是一類<strong 利用“唯一解”來刪數或出數</strong 的技巧。
起重機是一種“刪候選”的單數短鏈技巧:只盯住一個數字 <strong d</strong 。
XYZ翼和 <strong XY翼</strong 很像:都是“一個樞紐 + 兩個翼”的結構,用反證來刪掉某個共同候選數。
帶鰭X翼是一種“刪候選”的魚類技巧:它看起來像一個 <strong 快要成立的 X翼</strong ,但在其中一條基線(行或列)上,多出來了 1 個或幾個同數字候選——這部分就叫 <strong 魚鰭</strong 。
W翼是一種“刪候選”的短鏈技巧:它通常從 <strong 兩個相同的雙值格</strong 開始(我們也把它們叫作兩翼)。
空矩形是一種“刪候選”的單數技巧:只盯住一個數字 <strong d</strong 。
帶鰭劍魚可以理解成“<strong 快要成立的劍魚</strong ”:綠色魚身已經把目標數字 <strong d</strong 限制在一個 3×3 的漁網裏,但在某一條基線(某一行/列)上,又多出了額外的同數字候選——這部分就是<...
刺身魚(也叫“退化魚”)是一種“刪候選”的魚類技巧。
隱藏矩形仍然是在阻止與普通唯一矩形相同的危險局面:
如果你已經看過這兩篇,會更容易理解 WXYZ翼:
基礎染色是一種“刪候選”的單數技巧:只盯住一個數字 <strong d</strong ,並且只在 <strong 雙位數強鏈</strong (某行/列/宮裏 d 恰好只剩 2 個候選位置)上做推理。
Bent Quad 也常被稱為「廣義 WXYZ-Wing」。
X鏈(也常寫作 X-Chain)是一種“只盯一個數字 <strong d</strong ”的鏈技巧。
XY鏈(也常寫作 XY-Chain)是一種“只用雙值格”的鏈技巧。
標準鏈(AIC,Alternating Inference Chain)可以理解成“<strong 最通用的鏈</strong ”:
ALS-XZ 的名稱看起來很抽象,但核心只有一句話:
3D 美杜莎可以理解成“<strong 基礎染色的升級版</strong ”:同樣用藍/黃兩色把候選數分成兩條互斥的推導路線,但它不再只盯一個數字,而是把<strong 多個數字</strong 也一起串進來做推理。
ALS-XY-Wing 用兩個 RCC 把三組 ALS 串起來。
Sue de Coq 原名 <strong Two-Sector Disjoint Subsets(雙扇區不相交子集)</strong 。
普通的鏈(X鏈 / XY鏈 / 標準鏈)裏,我們把“一個節點”理解成:
APE 是 <strong Aligned Pair Exclusion</strong 的縮寫。
西尾強制鏈(Nishio Forcing Chain)是一種“<strong 反證刪數</strong ”的技巧。
沒有匹配結果,請調整關鍵詞或篩選條件。