Problem - F - Codeforces 解けなかったので復習 問題 整数n, m, kが与えられる。1/m の確率で成功する事象を独立にn回行う。成功した回数をxとしてpow(x, k)の期待値を MOD 998244353 で求めよ。n, m k 解法 i 回目の事象の確率変数を として、成功ならば …

COCI 2019 #3 Drvca 問題 入力で整数列Aが与えられる。それを2つの数列P, Qに分割する。順番は並べ替えてもいい。P, Qを等差数列にするようにできるか？ 解法 Aのサイズが4以下なら半分に分けて自明。 それより多い場合。Aはソートされているとする。 Aの小…

問38 Midpoint https://top-prover.top/problem/38 Require Export Arith. Definition task := forall m n, S m < n -> m < (m + n) / 2 < n. まず初めに、Search _ inside Lt. SearchAbout "div" inside Nat. などで使えそうな定理を探す。 Phase 1, div2 x…

TopProver 問37 Zero test https://top-prover.top/problem/37 Inductive iszero : nat -> Prop := | iszero_0 : iszero 0 | iszero_S : forall n, iszero (S n) -> iszero n. Definition task := forall n, iszero n <-> n = 0. まだcoqに慣れないので翻訳…

MARVELの映画でディズニーデラックスで公開されてるものを見終わった。アントマン＆ワプスやインフィニティウォーまで。 話が面白いのは当然なので映像とか演出について。 登場するロシア人はロシア語を話すこともあるし、ノルウェー人はノルウェー語を話す…

英語のリスニングを向上させるという邪な理由でDisney deluxeを見始めた。31日間無料、以降756円/月。まずはMarvelを古い順に観る。 音声・字幕それぞれ英語・日本語が好きな組み合わせで利用できる。ビデオプレーヤーはシークバー、30秒進める・戻る、フル…

CODE FESTIVAL 2016 Grand Final(Parallel) J - 123 Pairs 解法 https://atcoder.jp/contests/cf16-exhibition-final-open/tasks/cf16_exhibition_final_j 問題 1から2NをN個のペアに分割したい。このとき、差が1のペアA個、差が2のペアB個、差が3のペアC個…

CODE FESTIVAL 2016 Grand Final H - AB=C Problem https://atcoder.jp/contests/cf16-exhibition-final-open/tasks/cf16_exhibition_final_h 問題 正方行列Cが与えられる。C=ABを満たすような正方行列のペア(A, B)はいくつあるか求めよ。 行列の要素の演算…