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

来自问题求解
跳转至： 导航、 搜索
（→‎学习周历）
（→‎学习周历）
第57行： 第57行：
 
* 姜凯
 
* 姜凯
 
* 吴奕胜
 
* 吴奕胜
 +
|
 +
*[[Media:ArXiv12_1211.4470_(CSUR12)_Loop_Invariants_Analysis_Classification_and_Examples.pdf | Paper: Loop Invariants: Analysis, Classification, and Examples.pdf]]
 +
  (阅读建议: 不必一次性读完 (这也不太现实);
 +
  先阅读第一章，从宏观角度理解循环不变式。
 +
  再对照目录，在适当时候阅读相应算法。)
 
|-
 
|-
 
| 2022-03-15
 
| 2022-03-15

2022年3月16日 (三) 09:12的版本

学习周历

日期 论题 Open Topics 扩展材料

(供感兴趣的同学自学使用)

2022-02-14

2-0 期末试题讲解

无

2022-02-21

1-13 布尔代数习题讲解

  1. 卡诺图
  • 杨镇源
  • 龚至诚
  • 陈子元
  • 陈楚安
  1. 电路设计
  • 缪天顺
  • 蔡羽童
  • 潘昕田
  • 李成蹊
2022-02-28

2-1 算法正确性

  1. Insertion Sort and Dafny
  • 赵欣玥
  • 杨梓宣
  • 孙骞
  1. Cyclic Hanoi Problem
  • 梁子奇
  • 刘熹橦
  • 陈荣锴
2022-03-07

2-2 算法的效率

  1. Decision Tree
  • 黄俊荣
  • 李鸿毅
  • 徐研
  1. Adversary Strategy
  • 康一博
  • 姜凯
  • 吴奕胜
 
 (阅读建议: 不必一次性读完 (这也不太现实); 
  先阅读第一章，从宏观角度理解循环不变式。
  再对照目录，在适当时候阅读相应算法。)
2022-03-15

2-3 组合与计数

  1. Sums
  • 刘嘉欣
  • 周懿添
  • 许世泽
  1. Binomial Coefficients
  • 李杨彬
  • 盖伟业
  • 付博
2022-03-22

2-3 分治法与递归

  1. Akra-Bazzi Method
  • 凌众翔
  • 胡皓明
  1. Merge-Sort
  • 邵钰乾
  • 张明轩
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2021级--小班讨论_(第二学期)&oldid=4742”