Witam
Czy algorytm częściowo poprawny może być całkowicie poprawny?? Mam rozróżnione te dwa pojęcia, ale moim zdaniem może być całkowicie poprawny dla pewnego zestawu danych. Jakie jest wasze zdanie?
0
0
Algorytm jest poprawny, jeżeli daje poprawny wynik dla wszystkich poprawnych danych wejściowych. Jak odpowiednio zawęzisz te dane to może i być całkowicie poprawny.
0
Wykonywanie algorytmu częściowo poprawnego może się nigdy nie zakończyć. Jeżeli się jednak zakończy, to wynik musi być poprawny.