二人零和有限確定完全情報ゲーム
ゲーム理論によるゲームの分類の一つ
From Wikipedia, the free encyclopedia
概要
二人零和有限確定完全情報ゲームは、
- 二人：プレイヤーの数が二人[1]
- 零和：プレイヤー間の利害が対立し、一方が利得を得ると、他方に同量の損害が降りかかる
- 有限：ゲームが必ず有限の手番で終了する
- 確定：サイコロのようなランダムな要素が存在しない[1]
- 完全情報：全ての情報が両方のプレイヤーに公開されている[1]
伝統的なボードゲームの多くがこのカテゴリに属する（⇒ #具体例）。
なお、定数和ゲームは容易に零和ゲームへ変換でき、二人零和有限確定完全情報ゲームでの議論に持ち込みやすい。また「確定」と「完全情報」の意味合いがわかりにくいので補足すると、すごろく（周り双六）やバックギャモンはサイコロを使うため確定ゲームではないが、サイコロの出た目を含めゲームの全ての情報は全プレイヤーに公開されているので完全情報ゲームである。一方じゃんけんはサイコロのような乱数を生成する道具を使わないので確定ゲームであるが、相手がどんな手（グー、チョキ、パー）を出すかという情報を知らない状態で自分の手を決めねばならないので完全情報ゲームではない。
定義
具体例
二人零和有限確定完全情報ゲームの具体例には、チェス・将棋・チェッカー・リバーシ・石取りゲーム（ニム）・囲碁・連珠・五目並べ・三目並べ（○×ゲーム）・シャンチー・マンカラ・ツイクストが挙げられる。
このように、盤面にすべての要素や情報が表れており、勝敗が完全にプレイヤーの実力に依存し、サイコロや配牌といった「運」に左右されないボードゲームの多くが、二人零和有限確定完全情報ゲームに相当する。
ただし、ルールやその解釈により、厳密には二人零和有限確定完全情報ゲームとなっていないこともある[要出典]。
- 囲碁: 日本囲碁規約の規定上は三劫以上の多元劫、長生、循環劫などの状態になった場合、対局者が合意しないと勝負は無限に継続される[4]ため、厳密には有限ゲームではない。また対局結果は「片方の勝利」「引き分け（持碁）」「無勝負」の他に「両負け[5]」が規定されているため、厳密には零和ではない。
- 将棋: 千日手に絡み、勝利とみなすか、引き分けとみなすか、敗北とみなすかが現行ルールで定まっていない局面が存在することが、「最後の審判」と名付けられた詰将棋を例にして示されている[要出典]。また、持将棋でなおかつ、先手・後手の駒数が同一となる場合も、勝敗がつけられない。
- チェス: 千日手（スリーフォールド・レピティション）や戦力不足（双方駒が減りすぎて勝敗がつかないこと）になっても、いずれかの対局者が申し立てをしない限りゲームは続くため、厳密には有限ゲームではない。
特徴
二人零和有限確定完全情報ゲームの特徴は、理論上は完全な先読みが可能であり、双方のプレーヤーが最善手をプレイし続ければ、先手必勝、後手必勝、引き分けが決まることがエルンスト・ツェルメロによって証明されている[6]。
しかし選択肢が多く完全な先読みを人間が行うことが困難なゲーム（囲碁、将棋、チェスなど）は競技として成立している。
双方のプレーヤーが最善手をプレイし続けた場合の勝敗が判明しているゲームの例として、以下のものなどがある。
完全に解明されていないが、囲碁[16]、チェス（チェスの先手優位性）、将棋[17] は経験的に先手有利とされている。囲碁ではコミにより先手側にハンデを与えている[16]。チェスでは先後を入れ替えて複数回対局するマッチ（番勝負）で緩和している。連珠は五目並べの先手側にハンデを与えてゲームとして成立させている。