摘要：
数学归纳法简介 数学归纳法（Mathematical Induction, MI）是一种数学证明方法，通常被用于证明某个给定命题在整个（或者局部）自然数范围内成立。数学归纳法在计算机科学中广泛应用，例如用代入法解递归式、用循环不变式证明算法正确性等。深刻理解数学归纳法有利于建立良... 阅读全文
摘要：
这篇讲解部分已经整合进入http://blog.csdn.net/OIljt12138/article/details/51052195 。代码留在这里。题目描述N个任务排成一个序列在一台机器上等待完成（顺序不得改变），这N个任务被分成若干批，每批包含相邻的若干任务。从时刻0开... 阅读全文