2025
2023
03-26
Talk about Tree Chain Partition
tutorials & some problems
03-22
Solution of HNOI2008 “玩具装箱”(P3195)
dynamic programming with slope optimization & monotonous queue
03-21
Solution of Codeforces372 C
dynamic programming with monotonous stack
03-19
Solution of USACO12OPEN G(P3067)
using the idea called "Meet in The Middle"
03-06
Theorem Proving & Program Verification by Coq
it seems that this article was left unfinished
03-05