五目並べにおける「証明」とは、すべての変化を平均的に読み切ることではなく、相手がどのように応じても逃れられない道筋を見つけることです。活三、四追い、活四は道しるべにすぎません。本当に重要なのは、それらが必勝ルートとしてつながるかどうかです。
強い手から、証明できる強い手へ
多くの局面は、見た目には非常に鋭く見えます。盤上に活三があり、その近くに眠三の可能性もある、といった形です。しかし、強いことと勝つことは同じではありません。証明できる強い手には、次の脅威が相手に守りを強制し、その守りの後にも新たな強制点が残ることが求められます。
たとえば黒が横方向の活三を作ったとき、相手は必ず片側を止めなければならないのでしょうか。必ずしもそうではありません。白が同時に四追いを作れるなら、黒は自分の筋書きだけで進めることはできません。脅威を判断するときは、「相手の最強の反撃」も計算に入れる必要があります。
VCF：連続する四追いによる証明
VCF はしばしば「Victory by Continuous Four」、つまり連続して四を使って勝つこととして説明されます。その特徴は非常に直接的です。各手で四追いまたは活四を作り、相手が止めなければ次の手でただちに五連になります。
VCF の計算は比較的明快です。防守点がたいてい少ないからです。黒が四追いをかけると、白は指定された位置を止めるしかありません。黒がさらに別の筋で四追いをかけ、白はまた強制的に応じます。連鎖が途切れないかぎり、最後には白が両方を見きれない点が現れます。
これが、上級者がまず四を見てから三を見る理由でもあります。四は強制力が最も高く、局面を少数の分岐へ圧縮します。VCF の基本概念については、VCF and VCT concepts in gomokuを参照できます。
VCT：脅威を継続して先手を得る
VCT は「Victory by Continuous Threats」です。毎手が四である必要はなく、活三、双三、眠三から活三への転換などによって、対処を強制する脅威を継続的に作ることも含まれます。
VCT は VCF より広く、そのぶん難しくもあります。活三は多くの場合受ける必要がありますが、相手はより急所となる四を作り返すことを選ぶかもしれませんし、一手で守りながら反撃するかもしれません。そのため、VCT の証明では、より多くの防ぎ方を確認する必要があります。
VCF は細い橋のようなものです。相手は後退するしかありません。VCT は網のようなものです。重要なのは、すべての出口が脅威で覆われていると確認することです。
活三・活四は言葉であって、結論ではありません
「活三がある」と言うのは形を描写しているだけです。「この活三は必勝である」と言って初めて結論になります。その間に欠けている部分こそが脅威の手順です。相手がどこを防げば、自分は次にどこへ打つのか。相手が別の防ぎ方をした場合でも、先手を保てるのかを示す必要があります。
よくある誤判は、双活三をただちに勝勢だと見なすことです。ルールや局面によって相手の次の一手で活四ができるなら、双活三はむしろ遅い可能性があります。脅威の緊急度は、「五、活四、四追い、活三」という優先順位であらためて比較する必要があります。
より体系的な説明はThreat sequence theory in gomoku strategyにあります。脅威とは応答集合を伴う連続構造であり、孤立した石形だけではありません。
PNS：「証明できるか」を探索問題にする
PNS、すなわち Proof-number search は、ある目標を証明できるかどうかを判断するためによく用いられます。五目並べに当てはめるなら、目標は「この局面から黒に必勝の脅威手順が存在する」といったものになります。
PNS はすべての変化を平均的に展開するのではなく、証明に最も近い分岐、または反証に最も近い分岐を優先して調べます。ある攻撃点が、あと一つの重要な応手で閉じられるなら、探索はそこに集中します。ある防守がすべての脅威を壊せるなら、それも優先的に検証されます。
これにより、「証明」がなぜ力任せの総当たりよりも読みの感覚に近いのかが分かります。証明はより目的を持って読み、どの分岐が成立に最も近いのか、あるいは覆されることに最も近いのかを優先して問いかけます。関連する方法については、Proof-number search in gomokuを参照できます。
一本の必勝ルートが満たすべきこと
第一に、各手の脅威が十分に急所であることです。相手が手抜きしてより大きな脅威を作れるなら、そのルートは途切れます。第二に、防守分岐が完全であることです。相手が「普通は左を止める」とだけ証明しても意味はありません。右を止める、反対に四追いをかける、兼ねて防ぐ、といった場合でも不可能であることを示す必要があります。
第三に、最後は明確な勝ち形へ収束しなければなりません。五連、同時には防げない双四、または連続する四の終端です。収束点のない攻撃は圧力であって、証明ではありません。
検討から証明感覚を鍛える
証明感覚を鍛えるには、短い VCF から始めるとよいです。連続する四だけを探すように限定し、三手から五手ほどの強制連鎖を素早く見つけられるようにします。その後で活三を加え、どの三が本当に受けを強制するのか、どれが単に形として見栄えがよいだけなのかを判断する練習をします。
一部の対局プログラムやアーキテクチャのメモも、このような階層化を重視しています。まずパターン認識で候補となる脅威を見つけ、次に探索で強制手順を検証するという流れです。Starpoint and TKGOMOKU architecture notes from Gomocup 2026を参照できます。
棋士にとって価値があるのは、用語そのものではなく考え方です。すべての活三について、それが続くのかを問い、すべての四追いについて、それが唯一の応手を強制しているのかを問い、すべての攻撃線について、相手の最も粘り強い防守に耐えられるのかを確かめる必要があります。