计算机概论-结构归纳法（structural induction）

最新推荐文章于 2022-10-15 15:58:34 发布

传统手艺人

最新推荐文章于 2022-10-15 15:58:34 发布

阅读量3k

点赞数 3

分类专栏：计算机理论

本文链接：https://blog.csdn.net/weixin_44691523/article/details/108534469

版权

本文介绍了计算机科学中的一种重要证明方法——结构归纳法，包括对列表和树结构的归纳。通过具体例子详细阐述了如何利用结构归纳法证明关于列表长度和树节点计数的性质。

摘要由CSDN通过智能技术生成

结构归纳法（structural induction）

结构归纳法（structural induction）
- 归纳列表（induction on list）
- 树结构的归纳

结构归纳法（structural induction）

菜鸡在ANU学习这章时发现中文资料甚少，再此进行梳理（复习）。欢迎大佬指点讨论。

归纳列表（induction on list）

如何定义列表

定义关于元素属性A的空列表[]
给出列表A的元素a，并加上前缀（写作 a：A）

如何对列表I证明特性P（I）

P（）对于空列表成立（p（[]））
如果列表A符合P（A），对任意a证明P（a：A）成立

例：
使用以下条件
length [] = 0 (L1)
length (x:xs) = 1 + length xs (L2)
map f [] = [] (M1)
map f (x:xs) = f x : map f xs (M2)
[] ++ ys = ys (A1)
(x:xs) ++ ys = x : (xs ++ ys) (A2)
证明：∀xs.length (map f xs) = length xs.
思路：首先证明P([])成立,再证∀x.∀xs.P(xs)→P(x:xs)
解：