我在大学里上的算法课感觉就是数学课，注重原理和证明方法，不怎么注重编程实现。证明算法的正确性或最优性确实是很困难的，需要用到很多的数学工具和分析方法，但这些经典问题的证明方法基本上都是有套路的，慢慢来，多学多模仿就可以了。算法证明以后如果不研究这一块的话，可能不怎么会用到，不过既然选了这门课那就好好上吧。 :)