唯一矩形
唯一矩形
數獨中的唯一性假設
一個構造正確的數獨謎題有且僅有一個解。如果你能找出一種會產生多解的候選數配置,那麼該配置就是不可能的。至少有一個候選數是錯的,你可以將其排除。唯一矩形族將此應用於排列成矩形的四個格,該矩形橫跨兩行、兩列,且恰好涉及兩個宮。
數獨中的致命模式是什麼?
致命模式是一種允許透過數字互換產生第二個有效解的配置。四個格構成一個恰好橫跨兩個宮的矩形,且都只含{X,Y},就會產生這種歧義。兩種排列都滿足所有約束。這在有效謎題中是被禁止的。兩宮的要求確保這種互換對所有類型的區域都不可見。
唯一矩形佈局:底格與頂格
底格恰好含{X,Y}。頂格含{X,Y}外加額外候選數。這些額外候選數是防止致命模式的逃生通道。目標:證明頂格不可能都只歸結為{X,Y}。既然致命模式被禁止,至少有一個頂格單元格必須確定為X或Y以外的值。
唯一矩形類型1:一個額外角
三個角是雙值{X,Y}。第四個角含{X,Y}外加額外候選數。如果第四個角是X或Y,致命模式就會完成。從第四個角中排除X和Y。第6關(困難)。
唯一矩形類型2:共享額外候選數
兩個底格{X,Y}。兩個頂格{X,Y,Z}。至少有一個頂格必須是Z。從同時能看到兩個頂格的格中排除Z。第6關(困難)。
唯一矩形類型3:偽裸子集
兩個頂格在{X,Y}之外有不同的額外候選數。這些額外候選數與共享區域中的其他格構成偽裸子集。第7關(非常困難)。
唯一矩形類型4:共軛對
一對數字在兩個屋頂格之間構成共軛對。這打破了致命模式。從兩個屋頂格中排除另一對數字。第7級(非常困難)。
唯一矩形類型5:對角線額外
額外候選數Z出現在對角或四個角中的三個。至少有一個Z角必須是Z。從能看到所有Z角的格中排除Z。第8級(專家)。
可避免矩形
適用於所有角均為非給定格的矩形(有些已解出)。交換論證仍然成立,因為沒有任何角被出題者固定。類型1-4與標準唯一矩形類型對應。第6級(困難)。
隱藏唯一矩形
在屋頂格共享的宮中,一對數字中的一個僅作為候選數出現在這兩個格裡(「隱性」)。該數字必須放入其中一個屋頂單元格,從而打破致命模式。從兩個屋頂格中排除另一對數字。第8級(專家)。
尋找唯一矩形的實用技巧
從雙值格開始。當你看到兩個或更多具有相同數對的格時,檢查是否構成矩形。驗證雙宮約束。檢查所有方向。在應用唯一矩形排除後,再與其他技巧結合使用。
總結
唯一矩形家族提供了七種利用唯一性假設的技巧。它們從類型1(從額外角排除數對數字)到隱性唯一矩形(找到一個隱藏數對數字以排除另一個)。掌握這些技巧能顯著提升解決困難至專家級謎題的能力。