エクストリーム問題

セル フォーシング チェーン
フォーシングチェーン(強制連鎖)の第三弾です。
3択から4択のセルに注目。候補の数だけONのチェーンを作ります。(弱リンクも考慮に入れる)
ディジットフォーシングチェーンと同じで全てのチェーンで共通で削除できる候補を削除することができます。
もし1セルに全てのチェーンで候補が入った場合はそれ以外の数字を削除でます。ほかにもパターンがあり下図にまとめます。
ちなみに2択だと1つの数字のON・OFFでチェーンを作るディジットフォーシングチェーンと同じとなります。
さらに4択の場合はクアッドフォーシングチェーンというようです。

具体例は下図のようになります。オリジナル例が難しくて作れませんでした。引用SudokuWiki.org

このテクニックもほかの強制連鎖と同様に他のテクニックで解けてしまうことが多いです。サンプル問題もいちおうセルフォーシングチェーンを使う機会はでてくるのですが、実際には使わず解けてしまいます。

成立条件
  • 3択・4択のセルの候補でチェーンを作る
  • 数字にこだわらずチェーンをつくる(弱リンクも考慮に入れる)
  • 全てのチェーンでも同じセルに同じ候補が残った=>確定
  • 全てのチェーンでも同じセルに入らない数字が出てくる=>削除決定
  • 全てのチェーンでも同じセルに2つの候補が入る=>残りを削除
  • 全てのチェーンでも共通で削除できる候補がある

三択でチェーンが50個づつできてしまうとたいへんな回数を試すことになってしまいます。ナンプレラボではチェーンの長さを5までに制限してなんとか解けるようにしています。

他の例をあげるのが難しいのでチェーンまとめです。

AIC(オルタネーティング インファレンス チェーン)

強リンク・弱リンク・セル内の1つの数字のON/OFFで最後に元の位置に戻るチェーンを作る。 X-cycleの数字にこだわらない版ループになってる

ディジット フォーシング チェーン

一つのセルの一つの数字に注目。 ONとOFFの2つのチェーンを作る。弱リンクも考慮に入れる 共通で削除できる候補を削除する 1セルにONでもOFFでも入った場合はそれ以外の数字を削除できる Alternating Inference Chainsの一周しない版

西尾 フォーシング チェーン

一つのセルの一つの数字に注目。 ONとOFFでためす。弱リンクも考慮に入れる。 ONで矛盾が出たらその候補はない OFFで矛盾が出たらその候補が確定 Digit Forcing Chainsのエラー部分を切り出した感じ

セル フォーシング チェーン

一つのセルの複数の数字に注目。弱リンクも考慮に入れる 共通で削除できる候補を削除する 2択セルのそれぞれの数字がONの場合のチェーンを作成。(2択の場合はDigit Forcing Chainsと同じ) 3択セルのそれぞれの数字がONの場合のチェーンを作成。 4択セルのそれぞれの数字がONの場合のチェーンを作成。

ユニット フォーシング チェーン

行または列の1つの数字に注目。行に[8]が3つでるなら3つのチェーンを作る 弱リンクも考慮に入れる。共通で削除できる候補を削除する2つか3つか4つで動かす