強い位置ゲーム(メイカー・メイカーゲームとも呼ばれる)は、位置ゲームの一種である。[ 1 ]: 9-12ほとんどの位置ゲームと同様に、位置の集合によって記述される()とその勝利セットのファミリー(- サブセットのファミリーこれは、ファーストとセカンドと呼ばれる2人のプレイヤーによってプレイされ、交互にまだ誰もいないポジションを取っていきます。
位置取りが重要なゲームでは、勝利に必要なすべての要素を最初に揃えたプレイヤーが勝者となります。すべての位置が埋まり、どちらのプレイヤーも勝てなかった場合は引き分けとなります。古典的な三目並べは、位置取りが重要なゲームの一例です。
強い局面ゲームでは、セカンドは必勝戦略を持つことができません。これは戦略盗用論証によって証明できます。セカンドが必勝戦略を持っていた場合、ファーストはそれを盗んで勝つこともできたはずですが、勝者は1人しかいないため、これは不可能です。[ 1 ]: 9したがって、すべての強い局面ゲームには、ファーストが必勝戦略を持っているか、セカンドが引き分け戦略を持っているかの2つの選択肢しかありません。
興味深い帰結として、あるゲームに引き分け局面が存在しない場合、先手側には必ず必勝戦略が存在するということが挙げられる。
強力な局面ゲームには必ず、メーカー・ブレーカー方式のバリエーションが存在する。この方式では、先手プレイヤー(「メーカー」)のみが必勝セットを保持することで勝利できる。後手プレイヤー(「ブレーカー」)は、メーカーが必勝セットを保持するのを阻止することでのみ勝利できる。
固定の場合そして強い位置付けのバリアントは、最初のプレイヤーにとって明らかに難しくなります。なぜなら、このバリアントでは、最初のプレイヤーは「攻撃」(勝ちのセットを得ようとする)と「防御」(2番目のプレイヤーが勝ちのセットを得ないようにする)の両方を行う必要があるのに対し、メーカーブレーカーのバリアントでは、最初のプレイヤーは「攻撃」だけに集中できるからです。したがって、強い位置付けのゲームにおける最初のプレイヤーの勝ち戦略はすべて、対応するメーカーブレーカーのゲームにおけるメーカーの勝ち戦略でもあります。その逆は真ではありません。たとえば、三目並べのメーカーブレーカーのバリアントでは、メーカーには勝ち戦略がありますが、その強い位置付け(クラシック)のバリアントでは、2番目のプレイヤーには引き分け戦略があります。[ 2 ]
同様に、強位置戦は2番目のプレイヤーにとって明らかに容易である。メーカー・ブレーカー戦におけるブレーカーの勝利戦略はすべて、対応する強位置戦における2番目のプレイヤーの引き分け戦略でもあるが、その逆は真ではない。
まず、First が勝利戦略を持っているとします。次に、新しいセットを追加します。直感に反して、この新しいセットによって勝利戦略が崩壊し、ゲームが引き分けになる可能性がある。直感的には、その理由は、ファーストがセカンドがこの追加のセットを所有するのを阻止するためにいくつかの手を費やす必要があるかもしれないからである。[ 3 ] [ 4 ]
追加セットのパラドックスは、メーカー・ブレーカーゲームには現れない。
クリークゲームは、強力な位置ゲームの一例です。これは、2つの整数nとNによってパラメータ化されます。その内容は次のとおりです。
ラムゼーの定理によれば、ある数 R(n,n) が存在し、N > R(n,n) の場合、{1,...,N} 上の完全グラフの任意の 2 色付けにおいて、いずれかの色にサイズ n のクリークが含まれる。
したがって、上記の系により、N > R(n,n) の場合、First は常に勝利戦略を持つ。[ 1 ] : 10
長さnのd次元立方体で行われる三目並べを考えてみましょう。ヘイルズ・ジュエットの定理によれば、d が十分に大きい場合 ( nの関数として)、立方体のセルの 2 色付けには必ず単色の幾何学的線が含まれます。
したがって、上記の系により、第一は常に必勝戦略を持つ。
これらの存在論的結果の他に、強位置ゲームに関連する構成論的結果はほとんどない。例えば、十分大きなクリークゲームでは先手プレイヤーが必勝戦略を持つことは知られているが、具体的な必勝戦略は現在知られていない。[ 1 ]: 11-12