Algoritem je končno, dobro opredeljeno zaporedje korakov, ki pretvori vhod v željeni izhod. Ocenjujemo ga na dveh oseh: pravilnost (ali vedno proizvedu pravi odgovor?) in učinkovitost (koliko časa in pomnilnika porabi?).
Ideja
Veljavni algoritem mora biti (vsak korak je jasen), (se zaključi) in proizvede rezultat za vsak veljaven vhod.
