Projektowanie i Analiza Algorytmów

Transkrypt

1 POLITECHNIKA KRAKOWSKA - WIEiK KATEDRA AUTOMATYKI I TECHNIK INFORMACYJNYCH Projektowanie i Analiza Algorytmów Wykładowca: dr inż. Zbigniew Kokosiński zk@pk.edu.pl

2 Wykład 1: Wprowadzenie do algorytmów i ich złożoności obliczeniowej Co to jest algorytm? Pochodzenie terminu Pierwsze znane algorytmy Klasyfikacja problemów Przykład algorytmu: WYBÓR MAKSIMUM Notacje asymptotyczne Złożoność czasowa i pamięciowa Klasyfikacja algorytmów Hierarchia złożoności Inne kryteria klasyfikacji algorytmów Obszary zastosowań algorytmiki

3 Co to jest algorytm? Pochodzenie terminu Algorytm jest to: - procedura obliczeniowa, która z danych wejściowych wytwarza dane wyjściowe (wynik algorytmu) - sposób rozwiązania konkretnego problemu obliczeniowego Algorytm (z łac. Algorismus) - nazwa pochodzi od nazwiska matematyka z IX w. n.e. (Abu Jafar Mohammed ibn Musa al-chowarizmi) - pierwsze znane algorytmy stworzyła cywilizacja babilońska (gliniane tabliczki z pismem klinowym)

4 Problemy niealgorytmiczne Klasyfikacja problemów - problem stopu (czy program komputerowy po wczytaniu danych zatrzyma się w skończonym czasie?) - problem pokrycia płaszczyzny identycznymi płytkami wielokątnymi w skończonym czasie - równania diofantyczne (znalezienie rozwiązania całkowitoliczbowego równania z całkowitymi współczynnikami, np. x^n+y^n=z^n)

5 Klasyfikacja problemów Problemy prawdopodobnie niealgorytmiczne problem Collatza (czy dla danej liczby całkowitej k poniższa procedura zatrzymuje się?)

6 Klasyfikacja problemów c.d. Problemy algorytmiczne - decyzyjne - optymalizacyjne Problem P jest problemem decyzyjnym, jeżeli jego rozwiązaniem dla danych wejściowych jest odpowiedź TAK lub NIE. Problem P jest problemem optymalizacyjnym, jeżeli jego rozwiązaniem dla danych wejściowych jest takie rozwiązanie dopuszczalne, które maksymalizuje (lub minimalizuje) pewną funkcję miary (np. kosztu).

7 Przykład 1: algorytm wyboru maksimum

8 Przykład 2: SelectionSort - algorytm sortowania przez wybór

9 Przykład 3: InsertionSort - algorytm sortowania przez wstawianie

10 Notacje asymptotyczne

11 Notacje asymptotyczne

12 Notacje asymptotyczne

13 Złożoność czasowa i pamięciowa programów komputerowych Złożoność czasowa : - czas obliczeń, liczba operacji - zależy od rozmiaru danych wejściowych n, implementacji i struktur danych - złożoność najgorszego i średniego przypadku Złożoność pamięciowa : - pamięć programu, pamięć danych - zależy od rozmiaru danych wejściowych n, budowy algorytmu, implementacji i struktur danych Kompromis pomiędzy pamięcią i czasem!

14 Złożoność czasowa algorytmów Funkcje podliniowe, wielomianowe, niewielomianowe

15 Złożoność czasowa algorytmów Porównanie czasów obliczeń algorytmu O(n^3) na superkomputerze Cray-1 i algorytmu O(n) na komputerze osobistym IBM PC/AT

16 Złożoność czasowa algorytmów

17 Złożoność czasowa algorytmów Porównanie algorytmów badania planarności grafu, czas obliczeń dla danych n i c, max rozmiar grafu w ustalonym czasie przetwarzania (1 min, 1 godz.)

18 Złożoność czasowa algorytmów Max rozmiar problemu n w funkcji 10-krotnego wzrostu szybkości procesora

19 Złożoność czasowa algorytmów Max rozmiar problemu s w funkcji t-krotnego wzrostu szybkości procesora

20 Klasyfikacja algorytmów inne kryteria - metoda konstrukcji algorytmu - struktura danych - obszar zastosowań - dokładność wyniku - liczba procesorów - determinizm

21 Klasyfikacja algorytmów - metoda konstrukcji

22 Klasyfikacja algorytmów : struktura danych

23 Klasyfikacja algorytmów : obszar zastosowań

24 Klasyfikacja algorytmów : dokładność

25 Klasyfikacja algorytmów : ilość procesorów

26 Klasyfikacja algorytmów : determinizm

27 Obszary zastosowań algorytmów

28 Obszary zastosowań algorytmów

29 Obszary zastosowań algorytmów

30 Źródła rysunków i tablic: 1. Aho A., Hopcroft J.E., Ullman J.D. : Projektowanie i analiza algorytmów komputerowych, PWN Cormen T.H., Leiserson C.E., Rievest R.L. : Wprowadzenie do algorytmów, WNT Kubale M. : Introduction to computational complexity and algorithmic graph coloring, GTN Kubale M. : Łagodne wprowadzenie do analizy algorytmów, WPG Sedgewick R. : Algorithms in C, Addison-Wesley 1990