《算法导论》读书笔记(一)——插入排序与循环不变式

这篇读书笔记详细探讨了《算法导论》中插入排序的C++实现及循环不变式应用,阐述了算法的初始化、保持和终止条件。接着分析了插入排序的时间复杂度,包括最坏情况与平均情况,指出其增长量级为Θ(n^2)。
摘要由CSDN通过智能技术生成

第一次学习《算法导论》,按照读书的顺序将一些心得记录下来

——————————————————————————————

插入排序的简单C++实现:

#include <iostream>
using namespace std;

void insert_Sort(int a[], int length);

int main()
{
	const int n = 10;
	int a[n] = {1,3,5,7,9,0,2,4,6,8};
	insert_Sort(a, n);
	for(int i = 0; i < n; i++)
	{
		cout << a[i] << "\t";
	}
	cout << endl;
	return 0;
}

void insert_Sort(int a[], int length)
{
	for(int i = 1; i < length; i++)
	{
		int temp = a[i];
		int j = i - 1;
		while(j > -1 && a[j] > temp)
		{
			a[j + 1] = a[j];
			j--;
		}
		a[j + 1] = temp;
	}
}

循环不变式:

初始化:循环的第一次迭代之前,它为真。

保持:如果循环的某次迭代之前为真,那么下次迭代之前仍为真。

终止:在循环终止时,不变式为我们提供一个有用的性质,该性质有助于证明算法是正确的。


循环不变式应用于插入排序:

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值