Ocena brak

Jaka jest różnica pomiędzy całkowitą, a częściową poprawnością algorytmu?

Autor /Barnim7777 Dodano /29.12.2011

Algorytm jest całkowicie poprawny względem warunku początkowego i końcowego, jeżeli dla każdych danych spełniających warunek początkowy, obliczenia kończą się i wyniki spełniają warunek końcowy.

Algorytm jest częściowo poprawny jeśli dla każdych obliczeń, które się kończą wynik jest poprawny względem warunku początkowego i końcowego.

Różnica polega na tym, ze w przypadku poprawności częściowej nie zawsze obliczenia prowadzą do zakończenia pracy algorytmu.

Weryfikując częściową poprawność algorytmu musimy wykazać, że obliczenia kończą się dla wszystkich poprawnych danych wejściowych.

Podobne prace

Do góry