Xmas Contest 2019 D: Sum of (-1)^f(n) 解説
https://atcoder.jp/contests/xmascon19/tasks/xmascon19_d
問題概要
の素因数の個数 (重複込み) を とする. が与えられるので を求めよ.
解法 1 (?)
答えを手元で全部計算して,適当な間隔で区切って埋め込みます.狭い区間については区間篩のアルゴリズムで を効率的に計算できる (素数 で篩うときに で割り切れる回数だけ 倍する) ので,これで正解することができます.
点は割と易しめだと思います. 点は結構な計算資源を使うかなと思っていたので,解けちゃってもいいかなという感じでした.何なら昔の問題にリンクを貼っていて,パソコンを使いましょうというのを伝えていた感じだったかもしれません.
解法 2
とおきます.突然ですが,正の整数 に対し, は が平方数のとき ,そうでないとき です.理由は例えば なら
3^0 3^1 3^2 3^3 2^0 +1 -1 +1 -1 2^1 -1 +1 -1 +1 2^2 +1 -1 +1 -1
みたいな感じで多次元の格子点を市松模様で塗るのを考えてみるとわかります. は Liouville 関数として知られていて,Wikipedia にもこの式は載っています.もうちょっと突然でない導き方については後述します.
さて, を求めたいわけですが, みたいなのを見たら累積和をとるという知る人ぞ知る典型テクニックがありまして, となります ( を先に固定して和をとるとわかります).一方 が平方数なら というのを で和をとると なので, が得られました.これを と書くと の漸化式を得たことになります.
この形の漸化式をどうするかも知る人ぞ知る典型テクニックなのですが, を計算するのに必要な の値は の形だけになっていて ( に注意),異なる の値は 通りくらいしかありません. の計算は同じ の値のものをまとめることで 時間でできるので,
- について を求めるのに 時間
- について を求めるのに 時間
となり,全体で 時間の解法が得られました.実装によりますが 点の想定です.メモ化再帰で連想配列の類を使うと実行時間がちょっと厳しいかもしれません (配列 つでできます).
さらなる高速化ですが,小さい方の答えを定義に戻って計算します.Eratosthenes の篩を用いると について を求めるのが 時間でできます.大きい方は まででよくなって 時間になるので, くらいにとるのがよく, 時間解法が得られました (高速な篩を用いれば 時間).これで 点です.
Dirichlet 級数
最初に天下った部分の話です. は乗法的関数なので,(形式的) Dirichlet 級数を考えてみたくなりますね! Euler 積の形で計算すると, となり Riemann の 関数で表すことができました. をかけるという操作は をとることに対応していて, は平方数だけ な級数を表しているので,先ほど使った式が示せました.この辺の話は,例えば maspy さんの HP で丁寧に解説されています.
さっきやった方法は Liouville 関数に限った話ではなく,累積和が簡単に書けている数論的関数を で割ったもの (つまり,Möbius 変換したもの) の累積和を高速に求める一般的な手法になっています.なので,Möbius 関数 や Euler の 関数なんかの累積和も同様に高速に求まります (それらのほうがたぶん有名なので, の累積和に帰着させて解くという方針も見られました).
統計情報
45 点:3 チーム
100 点:chocorusk さん (1:00:49) はじめ 6 チーム
コメント
Project Euler の回し者ですか? はい…….数学寄りの問題が集まっているサイトですが,この手の sublinear algorithm の数論問題もたくさんあります.解法共有は正解者のみという文化なので,皆さんもぜひ頭 and/or パソコンを駆使して問題を解いていきましょう.
テストデータには,制約内で答えが最大になる が (無意味に) 入っています.この関数の漸近的な振る舞いは,かなり謎に満ちてますね…….