Dating algoritmi de aplicații

Claritatea - proprietatea algoritmului de a descrie cu exactitate și fără ambiguități pașii care trebuiesc parcurși în rezolvarea problemei.

Verificabilitatea - acea proprietate a algoritmelor care permite ca fiecare pas să poată fi verificat într-un timp rezonabil de către om, folosind mijloace de validare de încredere.

Optimalitatea - proprietatea unui algoritm de a se termina după un număr minim de pași.

De exemplu, dacă se cere să se dating algoritmi de aplicații suma primelor 'n' numere naturale, se poate aplica formula de calcul, și astfel algoritmul se termină într-un singur pas, pe când dacă am aduna toate numerele de la 1 la n, el s-ar termina abia în n pași, și deci nu ar fi optim.

În teoria complexității se folosește notația O n.

Finitudinea - este proprietatea algoritmului de a se termina într-un număr finit de pași. Există și algoritmi care nu se termină într-un număr mărginit de pași, dar aceștia se numesc "metode algoritmice".

Eficiența - este proprietatea unui algoritm de a se termina nu numai într-un număr finit, ci și "rezonabil" de pași, chiar dacă acesta nu este cel mai mic posibil nu este optim.

Algorimul este ineficient și dacă rezultatul se obține într-un timp mai lung decât cel dorit sau permis.

Existența unei intrări datele de prelucrat. Întrucât operatorii se aplică unui operand sau și mai multor operanzi deodatăeste de neconceput un algoritm fără niciun operand.

Intrările permise formează împreună un set mulțime specific de obiecte sau valori, care se numește "domeniul" algoritmului. Existența unei ieșiri rezultatele. Este de neconceput un algoritm care nu are nicio ieșire, deoarece în acest caz intră în discuție însăși utilitatea sa.

În funcție de modul de implementareun algoritm poate fi: recursiv - face uz de sine, în mod repetat iterativ repetitiv.