Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

Wyklad MAP 01/PJWSTK1 METODY ANALIZY PROGRAMÓW Grażyna Mirkowska tel.w. 153 pokój 306.

Podobne prezentacje


Prezentacja na temat: "Wyklad MAP 01/PJWSTK1 METODY ANALIZY PROGRAMÓW Grażyna Mirkowska tel.w. 153 pokój 306."— Zapis prezentacji:

1 Wyklad MAP 01/PJWSTK1 METODY ANALIZY PROGRAMÓW Grażyna Mirkowska tel.w. 153 pokój 306

2 Wyklad MAP 01/PJWSTK2 Cel Przedstawienie problemów i metod specyfikacji i weryfikacji programów, zapoznanie z technikami wspomagającymi poprawne konstruowanie algorytmów, zapoznanie z podstawowymi kryteriami oceny algorytmów, wyrobienie umiejętności nieformalnej analizy poprawności i szacowania złożoności.

3 Wyklad MAP 01/PJWSTK3 Literatura Banachowski L., Kreczmar A.: Elementy analizy algorytmów, WNT, 1999 Cormen T., Leiserson CH., Rivest R.: Wprowadzenie do algorytmów, DUNOD, 1994 Harel D.: Rzecz o istocie Informatyki, algorytmika, WNT 1992 Mirkowska G., Salwicki A.: Logika dla programistów, WNT, Aho A.J., Hopcroft J.E., Ullman J.D.: Struktury danych i algorytmy, PWN Ben-Ari M.: Podstawy programowania współbieżnego i rozproszonego, WNT 1996 Dijkstra C.A.R.: Umiejętność programowania, WNT Mirkowska G., Salwicki A.: Algorithmic Logic, PWN, 1989

4 Wyklad MAP 01/PJWSTK4 problem metoda rozwiązania rozwiązanie specyfikacja programpoprawność specyfikacjiprogramu Algorytm + Struktura danych opisimplementacja

5 Wyklad MAP 01/PJWSTK5 Jak sformułować problem? Specyfikacja problemu - dokument, który informuje co należy zrobić i który jest podstawą do zweryfikowania rozwiązania problemu. Rozwiązanie - program musi być zgodny z zadaną specyfikacją. Problemy: jednoznaczność, niesprzeczność.

6 Wyklad MAP 01/PJWSTK6 Kryteria oceny algorytmów Prostota, czytelność Poprawność Koszt realizacji Idealny algorytm to taki, który jest prosty, łatwy do zrozumienia, krótki, który liczy szybko, zajmuje mało miejsca w pamięci i zawsze daje poprawne wyniki.

7 Wyklad MAP 01/PJWSTK7 Jak zapisywać algorytmy? Język x := t if then P1 else P2 fi begin P1; P2 end while do P1 od procedury p(in-, out- prametry ) funkcje f(parametry) Grafy przepływu flowdiagramy

8 Wyklad MAP 01/PJWSTK8 Poprawność algorytmu algorytm DaneWyniki Algorytm A jest poprawny ze względu na specyfikację wttw gdy z tego, że warunek początkowy wp jest spełniony przez dane wynika, że algorytm zatrzymuje się i otrzymane wyniki spełniają warunek końcowy wk.

9 Wyklad MAP 01/PJWSTK9 Przykład Następujący algorytm jest całkowicie poprawny ze względu na specyfikację wp={x>0, eps>0}, wk={ y- x 2eps} begin z := 0; if x<1 then y := 1 else y := x fi; while y - z > eps do z := y; y := (z+x/z)/2 end Powiemy, że algorytm jest częściowo poprawny ze względu na specyfikację wttw dla każdych danych, dla których algorytm zatrzymuje się i dla których dane spełniają warunek początkowy wp, wyniki spełniają warunek końcowy wk.

10 Wyklad MAP 01/PJWSTK10 Koszt algorytmu Miary kosztu: pamięć, czas. Operacja dominująca, rozmiar danych t(A, d)- liczba operacji dominujących, którą wykona algorytm A dla danych d T(A,n) = koszt algorytmu A jako funkcja rozmiaru danych n T max (A,n)=max{t(A,d) : d D n }koszt pesymistyczny T sr (A,n)= {pr(d)* t(A,d) : d D n }koszt średni

11 Wyklad MAP 01/PJWSTK11 Notacja asymptotyczna Niech f: N R, g: N R. g=O(f) wttw ( c>0) ( n o )( n>n o ) g(n) c f(n) g= (f) wttw ( c>0) ( n o )( n>n o ) c f(n) g(n) g= (f) wttw g=O(f) i g= (f)

12 Wyklad MAP 01/PJWSTK12 Przykłady 1/5 n n = (n 3 ) lg n + n = O(n) 2 n + n 5 = O(2 n ) 2 n = O(3 n ) 3 n = (2 n ) 2 n (3 n ) n lg n = O(n 2 )n lgn = (n) n! = O(n n ) g(n)= O(f) & f(n)=O(h) g(n)=O(h)

13 Wyklad MAP 01/PJWSTK13 Czy zawsze istnieje rozwiązanie? Przykład Dany jest zbiór T kart (1x1) podzielonych przekątnymi na 4 części, z których każda jest pomalowana pewnym kolorem. Karty mają ustaloną orientację i nie można ich obracać. Czy dowolną skończoną powierzchnię o dowolnym rozmiarze można pokryć za pomocą tych kart tak, by kolory przylegających krawędzi były identyczne?


Pobierz ppt "Wyklad MAP 01/PJWSTK1 METODY ANALIZY PROGRAMÓW Grażyna Mirkowska tel.w. 153 pokój 306."

Podobne prezentacje


Reklamy Google