エクストリーム問題

エンプティレクタングル
文字より下の具体例の説明を最初に読んでもらった方がわかりやすいと思います。
9つのBOX単位に考えます。BOX内で縦横2本のラインが通っている時。[T]字か[L]字か[十]字の形になります。
例えば[1]のラインができているときBOX内では縦方向か横方向(あるいは両方)のどこかに[1]が来ます。そこまでは当たり前です。
どちらかの延長線上に[1]が入ると[1]が入れない2択のセル[X]があり、もう片方の延長線上に[1]が入ったセル[Z]があるとして、[X]と[Z]の交点に[X]の強リンクがあり[1]が入る時、[Z]から[1]を削除できます。

例:下図が具体例です。ピンクのセルが[9]のエンプティレクタングルです。
横のラインのどこかに[9]が来ると延長線上の[R3C7]のセルに[9]は入れず、強リンクの下の[R6C7]に[9]が入ります。ということは[R6C2]に[9]は入れません。
横のラインのどこかに[9]が来るとその真下の[R6C2]に[9]は入れません。
いずれにしても[R6C2]に[9]は入れないので削除することができます。※エンプティレクタングルはグループXサイクルでも解けます。

7   
4 6
  9
2   
4 6
  9
5   
4 6
   
  3
   
 8 
  3
   
 8 
1
8   
 56
  9
31 2 
  6
7 9
 2 
  6
7  
4 2 
 56
7 9
 2 
 56
7 9
   
4 6
  9
1   
45 
  9
3 2 
4  
7 9
8   
   
7 9
 2 
 56
7 9
 2 
 56
7 9
3   
4 6
7 9
85   
4 6
  9
12   
4 6
7 9
   
4 6
7 9
   
4 6
  9
   
456
7 9
   
45 
  9
 2 
4 6
  9
8 2 
4 6
   
1   
456
7 9
3
2   
456
  9
17   
4 6
  9
3   
   
 89
   
456
 89
   
456
 89
586 2 
4  
   
19  3
   
7  
 23
4  
7  
 2 
4  
7  
1  
4  
  9
3   
4  
  9
 2 
4 6
 8 
 2 
4 6
7  
 2 
4 6
7  
512 
4  
 89
 2 
4  
 89
1  
4  
  9
27   
4  
 8 
3561  
4  
 89
   
4  
 89
成立条件
  • BOX内で縦横2本のラインが通っている時。[T]字か[L]字か[十]字の形になっている。
  • 片方の延長線上にターゲットとする候補の弱リンクがある。セル[X]
  • もう片方の延長線上にターゲットとする候補がある。セル[Z]
  • セル[X]と[Z]の交点セル[Y]はセル[X]の強リンクとなっていてセル[X]にターゲット候補が入らない時セル[Y]にその候補が入る

なんとも不思議なテクニックです。強力に便利かと言われるとそうでもなくグループXサイクルをマスターしていれば代用が効きます。
とはいえ条件がはっきりしているのでチェーンが苦手な人(みなさん苦手だと思いますが・・・)は覚えておいていいテクニックです。
でもあんまり出てこないので優先順位は低いでしょう。

下図のように2つの候補を消すことができるエンプティレクタングルもあります

7   
4 6
  9
2   
4 6
  9
5   
4 6
   
  3
   
 8 
  3
   
 8 
1
8   
 56
  9
31 2 
  6
7 9
 2 
  6
7  
4 2 
 56
7 9
 2 
 56
7 9
   
4 6
  9
1   
45 
  9
3 2 
4  
7 9
8   
   
7 9
 2 
 56
7 9
 2 
 56
7 9
3   
4 6
7 9
85   
4 6
  9
12   
4 6
7 9
   
4 6
7 9
   
4 6
  9
   
456
7 9
   
45 
  9
 2 
4 6
  9
8 2 
4 6
   
1   
456
7 9
3
2   
456
   
17   
4 6
  9
3   
   
 89
   
456
 89
   
456
 89
586 2 
4  
   
19  3
   
7  
 23
4  
7  
 2 
4  
7  
1  
4  
  9
3   
4  
  9
 2 
4 6
 8 
 2 
4 6
7  
 2 
4 6
7  
512 
4  
 89
 2 
4  
 89
1  
4  
  9
27   
4  
 8 
3561  
4  
 89
   
4  
 89