クイーンのグラフ

チェスに関する数学グラフ
クイーンのグラフ
abcdefgh
8
d8 白丸
h8 白丸
a7 白丸
d7 白丸
g7 白丸
b6 白丸
d6 白丸
f6 白丸
c5 白い円
d5 白い円
e5 白い円
a4 白い円
b4 白丸
c4 白丸
d4 白クイーン
e4 白丸
f4 白い円
g4 白い円
h4 白い円
c3 白い円
d3 白い円
e3 白い円
b2 白い円
d2 白い円
f2 白い円
a1 白い円
d1 白い円
g1 白い円
8
77
66
55
44
33
22
11
abcdefgh
クイーングラフでは、上のチェス盤の各マスが頂点です。クイーンが移動できる2つの頂点間には辺が存在します。例えば、 d4に隣接する頂点には白い点が示されています(つまり、d4から各点に辺が存在します)。 8 × 8 {\displaystyle 8\times 8}
頂点 m n {\displaystyle mn}
彩色数nの場合 m = n 1 , 5 ( mod 6 ) {\displaystyle m=n\equiv 1,5{\pmod {6}}}
性質双連結ハミルトン
グラフとパラメータの表

数学において、クイーングラフとは、チェス盤におけるクイーン(チェスの)の有効な動きを表す無向グラフです。グラフの各頂点はチェス盤上のマス目を表し、各辺はクイーンが行える有効な動き、つまり任意の数のマス目による水平、垂直、または斜めの動きを表します。チェス盤の次元が である場合、誘導グラフはクイーングラフと呼ばれます。 m × n {\displaystyle m\times n} m × n {\displaystyle m\times n}

グラフの独立セットは、 2つのクイーンが互いに攻撃し合っていない複数のクイーンの配置に対応します。これらは、標準的なチェス盤上に攻撃しない8つのクイーンを配置する「エイトクイーンパズル」で研究されます。支配セットは、すべてのマスがクイーンによって攻撃または占有されているクイーンの配置を表します。5つのクイーン以上でチェス盤を支配することができます。 8 × 8 {\displaystyle 8\times 8} 8 × 8 {\displaystyle 8\times 8}

グラフの色分けは、クイーンが同じ色の 2 つのマス目の間で移動できないように各マス目を色分けする方法を表しています。チェス盤には少なくともn色が必要ですが、ボードには 9 色が必要です n × n {\displaystyle n\times n} 8 × 8 {\displaystyle 8\times 8}

性質

各クイーングラフにはハミルトン閉路が存在し、グラフは双連結である(どの頂点を一つ削除しても連結されたままである)。およびクイーングラフの特別なケースは完全である。[1] 1 × n {\displaystyle 1\times n} 2 × 2 {\displaystyle 2\times 2}

独立性

abcdefgh
8
c8 白のクイーン
e7 白のクイーン
b6 白のクイーン
h5 白のクイーン
a4 白クイーン
g3 白クイーン
d2 白クイーン
f1 白クイーン
8
77
66
55
44
33
22
11
abcdefgh
チェス盤上の8個の独立集合(このような集合は必然的に支配的でもある)。[2] 8 × 8 {\displaystyle 8\times 8}

グラフの独立集合は、チェス盤上で複数のクイーンが互いに攻撃し合わない配置に対応する。チェス盤では、同じ行または列に2つのクイーンが存在できないため、最大の独立集合は最大でn個の頂点を含む。 [2]この上限は、 n = 2とn = 3を除くすべてのnに対して達成できる[3] n = 8の場合、これは伝統的な8クイーンパズルである。[2] n × n {\displaystyle n\times n}

支配

クイーングラフの支配集合は、チェス盤上のすべてのマスがクイーンによって攻撃されるか占有されるようなクイーンの配置に対応します。チェス盤では5つのクイーンが支配することができ、これは可能な最小数です[4] :113~114 (4つのクイーンは少なくとも2つのマスを攻撃されないままにします)。5つのクイーンのこのような配置は4,860通りあり、その中にはクイーンが占有されているすべてのマスも支配するもの、つまりそれぞれが攻撃し、互いに守り合うものも含まれます。このサブグループには、クイーンが主対角線上のマスのみを占める位置[4] :113~114 (例:a1からh8)、またはすべての副対角線上(例:a2からg8)を占める位置もあります[5] [6] 8 × 8 {\displaystyle 8\times 8}

abcdefgh
8
f6 白クイーン
c5 白クイーン
e4 白クイーン
g3 白クイーン
d2 白クイーン
8
77
66
55
44
33
22
11
abcdefgh
4
abcdefgh
8
g7 白クイーン
f6 白クイーン
e5 白のクイーン
c3 白のクイーン
a1 白のクイーン
8
77
66
55
44
33
22
11
abcdefgh
3
abcdefgh
8
g8 白のクイーン
e6 白クイーン
d5 白クイーン
c4 白クイーン
a2 白クイーン
8
77
66
55
44
33
22
11
abcdefgh
2

1 8 × 8 {\displaystyle 8\times 8}

A5 黒い丸b5c5 黒い丸d5e5 黒い丸
a4b4 黒い丸c4 黒い丸d4 黒い丸e4
a3 黒い丸b3 黒い丸c3 黒い十字d3 黒い丸e3 黒い丸
a2b2 黒い丸c2 黒い丸d2 黒い円e2
a1 黒い円b1c1 黒い円d1e1 黒い円
サイズ5の支配的な(そして独立した)セット

主対角線上の支配的なセット。 3 × 3 {\displaystyle 3\times 3} 5 × 5 {\displaystyle 5\times 5} 5 × 5 {\displaystyle 5\times 5}

下対角線上の支配的なセット。

ループのない長方形のチェス盤をトーラスまたは円筒置き換えてグラフを修正すると、最小支配集合のサイズは4に減少します。[4] : 139 n × n {\displaystyle n\times n} d ( n ) d d ( n ) {\displaystyle d(n)\leq dd(n)} d ( 8 ) = d d ( 8 ) = 5 {\displaystyle d(8)=dd(8)=5} d ( 11 ) = 5 , d d ( 11 ) = 7 {\displaystyle d(11)=5,dd(11)=7}

点線のマスは中央のマスに隣接しています。隣接していない8つのマスは、対応するナイトグラフにおいて隣接しています。[4] : 117 

n 1 2 d ( n ) n n 3 . {\displaystyle {\frac {n-1}{2}}\leq d(n)\leq n-\left\lfloor {\frac {n}{3}}\right\rfloor .}

のd ( n )の初期値は、1、1、1、2、3、3、4、5、5、5、5( OEISのシーケンスA075458 )です。 n = 1 , 2 , 3 , {\displaystyle n=1,2,3,\dots }

K n を、すべての数が同一の偶奇性を持ち、どの3つの数も等差数列を形成しないようなの部分集合の最大の大きさとする(この集合は「中点フリー」である)。クイーングラフの対角支配数はである[4] : 116  { 1 , 2 , 3 , , n } {\displaystyle \{1,2,3,\dots ,n\}} n × n {\displaystyle n\times n} n K n {\displaystyle n-K_{n}}

独立支配数ID ( n )を、クイーングラフにおける最小の独立支配集合の大きさと定義する[7] n × n {\displaystyle n\times n} I D ( n ) < 0.705 n + 0.895 {\displaystyle ID(n)<0.705n+0.895}

色分け

キャプションを参照
クイーングラフ9色分け。 [8]同じ色のマス目は、同じ列、列、または対角線上にないため、クイーンはマス目間を直接移動できないことに注意してください 8 × 8 {\displaystyle 8\times 8}

クイーングラフの彩色とは、隣接する2つの頂点が同じ色にならないように各頂点に色を割り当てることです。例えば、a8を赤に塗った場合、クイーンはa8からこれらのマス目のいずれかに移動できるため、a列、8段、または長対角線上の他のマス目塗ることはできません。グラフの彩色数は、グラフを彩色するために使用できる最小の色数です。

クイーングラフの場合、各マス目は異なる色で表示されるため(つまり、行と列はクリークであるため) 、少なくともn色が必要です。 [1]彩色数は、(つまり、nが6の倍数より1つ多いか1つ少ない場合) nとなります。 [9] n × n {\displaystyle n\times n} n 1 , 5 ( mod 6 ) {\displaystyle n\equiv 1,5{\pmod {6}}}

クイーングラフの彩色数は9である。 [10] 8 × 8 {\displaystyle 8\times 8}

非冗長性

頂点の集合が非冗長であるとは、集合から任意の頂点を削除すると集合の近傍が変化する、つまり各頂点に対して、集合内の他のどの頂点にも隣接しない隣接頂点が存在する場合を指します。これは、それぞれが少なくとも1つのマスを一意に制御するクイーンの集合に対応します。クイーングラフ上の非冗長集合の最大サイズIR ( n )を特徴付けることは困難であり、既知の値には[4] : 206–207 が含まれます n × n {\displaystyle n\times n} I R ( 5 ) = 5 , I R ( 6 ) = 7 , I R ( 7 ) = 9 , I R ( 8 ) = 11. {\displaystyle IR(5)=5,IR(6)=7,IR(7)=9,IR(8)=11.}

追跡と逃走のゲーム

クイーングラフ上の追跡・回避ゲームを以下のルールに従ってプレイすることを考えてみよう。白のクイーンが片方の角からスタートし、黒のクイーンが反対側の角からスタートする。プレイヤーは交互に動き、クイーンを(水平、垂直、斜めのいずれの方向でも)通過せずに到達できる隣接頂点に移動するか、反対側のクイーンに隣接する頂点に着地するかのいずれかを行う。このゲームは、ペアリング戦略を用いる白が勝利できる。[11] 8 × 8 {\displaystyle 8\times 8}

参照

参考文献

  1. ^ ab Weisstein, Eric W. "Queen Graph" . MathWorld
  2. ^ abc アバーバッハ、ボニー、チェイン、オリン (2000).レクリエーション数学による問題解決.ドーバー出版. pp.  211– 212. ISBN 9780486131740
  3. ^ Bernhardsson, Bo (1991). 「すべてのNに対するNクイーン問題の明示的解」. ACM SIGART Bulletin . 2 (2): 7. doi : 10.1145/122319.122322 . S2CID  10644706
  4. ^ abcdefghi ワトキンス、ジョン・J. (2012). 『アクロス・ザ・ボード:チェス盤問題の数学プリンストン大学出版局.
  5. ^ 支配的な女王 - researchgate.net
  6. ^ チェス盤上の5つのクイーン
  7. ^ Cockayne, EJ (1990). 「チェス盤支配問題」.離散数学. 86 ( 1–3 ): 13–20 . doi : 10.1016/0012-365X(90)90344-H . hdl : 1828/2415 .
  8. ^ アイアー, MR; メノン, VV (1966). 「チェス盤の色付けについて」.アメリカ数学月刊誌. 72 (7): 723. n × n {\displaystyle n\times n}
  9. ^ Chvátal, Václav . 「Colouring the queen graphs」 . 2022年2月14日閲覧
  10. ^ ベル、ジョーダン;スティーブンス、ブレット (2009). 「n-クイーンに関する既知の結果と研究分野の概観」離散数学. 309 (1): 1– 31. doi : 10.1016/j.disc.2007.12.043 .
  11. ^ Averbach & Chein 2000、257–258、443。
Retrieved from "https://en.wikipedia.org/w/index.php?title=Queen%27s_graph&oldid=1294157300"