算法导论笔记，第2章 循环不变式与插入排序

本章的重点是循环不变式。也就是在一个循环中存在着某些不变的量。它相似于数学概括法的概括步骤：

1. 初始化：在循环第一轮迭代开始以前，应该是正确的。
2. 保持：若是在循环的某一次迭代开始以前它是正确的，那么在下一次迭代开始以前，它也应该保持正确。
3. 终止：当循环结束时，不变式给了咱们一个有用的性质，它有助于说明算法是正确的。

咱们在设计一个算法、分析一个算法的时候，要适当应用循环不变式来简化分析工做、证实算法的正确性。

书中举例插入排序：

　n个元素的待排序数组A，下标是从1到n。 j从2开始一直遍历到大于n（此时会退出循环）。循环不变式的量是：A[1...j-1]这个子数组是已排序的。 

1. 初始化：j=2, 此时A[1...j-1]只包含一个元素，因此它是正确的（已排序的）。
2. 保持：经过将A[j-1], A[j-2]....等元素向右移动一个位置，直到找到A[j]的适当位置为止，来保持A[1...j-1]已排序。
3. 终止：当j大于n时，外层for循环会结束。

经过这个简单的约束规则，能够很容易地默写出插入排序的实现代码：

void insert_sort(int* A, int n) {
  for (int j = 1; j < n;j++) {
    int key = A[j];
    int i = j-1;
    for (; i>=0 && key < A[i]; i--) {
        A[i+1] = A[i];
    }
    A[i+1] = key;
  }
}

存在着两层for循环，因此算法的时间复杂度是O(n^2). 
只用了一个临时变量key, 因此空间复杂度是O(1)

扩展思考一下：插入排序能够对链表进行排序吗？

应该是能够的。假设存在链表list. 每次从list中摘取一个节点，将它插入到sortedList中，一直到list为空。循环不变式sortedList是有序的链表。

因而循环不变式是：

1. 初始化：一开始sortedList是list的头结点，因此它是正确的（已排序的）。
2. 保持：经过依次从list中摘取一个节点，在sortedList的合适位置中插入，来保持sortedList是有序的。
3. 终止：list没有更多节点是，外层for循环会结束。

先定义一下list

typedef struct List{
  int item;
  struct List* next;
} List;
List* AddList(List* l, int item);

#include "list.h"
List* AddList(List* l, int item) {
  List* node = new(List);// (List*) malloc(sizeof(List));
  node->item = item;
  node->next = 0;
  if (l) {
    node->next = l->next;
    l->next = node;
    return l;
  }
  return node;
}

再来实现一下链表的插入排序

List* insert_sortL(List* list) {
  List* head = list;
  if (head == NULL) {
    return NULL;
  }

  List* sortedList =  head;//初始化，sortedList只有一个节点。
  List* j = head->next;
  sortedList->next = NULL;//将head从list中摘取出来
  for (; j != NULL;) {
    List* current = j;//注意摘取节点j(current)的次序
    j = j->next;
    current->next = NULL;
    int k = current->item;
    if (k < sortedList->item) {//若是比sortedList的头结点小，则须要更新头结点
      current->next = sortedList;
      sortedList = j;
      continue;
    }

    List* i = sortedList;//将current插入到sortedList的合适位置
    for (; i->next != NULL && k > i->next->item; i = i->next) {
    }
    current->next = i->next;
    i->next = current;
  }
  return sortedList;
}