競プロ KEYENCE Programming Contest 2021 - AtCoder: D を解いた。 2010年 日本情報オリンピック春合宿OJ - AtCoder: DNAの合成 を解いた。Aho-Corasick の復習。
特になし
競プロ 第一回日本最強プログラマー学生選手権決勝 - AtCoder: E を解いた。Aho-Corasick を履修した。
数学 進捗なし 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 66-71 解き。 CODE FESTIVAL 2016 Grand Final - AtCoder:…
競プロ DISCO presents ディスカバリーチャンネル コードコンテスト2016 予選 - AtCoder: D を解説 AC した。重心分解の実装が難しかった。
競プロ https://codingcompetitions.withgoogle.com/codejam/round/0000000000432ad5/0000000000432df6: 考えて解法になりそうなものはわかった。実装はまだ。
競プロ 第2回 ドワンゴからの挑戦状 予選 - AtCoder: E を解いた。
競プロ HL 分解を実装した。https://github.com/koba-e964/contest/commit/702a7441058d7c1c67952b5f2563712b7a86debe
特になし。早く寝た。
競プロ 東京大学プログラミングコンテスト2012 - AtCoder: J を解説 AC した。
競プロ CODE FESTIVAL 2016 Grand Final - AtCoder: F を解いた。
数学 EC ゼミ: Section 3.12 をやった。 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 60-65 解き。 TPC追いコン - AtC…
競プロ CODE FESTIVAL 2016 Grand Final - AtCoder: H を解いた。
競プロ 東京工業大学プログラミングコンテスト2019 - AtCoder: J を解説 AC した。H を解いた。 H: 解説では動的 segment tree を使うやり方が紹介されていたが、AVL tree の方が簡単そうなのでそちらを実装した。どちらの方がいいのかは不明。 ARC122: 参加…
競プロ 東京工業大学プログラミングコンテスト2019 - AtCoder: I を実装した。
競プロ Educational DP Contest - AtCoder: T, Z を解いた。 CPSCO2019 Session1 - AtCoder: H をヒント付きで解いた。
競プロ Maximum-Cup 2018 - AtCoder G を実装した。
競プロ TPC追いコン - AtCoder E を解いた。
競プロ 自明を何問か倒した。
数学 マトロイドの合併がマトロイドであることの証明を追った。 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし cafecoder 用の提出スクリプトを書…
趣味開発 cafecoder 用の提出スクリプトを書いた。 contest/submit.py at master · koba-e964/contest · GitHub
競プロ Cafecoder Coffee Break 001 に参加した。A-D, F を解いた。
競プロ 技術室奥プログラミングコンテスト#2 - AtCoder: F を解いた。 Monge 性を完全に誤解していたことが発覚。 Educational Codeforces Round 110: 参加。A-D の 4 完。
競プロ Hu-Tucker のアルゴリズムを実装した。 AtCoder#23142200
競プロ 自明問題を何問か倒した。
競プロ パ研合宿コンペティション 3日目 - AtCoder: G を解いた。 G: https://atcoder.jp/contests/pakencamp-2018-day3/editorial/2012
数学 マトロイドの合併がマトロイドであることの証明を追った。以前考えていた証明は誤りで、おそらく本質的に二部マッチングの正当性と同様のことが必要になる。
数学 Hall の定理、Dilworth の定理、Koenig の定理などの同値性の証明を追った。 ノート: Hall <=> Koenig <=> Dilworth · GitHub 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Qu…
競プロ CODE FESTIVAL 2014 Hard - AtCoder: D を解説 AC した。 ABC 203: 参加。 F で詰まりまくった。
競プロ Code Festival Team Relay (Parallel) - AtCoder: G, I を解説 AC し、J を解いた。 J: ネタバレ→n^2 が通る制約なので最初はフローかと思ったが、冷静に考えたら [0, i) までの情報を持っておける + 区間で更新する際前計算が効く ということに気づ…
