我们面对一个 Problem，如排序问题时，我们会想到相应的候选算法如快速排序（Quicksort），归并排序（Merge sort）和堆排序（Heapsort）等，然后我们会去分析它们相应的时间复杂度和空间复杂度，以选取符合我们应用场景和需求的一个作为 Solution。

但在我们实现算法后，往往我们不知道或者不会去做的一步是 证明算法的正确性 。

为什么要证明算法的正确性