Verimlilik: Algoritmayı oluşturan adımlar, süresiz bir süre içinde tamamlanmalıdır.

Açıklık: Algoritmayı oluşturan adımlar doğru ve kesin bir şekilde tanımlanmalıdır.

Doğruluk: Algoritmayı çalıştıran her girdi için doğru bir çıktı elde edilmelidir.

Genellik: Bir algoritma, aynı türdeki problemlerin hepsine uygulanabilir olmalıdır.

Sonluluk: Bir algoritmanın mutlaka sonu olmalıdır. Girilen veri boyutundan bağımsız şekilde, algoritma adımları farklı bir aşamaya geçmeli veya sonlanmalıdır.