よくできた数独パズルの解はちょうど1つです。Unique Rectangle(ユニークレクタングル)はこの約束を利用します。
2つの行、2つの列、ちょうど2つのブロックにまたがる4つのマスは、デッドリーパターンを作ることがあります。もしそれらが同じ2つの数字だけを持っていたら、その数字を入れ替えて2つ目の正しい解が作れてしまいます。
なぜ成り立つのか
正しいパズルでは、その危険な入れ替えは許されません。よって長方形が2つの数字だけの「純粋な」状態になることはありません。
3つの角がすでにXYの2候補で、4つ目の角に余分な候補がある場合(タイプ1)、デッドリーパターンを完成させてしまう候補は誤りです。ほかのタイプでは、デッドリーパターンを*避ける*ために候補やグループが固定されます。
当てずっぽうではありません。「この候補が正しいとパズルに解が2つできてしまう。でも解は1つだとわかっている」ということです。
見つけ方
4つのマスはちょうど2つのブロックにあり、行と列が揃っている必要があります。初期数字によって順番が決まっている場合は、デッドリーではありません。
デモ
解が1つのパズルでは、デッドリーパターンは許されません。2つのブロックにまたがって揃った4つのマスで、2つの数字を入れ替えると2つ目の解ができてしまう形です。
余分な候補を無視すれば、2つの数字でデッドリーレクタングルになる4つのマスを探しましょう。緑のマスはあと一歩でその形です。
ある候補が残ったままだと、2つの数字を入れ替えて2つ目の解が作れてしまいます。解が1つのパズルではありえません。このデッドリーパターンを避けることに4、7が関わっています。
この唯一性の議論がUnique Rectangleです。(解が1つのクラシック数独でのみ使いましょう。)
唯一性による除外を行いましょう(赤)(ここでは4、7)。それらの候補はデッドリーパターンを完成させてしまいます。
例1
余分な候補を含む、URのデッドリーパターンになりうる形(2つのブロック、揃った配置)を探しましょう。
このUnique Rectangleは2、3に関するものです。
唯一性による除外を適用しましょう(赤)(ここでは2、3)。それによって唯一の解が守られます。デッドリーパターンは許されません。
例2
余分な候補を含む、URのデッドリーパターンになりうる形(2つのブロック、揃った配置)を探しましょう。
このUnique Rectangleは1、4に関するものです。
唯一性による除外を適用しましょう(赤)(ここでは1、4)。それによって唯一の解が守られます。デッドリーパターンは許されません。