hyl天梦

摘要： 刘汝佳主要讲了一些方法和例题，例题大都是比较难的，这里只总结里面的方法。 exchange argument 在证明的时候非常常用，尤其是贪心的正确性，通过直觉发现后用这个方法来证明。 规范化 有利于简化思路，简化代码。具体来说，就是在不影响思路正确性的情况下制定标准，利于程序执行准确。 直觉与实践 阅读全文