算法正確性證明包括兩個方面：1.證明關於輸入與輸出之關係的命題是正確的；2.證明算法中的公式及計算方法是正確的。1、檢驗算法是否正確可以將所編寫算法寫成代碼帶入程序中進行運行測驗，隨機選擇多個數值分別進行測試，如果結果符合，則此算法基本無誤。2、請教前輩比如老師或者師兄師姐，請他們幫忙檢驗。
