通过插入排序介绍了一些算法相关的基础概念
输入、输出；
原址排序：不需要额外辅助空间；
主要用来理解算法的正确性
循环的第一次迭代前，它为真。
如果循环的某次迭代之前它为真，那么下次迭代之前它仍为真
在循环终止时，不变式为我们提供一个有用的性质，该性质有助于证明算法是正确的
to，迭代减少用downto用哨兵来实现，很精妙
结构上是递归的，思想上是分治的
分解： 分解原问题为若干子问题
解决： 递归的解决这些子问题，若问题的规模够小，则直接求解
合并： 合并这些子问题的解成原问题的解
原文：https://www.cnblogs.com/Za-Ya-Hoo/p/12701869.html