排序算法稳定性的深入讨论

指出当前对稳定性的定义是不确定的，为此，提出本质稳定性的概念，并通过从理论上证明折半插入排序算法的稳定性印证上述观点的正确性，并就稳定性问题作了更深入的讨论。