Proving the correctness of algorithm

   These days, I wonder how to proving the correctness of the algorithm. Actually, in sincere, I have to say that I try to ignore, or set myself in passive mood. I don't mind to put my hands on the keyboard to search about the methods to prove the correctness of algorithm.

    I just too focus on the implementation. This is really not good. But finally, after one minute searching and half an hour to read about the methods, I can have a bigger view on the algorithm's correctness proving.

    There are a lot of methods to prove the correctness of the algorithm, but one of the most usual method is induction. Now, just need to think about the base step and the inductive step to prove the correctness of the algorithm. 

     Let's try !