算法的基本特徵是有窮性（算法的有窮性是指算法必須能在執行有限個步驟之後終止）、確切性、可行性，算法中執行的任何計算步驟都是可以被分解為基本的可執行的操作步，即每個計算步都可以在有限時間內完成（也稱之為有效性）。
構成要素：
一，數據對象的運算和操作：計算機可以執行的基本操作是以指令的形式描述的。一個計算機系統能執行的所有指令的集合，成為該計算機系統的指令系統。一個計算機的基本運算和操作有如下四類：
1、算術運算：加減乘除等運算
2、邏輯運算：或、且、非等運算
3、關係運算：大於、小於、等於、不等於等運算
4、數據傳輸：輸入、輸出、賦值等運算
二，算法的控制結構：一個算法的功能結構不僅取決於所選用的操作，而且還與各操作之間的執行順序有關。
同一問題可用不同算法解決，而一個算法的質量優劣將影響到算法乃至程序的效率。算法分析的目的在於選擇合適算法和改進算法。一個算法的評價主要從時間複雜度和空間複雜度來考慮。
時間複雜度
算法的時間複雜度是指執行算法所需要的計算工作量。一般來説，計算機算法是問題規模n的函數f(n)，算法的時間複雜度也因此記做。
因此，問題的規模n越大，算法執行的時間的增長率與f(n)的增長率正相關，稱作漸進時間複雜度（Asymptotic Time Complexity）。
空間複雜度
算法的空間複雜度是指算法需要消耗的內存空間。其計算和表示方法與時間複雜度類似，一般都用複雜度的漸近性來表示。同時間複雜度相比，空間複雜度的分析要簡單得多。
