“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

• 邵钰乾
• 张明轩