Colorful Tree Game
はじめに
この記事は、木 Advent Calendar 2023 - Adventarの23日目です。
皆さんは彩色数はご存じですね?
グラフ の各頂点に対して、隣接する頂点とは異なる色になるように色を割り当てる時、必要な色数の最小値を彩色数と呼びます。
木 に対して、彩色数 が容易に示せますし、2頂点以上あれば明らかに です。
従って、木が与えられた時の彩色数は簡単に分かりますね。
では、ゲーム彩色数も簡単に分かるのでしょうか。
ゲーム彩色数とは?
まず、頂点彩色ゲームを以下のように定義します。
頂点彩色ゲーム
グラフ に対して、 頂点彩色ゲームを以下のように定義します。
- はじめに、グラフ の各頂点に色 を割り当てる。
- Aliceが先行で、全ての頂点に 以外の色が割り当てられるか、操作が不可能になるまでAliceとBobが交互に以下のプレイを行う。
- ターンプレイヤーは が書かれた頂点を一つ選び、 以上 以下の整数のうち隣接する頂点に書かれていない数を一つ選んで上書きする。
- 全ての頂点に 以外の色が割り当てられればAliceの勝ち、操作が不可能になった(隣接する頂点が から まで全て書かれた頂点が存在した)らBobの勝ち。
ゲーム彩色数
上の頂点彩色ゲームは、 が大きいほどAliceが勝ちやすくなると考えられています。
グラフ に対して、ある整数 が存在して、 ならばBobが勝ち、 ならばAliceが勝つとき、値 を のゲーム彩色数と呼び、 と表記します。
ゲーム彩色の性質
ゲーム彩色数は、本来の彩色数より大きくなることが期待されます。
まず、少なくとも が明らかです*1。
また、明らかに です*2。
ただ、彩色数がかなり小さいからと言って、ゲーム彩色数が小さくなるとは限りません。
例えば、二部グラフは定義より明らかに です。
しかし、二部グラフでありながらゲーム彩色数が無限に大きいグラフを構築することができます。
具体的な構築方法
二部グラフなので、頂点集合を の二つに分けて考えます。
は 頂点あり、順に と番号が付いているものとします。
また、 は 頂点あり、順に と番号が付いているものとします。
そして、 と は、2進法で の 桁目が1であるとき、かつその時に限り辺が張られているものとします。
ターン目から ターン目までのBobの戦略は以下のようになります。
- 現在のターンが ターン目の時、 上の頂点であって隣接する頂点に色が塗られていないもののうち次数が最大のものを選び(これは一意に定まります)、その頂点を色 で塗る
この時、Aliceの行動に依らず 上で最後に塗られる頂点は色 が使えないことが示せるため、 が示せます*3。
二部グラフではゲーム彩色数を抑えることができませんでしたが、ではもっと強いクラスではどうでしょうか?
実は、木においてはゲーム彩色数が有限で抑えられることが示せます。
木のゲーム彩色数
では、木における彩色数を考えていきましょう。
まずは、下限から見積もってみます。
定理1. である必要十分条件は、
証明1. 辺で隣接する二つの頂点は相異なる色で塗る必要があることと、1頂点の木は自明に であることから明らか。
定理2. である必要十分条件は、木の直径が 以上 以下であること
証明2. 直径が の時は明らかなので、まず直径が および の時について考える。
直径が のグラフは のみであり、この場合の答えは自明。
また、直径が のグラフは星のみであり、Aliceが最初に中心を選べば良い。
次に、直径が 以上のグラフを考えると、このグラフは を含む。
この時、 は、Aliceが 上の頂点を一つ塗った時、Bobはそこから距離 の頂点を異なる色で塗ることで必ず 色以上に持ち込める。
また、どの頂点 も を含む が存在することが示せるので、直径が 以上のグラフは が示された。
これで、まず の場合は分かりました。
ですが、3色以上になるとAliceの戦略もBobの戦略も多様になるため、ここから下限を上げるのは難しそうに思えます。
そこで、次は上界を見積もってみましょう。
定理3.
証明3. Aliceの戦略について説明する。
まず、葉のみが彩色されていて良い木を幹 と書くことにする。
木に色を付けていったとき、その色によって木は幾つかの幹に分解できる。
分解を行うときは常に極大な幹を取ることにすると、このような分解方法は一意に定まる。
そこで、この幹についてのAliceの戦略を定めていく。
- 3個の葉が塗られている幹が存在する
この時、Aliceはその三つの頂点の中央を四色目で塗ることによって、二個の葉が塗られている幹 つに分解することができる。 - 3個の葉が塗られている幹は存在しないが、2個の葉が塗られている幹が存在する
この時、Aliceはその二つの頂点の中央を三色目で塗ることによって、二個の葉が塗られている幹 つに分解することができる。 - 全ての幹は1個以下の葉しか塗られていない
この時、Aliceがどの頂点を選んでも全ての幹は2個以下の葉で塗られることになるので、どれでも好きに選んでよい。
この戦略を選ぶとき、どのようにBobが頂点を選んでもAliceのターンには高々1個しか3個の葉が塗られている幹は存在しないことから、 を示すことができる。
以上より、高々定数個を除いて全ての木のゲーム彩色数は であることが示せました。
上の戦略は森でも通用するので、森のゲーム彩色数も4以下です。
では、3色と4色の区別はどうつければ良いのでしょうか?
これは難題で、現時点では効率的な判定方法が見つかっていない問題になります。
例えば最大次数で判定しようとすると、最大次数が3の94頂点のグラフであってゲーム彩色数4のグラフが発見されています*4。
しかし、次数3の頂点が存在しない場合は効率的な彩色数判定方法が発見されており、次数のアプローチが悪いわけでもないという面白い事態になっています。
さいごに
今回の内容は、[1410.5223] The game chromatic number of trees and forestsの一部を紹介したものになります。
ゲーム彩色数はカクタスや平面グラフにおいても有限の上界が求まっており、こちらも非自明な戦略からなる証明がゲーム問題ならではの面白さがあって一読の価値があります。
彩色数は四色問題ばかりが有名で、それ以外の彩色数については名前が知られていないことも多いのですが、実際に調べてみると面白い問題が数多くあります。
例えば平面ではなくその他の曲面に対する彩色数の上界とか、各国が二つの離れた領土を持つときの地図塗り問題とか、頂点と辺を同時に彩色してみるとか……。
これらの問題も難しいものは多いのですが、グラフのクラスを制限した時の性質がとても良いものも多く、またパズル的な解き方が多いので頭の体操としても面白い問題ばかりです。
また、今回紹介したゲーム彩色数も非自明なものが多く、考えてみるだけでも楽しい予想が沢山あります。
そこで、最後にゲーム彩色数に対する予想を一つ紹介します。良ければ解いてみてください。
予想: 頂点彩色ゲームでAliceが勝利するならば、頂点彩色ゲームでもAliceが勝利する。