フォーシングチェーンは Sudoku パズルを解くための上級戦略ですが、その背後にあるシンプルな論理を理解すれば、このテクニックは簡単に使えるようになります。Sudoku のカラーリングと同様に、フォーシングチェーンの Sudoku テクニックとは、あるマスから始めて「もし〜なら」というシナリオの連鎖を作り、答えの真偽を強制的に導くことを意味します。
交互推論チェーン（AIC）の一種であるフォーシングチェーンでは、開始マスの各候補をそのマスの答えだと仮定し、それぞれの候補によって生まれる答えの連鎖反応を追っていきます。セル・フォーシングチェーンからデジット・フォーシングチェーンまで、この論理的な試行錯誤（当てずっぽうではありません）は、候補の確定や削除に役立ちます。
フォーシングチェーンは、使うのが難しいSudoku 戦略ではありませんが、チェーンが長くなり、複数の「もし〜なら」シナリオが関わると、論理が複雑になることがあります。それでも論理に沿って進めれば、スキルを高め、難しい Sudoku パズルやエキスパート Sudoku パズルをさらに速く解けるようになります。
フォーシングチェーンで起こり得る結果
フォーシングチェーンは、見つける「パターン」ではありません。代わりに、論理的な結論を使って候補を確定または削除します。フォーシングチェーンのテクニックを始めるマスを特定したら、そのマスの各候補が答えであると順番に仮定します。そして、「もし〜なら」の連鎖を別のマスへたどります。フォーシングチェーンを使うと、さまざまな結果につながる可能性があります。
- 最初のマスの選択肢が、チェーンの最後のマスについて同じ結論にたどり着く場合、その結論は最後のマスに対して真でなければならないことを証明できます。 つまり、どの候補から始めても最後のマスの答えが 3 になるなら、その最後のマスの答えは 3 だと確定でき、そのマスから他の候補を削除できます。
- 経路が同じ最後のマスの中で異なる結論にたどり着く場合、その最後のマスの候補を絞り込めます。 なぜなら、その最後のマスはそれらの候補のいずれかでなければならないことを証明できたからです。始めた各候補が最後のマスに対して異なる答えを示した場合、それらの答えだけがそのマスの可能な候補だと分かります。そのマスから追加の候補を削除できます。
- 選択肢が矛盾を生む場合、最初に使った候補は削除しなければならないと分かります。 それは論理の破綻につながるからです。
フォーシングチェーン Sudoku テクニックの使い方
フォーシングチェーンの解法テクニックを使える有効な機会を見つけるには、パズル全体でメモを使ってすべての可能な候補を記入し、他の戦略をすべて試し尽くしておく必要があります。
最もシンプルな形では、1 つの二値マス（候補が 2 つだけのマス）から始めますが、候補が 3 つ以上あるマスを使うこともできます。ただし、論理を追うのが少し複雑になります。
マスに候補がいくつあるかに関係なく、二値マスを例にして、結論を強制したり削除を見つけたりするには、次の手順に従います。
- 開始マスを探します。 答えの連鎖反応を作れそうなマスを見つけます。候補が 2 つだけの二値マスが最もシンプルです。なぜなら、その 2 つの数字のどちらかが必ずそのマスの答えであると分かるからです。たとえば、C1 には候補が 2 つ（5、8）だけあります。
- そのマスの数字の 1 つに基づいて結論を導きます。 まず、1 つの数字が答えであるという最初の仮定を立て、それがパズル内の他のマスにどのような影響を与えるかを見ます。チェーンを別の紙、表、またはスプレッドシートに記録しておくと役立ちます。
たとえば、5 が C1 の答えなら、C4 は 1 でなければなりません。C4 が 1 なら、A4 は 6 でなければなりません。A4 が 6 なら、A9 は 4 でなければなりません。A9 が 4 なら、A3 は 9 でなければならず、そこでチェーンは終了します。 - そのマスの他の数字に基づいて結論を導きます。 1 つの数字に基づいて答えがどうなるか分かったら、次の目的は、そのマスの他の数字で同じ手順を繰り返し、同じ答えになるのか、それとも別の結果になるのかを確認することです。同じ経路をたどるとは限らず、チェーンが短くなったり長くなったりすることもあります。
たとえば、二値マスには、使うべき候補があと 1 つだけあります。8 が C1 の答えなら、7 が C3 の答えでなければなりません。7 が C3 の答えなら、9 が C6 の答えでなければなりません。9 が C6 の答えなら、7 が A6 の答えでなければなりません。7 が A6 の答えなら、4 が A8 の答えでなければなりません。4 が A8 の答えなら、9 が A3 の答えでなければなりません。 - 候補を確定または削除します。 開始マスのすべての候補が最後のマスで同じ結論にたどり着くなら、その結論は真でなければなりません。たとえば、両方の候補によって A3 の答えが 9 だと分かりました。これは、フォーシングチェーンで起こり得る結果を 1 つだけ示すシンプルな例です。次のセクションの例では、さらに多くの可能性を示します。
フォーシングチェーン Sudoku テクニックの例
フォーシングチェーンはパターンではなく、パズル内で発生し得るチェーンもいくつか異なるため、行動を決めるのは結論であることを覚えておく必要があります。論理的な答えをたどり、全体の結論を記録することで、Sudoku パズルの候補を削除または確定できます。
フォーシングチェーン：同じ結果
最初の例では、二値の開始マスが、どちらの候補から始めても同じ答えに至る様子を示しました。ただし、「同じ結果」は常に答えの確定を意味するわけではありません。すべての仮定が同じ結論、つまりある候補は最後のマスの答えになり得ないという結論に至る場合、フォーシングチェーンによって候補を削除することもできます。
フォーシングチェーンが削除について同じ結果に至った場合に何をすべきかを理解するには、次の手順に従ってください。
- 開始マスを探します。 候補が 2 つだけの二値マスを使うと素早く始められますが、パズル内のどのマスを使ってもかまいません。たとえば、B2 には候補が 2 つ（3、9）だけあります。
- そのマスの数字の 1 つに基づいて結論を導きます。 最初の可能な候補から始め、その候補がそのマスの答えだった場合にどのような連鎖反応が起こるかを考えます。
たとえば、B2 の答えが 3 なら、C3 の答えは 5 でなければなりません。C3 の答えが 5 なら、C9 の答えは 9 でなければなりません。C9 の答えが 9 なら、I9 の答えは 8 でなければなりません。I9 の答えが 8 なら、I4 の答えは 2 でなければなりません。I4 の答えが 2 なら、E4 の答えは 1 でなければなりません。E4 の答えが 1 なら、D4 は E4 と同じ 3x3 ブロックを共有しているため、1 は D4 の答えになれません。 - そのマスの他の数字に基づいて結論を導きます。 ここで、開始マスのもう一方の数字を使い、それが答えだと仮定できます。そして、その連鎖反応から得られる結論を見ます。
たとえば、B2 が 9 なら、B6 は 1 でなければなりません。B6 が 1 なら、I6 は 5 でなければなりません。I6 が 5 なら、I1 は 4 でなければなりません。I1 が 4 なら、D1 は 1 でなければなりません。D1 が 1 なら、D4 は 1 になれません。 - 候補を確定または削除します。 開始マスのすべての候補が同じ結論にたどり着くか確認します。その場合、その結論は真でなければなりません。たとえば、B2 の両方の候補から、1 は D4 の候補になれないという結論になりました。どちらも同じ結論に至ったため、それは真でなければならず、D4 から 1 を削除できます。
フォーシングチェーン：異なる結果
フォーシングチェーン Sudoku テクニックを使うと、最初の仮定がすべて異なる結果につながることに気づく場合があります。この場合、考えられる結論は、確定した候補すべてがそのマスの唯一の可能な候補であるということです。
フォーシングチェーンが異なる結果を返したときに何をすべきかを理解するには、次の手順に従ってください。
- 開始マスを探します。 パズル内で多くの連鎖反応を作るのに役立ちそうなマスを選びます。たとえば、E7 には候補が 2 つ（1、5）だけあり、始点として使いやすいです。
- そのマスの数字の 1 つに基づいて結論を導きます。 フォーシングチェーンを使うときはいつでも、数字の 1 つがそのマスの答えであると仮定し、その後に続く結論を考えます。
たとえば、E7 の答えが 1 だと仮定すると、B7 は 3 でなければなりません。B7 が 3 なら、C9 は 8 でなければなりません。C9 が 8 なら、C2 は 7 でなければなりません。C2 が 7 なら、H2 は 6 でなければなりません。 - そのマスの他の数字に基づいて結論を導きます。 残りのすべての数字で同じ手順を繰り返す必要があります。残っている各数字が答えであると仮定し、その結果を考えます。
たとえば、E7 の答えが 5 なら、I7 は 9 でなければなりません。I7 が 9 なら、I3 は 6 でなければなりません。I3 が 6 なら、I3 と同じ 3x3 ブロックを共有しているため、H2 は 7 でなければなりません。 - 候補を確定または削除します。 開始マスの両方の候補が最後のマスで異なる結論に至る場合、その両方の結論が真である可能性があると分かります。この例では、E7 の各候補が H2 で異なる答えにつながりました。したがって、6 と 7 はどちらもそのマスの可能な候補であり、どちらも削除できないと確信できます。
フォーシングチェーン：論理の矛盾
フォーシングチェーンによるもう 1 つの結果として、チェーンの最後の答えが論理の矛盾を引き起こし、パズルの論理を破綻させることがあります。矛盾が起きた場合、それは開始マスから答えとして使った候補がそのマスの答えにはなれないことを意味し、その候補を削除できます。
以下の例では、チェーンによって、すでに I9 に 2 の答えが入っているブロックへ 2 が強制されることで矛盾が発生します。この候補は答えとの衝突に気づくだけでも削除できますが、チェーンを通じて矛盾をたどることで、フォーシングの論理がどのように働くかが分かり、見落としがちな削除を確認する助けになります。
次の手順に従ってください。
- 開始マスを探します。 どのフォーシングチェーンでも同じように、答えの連鎖反応を作れる可能性が高いマスを探します。たとえば、B3 には候補が 2 つ（4、6）だけあります。
- そのマスの数字の 1 つに基づいて結論を導きます。 まず、1 つの候補がそのマスの答えであると仮定します。たとえば、4 が B3 の答えなら、C1 は 5 でなければなりません。C1 が 5 なら、C7 は 1 でなければなりません。C7 が 1 なら、G7 は 2 でなければなりません。しかし、G7 は I9 と同じ 3x3 ブロックを共有しており、I9 にはすでに 2 があるため、2 にはなれません。
- 候補を確定または削除します。 たどり着いた結論が論理の矛盾を生む場合、最初に使った候補を削除できると分かります。たとえば、B3 が 4 だと 1 つの 3x3 ブロックに 2 が 2 つ入る結果となり、Sudoku パズルの論理が破綻するため、B3 は 4 になれません。したがって、B3 から 4 を削除し、6 を答えとして残すことができます。
オンラインで Sudoku をプレイしていて、いくつかの上級戦略を使った後に行き詰まった場合は、フォーシングチェーンを利用して、パズル内の候補をさらに削除したり答えを確定したりできます。ほとんどの解き手は、上級手法を使い尽くした後にこの Sudoku 解法テクニックを使うため、当サイトの難しい Sudoku パズルでフォーシングチェーンを練習し、さらにアーカイブを探索してより多くの練習を積むとよいでしょう。
