“2017级--学期安排 (第二学期)”的版本间的差异

• 2-1: 算法正确性

• 理解并能够区分算法错误与程序错误
• 理解算法正确性的概念及其证明方法

• DH第5章

• 算法正确性证明与一般数学定理证明的异同

• DH 第5章练习 6, 9, 10, 12
• 证明 Euclid (欧几里德) 算法的部分正确性

• Insertion Sort

1. 刘恩萌
2. 姜勇刚
3. 张天昀

• Cyclic Hanoi

1. 李凯旭
2. 郑奘巍
3. 董杨静

2018-03-14

• 2-2: 算法的效率

• 理解算法的时间复杂性的概念与渐近表示方式

• DH第6章
• TC 2.1节, 2.2节, 3.1节

• 从无限与有限的角度正确理解算法复杂度

• DH 第6章练习 1, 8, 10, 13, 18

• Algorithmic Gap

1. 王腾
2. 李顶为
3. 肖江

• Asymptotic Notations

1. 马常风
2. 黄秉焜
3. 吕云哲

2018-03-21

• 2-3: 组合与计数

• 掌握在算法分析中常用的计数原理与方法

• CS第1章

• 为什么算法分析中需要计数

• CS 1.1 节 13
• CS 1.2 节 5, 15
• CS 1.5 节 4, 12, 14

• The twelvefold way (1)

1. 高天朗
2. 谢逸
3. 何伟

• The twelvefold way (2)

1. 张廷昊
2. 匡舒磊
3. 殷天润

2018-03-28

• 2-4: 分治法与递归

• 掌握利用分治法设计算法的思路
• 深入理解递归在算法设计中的作用

• TC第4章

• 策略在计算机算法设计中的意义

• TC第4.1节练习5
• TC第4.3节练习3
• TC第4.4节练习2
• TC第4.5节练习3
• TC第4章问题4

• 证明 The Master Theorem

1. 兰兆炜
2. 李博文
3. 吕云哲

• 介绍 Akra–Bazzi Method

1. 邱凯
2. 何润雨
3. 刘寒

2018-03-xx

• 2-2: 算法方法 (待定)

• 通过具体示例了解算法设计的基本策略

• DH第4章

• 理解复杂算法背后的简单原理

• 必做: DH 第4章练习 2、8、11、12、14
• 选做: DH 第4章练习 9 (可执行代码)、13