“2021级--小班讨论 (第二学期)”的版本间的差异

2-0 期末试题讲解

无

1-13 布尔代数习题讲解

1. 卡诺图

• 杨镇源
• 龚至诚
• 陈子元
• 陈楚安

1. 电路设计

• 缪天顺
• 蔡羽童
• 潘昕田
• 李成蹊

2-1 算法正确性

1. Insertion Sort and Dafny

• 赵欣玥
• 杨梓宣
• 孙骞

1. Cyclic Hanoi Problem

• 梁子奇
• 刘熹橦
• 陈荣锴

• Paper: Loop Invariants: Analysis, Classification, and Examples.pdf

 (阅读建议: 不必一次性读完 (这也不太现实); 
  先阅读第一章，从宏观角度理解循环不变式。
  再对照目录，在适当时候阅读相应算法。)

2-2 算法的效率

1. Decision Tree

• 黄俊荣
• 李鸿毅
• 徐研

1. Adversary Strategy

• 康一博
• 姜凯
• 吴奕胜

2-3 组合与计数

1. Sums

• 刘嘉欣
• 周懿添
• 许世泽

1. Binomial Coefficients

• 盖伟业
• 付博

• The Art of Computer Programming Vol4A: Combinatorial Algorithms Part 1

 (阅读建议: 学习各种组合对象的生成 (Generating) 算法。)

2-4 分治法与递归

1. Akra-Bazzi Method

• 凌众翔
• 胡皓明

1. Merge-Sort

• 邵钰乾
• 张明轩

2-5 递归式求解

1. Generating Functions

• 鞠哲
• 蔡昊润
• 尹杰
• 林凡琪

• Concrete Mathematics. R. Graham, D. Knuth, O. Patashnik.pdf

 (阅读建议: 第七章 (7.2-7.5)。Generating Function。)

2-6 algorithmic-methods

1. SAT Problem

• 董睿祺
• 朱家辰

1. alpha-beta Pruning

• 马尧
• 陈卓

• 2-7-discrete-probability
• 2-7-discrete-probability-handout

• Monty Hall Problem

1. 胡嘉欣
2. 邓振霄
3. 陈宇宁

• Shuffling Cards

1. 郑九铭
2. 张牧牧
3. 邹睿恒

• Philosophy of Probability.pdf

 学习哲学有什么用？它的用处在于让你的头脑变得混乱，然后再从混乱走向明晰。

• Average-case Analysis of FindMax

1. 陈星宇
2. 李骏骁

• Average-case Analysis of Binary Search

1. 黄泽方
2. 毕然

• Average-case Analysis of FindMax

1. 陈星宇
2. 李骏骁

• Average-case Analysis of Binary Search

1. 黄泽方
2. 毕然