競プロ 技術室奥プログラミングコンテスト#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

数学 マトロイドの合併がマトロイドであることの証明を追った。以前考えていた証明は誤りで、おそらく本質的に二部マッチングの正当性と同様のことが必要になる。