今週の目標 ARC124: F upsolving 2020-2021-latin-american-regional: I, M upsolving りんご塾 課題 = 2020-2021-asia-seoul-regional 最低目標: 15 時間 やったこと・勉強時間 08-16 (月) 2020-2021-latin-american-regional A, G, M upsolving 5.8 時間 0…
今週の目標 ARC124 復習 LOJ 6538 (アルキル基の数え上げ) 解く 最低目標: 15 時間 やったこと・勉強時間 08-09 (月) subset convolution の勉強 2.1 時間 08-10 (火) 0.0 時間 08-11 (水) LOJ 6538 (アルキル基の数え上げ): https://loj.ac/s/1221184 2.1 …
今週の目標 ARC124 復習 luogu P5828 (labeled 2-edge connected graphs) 解く LOJ 6538 (アルキル基の数え上げ) 解く 最低目標: 15 時間 やったこと・勉強時間 08-02 (月) 0.0 時間 08-03 (火) luogu P5828 2.9 時間 08-04 (水) composition of FPS 10.7 時…
今週の目標 ARC124 復習 CGR15 復習 p-recursive 履修 最低目標: 10 時間 やったこと・勉強時間 07-26 (月) FPS 復習 0.7 時間 07-27 (火) Bostan-Mori 履修 4.0 時間 07-28 (水) 研究 復習も兼ね解説執筆 CGR15 G 復習 5.2 時間 07-29 (木) 彩色と DAG の関…
競プロ勉強 https://judge.yosupo.jp/problem/log_of_formal_power_series: 実装。 FFT ライブラリの高速化をした。 第七回 アルゴリズム実技検定: バーチャルコンテストをやった。 【模板】Chirp Z-Transform - 洛谷: 解いた。 无标号无根树计数 - 洛谷: 解…
競プロ ARC124, Codeforces Global Round 15 に出た。
競プロ 无标号无根树计数 - 洛谷: 解いた。 有标号 DAG 计数 - 洛谷: 解いた。 Euler transform の復習をした。志望校に落ちる夏休みの過ごし方TOP5【厳しめに】 - YouTubeで「模試や過去問の時間を勉強時間に入れるな」という話があったので、ABC とかに出…
競プロ 第七回 アルゴリズム実技検定: バーチャルコンテストをやった。約 2 時間。
競プロ FFT ライブラリの高速化をした。
競プロ https://judge.yosupo.jp/problem/log_of_formal_power_series: 実装した。
競プロ [MtOI2018]情侣？给我烧了！（加强版） - 洛谷: 解説 AC した。
数学 EC 3.13 の準備と発表。https://github.com/koba-e964/ec-exercises/blob/master/sec-3-13.tex 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗な…
競プロ 【模板】Chirp Z-Transform - 洛谷: 解いた。
競プロ 第１６回日本情報オリンピック 予選（過去問） - AtCoder: F を解いた。 [CTSC2006]歌唱王国 - 洛谷: 解説 AC した。
数学 EC 3.13 の予習をした。 競プロ ABC210: F を解いた。 JOI Open Contest 2012 - AtCoder: A を解いた。面白い DP の形。
競プロ circuit - 電気回路の結線 (Circuit) 解いた。添字の対応を含む細かいところを詰めるのに時間がかかった。 starry_sky - 星空 (Starry Sky) 解いた。定数倍高速化がだるかった。
競プロ 第１２回日本情報オリンピック 予選（過去問） - AtCoder: F を解説・サンプルコードを見て実装した。 第１０回日本情報オリンピック 予選（過去問） - AtCoder: F を解いた。
競プロ ABC209: F を解いた。
競プロ 典型 090 を解いた。面白かった。
数学 進捗なし 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 84-90 解き。 第５回日本情報オリンピック 本選（過去問）…
競プロ 典型 089 を解いた。
数学 EC ゼミ (3.13) の準備を進めた。
競プロ JOI 2018/2019 予選 過去問 - AtCoder: F (座席 (Seats)) を解いた。
競プロ 簡単な問題を何問か通した。
競プロ ブログ記事を書いた。 koba-e964.hatenablog.com
第５回日本情報オリンピック 本選 (JOI 2006 本選 問題・データ) の 問題4 (リンク)、問題5 (リンク) の問題文が曖昧だったので、厳密な問題文に直しました。 問題4 (リンク) 修正後の問題文 1, 2, ..., 100 までの番号がついた頂点をもつ、自己ループをもた…
競プロ 第５回日本情報オリンピック 本選（過去問） - AtCoder: E (第 5 問) を解いた。 ARC110: E, F を解いた。
数学 進捗なし 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 78-83 解き。 Kyoto University Programming Contest 2020…
競プロ 第５回日本情報オリンピック 本選（過去問） - AtCoder: D (問題 4) を解いた。解説によると、最悪計算量が保証されていないらしい。なんだこれは。 ABC208: A-E を解いた。F はツイッターで解法を見た。ラグランジュ補間を O(K^2) と思い込んでおり…
競プロ AtCoder Regular Contest 119 - AtCoder: D を解いた。
