エグゾセグループXサイクルエンプティレクタングルフィン付きX-ウィングフィン付きソードフィッシュAIC(オルタネーティング インファレンス チェーン)スゥ-ド-クディジット フォーシング チェーン西尾 フォーシング チェーンセル フォーシング チェーンユニット フォーシング チェーンALSデスブロッサムパターンオーバーレイメソッド
グループXサイクル X-サイクルは1つの数字1つのセルでチェーンをつないで行くのですが、いくつかの数字をグループにして考えるバージョンです。
上の場合はXサイクルだと弱リンクとなりますが左の2つを1つの数字と考えるとグループXサイクルでは強リンクになります。
上の場合は上段2つと中段1つが強リンクとして考えます。また左列2つと中央の列1つも強リンクです。
グループにする数字があると候補が増える分X-サイクルよりもたくさんの可能性が広がります。 具体的にはX-サイクル同様 強リンク->弱リンク->強リンク->弱リンクとつないでいき最初のセルに戻るチェーンを探します。 最後だけは弱リンクでも構いません。そうすることによって、 [1]=強=>[1]=弱=>[1,1]=強=>[1]=弱=>[1]=強=>[1,1]=弱=>[1](OFFスタート) [1]=強=>[1]=弱=>[?,?]=強=>[?]=弱=>[?]=強=>[1,1]=弱=>[1](ONスタート) の2パターンが考えられいずれの場合も[1]を削除できるセルを探します。 最後のセル=最初のセルなのでONスタートの場合逆回りも考えます。最後のセルのとなりはOFFとなります。
例:下図は[1]のグループXサイクルです。Xサイクル同様スタートに[1]が入らない場合チェーンがつながり1周します。 [R1C3]=強=>[R7C3]=弱=>[R7C7,R7C8]=強=>[R8C7]=弱=>[R3C7]=強=>[R3C1,R3C2]=弱=>[R1C3]で スタートがOFFの時のONになるチェーン:[R7C3][R8C7][R3C1,R3C2]と スタートONの時[R1C3]のどちらの場合も共通で削除できるセルが発生します。 問題を解くときはメモ機能を活用しましょう。
グループXサイクル
ABC...はチェーンの順番です。
いずれの場合も[R1C1][R1C2]には[1]は入れません
ルール2 Xサイクル・グループXサイクルどちらも最後は弱リンクでいいのですがもし強リンクでしかもチェーンの数が奇数の場合ルール2が成立します。 [1]=強=>[1]=弱=>[1,1]=強=>[1]=弱=>[1]=強=>[1,1]=弱=>[1]=強=>[1](OFFスタート) 最後のセル=最初のセルなので最初OFFでスタートしているにもかかわらず最後がONになってしまいます。 矛盾するので最初がOFFということにはならずに最初のセルは[ON]で確定します。
ルール3 Xサイクル・グループXサイクルどちらも最後は弱リンクでいいので、[弱]=>[弱]となる場合がでてきます。上と同様チェーンの数が奇数の場合で最後が[弱]=>[弱]の場合ルール3が成立します。 [1]=強=>[1]=弱=>[1,1]=強=>[1]=弱=>[1]=強=>[1,1]=弱=>[1]=弱=>[?](OFFスタート) [1]=強=>[1]=弱=>[?,?]=強=>[?]=弱=>[?]=強=>[?,?]=弱=>[1]=弱=>[1](ONスタート) 最後のセル=最初のセルなのでONスタートの場合逆回りも考えます。最後のセルのとなりはOFFとなります。 OFFスタートでもONスタートでも[弱]=>[弱]で挟まれた最後のセルの1つまえは必ず[OFF]になります。
TINY24さんからのアドバイスをいただきプログラムを作ったのですが、実装するのにとんでもなく時間がかかりました。チェーンは作れてもsudokuwikiの回答を再現しなかったり修正すると前に動いていたのが解けなくなったりです。 プログラム的に難しかったのですが、グループをある方向から見る場合1つのセルのように考えるというアドバイスで考えをまとめることができました。 ただX-サイクルのルール2・ルール3を見落としていてので結局X-サイクルに戻っての修正となりました。ついでにWXYZのバグも出てきて苦労しただけに思い入れも強くなりました。 まずは強リンク・弱リンクの数を数えて強リンク・弱リンクが多いものから当たっていきます。チェーンの長さは10未満にしました。 さらにチェーンの長さを考慮に入れつつ優先するチェーンを探しています。ルール3は後回しで検索するようになっています。 それでもsudokuwikiの最後の例題はほかのチェーンを先に見つけてしまい解けませんでした。このチェーンを見つけるよう調整するとこんどは他の例題がおかしくなりました。
グループXサイクルのルール2で[8]が:[R4C1]=強=>[R3C1]=弱=>[R1C2]=強=>[R1C8]=弱=>[R2C7]=強=>[R5C7]=強=>[R4C8]=強=>[R4C1]で成立 チェーンの数が奇数で最後が強リンクのためスタートがOFFの時一周するとスタートがONになり矛盾します そのためスタートセルは[8]で確定します。
グループXサイクルのルール3で[5]が:[R1C4,R1C5]=強=>[R1C2]=強=>[R7C2]=強=>[R7C6]=弱=>[R3C6]=弱=>[R1C4,R1C5]で成立 チェーンの数が奇数で最後と最後から2つめが弱リンクのためスタートがOFFでもONでも[R2C5]に[5]を入れることはできません。