math

2023

9月

• 平均次数が小さいグラフには大きい独立集合が存在する September 3

3月

• 依存先が商の形をしたDPの高速化 March 11

2022

12月

• コンパイラによる整数除算最適化の証明 December 20

2021

2月

• マトロイドに対する貪欲アルゴリズムの正当性の証明 February 10