摘要：
一、What is Dafny?【来自官网介绍 Dafny 】 1)介绍 Dafny 是一种支持验证的编程语言，配备了一个静态程序验证器。 通过将复杂的自动推理与熟悉的编程习语和工具相结合，使开发者能够编写可证明正确的代码（相对于 {P}Ｓ{Q} 这种霍尔三元组的规范而言）。 Dafny 还可以将 阅读全文
posted @ 2024-05-15 22:05
geekChen01
阅读(1)
评论(0)
推荐(0)
摘要：
动态规划 考点（后两列无需考虑） 1.1基本思想: 动态规划法与分治法类似，也是将原问题分解成若干个子问题，先求解子问题再从这些子问题的解得到原问题的解。与分治法不同的是，子问题往往不是相互独立的。动态规划法所针对的问题有一个显著的特征，即它所对应的子问题树中的子问题大量重复出现。 因此动态规划法的 阅读全文
posted @ 2024-05-15 11:41
geekChen01
阅读(0)
评论(0)
推荐(0)
摘要：
总结自：【算法设计与分析】期末考试突击课_哔哩哔哩_bilibili 1.递归，递归方程 1.1递归条件: 1.一个问题的解可以分解为几个子问题的解； 2.这个问题与分解之后的子问题，除了数据规模不同，求解思路完全一样; 3.存在递归终止条件。 1.2递归方程的建立，求解 1.2.1建立 当算法包含 阅读全文
posted @ 2024-05-15 09:29
geekChen01
阅读(0)
评论(0)
推荐(0)