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

来自问题求解
Wu（讨论 | 贡献）2014年3月14日 (五) 15:48的版本

跳转至： 导航、 搜索

2014年2月20日

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

2014年2月27日

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

2014年3月6日

    • DH第四章作业讨论
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2013级--讨论记录_(第二学期)&oldid=759”