2019-12-01から1ヶ月間の記事一覧
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に慣れないので翻訳…
