排序——插入排序（循环不变式）
插入排序的思想是构造一个循环不变式，可用扑克牌的例子来解释，左手为已经排好序的牌，右手为未排好序的牌，分别将右手中的牌依次一张一张地插入到左手，将左手中的每一张牌依次和这张牌比较，以此来确定这张牌在左手中的正确顺序，然后进行下一张牌，在这个过程中，左手中的牌始终是排好序的，即不变的，——称为循环不变式初始：左手中只有一张牌，是排好序的保持：依次将左手中的牌插入适当位置，保持左手排好序终...
