Pythonで競プロを始めるという選択肢
久しぶりにブログを更新します。今回は解説記事ではなく自分語り系の記事です。
twitterを見ていたら「pythonで競プロをやるってどうなの?」みたいな話が出ていたので、私も元python競プロerとして考えを述べてみたいと思います。(もともとこのブログのタイトルは「Pythonで競プロ」だった)
結論から言うと、AtCoderに限ればpythonで競プロを始めるのは普通にアリなんじゃないかなと思います。
なぜAtCoderに限定しているかというと
- いざとなればpypyに投げれば何とかなる
- 制約が厳しい問題がそんなに多くない(大きくてもとか)
- 分かってしまえば実装はシンプルなので定数倍もキツくない
という感じであまり障壁にならないからですね。前にも書きましたがCodeforcesは問題の傾向が割と多種多様で想定解がという問題もdiv.2-Bに出てきたりするのでpythonではまともに戦えないなと過去に思いました。(最近はめっきりこどふぉに出てないのでもしかしたら現状は変わっているかもしれないです、そうならばすみません)
pythonで競プロを始めることに対する想定される反対意見として
「pythonで競プロを始めても、そのうちpythonでは通せない問題が出てきて絶望して他の言語に乗り換えるのだからその乗換えの無駄を考えたら最初からC++とかで競プロに慣れておいたほうがいい」
というのがあって、これは一理あるかもしれません。実際私がそうで最終的にはD言語に乗換えました。こどふぉもキツいんですが、本格的にpythonでは無理だなーって思い始めたのはJOIの過去問を解いていたときですね。あれもとか普通に想定解になってたり、pythonだとメモリも食うのでそもそもMLEになっちゃって(JOIはメモリ制限もキツめです)どうしようもないなと思いました。
しかしこのデメリットは競プロをある程度やって初めて感じるデメリットです。最初から「競プロを一生の趣味にするぞ!」とか「レッドコーダーになるまでやり続けるぞ!」とか意志を固めて始める人はC++からのほうがよさそうですが、そうでないなら別にpythonでもよさそうです。どうせすぐ辞めちゃうかもしれないしね。
自分の場合は少し時間が出来てプログラミングを勉強しようかなと思って、まずpythonを覚えようと思って最初にpaizaで勉強してたんですね。paizaも一応コーディングテストみたいな、競プロっぽい問題を解けるのですがそのうち物足りなくなってyukicoderに出会いました。なんでAtCoderの前にyukicoderに出会ったのか、その経緯は覚えてませんが……ともかくその延長でpythonで競プロを始めたんですね。その後詳しく調べてみると「pythonで競プロは無理だぞ」というのが競プロ界の常識だったのですが、ひねくれているのでpythonでやっていってやるぞとか思っていました。最終的に折れちゃったんですけど。
だからといって「最初からpythonで競プロやらなければよかった……」と後悔しているかというと別にそうでもなくてですね。pythonで簡単な競プロ問題が解けるぐらいになっておくと良いこともあります。あれとかこれとか。
それでもし、あなたがpythonで競プロを始めて数か月か数年かしたぐらいに「pythonでは無理だー!」と思ったとします。そのときに乗換え先としてオススメしたいのはD言語ですね。
そもそもなんで私はD言語というマイナー言語を使っているんでしょうか。どこかで「pythonとD言語は似ているからpython競プロerの乗換先としてちょうどいい」みたいな言説を見たからだったと記憶してます。
実際似ているかと言われるとよく分かりませんが、しかし確かにD言語は使いやすいです。「pythonだったらこういうことできるのにな」と思ったことはD言語でもだいたい出来るしそれどころかあんなことやこんなことも出来る!っていうのが結構嬉しいし、使っていて楽しい言語だなと思います。それでいて実行速度も速い(10^8が余裕で通るのは本当に感動します)ので文句がありません(ホントは少しある)。デバッグもしやすいし、パソコン音痴でもインストール簡単なのでもう少し使われてもいいんじゃないかと思います。yosupoさんも使ってるし。
主題からズレたのでそろそろまとめると
ということでした。ありがとうございました。
A - Uncommon/みんプロ2018本戦
問題概要
集合が与えられる。
各整数k = 1, 2, ..., Mについて、kと互いに素であるAの要素の個数を求めよ。
制約
解法
愚直にやると少なくともO(N*M)かかってしまうのでまとめて数え上げるなどの高速化が必要になります。
kを固定したときに、kとa_iが互いに素であるというのは、gcd(k, a_i) = 1であるというのが定義ですがこの条件はまとめて数え上げようとするときには少し使いにくいので別の同値な条件に言い換えてみます。
という感じにkを素因数分解したとします。(p_jは素数)
このとき、kとa_iが互いに素であることの必要十分条件は、a_iがどのp_jでも割りきれないこととなります。逆に、kとa_iが互いに素でないことは、a_iがあるp_jで割り切れることと同値です。
この事実を使ってkと互いに素でないa_iの個数を求めることにします。その個数をn(k)とします。
をxで割り切れるa_i全体の集合と定義すると、求めたいのは
となります。和集合で表されているものは一般には数え上げには使い辛いので、包除原理を使って書き直してやると
と求めることが出来ます。
後は、とかとかをどうやって求めるのかとか、それをn(k)に足したり引いたりするのをどうするのかというところです。
まず初めに、エラトステネスの篩風の前処理をしておくと各整数kに含まれる異なる素因数の積やその個数などをO(MlogM)で求めて置くことができます。
それをやっておいてから、整数dを2,3,...と動かしていき、d = (dに含まれる異なる素因数の積)となっていれば上で書いたようなみたいな感じの求めるべきものなのでそこをちゃんと数えます。つまりAに含まれるdの倍数を数えます。ただし、愚直にやるとここでO(N)かかってしまうので最初にbool配列を取っておいてそこにAの要素があるないのフラグを立てておくとdの倍数ごとにスキップしながら見るということが出来るので、全体での計算量がM + M/2 + M/3 + ... = O(MlogM)程度になってくれます。そしてこれを求めたらdに含まれる素因数の個数偶奇に応じて+か-か決めて、またdの倍数ごとにスキップしながら足し引きすべきn(k)に対してそれを足したり引いたりします。
こうやってやるとO(MlogM)程度で解くことが出来てちゃんと間に合うという感じになりました。
ソースコード
適宜省略
void main() { int n, m; scan(n, m); auto a = iota(n).map!(i => readln.chomp.to!int).array; auto b = new bool[](a.reduce!max + 1); foreach (ai ; a) { b[ai] = 1; } auto pd = new int[](m + 1); auto pcn = new int[](m + 1); pd[] = 1; foreach (p ; 2 .. m + 1) { if (pd[p] == 1) { for (int d = p; d < m + 1; d += p) { pd[d] *= p; pcn[d]++; } } } auto cnt = new int[](m + 1); foreach (i ; 2 .. m + 1) { if (pd[i] < i) continue; int res = 0; for (int d = i; d < b.length.to!int; d += i) { if (b[d]) res++; } int diff = res * (-1)^^((pcn[i] & 1) ^ 1); for (int d = pd[i]; d < m + 1; d += pd[i]) { cnt[d] += diff; } } writeln(n); foreach (i ; 2 .. m + 1) { writeln(n - cnt[i]); } }
B - だんだん強く
https://beta.atcoder.jp/contests/dwacon2018-final-open/tasks/dwacon2018_final_b
ニコ生の公式解説でちらっと触れていた解法が凄くスマートだったので復習を兼ねて書いておきます。
解法
与えられた[v_1, v_2, ..., v_n]を(K+1)倍に拡張した次のような配列を考えます。Cを十分大きな整数として、
[v_1 + K*C, v_1 + (K-1)*C, ..., v_1, v_2 + K*C, v_2 + (K-1)*C, ...]
とします。この配列に対して最長増大部分列問題(LIS)をO(NlogN)で解くおなじみのアルゴリズムを適用して終わりです。
配列のサイズが(K+1)Nになるので、計算量はO(KNlog(KN)) = O(KNlogN)になります。
なぜこれで解けるのか?
(K+1)倍に拡張した新たな配列は一体どういうものかと考えると、元の配列vを十分大きなギャップを持たせて(K+1)階の層に分けるようなことをしています。
そうすると、「増大していかなければいけない」というルールに違反することを「層を1つ上に上がる」ということに対応させることが出来ます。
例えば入力例1(K=2, v = [4,1,6,2,8,5,7,3])だと以下のようなイメージになります。
一番下の層は違反する余地が2回あって、真ん中は1回、一番上まで来るともう違反できないという感じになっています。
そして1つの解である[4,1,2,5,7,3]に対応するのが矢印で示された列になっていて確かにこれで上手くいくなということが分かります。
感想
初め問題を見たときは違反した回数ごとのセグメント木を持って何かごちゃごちゃやるんだろうなとか思って(実際そっちも1つの想定解らしいです)何かよく分からないなと思っていたのですが、発想1つでこんなにもスマートに解くことができるんだなあと感心しました。
コード
適宜省略
void main() { int n, k; int[] v; scan(n, k); v = readln.split.to!(int[]); immutable long c = 10L^^9 + 1; auto u = new long[](n*(k+1)); foreach (i ; 0 .. n*(k+1)) { u[i] = v[i/(k+1)] + c*(k - i%(k+1)); } immutable long inf = long.max; auto dp = new long[](n*(k+1) + 1); dp[] = inf; dp[0] = -1; long ans; foreach (i ; 0 .. n*(k+1)) { auto j = dp.assumeSorted.lowerBound(u[i]).length; dp[j] = u[i]; ans = max(ans, j); } writeln(ans); }