Xmas Contest 2018 I: Interesting Equation 解説
https://atcoder.jp/contests/xmascon18/tasks/xmascon18_i
問題概要
実数 が与えられるので, がだいたい になるような整数 を求めよ.
解法 ?
なる解の存在が保証されているので,その範囲の をすべて調べられれば答えが見つかります.
もちろんそれでは遅すぎるので,半分全列挙のようなことを行いたいです. の小数部分たち, の小数部分たちをそれぞれ列挙すると,ソートして尺取法などを行うことによって答えを探せます.これでも片方は 通りほど列挙しなければならないので厳しいですが,何回か提出して の範囲を適当に制限するなどの方法で正解することができるかもしれません (実際,コンテスト中にこのような解法が何件か正解していました).
解法 1
より均等に分けた半分全列挙を行うことができます.例えば (,) と表すことができ, の小数部分たち, の小数部分たちを列挙します.するとどちらも 程度のサイズとなり,十分高速となります.
チーム aadeeggimrsstuw がこの解法で正解していました.
解法 2
を十分大きい値として, の 本のベクトル
を考えます ( は に最も近い整数とします).これらの整数係数線型結合であって長さが十分短いものを見つけられれば,それが答えになります:整数 に対し の長さが短いとき, は小さく, は くらいなのでだいたい ,という気持ちです.
「整数係数線型結合で長さが十分小さいもの」を見つける方法として,LLL Algorithm が知られています.詳しい説明は web にいろいろな資料があるので,ざっくりだけ紹介します.
集合 (格子と呼ばれます) を変えないように を変形していきます.変形の操作は次の 種類からなります:
- いい感じの条件を満たすように を並べ替える.
- に Gram-Schmidt の直交化を行ったものを とする. に対し, を で置き換える.
これをいい感じの順番で行うのが LLL Algorithm で,一般の 次元でも多項式時間で最適解の 倍の長さのベクトルが得られるそうです.すごいですね.一応なぜ直交化したいかの気持ちを説明すると, は生成する格子にしかよらず (格子の体積),これは基底が直交していれば長さの積,ななめっていれば長さの積より小さくなっていくので,体積一定では直交に近いほうが長さが短い,という感じです.
この問題では,がんばって評価をすると, ととれば制約下で正解が保証できることが示せます (ごちゃごちゃしてしんどいだけなので省略します).演算は double 等でも大丈夫だと思いますが,多倍長有理数で時間に余裕を持ちつつ正確に行うこともできます.
omeometo さんの解法は,LLL Algorithm の代わりに, を で置き換えるというのをランダムな を選んでたくさんやっていました.ベクトルが短くなっていく感じはほぼ同じなので,十分な回数回していれば落ちなさそうです.
コメント
コンテスト開始直後,全 ではないという条件が抜けていました.そういうつもりじゃなかったんです,でもクリスマスコンテストならそういうのありえますよね…….ごめんなさい.
想定解は解法 で,無理問だけど強引にも通せるかも?くらいに思いながら出題しました.予想より正解者数が多かったです.特に解法 は全く気付いていなかったのでなるほどという感じでした.
問題文冒頭はさすがにやりすぎですが, 次式の根で を近似すると なんてのが得られたり,LLL Algorithm でいろいろ遊んでみると楽しかったです.