betrue12 https://blog.hatena.ne.jp/betrue12/ ARMERIA https://betrue12.hateblo.jp/ AtCoder プログラミング 競技プログラミング F - Coincidence 解法 考察も実装もそこそこ重い問題です。順に考えていきましょう。 記法について 剰余演算を記号 、XOR演算を記号 で表すことにします。 またこの記事では数え上げの対象である2数のペアを ではなく の順番で記載しています。 ビットだけの条件に置き換える XORが絡む、制約が大きめ、与えられた下限/上限の間で条件を満たす値の数え上げ…ということで、帰着先として有力なのは2進数の桁DPです。しかしそのためには余りの条件をビットの条件に置き換えないといけません。 余りについての必要条件を導く時によく使うのは という性質です。この性質と を見比べると、 と の2進数での… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbetrue12.hateblo.jp%2Fentry%2F2019%2F08%2F19%2F201430" title="AtCoder Beginner Contest 138 F - Coincidence - ARMERIA" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2019-08-19 20:14:30 rich https://betrue12.hateblo.jp/entry/2019/08/19/201430 1.0 100%