実用・二項係数
TL;DR
n\k | -4 | -3 | -2 | -1 | 0 | 1 | 2 | 3 | 4 |
---|---|---|---|---|---|---|---|---|---|
-4 | 1 | 0 | 0 | 0 | 1 | -4 | 10 | -20 | 35 |
-3 | -3 | 1 | 0 | 0 | 1 | -3 | 6 | -10 | 15 |
-2 | 3 | -2 | 1 | 0 | 1 | -2 | 3 | -4 | 5 |
-1 | -1 | 1 | -1 | 1 | 1 | -1 | 1 | -1 | 1 |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
2 | 0 | 0 | 0 | 0 | 1 | 2 | 1 | 0 | 0 |
3 | 0 | 0 | 0 | 0 | 1 | 3 | 3 | 1 | 0 |
4 | 0 | 0 | 0 | 0 | 1 | 4 | 6 | 4 | 1 |
主な対象読者
重複組合せ を計算しようとしてやらかしたことがある人.
みんな納得すること
のとき, ということでよいと思います.
流儀 1
のとき の 次の項なんてものはないので, としてしまうのはありかもしれません.こうすると,二項係数の基本的な性質は以下のようになります:
- は では必ずしも成り立たない
- はすべての で成り立つ (これは から直ちに従います)
流儀 2
を にしたいことはしばしばあると思います.これをすると では のときだけ になって大変です.確かに は と について対称であってほしい感じがあるので,そういう方向で決めていくと, に対して,
- のとき
- のとき
とするのがよさそうです.間の ですが,全部 にすると以下を満たすことがわかり,都合がよさそうです:
- が はすべての で成り立つ
- は を除くすべての で成り立つ
を要請する時点でこの例外はやむを得ません.二項係数の式変形で にだけ注意すればよいのは,符号をいちいち気にするよりは楽かもしれません.
※追記 (2021/06/24) もすべての で成り立ちます.この式は個人的には の形が覚えやすいです.
お気持ち
に対し であると考えることがよくあります (例えば [1] の Chapter 1 の演習問題など).これで のときは がある意味正しくなります.
負整数の階乗が分子に来る場合は,分母と打ち消しあって有限の比になるように考えます. であるかのように, みたいにすると,流儀 2 がこれで上手く説明できます.
ここでは「それっぽい」ことを雰囲気で書きました.ちゃんとやるなら によってガンマ関数の特異点以外は で定義できて,それを な点以外で連続になるようにすると,流儀 2 で定めたような値になるようです ([2]).Wolfram 言語の Binomial
はそういう複素関数として計算してくれます.
参考文献
[1] Stanley, Richard P. "Enumerative Combinatorics Volume 1 second edition." Cambridge studies in advanced mathematics (2011).
[2] Weisstein, Eric W. "Binomial Coefficient." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/BinomialCoefficient.html
Xmas Contest 2020
Xmas Contest 2020 にご参加いただいた皆様,どうもありがとうございました!
大変遅くなりましたが解説記事が準備できました.略解を AtCoder 上に載せて一息ついたのもあって 2019 よりもさらに遅くなってしまいました…….その分濃い情報を提供できているつもりなのでお許しください.
今回は,どうやら難易度がかなり高めだったようです.maroon さんはわたしの問題を (実装込みで) かなりの速度で解いていっていたので,ちょっと難しめだけど大丈夫かなと思っていました…….また例年にも増して海外の方が多く参加していただき (日本語問題文しかないのに) ありがたい限りです.ちなみにわたしも最近中国語のコンテストにたまに出ています.
わたしが原案を出した問題の解説はこちらです.
- B: Beterminant
- C: Candies Candidates
- D: Determinant
- G: Graph Products
- H: Hierarchical Phylogeny
- I: Implement Me
それ以外の問題との対戦結果は以下になります.こちらも解法ネタバレを含みます.
続きを読むXmas Contest 2020 I: Implement Me 解説
https://atcoder.jp/contests/xmascon20/tasks/xmascon20_i
問題概要
は, のうち が 個以上なら で, 個未満なら である.この だけを使って与えられた関数 が作れるか判定し,作れる場合は実装せよ.
簡単な場合
部分点が についています.この部分点自体は 通りのうち作れる関数をすべて探索することで獲得できるのですが, や が小さい場合について考察してみましょう.
のときは は NOT です .このときは の入力の変数 いずれかの否定 とそのまま 以外はどうがんばっても作れません.実はこの場合はコーナーケースであることが後々発覚するので場合分けします.
のときは, ならサンプルにあるように は NOR, なら は NAND になっています.リンク先 Wikipedia にもありますが,NOR や NAND はそれ つで任意のブール関数を作れる (完全である) ことがよく知られています.具体的には,NOR の場合は ,, のように NOT, OR, AND が,適当な変数をとって , によって定数が得られて (NAND の場合も同様), のように書くと も作れることがわかります (例えばサンプルの場合は とします).
一方, のときは,とりあえず最初にできることは しかなくてこれは です.次にできるのは と を何個かずつ入れることですが,片方だけ 個以上だと か になってしまうので意味なく,「両方を 個以上」または「両方を 個未満」にすることで定数 または が得られます (片方を得ればもう片方も得られます).が,これは ( が奇数で) のときだけできません! これが特殊な場合になることがわかります. だとこれ以上どうすることもできません.
考察
上の考察を合わせる感じにすると, 個の値 を適切な個数選んで入れれば便利なものが作れそうです.具体的には,
- のときは, なので,例えば を 個, を 個とすると,両方 個以上なので ,
- のときは, なので,例えば を 個, を 個とすると,両方 個未満なので
となります.あとはこれを使って の考察に書いたように任意のブール関数が実現できます.NOT, OR, AND をとるのに定数回の の使用がかかるので,全体で を 回使うことになります.これで 行制限は多少の無駄があっても大丈夫だと思いますが, の使用を 回にすることも一応できます:各 と に対し を順に求めていけばよいです (論理決定の二分木を根のほうから作っていくイメージ).
特殊な場合
さてコーナーケースということにしていた のときですが,これがこの問題の難しいところです.入力の変数いずれかの否定 かそのまま はとりあえず作れて, のときは実はこれ以外は作れないことが以降の議論でわかります.これを予想して実装すると 20 点の部分点となります.
では, が作れるための必要条件を考えましょう. のうち が 個以上というのは, が 個以下,すなわち 個未満であることと同値です.この対称性に着目すると, であることがわかります.つまり,入力の変数の 0/1 をすべて反転させると出力も反転するということです.この性質は だけを使って作れるすべての関数に伝搬するので, が必要条件となることがわかりました.
そして,この条件を満たす はなんとすべて作ることができます.( なので,) が成り立つため, のときに正しく を計算する関数が だけで作れていれば, のときも自動的に正しいということになります (!).ということは, が定数 だと思って構成してよいということになります (!!).
定数 を得てしまえばあとはいろいろな方法があって,例えば を のようにすると が 小さい場合に帰着されて,特殊な場合ではなくなり (ここが を最初に処理した理由です), のすべての関数を作ることができます.
背景
Post's lattice というものがあります.この束の各元は,合成 (と射影) について閉じたブール関数の集合,別の言い方をすれば「組み合わせて作った関数にも伝搬する性質」を表しています.このなかでも最大元 を除いたときの極大元 が重要で,これは (この問題の形に限らない) ブール関数 についての以下の性質をそれぞれ表します:
- (monotone): ならば
- (self-dual):
- (affine):ある が存在して,
- (-preserving):
- (-preserving):
つまり, がこれらのいずれかの性質を持っていたら から作れる関数もその性質を持ち,一方 がこれらのいずれをも持っていなかったら だけですべてのブール関数が作れる,ということが知られています.
今回の問題では, として, のときは が に属すが に属さないので に属するすべての関数が作れて,そうでないときは が のいずれにも属さないのですべての関数が作れる,ということになります.わたしは不勉強で Post's lattice の導出を知らないのですが,束の構造の証明から具体的な構成方法も得られるのかもしれません (ご存じの方は教えてください!).
統計情報
正解者:tomerun さん (2:45:27) はじめ 2 チーム
コメント
majority 関数を想像しつつ monotone でなくなるように適当に変えてみました.すべてのブール関数が作れるかの判定法を知っていたのでずるではあるのですが,構成方法を思いついてみると の場合がとても面白かったので問題になりました.構築問題としても見慣れない雰囲気があって (ありますよね?),なんだか騙されたような感じがしますね.
Xmas Contest 2020 H: Hierarchical Phylogeny 解説
https://atcoder.jp/contests/xmascon20/tasks/xmascon20_h
問題概要
頂点に の空でない部分集合のラベルがついた根付き木であって,各頂点が
- 子が 個で,ラベルが指定された部分集合 () のいずれか
- 子が 個で,ラベルが子のラベルの非交和
のいずれかであるようなもののうち,根のラベルが指定された部分集合 () のいずれかであるようなものの個数を で求めよ.
立式
の部分集合全体を とします.入力の を 上の関数として表しておきます ( が葉にふさわしいとき ,そうでないとき ).
入力の でいろいろ指定されていますが,結局,根のラベルを指定したときの木の個数を求められればよいです. に対し, を条件を満たす木であって根のラベルが であるものの個数とします ( です).根の子の個数が か かで場合分けして,漸化式 が従います ( で非交和を表すことにします).係数 は子の順番を区別しないためのものです.これをそのまま DP すると 時間になります.
subset convolution
に対して,それらの subset convolution は で定義されます.この解説では単に積のように と書いてしまうことにします.代数の言葉で書くと,和を各点での和,積を subset convolution とすることで から への関数全体が環となります.乗法の単位元は , () なる です.
subset convolution は 時間で計算できることが知られています [1].論文を読んでいただくのがいいと思うのですが,ここでもアルゴリズムを簡単に説明しておきます.メインアイデアは が「 かつ 」と同値ということの利用で,集合のサイズの情報を持たせておいてから についての畳み込み (累積和→積→差分) をします.すなわち に対し を で定め, も同様にし,これらの各点積 (多項式の積) を計算し ,Möbius 変換で戻し ,集合のサイズと次数が合っているところをとればよいです .多項式の積は で計算すれば十分です (さらに細かくいうと は で合っていればよいです ※追記 これ普通に嘘です 例を見てください).
一応例もやっておきます. として, 上の関数は (入力形式のように) の行き先の列で書くことにします.
- とする
- 集合のサイズの情報を持たせると
- 累積和をとって (いわゆるゼータ変換)
- 各点積をとって
- 差分をとって (Möbius 変換)
- サイズが合っているところをとる
さて,subset convolution は 個以外の積の場合も同様です (各点積をとるときに個数が変わるだけです).また をつけたりとったりする操作は線型性を持っています.つまり例えば を求めたければ を求めてから を計算して変換を戻せばよいです.このように,多項式 に対し, を計算するには各多項式 を求めればよいことになります.この多項式計算がそれぞれ 時間でできれば全体で 時間となります.
sqrt
元の問題に戻りましょう. は と書けます.これを のように解けたらよさそうなので,正当化します.
なので,subset convolution の定義を考えて です.冪級数展開 に倣って と定めると, を計算したとき高次の項が消えて, がわかります. なる がこれかこれの 倍しかないことは小さい部分集合から順番に値が決まっていくことから示せます.よって なる方を と書けて, と合わせて と求めたいものが書けました.
さて,あとは多項式 に対して を計算できればよくなりました.これは形式的冪級数としての を で計算できればよく,それは低次の項から順番に合わせれば 時間でできます.なお,説明の簡単のために値を で考えましたが,今回は でしか割っていません (sqrt の代わりに exp 等が登場すると の逆数が要ります).
実装
を落とさなければいけない都合上 でも定数倍が幾分厳しめな時間制限設定になってしまっています.準備陣想定解のうち速いものは 1.5 秒程度 (C++, D), のものは 12 秒程度 (C++) でした.想定解の場合は以下のような注意点が挙げられます:
- 高々 次の多項式を 個持つので 2 次元配列を使うことになりますが,sqrt の計算が支配的なので,C++ などでいう
[2^N][N+1]
の順番のほうが[N+1][2^N]
の順番より速くなるはずです. - 形式的冪級数の sqrt は 時間でできますが,今回は が小さいので定数倍が非常に痛く向いていません.
- sqrt をとるとき log をとって 倍して exp するのは定数倍が大きく間に合わないかもしれません.log を介さず累乗を で行う方法 (微分の利用) だとちょっとだけ遅いですが間に合います.
- sqrt を低次の項から合わせるとき対称性を使って掛け算の回数を約半分にできます.これは必須ではありませんが結構効いてきます.
- 配列を静的に確保すると速くなります.なお,Java の 2 次元配列で動的に確保して 6 秒にぎりぎり間に合うくらいでした.
別解
heno239 さんのアイデアが,subset convolution を中身をいじらずに用いる方法でした.
dp[i]:=根がiになる、条件を満たす木の個数(各iについて葉としてふさわしいならdp[i]=1,そうでないならdp[i]=0で初期化)
— heno (@heno_code) 2020年12月24日
dp2[i]:=Σ_{s in i}dp[s]*dp2[s^i](ただしdp2[0]=1で初期化)
として、各k(0<=k<N)について、
リンク先 Twitter を見ていただきたいのですが,dp2 として「条件を満たす木において葉の 個に印をつけたもの」を数えています.これを一緒に計算することで, の元を 個特別にとって再帰的に解くことができています.畳み込み方としてはいわゆる分割統治 FFT の気持ちにちょっと似ているかもしれません.
代数的には一体何が起こっているのかというのを補足しておきます. を , () で定めて と書けます ( のとき ). を展開して, に注意すると, および が得られます.前者は DP 配列の前半が再帰的に計算できることを言っています.後者は DP 配列の後半を求めるために もほしいということを言っています. とおいて (これが dp2 です) 同様に と書くと, から および が得られます.これで を から求めることができました.一般に を解くときは となり,これはつまり Newton 法の一種です.
subset convolution を中身をいじらず,とは言いましたが, 時間ではあるもののちょっと定数倍が重く残念ながら TLE になってしまったようです.いろいろ試してみたのですが,同じ列に対するゼータ変換・Möbius 変換を複数回行わないようにすることでなんとか通せるかもしれないというくらいでした.ちなみに,この解法には による割り算すら登場しません.
統計情報
正解者:チーム iwiwi (0:49:32) はじめ 4 チーム
コメント
高度典型です!
特に中国で元々有名だった手法です.あまりちゃんと調査を行っていないのですが,中国の IOI 選抜に使われる論文 [2] がこの手の応用のおそらくきっかけです.中国語で「子集卷积」 (subset convolution) やら「集合幂级数」 (set power series) やらを検索することで情報がわんさか出てきますね.日本で話題になったのは ARC 105 のときで,Elegia さんの書き込みのおかげで知れ渡る形となりました.
問題としては解法ドリブンみたいな作問ですが,そこそこ自然な設定で解けた・sqrt は例題が全然見当たらなかったので,日頃からアンテナを張ってる方々へのボーナスという気持ちも込めて出題しました.普段のコンテストだとそもそも計算量の区別でも不幸を呼びやすく出しにくいですし,クリスマスということで.
参考文献
[1] Björklund, Andreas, et al. "Fourier meets Möbius: fast subset convolution." Proceedings of the thirty-ninth annual ACM symposium on Theory of computing. 2007.
[2] 吕凯风. "集合幂级数的性质与应用及其快速算法." 2015年信息学奥林匹克中国国家队候选队员论文. 2015.
Xmas Contest 2020 G: Graph Products 解説
https://atcoder.jp/contests/xmascon20/tasks/xmascon20_g
問題概要
無向単純グラフ に対し,"Cartesian product" と "tensor product" が同型か判定せよ.
考察
サンプルは全然あてになりません.クリスマスだから許されている (許されていますか?) 無みたいなサンプルシリーズも久しぶりですね (2010 G, 2012 D, 2014 C).
小さいグラフで同型になるものを探してみると,まずは が 点というのがありますね.そして孤立点が複数並んでいても同型です.もうちょっと探すと ともに三角形にすると同型になることが見つかるかもしれません (図を書いてみてもそんなに明らかではないと思います).三角形がいくつか並んでいるもの同士でも OK です.
辺の数に着目するというのも思いつきやすい考察だと思います.,したがって のような式が得られます.これだけで直接嬉しいことはなさそうですが, のグラフが怪しいというヒントにはなるかもしれません.
結論
に対し, 頂点の閉路を と書きます.
結論を述べると, と が同型であるための必要十分条件は,以下のいずれかを満たすことです:
- も もすべての頂点が孤立点である (辺がない).
- ある奇数 が存在して, も もすべての連結成分が である.
これは線型時間で判定できます.元の問題も,各グラフについて前計算することで入力について線型時間でできます.
十分性
1. の場合は,頂点数が等しくて辺がないので同型です.
2. の場合を考えます. の連結成分と の連結成分の組それぞれに対し, および に対応する および が (誘導部分グラフとして) 含まれるので,結局 と が同型であることを示せばよいです.
の頂点集合を とみなし, を結ぶ辺があることを と同値であるようにできます ( で隣り合うものを辺で結ぶということ).写像 を考えると,逆写像 があるので全単射であり, の と を結ぶ辺, と を結ぶ辺を,それぞれ の と を結ぶ辺, と を結ぶ辺に移せるので,そして逆の対応も同様なので・あるいは辺の数が で等しいので, と は同型です.
平たく言えば,図を書いて片方を 度回転させてよく見ると同型になっています.足したり引いたりしているところに両方とも同じ であることを, で割っているところに が奇数なことが使われています.
必要性
以下の順で検討します:
- 最大次数
- 次数
- 連結成分の個数
- 二部であるような連結成分の個数
- 含まれる最小の奇閉路の大きさ
もちろんこれはある程度整理された道筋なので,実際に解くときにこのようにきれいにできるべきという話ではありません.
と が同型とします.
1. の頂点の次数を , の頂点の次数を とします.すると, の頂点の次数は たち, の次数は たちとなります.特に, と で最大次数は等しいので, となります. となるので, のみがあり得ます.前者の場合は辺がないのでこれでよいです.以下後者であると仮定します.
2. に次数 の頂点があるとすると, には次数 の頂点がありますが にはなく矛盾します.よって には次数 の頂点がなく, も同様です.するとさらに, に次数 の頂点があるとすると, には次数 の頂点がありますが にはなく矛盾します.よって には次数 の頂点がなく, も同様です.以上より, ともにすべての頂点の次数が であり,すなわちすべての連結成分が閉路です.
の連結成分を , の連結成分を とすると, は たちを並べたもの, は たちを並べたものです.
とします. の頂点集合を十分性を示したときと同様に とみなし,差が の頂点が辺で結ばれているとします. について,
- ともに偶数のとき,連結で,二部である ( に対し が well-defined でこれで二部に塗り分けできる)
- の一方のみ奇数のとき,連結で,二部でない ( を部分グラフとして持つため)
- ともに奇数のとき,連結で,二部でない ( を部分グラフとして持つため)
また, について,
- ともに偶数のとき,非連結である ( に対し が well-defined で,これで連結成分が分かれる)
- の一方のみ奇数のとき,連結で,二部である ( が奇数として,各頂点から と を繰り返し辿ると ができるので と合わせて連結. に対し が well-defined でこれで二部に塗り分けできる)
- ともに奇数のとき,連結で,二部でない (上と同様に各頂点から や ができるので連結.ある頂点から を繰り返し辿ると を部分グラフとして持つことがわかるので二部でない)
ということがわかります.
3. はすべて連結なので, の連結成分は 個. もそうであるためには もすべて連結であることが必要で,よって がともに偶数とはなりません.
4. がともに偶数とはならないので, はすべて,二部でないです.よって の連結成分はすべて,二部でないです. もそうであるためには もすべて,二部でないことが必要で,よって はすべて奇数です.
5. を奇数とするとき,
- が含む最小の奇閉路の大きさは (閉路に沿って移動した の和がどちらかの成分で奇数なので,どちらかの成分は ( あるいは で) 周以上しなければならない. を含むのは明らか)
- が含む最小の奇閉路の大きさは (閉路に沿って移動した の和が両方の成分で奇数なので,両方の成分が 周以上しなければならない. は, を 個と残りを または で作れる)
ということがわかります.よって たちの多重集合と たちの多重集合が等しい必要があります.対応する各元ごとに なのですべて等号でなければならず, がすべて等しいことが従います.
統計情報
正解者:チーム YdeOgwSasUshPunO (0:52:16) はじめ 12 チーム
コメント
白状すると,わたしは最初異なる奇閉路の積の場合を勘違いしていました…… (嘘の同型を作っていた上に,見直しのときは場合分けが漏れました).maroon さんに test-solve してもらったときに気づいて,証明を書き直してチェックを受けました.直感が働きにくい問題なので,気を付けましょう.危ないところでした.
Xmas Contest 2020 D: Determinant 解説
https://atcoder.jp/contests/xmascon20/tasks/xmascon20_d
問題概要
行列 の 成分は
- のとき
- のとき
- かつ のとき
である. を求めよ.
行列式の処理
対角だけ変なことになっているので,対角をどう使うかで場合分けします. だと思って,行列式の定義の各項 ( 個の成分の積) のうちどの対角で の部分をとるかという場合分けをします.別の言い方をすると, 成分に が書いてあると思って,行列式を の多項式として書いて各係数を求めるということです.なお,なぜ でなく なのか (なぜ でなくて なのか) は,いろいろ試してみてうまくいくほうを選びましょうというより多くのことは言えなさそうです.
まとめると, の対角を に置き換えた行列を とし, に対し なる成分だけ取り出した行列 (主小行列) を となります. となります. の例を載せます.
です.ある があって の任意の元が を割り切るとき, の列が対角だけ で他が なので, となります.そうでないとき, には整除関係について極大な (つまり,他の を割り切らない) 相異なる 元 がとれますが, の行はともに全部 なので, です.
というわけで が整除関係について全順序な (つまり,どの 元も一方が他方を割り切る) とき ,そうでないとき です.よって,整除関係について全順序であるような の部分集合をその大きさごとに係数をかけて数える問題になりました.
数え上げ
のときは が全順序かどうかになるので, のとき で のとき が答えになります.
のときは とおいて係数を とみると考えやすいのでそうします.全順序な のうち, を含むものと含まないものがちょうど対応するので,片方だけ数えると楽です. を,整数列 であって なるものについての の和とすると, です. なものは 通りで,そうでないものは で分類して, が つ短い列に対応するので,漸化式 が得られます.
これをそのまま DP すると 時間かかりますが, が同じ部分をまとめれば となります (20 点).さらに, を求めるのに必要な は と書けるもののみであることに注意します.これで計算量を の前後で分けて評価すると であることがわかります.これは,Xmas Contes 2019 D 問題と同様なのでこちらで詳しく解説しています.
数え上げ (別解)
上の方法では の最小元だけ に固定し最大元は動かして考えていましたが,最大元も固定して考えるのも自然かもしれません. を,整数列 であって なるものの個数とします. です.
を固定すると,これは 個の不等号 の条件を「 だが でない」と読んで包除することで,各素因数について条件が独立になって数えられます.具体的には, の素因数分解を として です.
これで各 について計算すれば 20 点です.100 点をとるには,以下のような工夫が考えられます:
- は入力に依存しないので,累積和を適当な間隔で埋め込む (結構大変だと思います).
- は素因数分解の指数の多重集合にしか依存しないので,同じ値を複数回計算しない ( で 通りになります).素因数分解の指数の列が同じ をうまくまとめて数える (詳細は省略しますが,高速素数カウントを用いて最大素因数だけ異なる数をまとめて処理することができます).
統計情報
正解者:チーム エイシーのチーム (2:22:35)
20 点:3 チーム
コメント
行列式処理ステップも数え上げステップも典型ひとひねり (?) という感じだったかもしれません.一般の半順序集合についても同様の行列式処理ができるのですが,整除関係でやってみると問題文のシンプルさに対して解法や計算量にひねりが生まれるというのが面白かったです.
Xmas Contest 2020 C: Candies Candidates 解説
https://atcoder.jp/contests/xmascon20/tasks/xmascon20_c
問題概要
数列中の正の整数 を または に変えられるゲームがある.与えられた数列が先手必勝か後手必勝か判定せよ.
とりあえず
値が減っていく不偏ゲームなので (short impartial game なので),各皿の Grundy 数を考えて XOR をとればよいです.
行動が 通りしかないので Grundy 数も高々 までしか登場しません.が,これ以上は見て直ちにわかることはないので,実験しましょう.
解法 1 (観察)
実験して出てきた の列をぐっとにらむと,再帰的構造が見えてくるかもしれません.
解法 2 (OEIS)
の列を OEIS に入れても出てこない (2020 年 12 月現在) のですが,Grundy 数がそれぞれ になる値の列はなんと出てきます:
これらのタイトル通りに実装すると (あるいは解法 1 でもそうかもしれませんが) 小数計算が必要になります.整数と整数の比は黄金比にかなり近くなりうるので (隣接する Fibonacci 数), などを求める時点でかなりの精度が要求されます.Java の BigDecimal や Python の Decimal などを用いて正解できます.
解法 3 (Zeckendorf representation)
よく見ると上の の OEIS にもちらっと書いてあるのですが,Zeckendorf representation,いわゆる Fibonacci 進法を考えるとうまくいきます.任意の非負整数は相異なる隣接しない Fibonacci 数の和の形に一意に表すことができ,その表示は大きいほうから貪欲にとっていくことで求められます.この表示と Grundy 数を並べて出力してみると,以下のことに気づくことができると思います.
- Grundy 数が : または,用いる最小の Fibonacci 数が (Fibonacci 進法で末尾の が奇数個)
- Grundy 数が :用いる最小の Fibonacci 数が (Fibonacci 進法で末尾が )
- Grundy 数が :用いる最小の Fibonacci 数が (Fibonacci 進法で末尾の が正の偶数個)
証明
Fibonacci 数を とします. とおいて, です.
の Zeckendorf representation の形で場合分けして と の表示を求めます.以下 の部分は番号が大きい部分の隣接しない Fibonacci 数の有限和とします (丁寧に書くと煩雑なので許してください).
- 偶数 に対し のとき,
- 奇数 に対し のとき,
- に対し のとき,
これらはすぐわかると思います ( に あるいは を順に足してみてください).
- 偶数 に対し のとき,
- 奇数 に対し のとき,
- に対し のとき,
これらはすぐわからないと思いますので示していきます. の部分も番号が ずつ小さくなります.
とおくと,
となります. なので,気持ちとしては, の累乗は符号を変えながら指数的に減っていくので,一番小さい番号の部分に支配されその偶奇で符号が決まります.
が偶数のとき,
より です.これより, および が従い, が得られました.
が奇数のとき,
より です.これより, が従い, が得られました.
以上で の表示は証明できました.これを用いると,元の問題の Grundy 数についての主張は帰納法で示されます.
統計情報
正解者:チーム korotkevin (0:19:32) はじめ 47 チーム
コメント
簡単な設定で黄金比が登場する Wythoff's game というゲームがよく知られています.ではゲームに黄金比を直接登場させてみるとどうなるか?という動機で問題を作ってみました.Fibonacci 進法で書いてみたらちょうどよい複雑さになっていてびっくりでした.Wythoff's game や OEIS 解に登場している Beatty sequence や Wythoff sequence といった,非負整数全体の分割が無理数や floor によって綺麗に表されるという構造が,組合せゲームとの相性がよいようですね.
おまけ
問題が の代わりに だったらどうなるでしょう?