2021-07-01から1ヶ月間の記事一覧

2021-07-19 (月) - 2021-07-25 (日) 進捗

競プロ勉強 https://judge.yosupo.jp/problem/log_of_formal_power_series: 実装。 FFT ライブラリの高速化をした。 第七回 アルゴリズム実技検定: バーチャルコンテストをやった。 【模板】Chirp Z-Transform - 洛谷: 解いた。 无标号无根树计数 - 洛谷: 解…

2021-07-25 (日)

競プロ ARC124, Codeforces Global Round 15 に出た。

2021-07-24 (土)

競プロ 无标号无根树计数 - 洛谷: 解いた。 有标号 DAG 计数 - 洛谷: 解いた。 Euler transform の復習をした。志望校に落ちる夏休みの過ごし方TOP5【厳しめに】 - YouTubeで「模試や過去問の時間を勉強時間に入れるな」という話があったので、ABC とかに出…

2021-07-23 (金)

競プロ 第七回 アルゴリズム実技検定: バーチャルコンテストをやった。約 2 時間。

2021-07-22 (木)

競プロ FFT ライブラリの高速化をした。

2021-07-21 (水)

競プロ https://judge.yosupo.jp/problem/log_of_formal_power_series: 実装した。

2021-07-20 (火)

競プロ [MtOI2018]情侣?给我烧了!(加强版) - 洛谷: 解説 AC した。

2021-07-12 (月) - 2021-07-18 (日) 進捗

数学 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: 進捗な…

2021-07-19 (月)

競プロ 【模板】Chirp Z-Transform - 洛谷: 解いた。

2021-07-18 (日)

競プロ 第16回日本情報オリンピック 予選(過去問) - AtCoder: F を解いた。 [CTSC2006]歌唱王国 - 洛谷: 解説 AC した。

2021-07-17 (土)

数学 EC 3.13 の予習をした。 競プロ ABC210: F を解いた。 JOI Open Contest 2012 - AtCoder: A を解いた。面白い DP の形。

2021-07-16 (金)

競プロ circuit - 電気回路の結線 (Circuit) 解いた。添字の対応を含む細かいところを詰めるのに時間がかかった。 starry_sky - 星空 (Starry Sky) 解いた。定数倍高速化がだるかった。

2021-07-15 (木)

競プロ 第12回日本情報オリンピック 予選(過去問) - AtCoder: F を解説・サンプルコードを見て実装した。 第10回日本情報オリンピック 予選(過去問) - AtCoder: F を解いた。

2021-07-12 (月)

競プロ ABC209: F を解いた。

2021-07-11 (日)

競プロ 典型 090 を解いた。面白かった。

2021-07-05 (月) - 2021-07-11 (日) 進捗

数学 進捗なし 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 84-90 解き。 第5回日本情報オリンピック 本選(過去問)…

2021-07-10 (土)

競プロ 典型 089 を解いた。

2021-07-09 (金)

数学 EC ゼミ (3.13) の準備を進めた。

2021-07-08 (木)

競プロ JOI 2018/2019 予選 過去問 - AtCoder: F (座席 (Seats)) を解いた。

2021-07-07 (水)

競プロ 簡単な問題を何問か通した。

2021-07-06 (火)

競プロ ブログ記事を書いた。 koba-e964.hatenablog.com

第5回日本情報オリンピック本選の問題文 (問題4, 問題5) を日本語訳しました

第5回日本情報オリンピック 本選 (JOI 2006 本選 問題・データ) の 問題4 (リンク)、問題5 (リンク) の問題文が曖昧だったので、厳密な問題文に直しました。 問題4 (リンク) 修正後の問題文 1, 2, ..., 100 までの番号がついた頂点をもつ、自己ループをもた…

2021-07-05 (月)

競プロ 第5回日本情報オリンピック 本選(過去問) - AtCoder: E (第 5 問) を解いた。 ARC110: E, F を解いた。

2021-06-28 (月) - 2021-07-04 (日) 進捗

数学 進捗なし 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 78-83 解き。 Kyoto University Programming Contest 2020…

2021-07-04 (日)

競プロ 第5回日本情報オリンピック 本選(過去問) - AtCoder: D (問題 4) を解いた。解説によると、最悪計算量が保証されていないらしい。なんだこれは。 ABC208: A-E を解いた。F はツイッターで解法を見た。ラグランジュ補間を O(K^2) と思い込んでおり…

2021-07-03 (土)

競プロ AtCoder Regular Contest 119 - AtCoder: D を解いた。

2021-07-02 (金)

競プロ ACL Contest 1 - AtCoder: D, E を解いた。

2021-07-01 (木)

競プロ ACL Contest 1 - AtCoder: A-C を解いた。