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

来自问题求解

Wu（讨论 | 贡献）2014年2月28日 (五) 09:52的版本

(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)

跳转至：导航、搜索

2014年2月20日

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

2014年2月20日

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

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