nu50218 blog
  • Posts
  • Categories
  • Tags
  • About

math

2023

9月

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

3月

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

2022

12月

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

2021

2月

  • マトロイドに対する貪欲アルゴリズムの正当性の証明 February 10
© 2020–2025 
Powered by Hugo | Theme is MemE