从起泡排序探究算法正确性证明的一般规律

最新推荐文章于 2022-01-27 10:01:59 发布

转载最新推荐文章于 2022-01-27 10:01:59 发布 · 170 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/Code-Rush/p/4566862.html

本文深入探讨了起泡排序算法的不变性和单调性，解释了算法如何确保在最多n次扫描后终止并提供正确答案。通过分析，读者可以更好地理解算法的工作原理及其效率。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

起泡排序

问题：该算法必然会结束？至少需要迭代多少趟？

不变性：经k 轮扫描交换后，最大的k 个元素必然就位

单调性：经k 轮扫描交换后，问题规模缩减至n-k

正确性：经至多n 趟扫描后，算法必然终止，且能给出正确解答

转载于:https://www.cnblogs.com/Code-Rush/p/4566862.html

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

weixin_30266885

关注关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

冒泡排序算法_冒泡排序算法过程、正确性证明及改进

weixin_39747975的博客

12-08

699

今天要给大家介绍冒泡排序算法，这个算法吧，其实想法很容易理解，但是重点在于其正确性证明上，因为我认为这绝对是考点，捋顺思路，顺便和有需要学习这部分内容的同学分享所学所想。摘自--你今天真好看(【美】莉兹·克里莫所绘漫画集)一、冒泡排序算法过程冒泡排序算法过程冒泡排序算法的思想其实很简单，就是不断比较两个元素，将大的元素不断向后移动，每一趟都会将当前i个元素中最大的放到第i个位置。下面我们先给出一种...

起泡排序算法_气泡排序算法

从零开始的教程世界

07-20

2794

起泡排序算法When working with large databases, it is necessary to add the functionality to search for values or find the highest or lowest values from a range of items. The Bubble Sort Algorithm is an algor...

参与评论您还未登录，请先登录后发表或查看评论

选择排序法证明

紫数（purplemath）的学习笔记

06-25

889

选择排序法证明问题重述：有n个数（n≥2）a1, a2, …, an，从i = 1到n - 1共经历n - 1次循环，对于每一次循环i，将ai+1,…,an依次和ai作比较。对于每一次比较(ai, aj) ，其中j = i + 1, …, n，若ai≥aj，ai, aj保持不变；若ai j，则ai, aj互换位置。则最后这n个数将降序排列。证明：对于每一次“比较”操作。若ai ≥ aj，ai,

用循环不定式来证明冒泡排序的正确性

唐宋元明清的博客

09-27

2640

循环不定式可以用来证明一个算法的正确性：比如我现在有一个算法A,我要证明它的正确性：步骤如下：第0步：定义循环不定式；第1步：证明循环不定式在算法开始的时候是正确的；第2步：证明循环不定式在算法每次迭代(循环)的时候是正确的；第3步：证明循环不定式在算法结束时是正确的；以下是用循环不定式来证明冒泡排序的正确性：首先看代码： #include<stdio.h&g...

算法导论 2-2 冒泡排序的正确性

madaxin的博客

09-20

2398

（冒泡排序的正确性）冒泡排序是一种流行但低效的排序算法，它的作用是反复交换相邻的未按次序排列的元素。 a. 假设A' 表示BUBBLESORT(A)的输出。为了证明BUBBLESORT正确，我们必须证明它将终止并且有： (2.3) 其中 n = A.length 。为了证明 BUBBLESORT 确实完成了排序，我们还需要证明什么？下面两部分将证明2.3 。 b. 为第 2~4 行的for循环精确地说明一个循环不变式，并证明该循环不变式成立。你的证明应该使用本章中给出的循环不变式证明的..

冒泡排序算法分析——《算法导论》学习笔记

swordmanwk的专栏

01-19

3379

BUBBLESORT(A)1 fori ← 1 tolength[A]2 do forj ← length[A] downtoi + 13 do ifA[j] 4 then exchange A[j] ↔A[j - 1] 1 使用循环不变式证明算法的正确性：初始化：首先，先证明对于第一轮迭代开始之前，循环不变式是成立的。此时i=1，而子数组为A[1..i]。亦即，它只包含一个元素A[1]，实际上就是最初A[1]中的那个元素。这个

直接插入排序算法起泡（冒泡）排序算法的实现

最新发布

09-16

3. 可能还会有测试代码，用于验证排序算法的正确性，这部分可能会包含一些随机生成的数组和对应的预期排序结果。在C++中，这两种排序算法的实现通常涉及循环、条件语句和数组操作。它们的时间复杂度分别是：直接...

双向起泡排序算法 C语言

HISS的博客

02-12

843

#include<stdio.h> #define MAXSIZE 10 //打印函数 void Show(int arr[], int n) { int i; printf("\n\n排序的结果为：\n"); for(i = 0; i < n; i ++ ) printf("%d ",arr[i]); printf("\n"); } //交换函数 void Swap(int *num_a, int *num_b) {

起泡排序法比较和移动次数——C++代码

06-08

起泡排序是一种基础的排序算法，它通过重复遍历待排序的序列，比较相邻元素并交换位置，使得每个元素都能“浮”到正确的位置。在这个过程中，最大（或最小）的元素就像气泡一样逐渐升至序列的顶端，因此得名“起泡...

算法导论(第三版)第二章思考题2-2 (冒泡排序的正确性) 冒泡排序是一种流行但低效的排序算法...

moqiluoji的博客

03-16

640

(冒泡排序的正确性) 冒泡排序是一种流行但低效的排序算法,它的作用是反复交换相邻的未按次序的排列的元素. BUBBLESORT(A) 1 for i = 1 to A.length - 1 2 for j = A.length downto i + 1 3 if A[j] < A[j - 1] 4 excha...

使用循环不变式证明分治算法的正确性

weixin_34037515的博客

09-10

797

声明本文并不是从教科书上抄下来的，而是笔者自己瞎想的，很可能有错误，请不吝批评指正。不要在答卷的时候使用本文内容，否则得0分之后果自负。另，本文的示例代码的语法使用的是《算法导论》的伪代码语法。分治法简介分治法是一种递归求解问题的方法，分为三个步骤： - 分解：将问题分为若干个子问题。 - 解决：递归地求解每个子问题，直到子问题小到可以直接求解。 -...

[数据结构与算法] 算法分析-冒泡排序法

夹猪逃的博客

09-20

315

问题：给定n个整数，将他们按(严格或非严格)升/降序排列。如：将 5、4、6、2、3、7、1 按升序排列观察：有序/无序序列中，任意/总有一对相邻元素顺序/逆序扫描交换：依次比较每一对相邻元素，如有必要则交换之； 1）若整趟扫描都没有进行交换，则排序完成； 2）否则，再做一次扫描交换从第一个元素开始，依次与右边相邻的元素做比较。如果第一个元素比第二个元素大则二者交换位置，否则不做操作。然后再比较第二和第三个元素，规则相同。直到最后一个元素也参与了比较，则第一轮循环结束。第一轮一共经过了n-1次比较，最

【算法设计与分析】如何分析一个算法

weixin_40908748的博客

11-24

2744

【算法设计与分析】课程复习计划——第一讲：如何分析一个算法？

算法导论习题解答 2-2

07-19

290

•2-2 冒泡排序算法的正确性证明伪代码： BUBBLESORT(A) 1、 for i <- 1 to Length[A] 2、 do for j <- 1 to Length[A]downto i+1 3、 do if A[j] < A[j-1] 4、 then exchange A[j] &...

算法导论学习记录 2.1插入排序

Trembleice的学习记录

07-31

167

1.插入排序有数组A[n] = {5,2,4,6,1,3} 给出下标 j = 2 to n，表示正被插入到手中的’当前牌’。每次抽一次牌就进行一次由已排序数列的最大数向最小数的查找，查找过程用 i 作为当前被用于比较的牌的下标，对数列中的数依次查找。如果A[i] > A[j]，则A[i+1] = A[i]，A[i] = A[j]，即将当前两个下标所指向的数交换位置，再将下标i向左退一位，实现数字在数组上的右移。直到循环结束，完成这一张牌的插入。已排序队列 A[1…j-1] 具有循环不变式的性

[排序算法]--冒泡排序的多种实现(Java)

weixin_44690103的博客

03-16

383

冒泡排序@TOC 欢迎使用Markdown编辑器你好！这是你第一次使用 Markdown编辑器所展示的欢迎页。如果你想学习如何使用Markdown编辑器, 可以仔细阅读这篇文章，了解一下Markdown的基本语法知识。新的改变我们对Markdown编辑器进行了一些功能拓展与语法支持，除了标准的Markdown编辑器功能，我们增加了如下几点新功能，帮助你用它写博客：全新的界面设计，将...

《数据结构（c++语言版）》学习笔记第一章绪论

Phoenix0z的博客

08-12

682

笔者是刚刚转专业到计算机科学与技术专业的准大二学生，这个暑假在着手自学一些书籍，写该博客主要为了梳理知识，加深记忆。第一章绪论本章将介绍计算机相关的基本概念，包括算法构成的基本要素、算法效率的衡量尺度、计算复杂度的分析方法与界定技巧、算法设计的基本框架与经典模式。 1.1计算机与算法介绍古埃及人的绳索、欧几里得尺柜和起泡排序，以此来分析算法的种种特性。代码1.1整数数组的起泡...

学堂在线数据结构部分作业1

qq_38101996的博客

11-29

6367

迭代与递归 1.用分而治之的思想来解决长度为n的数组的求和问题（n足够大），递归实例的数目是否会比用减而治之的方法少解析：减而治之的算法中，递归实例分别是：1个规模为n的实例、1个规模为n-1的实例、1个规模为n-2的实例、…，共有n个。分而治之的算法中，递归实例分别是：1个规模为n的实例、2个规模为n/2的实例、4个规模为n/4的实例、…，共有1+2+4+8+…+n个。 2.减而治之的思想是...

【笔记】第1章绪论

我曾崩溃、怯懦、自我怀疑，内心有什么东西腐烂了，恶臭熏天

01-27

2183

清华大学邓俊辉-数据结构与算法

实现改进的插入法和起泡排序算法

- 标记改进的起泡排序：在某次遍历过程中如果没有发生任何交换，说明序列已经排序完成，算法可以立即终止。 - 鸡尾酒排序（Cocktail Sort）：从一个方向开始进行冒泡排序，达到序列末尾后改变方向进行下一轮排序，...