当前课程知识点:数据结构(上) >  第二章 向量(下) >  (d4)有序向量:二分查找(改进) >  02D4-5 正确性

返回《数据结构(上)》慕课在线视频课程列表

02D4-5 正确性在线视频

02D4-5 正确性

下一节:02D5-1 原理

返回《数据结构(上)》慕课在线视频列表

02D4-5 正确性课程教案、知识点、字幕

我们首先通过这幅图

来具体地了解一下

这个版本C的工作过程

其实最主要的是,它的每次迭代的过程

每次迭代的场景都是类似的

由这个a图来表示

也就是说,在整个这个向量的区间内

我们关注的是某一个特定的

从lo到hi的一个查找区间

在每次在这个区间里

我们都考虑这个middle point,这个x

我们以它为界,经过一次比较以后

有可能会发现目标元素更小

所以就深入到如图b所示的

左侧的这个子区间

或者对称地,因为目标元素更大

我们深入到右侧的这个区间

正如我们刚才已经看到的

左侧子区间和右侧的子区间

都没有覆盖这个middle point

而且对这个middle point

我们也没有做显式地判断

所以这也是为什么我们刚才

有理由怀疑

它有可能是这个算法的一个疏忽

我们来证明这样一个模式

实际上是安全的

为此同样用我们的两种技巧

第一就是给出这个算法的不变性

其次我们要给出它的一个单调性

好在这里头,单调性一目了然

我们就不再说明

我们更主要的是来说明它的不变性

我们断言按照刚才这个版本C

如果我们查找的目标关键码是e

那么在算法的任何一次迭代中

零到lo区间内的所有的元素

都不大于e

而hi到n区间内的所有的元素

都是严格地大于e

我们说这是这个算法的一个不变性

当然后一半的这个条件

也就等效于

就是秩为hi的这个元素

如果它存在的话,包括它也是哨兵

它总是在所有的严格大于e的

那些元素中的最小者

或者最靠左侧者

这个不变性为什么是成立的呢?

我们先来看在初始的时候

lo是等于整个区间的左端点,也就是零的

而hi呢

是等于右侧的界桩

也就是这个哨兵n的

这个时候无论是0、lo

还是hi、n这两个区间其实都是空的

对于空的对象而言

任何命题都是成立的

再看一般的情况

也就是说,根据数学归纳法

我们可以假设这个不变性

一直保持到如图a所示的这样一个情况

也就是说

零到lo这个区间确实是不大于e的

而hi到n这个区间

确实是严格大于e的

而中间这段区间呢

都是未定的

但是我们说

通过一次迭代之后

这个性质依然能保持

因为无非就是两种情况

第一种情况,也就是深入左侧这个分支的情况

我们说,如果真的是深入这个左侧分支的话

那么必然,此前的那一句判断

也就是,e小于这个a中的mi

这个元素肯定返回的是True

那么这说明什么呢?

说明在此后我们将hi

更新为mi

从而使得右侧的这段区间

向左拓展是安全的

因为确实可以断定

这个整个区间内的这些元素

都是严格地大于e的

因为它们其中最小的那个元素

也就是这个mi

经过刚才地判断,都大于e

更不用说其它的了

单调序列的特点

而零到lo呢,保持不变

所以我们说,这种情况是没有问题的

我们再来看第二种情况

也就是这样一个测试是以False返回的

那么这个时候

对应地,也就是否命题

我们也可以说

按照我们这里习惯

把小的和大的尽可能地用

小于和小于等于号来表示

也跟左右吻合

也可以断定就是说

这个时候的e实际上是不小于mi的

那么换而言之,mi这个元素

和此前的零到Lo之间的元素都是一样的

它们都不大于e

既然它作为从零

一直到mi这个整个区间中的

最大的元素

它都不大于e

换而言之,整个这样一个区间

都是不大于e的

而我们在这种情况下,做的事情是什么呢?

我们做的情况是

使得左侧的边界等于mi+1

实际上就相当于将未定的区间范围

缩小到了这样一个范围

我们可以看到

这样一个左侧区间向右拓展的动作

在刚才不变性的意义上讲,依然是安全的

因为它使得不变性得到了延续

所以换而言之

经过一次迭代以后

无论是向左还是向右的深入

我们这里断言的这个不变性都是成立的

而单调性是显而易见的

直到最后会出现一个情况

什么情况呢?

就是整个区间的宽度变成零

这个时候的图景

我们如果画出来的话

应该是这样的

这是整个的原始的搜索空间

我们经过不断地压缩、压缩、压缩之后

将搜索的范围缩小到一个

宽度为零的一个区间

而这样一个宽度为零的区间

与其说是个区间

不如说是一个分界

它严格地将整个区间分为了左右两部分

我们刚才说了,由不变性

左侧这部分依然是不大于e

而右侧这部分是严格地大于e

所以这个时候我们只需要返回

从命中的角度讲

左侧这个区间的

最右端的那个元素就可以了

这个元素是多少呢?

这个元素实际上在最后那个瞬间

应该是等于lo-1

因为它的邻居才是这个时候的lo

这也就是为什么

我们在算法的最终返回之前

要做一次减减lo的操作

所以这样的话

我们就得到了一个

从功能上、从语义上、从性能上

都近乎完美的算法

我们称它是版本C

数据结构(上)课程列表:

第零章

-选课之前

--写在选课之前

--宣传片

-考核方式

--考核方式

-OJ系统说明

--关于OJ

--1-注册与登录

--2-界面与选课

--3-提交测试

-关于课程教材与讲义

--课程教材与讲义

-关于讨论区

--关于讨论区

-微信平台

--html

-PA晋级申请

--PA晋级

--MOOC --> THU 晋级申请专区

--THU --> CST 晋级申请专区

--编程作业不过瘾?且来清华试比高!

第一章 绪论(上)

-(a)计算

--01-A-1: 计算

--01a-2: 绳索计算机

--01a-3: 尺规计算机

--01a-4: 算法

--01a-5 : 有穷性

--演示

--01a-6 : 好算法

--(a)计算--作业

-(b)计算模型

--01b-1: 性能测度

--01b-2: 问题规模

--01b-3: 最坏情况

--01b-4: 理想模型

--01b-5: 图灵机

--01b-6: 图灵机实例

--01b-7: RAM模型

--01b-8: RAM实例

-(b)计算模型--作业

-(c)大O记号

--01c-1: 主流长远

--01c-2: 大O记号

--01c-3: 高效解

--01c-4 : 有效解

--01c-5 : 难解

--01c-6: 2−Subset

--01c-7: 增长速度

-(c)大O记号--作业

第一章 绪论(下)

-(d)算法分析

--01d-1: 算法分析

--01d-2: 级数

--01d-3: 循环

--01d-4: 实例:非极端元素+起泡排序

--01d-5: 正确性的证明

--01d-6: 封底估算-1

--01d-7: 封底估算-2

-(d)算法分析--作业

-(e)迭代与递归

--01-E-1: 迭代与递归

--01-E-2: 减而治之

--01-E-3: 递归跟踪

--01-E-4: 递推方程

--01-E-5: 数组倒置

--01-E-6: 分而治之

--01-E-7: 二分递归:数组求和

--01E-8 二分递归:Max2

--01E-09: Max2:二分递归

-(e)迭代与递归--作业

-(xc)动态规划

--01XC-1: 动态规划

--01XC-2: Fib():递推方程

--01XC-3: Fib():封底估算

--01XC-4: Fib():递归跟踪

--01XC-5: Fib():迭代

--01XC-6: 最长公共子序列

-- 演示

--01XC-7: LCS:递归

--01XC-8: LCS:理解

--01XC-9: LCS:复杂度

--01XC-A: LCS:动态规划

-(xc)动态规划--作业

-本章测验--作业

第二章 向量(上)

-(a)接口与实现

--02A-1 接口与实现

--02A-2 向量ADT

--02A-3 接口操作实例

--02A-4 构造与析构

--02A-5 复制

-(a)接口与实现--作业

-(b)可扩充向量

--02B-1 可扩充向量

--02B-2 动态空间管理

--02B-3 递增式扩容

--02B-4 加倍式扩容

--02B-5 分摊复杂度

-(b)可扩充向量--作业

-(c)无序向量

--02C-1 概述

--02C-2: 循秩访问

--02C-3 插入

--02C-4 区间删除

--02C-5 单元素删除

--02C-6 查找

--02C-7 唯一化

--02C-8 遍历

-(c)无序向量--作业

-(d1)有序向量:唯一化

--02D1-1 有序性

--02D1-2 唯一化(低效版)

--02D1-3 复杂度(低效版)

--02D1-4 唯一化(高效版)

--02D1-5 实例与分析(高效版)

-(d1)有序向量:唯一化--作业

-(d2)有序向量:二分查找

--02D2-1 概述

--02D2-2 接口

--02D2-3 语义

--02D2-4 原理

--02D2-5 实现

--02D2-6 实例

--02D2-7 查找长度

-(d2)有序向量:二分查找--作业

第二章 向量(下)

-(d3)有序向量:Fibonacci查找

--02D3-1 构思

--02D3-2 实现

--02D3-3 实例

--02D3-4 最优性

-(d3)有序向量:Fibonacci查找--作业

-(d4)有序向量:二分查找(改进)

--02D4-1 构思

--02D4-2 版本B

--02D4-3 语义

--02D4-4 版本C

--02D4-5 正确性

-(d4)有序向量:二分查找(改进)--作业

-(d5)有序向量:插值查找

--02D5-1 原理

--02D5-2 实例

--02D5-3 性能分析

--02D5-4 字宽折半

--02D5-5 综合对比

-第二章 向量(下)--(d5)有序向量:插值查找

-(e)起泡排序

--02 E-1 构思

--02E-2 改进

--02E-3 反例

--02E-4 再改进

--02E-5 综合评价

-(e)起泡排序--作业

-(f)归并排序

--02F-1 归并排序:构思

--02F-2 归并排序:主算法

--02F-3 二路归并:实例

--02F-4 二路归并:实现

--02F-5 二路归并:正确性

--02F-6 归并排序:性能分析

-(f)归并排序--作业

-本章测验--作业

第三章 列表

-(a)接口与实现

--03A-1 从静态到动态

--03A-2 从向量到列表

--03A-3 从秩到位置

--03A-4 实现

-(a)接口与实现--作业

-(b)无序列表

--03B-1 循秩访问

--03B-2 查找

--03B-3 插入与复制

--03B-4 删除与析构

--03B-5 唯一化

-(b)无序列表--作业

-(c)有序列表

--03C-1 唯一化·构思

--03C-2 唯一化·实现

--03C-3 查找

-(c)有序列表--作业

-(d)选择排序

--03D-1 构思

--03D-2 实例

--03D-3 实现

--03D-4 推敲

--03D-5 selectMax()

--03D-6 性能

-(d)选择排序--作业

-(e)插入排序

--03E-1 经验

--03E-2 构思

--03E-3 对比

--03E-4 实例

--03E-5 实现

--03E-6 性能分析

--03E-7 平均性能

--03E-8 逆序对

-(e)插入排序--作业

-(xd)习题辅导:LightHouse

--03X D 习题辅导:LightHouse

-本章测验--作业

第四章 栈与队列

- (a)栈接口与实现

--04A-1 栈

--04A-2 实例

--04A-3 实现

- (a)栈接口与实现--作业

-(c1)栈应用:进制转换

--04C1-1 应用

--04C1-2 算法

--04C1-3 实现

-第四章 栈与队列--(c1)栈应用:进制转换

-(c2)栈应用:括号匹配

--04C2-1 实例

--04C2-2 尝试

--04C2-3 构思

--04C2-4 实现

--04C2-5 反思

--04C2-6 拓展

-(c2)栈应用:括号匹配--作业

-(c3)栈应用:栈混洗

--04C3-1 混洗

--04C3-2 计数

--04C3-3 甄别

--04C3-4 算法

--04C3-5 括号

-第四章 栈与队列--(c3)栈应用:栈混洗

-(c4)栈应用:中缀表达式求值

--04C4-1 把玩

--04C4-2 构思

--04C4-3 实例

--04C4-4 算法框架

--04C4-5 算法细节

--04C4−6A 实例A

--04C4−6B 实例B

--04C4−6C 实例C

--04C4-6D 实例D

-(c4)栈应用:中缀表达式求值--作业

-(c5)栈应用:逆波兰表达式

--04C5-1 简化

--04C5-2 体验

--04C5-3 手工

--04C5-4 算法

-第四章 栈与队列--(c5)栈应用:逆波兰表达式

-(d)队列接口与实现

--04D-1 接口

--04D-2 实例

--04D-3 实现

-第四章 栈与队列--本章测验

第五章 二叉树

-(a)树

--05A-1 动机

--05A-2 应用

--05A-3 有根树

--05A-4 有序树

--05A-5 路径+环路

--05A-6 连通+无环

--05A-7 深度+层次

-(a)树--作业

-(b)树的表示

--05B-1 表示法

--05B-2 父亲

--05B-3 孩子

--05B-4 父亲+孩子

--05B-5 长子+兄弟

-第五章 二叉树--(b)树的表示

-(c)二叉树

--05C-1 二叉树

--05C-2 真二叉树

--05C-3 描述多叉树

-(c)二叉树--作业

-(d)二叉树实现

--05D-1 BinNode类

--05D-2 BinNode接口

--05D-3 BinTree类

--05D-4 高度更新

--05D-5 节点插入

-(d)二叉树实现--作业

-(e1)先序遍历

--05E1-1 转化策略

--05E1-2 遍历规则

--05E1-3 递归实现

--05E1-4 迭代实现(1)

--05E1-5 实例

--05E1-6 新思路

--05E1-7 新构思

--05E1-8 迭代实现(2)

--05E1-9 实例

-(e1)先序遍历--作业

-(e2)中序遍历

--05E2-1 递归

--05E2-2 观察

--05E2-3 思路

--05E2-4 构思

--05E2-5 实现

--05E2-6 实例

--05E2-7 分摊分析

-第五章 二叉树--(e2)中序遍历

-(e4)层次遍历

--05E4-1 次序

--05E4-2 实现

--05E4-3 实例

-第五章 二叉树--(e4)层次遍历

-(e5)重构

--05E5-1 遍历序列

--05E5-2 (先序|后序)+中序

--05E5-3 (先序+后序)x真

-(e5)重构--作业

-本章测验--作业

第六章 图

-(a)概述

--06A-1 邻接+关联

--06A-2 无向+有向

--06A-3 路径+环路

-(a)概述--作业

-(b1)邻接矩阵

--06B1-1 接口

--06B1-2 邻接矩阵+关联矩阵

--06B1-3 实例

--06B1-4 顶点和边

--06B1-5 邻接矩阵

--06B1-6 顶点静态操作

--06B1-7 边操作

--06B1-8 顶点动态操作

--06B1-9 综合评价

-(b1)邻接矩阵--作业

-(c)广度优先搜索

--06C-1 化繁为简

--06C-2 策略

--06C-3 实现

--06C-4 可能情况

--06C-5 实例

--06C-6 多连通

--06C-7 复杂度

--06C-8 最短路径

-(c)广度优先搜索--作业

-(d)深度优先搜索

--06D-1 算法

--06D-2 框架

--06D-3 细节

--06D-4 无向图

--06D-5 有向图

--06D-6 多可达域

--06D-7 嵌套引理

-(d)深度优先搜索--作业

-第六章 图--本章测验

02D4-5 正确性笔记与讨论

也许你还感兴趣的课程:

© 柠檬大学-慕课导航 课程版权归原始院校所有,
本网站仅通过互联网进行慕课课程索引,不提供在线课程学习和视频,请同学们点击报名到课程提供网站进行学习。