Zazwyczaj pod analizowaniu lub projektowaniu algorytmu zakłada się, iż dostarczane dane wejściowe są poprawne, czasami istotną częścią algorytmu jest negacja logiczna ledwo przetworzenie lecz oraz ocena danych.
Zgodnie spośród założeniem o jednoznaczności na rzecz identycznego zestawu danych początkowych, projekt określony klasycznie ciągle zwróci jednakowy wynik.