算导学习2.1-插入排序

习题2.1-2

int main()
{
	int a[6] = { 31,41,59,26,41,58 };
	for (int i = 0; i < 6; i++)
	{
		printf("%d  ", a[i]);
		
	}
	cout << endl;
	
	for (int i = 0; i < 6; i++)
	{
		int key = a[i];
		int j =i-1 ;
		while (j>=0&&key<a[j])
		{
			a[j + 1] = a[j];
			j--;
		}
		a[j+1] = key;
	}
	for (int i = 0; i < 6; i++)
	{
		printf("%d  ", a[i]);
		
	}
	
}

2.1-3

	 int a[6] = { 31,4,59,26,41,58 };
	 int b = 41;
	 
	 for (int i = 0; i < 6; i++)
	 {
		 if (a[i]==b)
		 {
			 return i;
		 }
	 }
	 return NIL;

循环不变式：
初始化：在第一次迭代前子数组为空，成立
保持：假设 i次迭代前循环不等式成立，则子数组中没有目标元素，如果本次循环中，a[i]=b，则循环结束，若未结束则子数组中不存在值b,在下一次循环之前循环不等式成立；
终止：循环终止存在两种情况，一种就是迭代过程中查找到目标元素，则返回该元素在数组种的下标。另一种是数组种不存在目标元素，在循环终止前i=数组长度，由循环不变式得子数组中不存在值b，即b不存在与数组A中，于是程序运行到最后返回特殊值NIL。