2013级--讨论记录 (第二学期)

2014年2月20日

1. 讨论上学期期末笔试题
   • Square Field 问题与动态规划
   • 形式化方法解题
   • BNF范式
   • 证明幂集的大小
   • 排练的判断
   • 不等势的证明

2014年2月27日

1. 问题讨论
   • 贪心解题为什么会失败？从搜索的角度解释。
   • 动态规划为什么可以求解？
   • 动态规划的本质也是穷尽搜索，为什么效率可以保证？

2014年3月6日

[课件下载]

1. • DH第四章作业讨论

2014年3月13日

[课件下载]

1. • DH第五章作业讨论
   • 算法正确性证明的基本步骤
   • 使用循环不变式证明算法正确与使用数学归纳法证明定理正确的异同

2014年3月20日

[课件下载]

1. • DH第六章作业讨论
   • TC第二章问题讨论

2014年3月20日

[课件下载]

1. • 根据度序列构建平凡图的Hakimi算法
   • Hakimi算法的复杂度分析
   • 根据度序列构建平凡图问题的算法复杂度下界问题讨论