ブログ名

競技プログラミングやお歌のお話をする高菜です。

2025-05-01から1ヶ月間の記事一覧

色恋沙汰は全て作図で解決可能であることの証明

補題 色恋沙汰はありません。 証明 あとは爆発律です。

個人的に嬉しい、AtCoder の Rust 言語アップデートで変わるもの一覧(Rust 1.70 → Rust 1.86)

気が早いですが、纏めてしまいました。まだ AtCoder に入るバージョンが確定はしていないと思いますので、変わったらまた更新しようと思います。 特に嬉しいもの まずはぶっちぎりで LazyCell です。他には pop_if, div_ceil, isqrt, is_none_or, get_disjoi…

1..=N の階乗逆数・ただの逆数を O(N) 時間で前計算する方法(mod p)

$N$ を正整数、$p$ を素数、$N < p$ とし、ともにワードサイズに収まると仮定します。 各方法について、「インクリメンタル: OK/NG」、「割り算: ○回使う/使わない」を記していきます。 $N$ までの前計算ができているときに、定数時間で $N + 1$ までの前計…