ドミネアリング(ストップゲートまたはクロスクラムとも呼ばれる)は、方眼紙上の任意の正方形の集合でプレイできる数学ゲームです。たとえば、6×6の正方形、長方形、ポリオミノ、またはこれらの要素の任意の組み合わせでプレイできます。2人のプレイヤーはドミノの集合を持ち、順番にグリッド上に置いて正方形を覆います。一方のプレイヤーはタイルを垂直に置き、もう一方のプレイヤーは水平に置きます。(伝統的に、これらのプレイヤーはそれぞれ「左」と「右」、または「V」と「H」と呼ばれます。この記事では両方の表記法を使用します。)組み合わせゲーム理論のほとんどのゲームと同様に、動けなくなった最初のプレイヤーが負けとなります。
ドミネアリングは、プレイヤーが異なる駒を使用するという意味で、党派的なゲームです。このゲームの公平なバージョンはクラムです。
グリッドのない空のゲームを除けば、最もシンプルなゲームは単一の箱である。
![]()
どちらのゲームでも、明らかにどちらのプレイヤーも動くことができません。これらは後攻プレイヤーの勝利なので、0ゲームとなります。
![]()
![]()
このゲームは2×1のグリッドです。左が勝っている場合はゲームに正の数を、右が勝っている場合は負の数を割り当てるという慣例があります。この場合、左には動かせる駒がなく、右はドミノを置いて盤面全体を覆うことができるため、何も残らず、明らかにゼロゲームとなります。したがって、超現実数表記では、このゲームは{| 0} = −1となります。これは、このグリッドが右に1手有利であることを考えると理にかなっています。
![]()
![]()
![]()
このゲームは、単一のマスではプレイできないため、 {| 0} = −1 となります。
![]()
![]()
![]()
![]()
このグリッドは、選択の最初のケースです。右は左側の2つのマスに駒を置くことができ、-1を残します。右端のマスに駒を置くと、同様に-1が残ります。また、中央の2つのマスに駒を置くこともでき、2つのマスが残ります。この選択肢では、0+0 = 0が残ります。したがって、このゲームは{| 0,−1}と表現できます。これは-2です。このゲームを他のゲームと組み合わせてプレイする場合、右には2つのフリームーブがあります。
縦列も同様に評価されます。2nまたは2n + 1個のボックスの行がある場合、それは −n としてカウントされます。そのようなサイズの列は + nとしてカウントされます。
![]()
![]()
![]()
![]()
これはより複雑なゲームです。左が先手の場合、どちらの手でも1×2のグリッドが残り、これは+1になります。一方、右は-1に移動できます。したがって、超現実数の表記は{1|−1}です。しかし、1 > −1なので、これは超現実数ではありません。これはゲームですが、数ではありません。この表記は±1で、各プレイヤーがここに移動したがっているので、ホットゲームです。
![]()
![]()
![]()
![]()
![]()
![]()
これは2×3のグリッドで、さらに複雑ですが、他のドミニアリングゲームと同様に、左と右のさまざまな動きを見ることで分解できます。左は左列(または同等に右列)を取って±1に移動できますが、明らかに中央を分割して、それぞれ+1の価値がある2つの別々のゲームを残す方が良いアイデアです。したがって、左の最善の動きは+2です。右には4つの「異なる」動きがありますが、それらはすべて、何らかの回転で次の形状を残します。
![]()
![]()
![]()
![]()
このゲームはホットゲーム(コールドゲームとも呼ばれる)ではありません。なぜなら、各手は手を動かすプレイヤーに不利になるからです。これは手の動きを調べることでわかります。左は-1に移動でき、右は0または+1に移動できます。したがって、このゲームは{-1|0,1} = {-1|0} = -1/2となります。
したがって、2×3のグリッドは{2|− 1 ⁄ 2 }であり、これは平均値3 ⁄ 4と移動ボーナス(「温度」)1 + 1 ⁄ 4で表すこともできます。
数学科学研究所は、優勝賞金500ドルの「ドミニアリング」トーナメントを開催した。このゲームは8×8の盤面で行われた。優勝したのは数学者のダン・カリストレートで、決勝でデビッド・ウルフを破った。このトーナメントの詳細は、リチャード・J・ノワコウスキー著『Games of No Chance 』 (85ページ)に掲載されている 。

ドミネアリングの問題の一つは、大きな盤面、特に正方形の盤面に対する必勝戦略を計算することである。2000年に、デニス・ブルーカー、ヨス・ウイテルワイク、ヤープ・ファン・デン・ヘリックは、8x8盤面の解を計算して発表した。[ 1 ]彼らのプログラムにいくつかの改良が加えられた後、すぐに9x9盤面が解かれた。その後、2002年にネイサン・ブロックは、ドミネアリングに関する論文の一部として、10x10盤面を解いた。[ 2 ] 11x11盤面は、2016年にヨス・ウイテルワイクによって解かれた。[ 3 ]
ドミニアリングは、2x2、3x3、4x4、6x6、7x7、8x8、9x9、10x10、および11x11の正方形のボードでは先手勝利、1x1および5x5のボードでは後手勝利です。長方形のボードに関するその他の既知の値は、Nathan Bullockのサイトで見つけることができます。[ 4 ]
クラムはドミネリングの公平なバージョンです。ルール上の唯一の違いは、各プレイヤーがドミノをどちらの向きでも置けるという点です。ルール上のわずかな違いに見えますが、結果として全く異なるゲームとなり、スプラーグ=グランディの定理を用いて分析することができます。