啃书的第四天

好难啃，大篇幅的证明和theorem醉醉的。CH1,2，3，4，5,6，7，10，16，22，23，24。希望明后天能啃完数据结构和动态规划。。。