エキスパート問題

X-サイクル
1つの数字で強リンク・弱リンクで1周します。(図の下に説明)2つのリンクを作ると共通で削除できるセルができあがります。
例:下図ではX-サイクル(x-cycles):3が:[R2C1]=強=>[R2C6]=弱=>[R5C6]=強=>[R5C3]=強=>[R3C3]=弱=>[R2C1]で成立しています。
[R2C1]か[R5C3]のどちらかに必ず[3]が入ります。どちらに[3]が来ても[R3C3]と[R4C1]に3は入ることができません。
問題を解くときはメモ機能を活用しましょう。

強リンク:行にその数字が2つしかない場合片方がその数字だともう片方にはその数字がはいりません。

 2 
  6
7  
   
456
   
   
45 
7  
8 2 
   
7  
9   
4 6
7  
31

弱リンク:行にその数字が3つ以上あると、1つに入らないことがわかっても、その数字がどこに入るかはわかりません。

   
  6
7  
1   
4  
7  
28   
4 6
7  
953

しかし1つにその数字が決まると残りにその数字は入りません。入らないセルに別の強リンクがあればそちらにその数字は入ることになります。

   
  6
7  
1   
4  
7  
28   
4 6
7  
953

ルール2
最後は弱リンクでいいのですがもし強リンクでしかもチェーンの数が奇数の場合ルール2が成立します。
[]=強=>[1]=弱=>[]=強=>[1]=弱=>[]=強=>[1]=弱=>[]=強=>[1](OFFスタート)
最後のセル=最初のセルなので最初OFFでスタートしているにもかかわらず最後がONになってしまいます。
矛盾するので最初がOFFということにはならずに最初のセルは[ON]で確定します。

ルール3
最後は弱リンクでいいので、[弱]=>[弱]となる場合がでてきます。上と同様チェーンの数が奇数の場合で最後が[弱]=>[弱]の場合ルール3が成立します。
[]=強=>[1]=弱=>[]=強=>[1]=弱=>[]=強=>[1]=弱=>[]=弱=>[?](OFFスタート)
[1]=強=>[]=弱=>[?]=強=>[?]=弱=>[?]=強=>[?]=弱=>[]=弱=>[1](ONスタート)
最後のセル=最初のセルなのでONスタートの場合逆回りも考えます。最後のセルのとなりはOFFとなります。
OFFスタートでもONスタートでも[弱]=>[弱]で挟まれた最後のセルの1つまえは必ず[OFF]になります。

成立条件
  • 1つの数字で強・弱・強・弱というように1周するようなリンクを探していく(弱は強でもかまわない)
  • 強リンクが多い数字で試すと見つけやすい
  • チェーンの数が奇数なら最後が強リンクの場合最初のセルは[OFF]となる(ルール2)
  • チェーンの数が奇数なら最後が弱リンクの場合最最後のセルの1つ前は[OFF]となる(ルール3)
  • 強リンク弱リンクはよく出てくるので覚えておきましょう

シングルチェーンにひきつづき2つめのチェーン系です。いまのところ1つの数字に絞っていますが強リンクであればどんな数字でもこういう考え方はできます。 そのようにもっと強力で強烈なチェーン系がたくさんあるのですが、なかなか見つけるのが難しいですね。

上の例で[R2C1]が[3]の場合は下のようになる

 2 
  6
7  
   
456
   
   
45 
7  
8 2 
   
7  
9   
4 6
7  
31
 23
   
   
   
4  
7  
156 23
   
   
   
4  
7  
98
  3
  6
7 9
8  3
   
7 9
4  3
   
7  
1   
  6
7  
25
  3
  6
  9
   
4 6
  9
2  3
  6
   
5  3
4 6
   
187
8   
 5 
7  
  3
 5 
7  
19  3
   
7  
246
   
  6
7  
1   
4  
7  
28   
4 6
7  
953
52   
   
7 9
   
   
7 9
18364
1  3
   
  9
6  3
   
  9
45872
4  3
   
7  
8  3
  6
7  
 23
   
   
 23
  6
   
519

上の例で[R2C1]が[3]ではない場合は下のようになる

 2 
  6
7  
   
456
   
   
45 
7  
8 2 
   
7  
9   
4 6
7  
31
 23
   
   
   
4  
7  
156 23
   
   
   
4  
7  
98
  3
  6
7 9
8  3
   
7 9
4  3
   
7  
1   
  6
7  
25
  3
  6
  9
   
4 6
  9
2  3
  6
   
5  3
4 6
   
187
8   
 5 
7  
  3
 5 
7  
19  3
   
7  
246
   
  6
7  
1   
4  
7  
28   
4 6
7  
953
52   
   
7 9
   
   
7 9
18364
1  3
   
  9
6  3
   
  9
45872
4  3
   
7  
8  3
  6
7  
 23
   
   
 23
  6
   
519

[R3C3][R4C1]はどのリンクでも共通して入らない。また[R5C3]はどっちでも[3]なので確定で良い。