12 2023 档案

循环不变式
摘要：循环不变式 一、数学归纳法 因为循环不变式的定义与数学归纳法类似，所以我们先来看看数学归纳法。 我们首先从高中开始回忆起，有关于数列的数学归纳法。 一般的，证明一个与正整数 n 有关的命题，可以分为以下两个步骤[1]： 1. 归纳奠基：证明当 n=n0(n0∈N∗) 阅读全文
posted @ 2023-12-27 21:02 BryceAi 阅读(308) 评论(0) 推荐(0) 编辑
不同查找情况下的二分查找
摘要：对于有序序列，二分查找是一种非常高效的查找算法。但是二分查找一般刚接触的时候，很难处理好边界条件，下面我们来看看不同情况下面的二分查找。 注意： 除特别说明外，均返回索引值。 本文中关于“目标值”这个词，认为需要返回下标所在的值被称为目标值。因此找到某个小于或大于某个值num的值ret，我们认为re 阅读全文
posted @ 2023-12-03 23:28 BryceAi 阅读(83) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示