算法（Algorithm）是指解題方案的準確而完整的描述，是一系列解決問題的清晰指令，算法代表著用系統的方法描述解決問題的策略機制。也就是說，能夠對一定規范的輸入，在有限時間內獲得所要求的輸出。如果一個算法有缺陷，或不適合于某個問題，執行這個算法將不會解決這個問題。不同的算法可能用不同的時間、空間或效率來完成同樣的任務。一個算法的優劣可以用空間復雜度與時間復雜度來衡量。

　　一個算法應該具有以下七個重要的特征：

　　①有窮性（Finiteness）：算法的有窮性是指算法必須能在執行有限個步驟之后終止；

　　②確切性（Definiteness）：算法的每一步驟必須有確切的定義；

　　③輸入項（Input）：一個算法有0個或多個輸入，以刻畫運算對象的初始情況，所謂0個輸 入是指算法本身定出了初始條件；

　　④輸出項（Output）：一個算法有一個或多個輸出，以反映對輸入數據加工后的結果。沒 有輸出的算法是毫無意義的；

　　⑤可行性（Effectiveness）：算法中執行的任何計算步驟都是可以被分解為基本的可執行 的操作步，即每個計算步都可以在有限時間內完成（也稱之為有效性）；

　　⑥高效性（High efficiency）：執行速度快，占用資源少；

　　⑦健壯性（Robustness）：對數據響應正確。

　　計算機科學中，算法的時間復雜度是一個函數，它定量描述了該算法的運行時間，時間復雜度常用大O符號（大O符號（Big O notation）是用于描述函數漸進行為的數學符號。更確切地說，它是用另一個（通常更簡單的）函數來描述一個函數數量級的漸近上界。在數學中，它一般用來刻畫被截斷的無窮級數尤其是漸近級數的剩余項；在計算機科學中，它在分析算法復雜性的方面非常有用。）表述，使用這種方式時，時間復雜度可被稱為是漸近的，它考察當輸入值大小趨近無窮時的情況。