沧浪之水清兮，可以濯我缨；沧浪之水浊兮，可以濯我足。
Solution of Codeforces372 C
dynamic programming with monotonous stack
Algorithms    Solution / Codeforces / DP
Solution of USACO12OPEN G(P3067)
using the idea called "Meet in The Middle"
Algorithms    Solution / USACO
Theorem Proving & Program Verification by Coq
it seems that this article was left unfinished
Program Verification    Tutorial / Coq
Welcome, guest.