M,n,k-ゲーム

***m'',''n'',''k''-ゲーム'''とは、[[三目並べ]]や[[五目並べ]]のようなゲームを[[一般化]]したもので、2人のプレイヤーが''m''×''n''マスの盤面上に自分の石を交互に置き、先に自分の石を縦・横・斜めのいずれかに''k''個並べたプレイヤーが勝利となるゲームの総称である。三目並べは3,3,3-ゲーム、15路盤を使用した五目並べは15,15,5-ゲームとなる。並べる石の数のみに着目して***k*目並べ*'（**''k''-in-a-row**）とも呼ばれる。

*m*,*n*,*k*-ゲームという呼称は、ゲーム理論など主に数学的な対象において用いられる。

## 戦略拝借論証
からの標準的な(Strategy stealing argument)により、*m*,*n*,*k*-ゲームには、後手が勝つことを保証する戦略（後手の）が存在しないことが示されている。これは、どちらかのプレイヤーに与えられた任意の位置の余分な石が、そのプレイヤーのチャンスを改善することができるためである。

戦略拝借論証は、「後手の必勝戦略がある」と仮定することで、後手に必勝戦略がないことを背理法的に証明するものである。先手は最初に任意の手を指す。その後、先手は後手のふりをして、後手必勝戦略を採る。その戦略に基づいて石を置くマスに既に石が置かれていない限り、先手は後手必勝戦略を採ることができる。もしそのマスに既に石が置かれていた場合でも、先手は再び任意の手を指した後に、同様に後手のふりをして後手必勝戦略を続けることができる。すなわち、（本来の）後手がどこに石を置いても先手を邪魔することはできないので、これは先手の必勝戦略となる。この矛盾は、「後手必勝の戦略がある」という元々の仮定が間違っていることを意味しており、よって後手の必勝戦略は存在しない。

この論証は、後手に必勝戦略がない（最善手を採れば先手が負けることはない）ことを証明しているだけで、先手必勝であることは証明していない。よって引き分けになることもあり得る。また、実際の先手必勝戦略が何であるかまでは示していない。

## 異なる盤面サイズへの結果の適用
便利な概念として「弱い(*m*,*n*,*k*)」(weak (*m*,*n*,*k*))があり、これは後手の勝利でゲームが終わらないものを指す。弱い(*m*,*n*,*k*)が引き分けであれば、*m*や*n*を減らしたり、*k*を増やしたりしても引き分けになる。対照的に、弱い、または普通の(*m*,*n*,*k*)で先手が勝った場合は、より大きな「弱い(*m*,*n*,*k*)」でも先手が勝つ。

## 一般的な結果
以下の記述は、先手・後手とも各局面で最善手を指すと仮定して、先手について記述している。

* 特定の(*m<sub>0</sub>*, *n<sub>0</sub>*, *k<sub>0</sub>*)が引き分けになる場合、*k ≥ k<sub>0</sub>*の(*m<sub>0</sub>*, *n<sub>0</sub>*, *k*)も、*m ≤ m<sub>0</sub>*かつ*n ≤ n<sub>0</sub>*の(*m*, *n*, *k<sub>0</sub>*)も引き分けになる。同様に、(*m<sub>0</sub>*, *n<sub>0</sub>*, *k<sub>0</sub>*)が勝利の場合、*k ≤ k<sub>0</sub>*の(*m<sub>0</sub>*, *n<sub>0</sub>*, *k*)も、*m ≥ m<sub>0</sub>*かつ*n ≥ n<sub>0</sub>*の(*m*, *n*, *k<sub>0</sub>*)も勝利となる。
* *k ≥ 9*では引き分けになる。*k = 9*で盤面が無限大の場合、後手はで引き分けに持ち込める。無限大の盤面での引き分けとは、最善手を指し続ける限り、ゲームが永遠に続くことを意味する。ペアリング戦略とは、盤面の全てのマスをペアに分割して、後手は、常に先手が置いたマスとペアになるマスに石を置く戦略で、先手が石を*k*個並べられないことが保証される。無限大の盤面でのペアリング戦略は、任意の有限の大きさの盤面にも適用することができる。ただし、戦略に基づくと盤面の外に石を置かなければならなくなる場合が出てきてしまい、その場合には盤面上の（戦略に基づかない）任意の場所に石を置くことになるため、後手が負けとなる可能性がある。
* 無限大の盤面において*k ≥ 8*は引き分けとなる。この戦略が有限大の盤面に適用されるかどうかは不明である。無限大の盤面で*k*が6か7のとき、後手が強制的に引き分けに持ち込めるかどうかは不明である。
* *k ≥ 3*で、*k > m*と*k > n*のいずれかの場合は引き分けとなる。

## 特定の結果
* *k* = 1 および *k* = 2 は先手が勝つ。ただし、(1,1,2)と(2,1,2)は勝負が成立しない。
* (3,3,3)（三目並べ）は引き分けになる。*m < 3*または*n < 3*の場合の(*m*,*n*,3)は引き分けとなり、*m ≥ 3*かつ*n ≥ 4*、または、*m ≥ 4*かつ*n ≥ 3*の場合の(*m*,*n*,3)は先手が勝つ。
* (5,5,4)は引き分けになる。*m ≤ 5*かつ*n ≤ 5*の場合の(*m*,*n*,4)は引き分けとなる。(6,5,4)は先手が勝つ。*m ≥ 6*かつ*n ≥ 5*、または、*m ≥ 5*かつ*n ≥ 6*の場合の(*m*,*n*,4)は先手が勝つ。*m ≥ 30*の場合の(*m*,4,4)は先手が勝ち(Lustenberger, 1967)、*m ≤ 8*の場合は引き分けになる。*9 ≤ m ≤ 29*の場合の(*m*,4,4)は、引き分けか先手が勝つかは確定しない。
* Wei-Yuan HsuとChu-Ling Koによるコンピュータを使った探索では、(7,7,5)と(8,8,5)のどちらも引き分けとなることが示された。すなわち、*m ≤ 8*かつ*n ≤ 8*の場合の(*m*,*n*,5)は引き分けとなる。
*によるコンピュータを使った探索では、(15,15,5)（15路盤の五目並べ）は先手が勝つ。*m ≥ 15*かつ*n ≥ 15*の場合の(*m*,*n*,5)は先手が勝つ。
* (9,6,6)と(7,7,6)は、後手がペアリング戦略を採れば引き分けとなる。

## 多次元の変種
二次元の盤面の代わりに、多次元の盤面による変種を考えることができる。

例えば、*n*次元空間における、各辺を*k*個のマス目に区切った超立方体における*k*目並べを考える。HalesとJewettは、*k*が奇数かつ
:*k* ≥ 3*n* - 1 
の場合、または、*k*が偶数かつ
:*k* ≥ 2*n*+1 - 2
の場合、引き分けになることを証明した。

彼らは、マス（セル）の数が辺の数の2倍以上の場合も引き分けになる推測しているが、これは以下の場合かつ以下の場合にのみ発生する。
:2 *k*n ≥ (*k* + 2)n

## 関連項目

* 三目並べ
* 四目並べ - 
* 五目並べ
* コネクト6（六目並べ）
* 
* 
* ''n<sup>d</sup>''ゲーム

## 脚注


## 外部リンク
* W.J. Ma, *Generalizations of tic-tac-toe*, http://www.weijima.com/article-11-15.html