ナンプレ(数独)無料ゲーム

スポンサーリンク

TOP > テクニック > AIC(オルタネーティング インファレンス チェーン)

ナンプレ(数独)のテクニック30

AIC(オルタネーティング インファレンス チェーン)
X-サイクルの数字にこだわらない版です。X-サイクルは1つの数字でしたがAICでは数字が変わってもいいので強リンク・弱リンクで1周します。(図の下に説明)
下図では[R8C4]=強=>[R8C8]=弱=>[R8C8]=強=>[R6C8]=弱=>[R4C7]=強=>[R4C5]=弱=>[R4C5]=強=>[R9C5]=弱=>[R8C4]でAICが成立しています。
(数字が変わるときはセル内で変わります)またチェーンの数が奇数ですので逆順に回しても数字が確定します。
下図は
[1]=強=>[1]=弱=>[9]=強=>[9]=弱=>[9]=強=>[9]=弱=>[1]=強=>[1]=弱=>[1]のチェーンです。
もしスタートがOFFならば
[1]=強=>[1]=弱=>[9]=強=>[9]=弱=>[9]=強=>[9]=弱=>[1]=強=>[1]=弱=>[1]となります。
もしスタートがONならば
[1]=強=>[?]=弱=>[?]=強=>[?]=弱=>[?]=強=>[?]=弱=>[?]=強=>[?]=弱=>[?]でわからなくなるのですが
逆回りに考えると
[1]<=強=[1]<=弱=[9]<=強=[9]<=弱=[9]<=強=[9]<=弱=[1]<=強=[1]<=弱=[1]となります
ということはどちらのチェーンになったとしても[R4C5]と[R8C8]は共通で入れない数字が出てきます。


強リンク:行にその数字が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周するようなリンクを探していく(弱は強でもかまわない)
  • ON・OFFどちらのチェーンでも共通で削除できる候補がある(ルール1)
  • チェーンの数が奇数なら最後が弱リンクとなるので逆回りでも数字が確定する
  • チェーンの数が奇数なら最後が強リンクの場合最初のセルは[OFF]となる(ルール2)
  • チェーンの数が奇数なら最後が弱リンクの場合最最後のセルの1つ前は[OFF]となる(ルール3)

X-サイクルよりも数字にこだわらない分可能性が広くなります。しかし正直どうやってチェーン作るんだという感じになりますね。
X-サイクルがつかえる人はバリエーションとして覚えておけばいいと思います。
今後もフォーシングチェーンが4つ出てきますがチェーンは難しいですねぇ。

AIC ルール2
[R4C6]=強=>[R4C1]=弱=>[R4C1]=強=>[R9C1]=弱=>[R8C2]=強=>[R8C6]=弱=>[R8C6]=強=>[R4C6]で成立
チェーンの数が奇数で最後が強リンクのためスタートがOFFの時一周するとスタートがONになり矛盾します
そのためスタートセルは[9]で確定します。


ナンプレ(数独)のマスの名前

R1C1R1C2R1C3R1C4R1C5R1C6R1C7R1C8R1C9
R2C1R2C2R2C3R2C4R2C5R2C6R2C7R2C8R2C9
R3C1R3C2R3C3R3C4R3C5R3C6R3C7R3C8R3C9
R4C1R4C2R4C3R4C4R4C5R4C6R4C7R4C8R4C9
R5C1R5C2R5C3R5C4R5C5R5C6R5C7R5C8R5C9
R6C1R6C2R6C3R6C4R6C5R6C6R6C7R6C8R6C9
R7C1R7C2R7C3R7C4R7C5R7C6R7C7R7C8R7C9
R8C1R8C2R8C3R8C4R8C5R8C6R8C7R8C8R8C9
R9C1R9C2R9C3R9C4R9C5R9C6R9C7R9C8R9C9

Rは行(Y軸)、Cは列(X軸)となっています。(Row、Column)

ナンプレ京(数独)
TOP
閉じる
閉じる