數獨候選消除:實用初學者指南

候選人淘汰是“我理解規則”和“我可以解決困難的網格”之間的橋樑。 候選項只是在檢查其行、列和 3×3 框後仍適合空單元格的數字。 好的求解並不意味著到處寫下每個數字。 這意味著保留一組準確的可能性,僅在規則證明不可能時才刪除數字,並注意這些刪除何時創建單個或可重用的模式。
每一個有用的註釋都回答了一個問題:哪些數字在該單元格中仍然合法可用?
什麼是候選人淘汰?
候選消除是從未解決的單元格中刪除不可能的數字的過程。 第一個消除直接來自放置的數字:如果第 5 行已經包含 7,則第 5 行中的其他單元格不能保留候選值 7。相同的檢查適用於列和框。 後來的淘汰來自裸對、隱藏對、鎖定候選者和 X 翼等模式。 這些模式不會猜測最終值;而是會猜測最終值。 他們證明一名或多名候選人不能參與任何有效的完成。 當一個單元格只剩下一個候選者時,它就成為裸單。 當一個數字在房屋中只剩下一個單元格時,它就成為隱藏單數。
可靠的候選人工作流程
- 在添加註釋之前填寫直接單曲。 首先掃描擁擠的方框、行和列。 每個確認的數字都會減少以後所需的候選人工作量。
- 檢查所有三個約束。 對於每個空單元格,刪除其行、列和 3×3 框中已存在的數字。 僅當一個數字通過了所有三項檢查後,它才仍然是候選數字。
- 立即更新同行。 放置一個數字後,在尋找新模式之前,從同一行、同一列和同一框中的每個未解決的對等點中刪除該候選數字。
- 搜索受限組。 比較一所房子內的候選人名單。 相同的兩位數單元格、限制為兩個位置的數字或框線對齊支持進一步消除。
- 每次改變後返回單打。 一小部分刪除可能會使單元格或數字僅保留一個位置。 在升級到更復雜的技術之前收集簡單的結果。
工作示例:將 r5c6 減少為一個候選者
假設第 5 行中缺失的數字是 {2,4,7}。 單元格 r5c6 共享已包含 2 的列,並且其 3×3 框已包含 7。這兩個約束刪除了 2 和 7,只留下 4。
- 從行開始。 僅列出第 5 行中缺少的數字:2、4 和 7。該行中已存在的數字永遠不會屬於初始候選集中。
- 應用列約束。 第 6 列已經放置了 2,因此從 r5c6 中刪除 2。 該單元格現在包含候選項 {4,7}。
- 應用框約束。 右中框已經包含 7,因此 r5c6 不可能是 7。候選值 4 是唯一剩餘的合法值。
- 放置並傳播。 在 r5c6 中寫入 4,從其對等體中刪除候選者 4,並重新掃描第 5 行、第 6 列以及新創建的單個框。
常見的候選人錯誤
添加而不是消除
不要將 1-9 複製到每個單元格中並希望出現模式。 從缺失的數字開始,並刪除三個限制所禁止的內容。
留下陳舊的筆記
應該被刪除的候選者可以創建一個假對或隱藏一個真正的單個。 候選人維護是每個安置的一部分。
刪除而不命名規則
一個感覺不太可能的候選人仍然是可能的。 在刪除它之前,確定已放置的對等體或證明消除的模式。
候選人淘汰清單
- 對於一個空單元格,說出缺失的行數字,然後消除其列和框中的衝突。
- 每次放置後,請先清掃受影響的行、列和框,然後再移至其他位置。
- 圈出有兩個候選者的單元格和只有兩個位置的數字,但在聲明模式之前驗證整個房子。
- 對可能性使用註釋模式,僅對邏輯上強制的值使用大數字。
候選消除並不是一個單獨的高級技巧。 它是幾乎所有技術之下的簿記層。 練習中等經典謎題:只寫誠實的可能性,更新所有同行,並解釋每次刪除。 一旦這些音符可以被信任,配對、鎖和魚的圖案就會變得可見而不是神秘。 如果推導失敗,則恢復已刪除的候選項並審核應該支持它的確切行、列或框。
候選人淘汰常見問題解答
每個空單元格都應該有候選筆記嗎?
不是每個謎題都有。 在“簡單”和“中等”網格上,選擇性註釋通常就足夠了,而完整的註釋有助於驗證“困難”、“專家”和“大師”網格上的高級模式。
我可以因為某個候選人陷入困境而將其刪除嗎?
不,困難並不矛盾。 僅當數獨約束或有效邏輯模式證明不可能時才刪除候選者。
候選和猜測有什麼區別?
候選人記錄了仍然可能的值。 在沒有證據的情況下,猜測就表明了一種可能性。 準確的註釋有助於保持這種區別的明顯性。
為什麼我更新筆記後一對就消失了?
它可能是由一個過時的候選者構建的,或者更新可能解決了一個成員的問題。 重新檢查當前列表而不是保留舊模式。
消除後我應該掃描什麼?
從受影響的牢房和房屋開始:在搜索更廣泛的面板之前,先尋找裸體單身人士、隱藏單身人士和短期候選群體。


