Xmas Contest 2019 K: Set of Trees
https://atcoder.jp/contests/xmascon19/tasks/xmascon19_k
問題概要
根付き木の順序を,子を降順に並べたものの辞書順として再帰的に定める.根付き木がいくつかあって, つ選んで「小さく」するという行動ができる 人ゲームを考える.初期状態が与えられるので,先手必勝か後手必勝かゲームが無限に続くかを判定せよ.
こたえ
盤面の根付き木を とし, とします.後手が勝つ条件は「任意の根付き木 について, のうち と同型なものの個数を としたとき, である」です.そうでないときは先手が勝ちます (必ず終わります).このことを後ほど説明していきます.
実装
根付き木を整数に対応させる単射を用意すればよいです.部分木の頂点数が少ない順あるいは最大深さが小さい順などで頂点を見て,
map := 整数列から整数への連想配列 num := 0 foreach 頂点 u: v_1, ..., v_k := u の子 f(v_1) >= ... >= f(v_k) となるようにソート if [f(v_1), ..., f(v_k)] !in map: map[[f(v_1), ..., f(v_k)]] := num num += 1 f(u) := map[[f(v_1), ..., f(v_k)]]
というように f(u)
を定めていけばよいです.この問題の入力形式なら頂点番号が大きい順でも OK です.時間計算量は,次数 の頂点で なので全体で です.
根付き木に対する適切なハッシュ関数をとってもよいです.こちらなどを参照.
順序数
順序数とそれらの演算が出てきます.ある程度既知として進めるのでちゃんとやるのは他の文献に任せます.演算の定義とかはこれで行きます:
- 順序数は, と,何かの successor であるもの と,そうではないもの (limit) に分かれる.
-
- ( のとき)
- ( のとき)
- ( が limit のとき)
-
- ( のとき)
- ( のとき)
- ( が limit のとき)
-
- ( のとき)
- ( のとき)
- ( が limit のとき)
これらの演算は非可換です.
考察
不偏ゲームなので,Grundy 数を (考えられるなら) 考えたいです.局面 の Grundy 数 は, から 手で進める局面 によっては と書けないような最小の順序数です.いくつか例をやってみると (, を [
, ]
で書いています) 次のようになります.
g([]) = 0 g([[]]) = 1 g([[], []]) = 2 g([[], [], []]) = 3 g([[[]]]) = ω
[[[]]]
からは任意の非負整数に進めるので, です.
g([[[]], []]) = ω + 1
任意の自然数あるいは に進めるので, です.
g([[[]], [], []]) = ω + 2 g([[[]], [], [], []]) = ω + 3 g([[[]], [[]]]) = ω・2 g([[[]], [[]], []]) = ω・2 + 1 g([[[], []]]) = ω^2 g([[[], [], []]]) = ω^3 g([[[], [], []], [[], []], [[], []], [], [], [], []]) = ω^3 + ω^2・2 + 4 g([[[[]]]]) = ω^ω
こんな感じになるので,次のことが予想できます:根付き木 () に対し と定めると, ならば であり,また, ならば なる が存在する.
前半は, () について のときには なことを使うとできます.後半は丁寧にやると面倒なので省略するのですが,有名事実を用いて理解することができます.
すべての順序数 は を用いて という形で一意に書けます.これは Cantor 標準形と呼ばれています. ならば なので,再帰的に展開していくことでそのような順序数がちょうど根付き木に対応していて,順序数としての順序がこの問題で定めた順序と一致することがわかります.つまりこの問題は, 未満の順序数を根付き木の形で見せていただけなのでした.
順序数は整列集合なので,何をどうやってもゲームが無限に続くことはありません.よって Sprague–Grundy の定理が適用できて,盤面に根付き木 が並んでいるときの Grundy 数は となります.あとは XOR をどう計算するかだけですが, なので となり, を用いると,最初に述べたように同型なものたちごとに数えればよいことがわかります.
統計情報
正解者:TSG さん (3:03:45),kimiyuki さん (3:38:23)
コメント
Grundy 数に無限順序数が出てくる問題,ごくごく稀にある気がしますが,なかなかコンテストの問題にしづらいんですよね.Cantor 標準形が根付き木に見える→解法は同型判定だけでいい,というのが面白かったので出題してみました.