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

来自问题求解
Wu讨论 | 贡献2014年4月9日 (三) 15:26的版本

跳转至: 导航搜索

2014年2月20日

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

2014年2月27日

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

2014年3月6日

[课件下载]

    • DH第四章作业讨论

2014年3月13日

[课件下载]

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


2014年3月20日

[课件下载]

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

2014年3月27日

[课件下载]

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

2014年4月3日

[课件下载]

    • 从n元集合中取k元多级的计数问题
    • 用集合的观点来看待加法原理、乘法原理和商原理
    • 根据CS习题证明从n元集合中取k元多级的计数公式
    • 讨论题:如何使用递归树来猜测递归式的界