miscalc のブログ

主に競プロの話をします

2024-01-01から1年間の記事一覧

floor に関する等式の証明

最近気づいたので書きます(有名かも?) 有名な等式として ( は正整数)があります。これを証明します。 整数 と実数 に対して であることを利用します。 を整数として ですが、 の後でだけ を適用すると が得られ、 の両方の後で を適用すると が得られま…

XOR の基底 事実・できることまとめ

間違っている部分やもっと簡単にできる部分などがあれば教えていただけると助かります。 この記事での記法など XOR 演算子は で書く。 非負整数の(有限)集合 に対して全体の XOR を とも書く。 非負整数の(有限)集合 に対して (何個か選んで作れる XOR …

Range Chmin Point Get

書いた動機 range chmin でググるとなぜか beats の話しかヒットしないので 区間 chmin 一点取得 だけならもっと簡単にできます。(当たり前ですが chmin を chmax に替えても可) ACL の遅延セグ木を使う ABC179 解法 • knshnbのブログ の F のようにすれば…

JMO 2017 予選 9 を母関数で解いてみた

競プロにもありそうな教育的な問題だと思いました。 問題 問題リンク の並べ替え について、 となる の個数を とする。すべての並べ替え について を足し合わせた値を求めよ。 解答 を、 であるような の順列 の個数とします。 のときは撹乱順列の個数で、包…