Algorytmy i struktury danych/Wstęp: poprawność i złożoność algorytmu

Wstęp: poprawność i złożoność algorytmów

Podstawowym elementem przy rozwiązywaniu zadanego problemu na komputerze jest dobór algorytmu i struktury danch. Najważnejszymi aspektami algorytmu są jego poprawnoość i złożoność. Będziemy zasadniczo rozpatrywać tylko złożoność czasową i pamięciową.

W przypadku złoźoności czasowej z reguły wyróżnimy pewną operację dominującą i czas będziemy traktować jako liczbę wykonanych operacji dominujących. W ten sposób nasza analiza będzie zależna jedynie od algorytmu a nie od implementacji i sprzętu. W przypadku sortowania przeważnie operacją dominującą jest porównanie dwóch elementów (mniejsze, równe, mniejsze), a w przypadku przeglądania drzewa jedno przejście w drzewie między wierzchołkami. W przypaku algorytmów tekstowych operacją dominującą jest porównanie dwóch symboli. Z reguły będziemy przyjmować, że każda operacja arytmetyczna na małych liczbach daje się zrobić w jednym kroku. Przez małe rozumiemy liczby mające $O(\log n)$ bitów. Z reguły określamy pewien parametr $n$, będący rozmiarem problemu wejściowego i określamy złożoność jako funkcję $T(n)$, której arguementem jest rozmiar problemu.

Przewaźnie rozważamy złożoność pesymistyczną - maksymalną złożoność dla danych tego samego rozmiaru $n$. W praktyce wańiejsą może się okazać złożoność średnią, lub oczekiwaną, w tym przypadku $T(n)$ jest średnią (oczekiwaną) wartością złożoności dla wszystkich problemów rozmiaru $n$. Tego typu złożoność zależy istotnie od tego, jaka się od tym kryje przetrzeń probablistyczna problemów. Z reguły zakładamy, że wszystkie problmey wejściowe tego samego rozmiaru mogą się pojawić z tym samym prawodpodobieństwem. Jednakże jest to często mało realistyczne założenie. Przestrzeń probabilistyczna danych wejśćiowych może być bardzo skomplikowana, prowadzić to może do bardzo trudnych (i wykraczających poza ten kurs) analiz.

Przykład

Przypuśćmy, że chcemy znaleźć pierwszą jedynkę w tablicy zerojedynkowej i nasz algorytm przegląda tablicę od strony lewej sprawdzając kolejne elementy. Niech operacją dominującą będzie sprawdzenie jednego elementu. Jeśli nie ma jedynki, to wykonamy $n$ sprawdzeń, jest to maksymalna liczba, zatem złożoność pesymistyczna wynosi $T(n)=n$. Jeśli każdy ciąg binarny jest dany z tym samym prawdopodobieństwem to łatwo policzyć, że złożoność średnia jest ograniczona przez stałą.

Do wyrażania złożoności stosujemy opis aymptotycznego wzrostu funkcji: $f(n)=O(g(n))$ oznacza że $f(n)\le c\cdot g(n)$ dla pewnej stałej $n$.
Gdy $g(n)=n$ to mówimy, że $f(n)$ jest liniowa, oraz dla $g(n)=n^2$ mówimy, że złożoność $f(n)$ jest kwadratowa. Jeśli $g(n)$ jest wielomianem to wtedy mówimy o złożoności wielomianowej.

Będziemy używać dodatkowych notacji

$f(n)=\mathrm{\Theta }(g(n)),f(n)=\mathrm{\Omega }(n)$.
Były one wprowadzone na wykładach z matematyki dyskretnej.

Dla przypomnienia:
$f(n)=\mathrm{\Theta }(g(n))\iff f(n)=O(g(n))$ & $g(n)=O(f(n))$

$f(n)=\mathrm{\Omega }(g(n)$, gdy dla nieskończenie wielu $n$ i pewnej stałej $c>0$ zachodzi $f(n)\ge c\cdot g(n)$

Przykład

$\frac{1}{100}\cdot n^2-2n=\mathrm{\Theta }(n^2)\cdot n^5+2^n=\mathrm{\Theta }(2^n),n!=\mathrm{\Omega }(10^n)$,

Jeśli $f(n)=(1+(-1{)}^n)\cdot n$, to $f(n)=\mathrm{\Omega }(n),f(n)=O(n)$ ale nie zachodzi $f(n)=\mathrm{\Theta }(n)$.

Konwencje językowe. Jaki jest najlepszy język do opisu algorytmu ? Jest to przykład problemu nierozstrzygalnego. Niewątpliwie język ojczysty jest najlepszym językiem potocznym , a ulubiony język programowania jest najlepszym językiem do implementacji algorytmu. Język, którym będziemy opisywaćalgorytmy jest gdzieś pomiędzy tymi językami, język potoczny nie wystarcza a konkretny język programowania może spowodować to, że "prosty" algorytm się zrobi nieczytelny. Będziemy używać, o ile się da, nieformalnych konstrukcji programistycznych, a w przypadku bardzo prostych algorytm będziemy się starali pisać algorytm w języku C-podobnym.

Poprawność algorytmu: niezmienniki, własność stopu

Przez poprawność algorytmu rozumiemy to, żedaje on takie odpowiedzi jakich oczekujemy. Oczywiście algorytm musi być poprawny aby miało sens rozpatrywanie jego złożoność. \subsection*{Pojęcie niezmiennika} Poprawność algorytmu sprowadza się do spełniania określonych niezmienników na różnych etapach

tego algorytmu.

Rozważmy kilka przykładów pozwalających zrozumieć znaczenie niezmiennika. \vskip 0.2cm \noindent Załóżmy, że mamy zbiór $S$ składający się z $n$ przedmiotów, gdzie $n$ jest nieparzyste, niektóre z przedmiotów są czarne a niektóre białe.

Algorytm

while $|S|>1$

\hspace*{0.5cm} {pobierz dwa przedmioty z $S$;

\hspace*{0.5cm}  if przedmioty są różnego koloru to wstaw z powrotem czarny

\hspace*{0.5cm}  else usuń oba przemioty;

return kolor ostatniego przedmiotu w $S$;
\myskip

Zaóżmy, że mamy 1000000 czarnych przedmiotów i 1000000001 białych, jaki jest ostatni przedmiot ? Rozpatrzmy niezmiennik: parzystość liczby czarnych przedmiotów.

Ponieważ na początku mamy parzystą liczbę czarnych przedmiotów, zatem na wyjściu mamy kolor biały \myskip Rozpatrzmy modyfikację tego algorytmu:

Algorytm

while $|S|>1$

\hspace*{0.5cm} {pobierz dwa przedmioty z $S$;

\hspace*{0.5cm} if co najmniej jeden jest czarny to wstaw z powrotem jeden czarny;

\hspace*{0.5cm} else usuń oba przedmioty;

 return kolor ostatniego przedmiotu w $S$.

\myskip Załóżmy, że mamy 10000001 czarnych przedmiotów i 1000000001 białych, jaki jest ostatni przedmiot ? Tym razem rozważmy niezmiennik: znak liczby czarnych przedmiotów. (Znak liczby jest równy 0 jeśli jest ona równa zeru, 1 jeśli jest większa od zera.) Zatem ostatnim przedmiotem jest przedmiot czarny. \subsection*{Własność stopu} \noindent Podstawowym elementem poprawności algorytmu jest to, że ma on własność stopu: dla poprawnych danych wejściowych da odpowiedź po skończonym czasie. Na przykładzie dwóch prostych algorytmów pokażemy, że sprawdzanie własności stopu może nie być czynnością trywialną.

   Algorytm Suma-Kwadratów-Cyfr;

   \hspace*{0.5cm} while ($(n <>

4)$and$(n<> 1))

    \hspace*{0.8cm} n := suma cyfr liczby n;

\myskip

   Algorytm 6174;

    \hspace*{0.5cm} wejściem jest czterocyfrowa liczba naturalna niepodzielna przez 1111

     \hspace*{0.5cm} pierwszymi cyframi mogą być zera

   \hspace*{0.5cm} while $(n<>

6174)$

    \hspace*{0.9cm} n1 := największa liczba czterocyfrowa której cyfry są permutacją cyfr liczby $n$;

    \hspace*{0.9cm} n2 := najmniejsza liczba czterocyfrowa której  cyfry są permutacją cyfr liczby $n$;

    \hspace*{0.9cm} n := n1 - n2;\
    \myskip

   Algorytm Tajemniczy;

%   \hspace*{0.5cm} n jest dodatnią liczbą naturalną;
   \hspace*{0.5cm} while $(n<>

1)$

    \hspace*{1cm}  if n parzyste n := n div 2; else n := 3*n+1;
    %
    %----------------------------------
     \myskip Pierwsze dwa algorytmy mają własność stopu, w pierwszym łatwo to

sprawdzić gdyż dla $n>100$ następna wartość jest istotnie mniejsza. Podobnie jest w drugim algorytmie. Algorytm Tajemniczy jest dosyć zagadkowy, nie wiadomo, czy dla dowolnego naturalnego dodatniego $n$ ma on własność stopu.

Złożoność algorymów:\ analiza sześciu prostych algorytmów

Na przykładzie sześciu prostych algorytmów pokażemy, jak się analizuje i osiąga złożoność liniową. Dokładniejsze uzasadnienia i analizy odsyłamy do ćwiczeń. Naiwne wersje tych algorytmów działają w czasie kwadratowym. \paragraph{Przywódca ciągu.}\ Prywódcą ciągu jest element, który występuje w ciągu więcej razy niź połowa długości tego ciągu. Naszym problemem jest policzenie przywódcu ciągu danego tablicą $A[1..n]$. Dla uprosazczenia przyjmijmy, że w tym ciągu jest przywódca. Łatwo można zmodyfikować algorytm by sprawdzał istnienie przywódcy. \myskip

   \hspace*{.5cm}
   Algorytm Liczenie-Przywódcy;
   \begin{verbatim}
   j:=0; ile:=1;
   for i:=1 to n do
      if (ile:=0) {ile:=ile+1; j:=i};
      else if (A[i]=A[j]) ile:=ile+1; else ile:=ile-1;
   return A[j];

\end{verbatim} \myskip

Przyspieszenie wynika z następującejwłasności problemu:

\ jeśli mamy dwa różne elementy w tablicy to możemy je usunąć i przywódca pozostanie taki sam. \myskip \paragraphSzukanie sumy.\ Mamy dane dwie posortowane rosnąco tablice $A,B$ i liczbę x, pytamy czy są $a\in A,b\in B$ takie, że\ $x=a+b$. \myskip

       \hspace*{1.5cm} Algorytm Szukanie-Sumy;

\begin{verbatim}

        i := 1; j := n;
        while (i <= n and j > 0)
           if (A[i]+B[j]=x) return true; else
            if (A[i]+B[j]<x) i:=i+1; else j:=j-1;
        return false;

\end{verbatim} \myskip Przyspieszenie jest możliwe dzięki odpowiedniej kolejności sprawdzania $i,j$ i pominięciu zbędnych sprawdzeń. \paragraph{Maksymalny segment.}\ Dla tablicy $A[1..n]$ liczymy maksymalną wartość z zera i ze wszystkich liczb $\sum _{k=i}^{j}A[k]$, gdzie $1\le i\le j\le n$.

\myskip
       \hspace*{1.5cm} Algorytm Maksymalny-Segment;
       \begin{verbatim}
        wynik := 0; sufiks := 0;
        for i := 1 to n do
           sufiks := max(A[i]+sufiks,0);
           wynik := max(wynik,sufiks);

\end{verbatim} \myskip Przyspieszenie do algorytmu liniowego następuje dzięki wprowadzeniu dodatkowej zmiennej sufiks. Po każdym zakończeniu pętli for zachodzi: \ wynik jest maksymalną sumą przedziału zawierającego się w $[1..i]$ oraz sufiks jest maksymalną sumą segmentu który jest sufiksem przedziału $[1..i]$. \paragraphNajbliższy mniejszy sąsiad.\ Dla każdego $i>1$ zdefiniujmy najbliższego mniejszego są siada $i$ jako: \ {Lewy[i]\ =\ \max \{j<i\ :\ A[j]<A[i]$.}

\noindent Dla uproszczenia zakładamy, że  $A[i]>0$ dla $i>0$ oraz $A[0]=0$.  \myskip
        \hspace*{1.5cm} Algorytm Najbliższy-Mniejszy-Sąsiad;
        \begin{verbatim}
        for i := 1 to n do
           j := i-1;
           while ( A[j] >= A[i]) j := Lewy[j];
           Lewy[i] := j;

\end{verbatim} \myskip Przyspieszenie następuje dzięki temu, że nie ma potrzeby sprawdzania tablicy dla indeksów istotnie pomiędzy $i-1$ i $Lewy[i-1]$ itd. Niech $k_i$ będzie liczbą tych $j$ dla których $A[j]>=A[i]$. Wystarczy pokazać, że suma wszystkich $k_i$ jest liniowa. Może się zdarzyć, że niektóre $k_i$ mają wartość liniową. Zauważmy jednak, że dany indeks $j$ pojawia się co najwyżej raz w sytuacji gdy $A[j]>=A[i]$, potem będzie przeskoczony. \paragraphNajdłuższy malejący podciąg.\

Niech $A[1],A[2],\dots A[n]$ będzie ciągiem dodatnich liczb. Następujący algorytm oblicza

długość najdłuższgo malejącego podciągu. \myskip

        \hspace{1.5cm}
        Algorytm Najdłuższy-Malejący;
        \begin{verbatim}
        wynik := 1;
        for i := 1 to n do
            x := A[i]; A[i]:=0;
            k := min { j : x  > A[j]}; A[k] := x ;
            wynik := max(k, wynik);

\end{verbatim} \paragraph{Proste Pakowanie.}\ Załóżmy, że mamy n pudełek, każde o rozmiarze R, oraz n przedmiotów o rozmiarach $R\ge r[1]\ge r[2]\dots \ge r[n]$. Mamy włożyć przedmioty do pudełek, co najwyżej dwa do jednego pudełka. Pozostawimay jako ćwiczenie analizę następującego algorytmu, który oblicza minimalną liczbę pudełek.

\myskip
       \hspace*{1.5cm} Algorytm Proste-Pakowanie;
       \begin{verbatim}
        wynik := n;
        for i := 1 to n do
           if (i < wynik and r[i]+r[wynik] <= R)
                        wynik := wynik-1;

\end{verbatim} \myskip \noindent Naiwne wersje powyzszych sześciu algorytmów działają w czasie kwadratowym. W każdym z tych algorytmów bardzo proste spostrzeżenia prowadą do algorytmów liniowych.

Koszt zamortyzowany

Jeśli mamy ciąg operacji $o{p}_1,o{p}_2,\dots ,o{p}_n$ to koszt zamortyzowany jednej z nich jest sumarycznym kosztem wykonania wsszystkich operacji podzielonym przez liczbę operacji, inaczej mówiąc jest to, dla danego ciągu operacji, średni koszt jednej z nich. Zauważmy, że nie mówmy tu nic o prawdopodobieństwie, model jest deterministyczny.

\noindent Na przykład w algorytmie Najbliższy-Mniejszy-Sąsiad rozważmy ciąg operacji \vskip 0.4cm \centerline{$o{p}_i$: while $(A[j]>=A[i])j=Lewy[j]$} \vskip 0.1cm \noindent Koszt pojedyńczej operacji może być liniowy, również sumaryczny koszt ciągu tych operacji $o{p}_1,o{p}_2,\dots ,o{p}_n$ jest liniowy. Zatem pesymistyczny koszt jdnej operacji jest tutaj liniowy, natomiast zamortyzowany koszt jednej operacji jest ograniczony przez stałą. W tym przypadku wiemy, że każde sprawdzenie $A[j]>=A[i])$ z wynikiem negatywnym odbywa się tylko raz dla danej wartości $j$. Możemy powiedzieć, że księgujemy koszt operacji elementom $j$ o tej własności. Nieformalna metoda księgowania kosztów polega na rozdzielaniu (księgowaniu) kosztu, a następnie szacowania sumarycznej złożoności poprzez sumowanie wszystkich zaksęgowanych kosztów. Operacje pożyczają, w pewnym sensie, fundusze na pokrycie kosztów z różnych źródeł. Metoda ta będzie wykorzystana do analizy algorytmu dla interesującego problemu Find-Union. \myskip Typowym przykładem liczenia kosztu w sposób zamortyzowany jest analiza generacji reprezentacji binarnych kolejnych liczb naturlanych od 0 do $2^n-1$, dodając jedynkę. W jednym kroku zastępujemy najdłuższy ciąg jedynek od końca zerami, następnie wstawiamy jedną jedynkę. Ponieważ w sumie wstawiliśmy $2^n-1$ jedynek w ciągu $2^n-1$ operacji, to zamortyzowana liczba operacji zamiany zera na jedynke wynosi 1. W tym przykładzie możemy powiedzieć, że analizowaliśmy koszt tzw. metdoda magazynu. W ka"dej operacji koszt jest proporcjonalny do liczby przedmiotów włożonych do magazynu lub do liczby przedmiotów wyjętych z magazynu. Magazyn początkowo jest pusty. Wtedy całkowity koszt jest proporcjonalny do liczby przedmiotów włożonych. W przypadku generowania liczb binarnych do magazynu wkładamy nowe jedynki, a wyjmujemy te jedynki, które zamieniamy na zera. \subsection*{Potencjał - Fundusz Ubezpieczeń Kosztów Algorytmicznych}

Metodę magazynu można uogólnić na tzw. metodę potencjału. Niech ${\mathrm{\Phi }}_i$ będzie pewną liczbą naturalną (włączając zero) odpowiadającą potencjałowi po wykonaniu $i$ operacji. Zakładamy, że potencjał jest początkowo zero, nigdy nie jest ujemny, a każda operacja $o{p}_i$ ma koszt proporcjonalny do $c_i+|{\mathrm{\Phi }}_i-{\mathrm{\Phi }}_{i-1}|$. Wtedy całkowity koszt jest tego samego rzędu co $\sum c_i$. W naszych poprzednich przykładach rozmiar magazynu jest w tym sensie potencjałem.

Można powiedzieć obrazowo że potencjał jest kapitałem Funduszu Ubezpieczeń Kosztów Algorytmicznych (FUKA, w skrócie). Koszt zamortyzowany jednej operacji jest składką, którą ta operacja wpłaca do funduszu. Dzięki temu, że wiele operacji pobiera z funduszu znacznie mniej niż wpłaca niektóre operacje mogą jednorazowo pobrać dużą kwotę, kórą płacą za koszt wykonania. Operacje $o{p}_i$ ubezpieczają się od kosztów ich wykonani. Poszczególne operacje płacą drobne składki $c_i$, a swój koszt za każdym razem opłacają bioróac pieniądze z FUKA. Czasmi koszt operacji jest duży ale do tego czasu wpłacono tyle drobnych składek, że możemy ten koszt pokryć. Istotne jest jedynie żeby FUKA nie zbankrutował i kapitał nie zszedł poniżej zera. Możliwa jest również sytuacja gdy FUKA startuje z kapitałem początkowym. Wtedy kapitał ten wlicza się do całkowitego kosztu algorytmu, który się dodajemy do sumy składek.

\myskip Rozważmy  przykłady

ilustrujące wykorzystanie potencjału. \paragraphTablica dynamiczna.\ Przypuśćmy, że mamy dynamiczną tablicę. W każdym momencie wiemy ile elementów w tablicy jest akywnych, elementy niekatywne zaznaczamy. W każdej operacji, jeśli liczba elementów nieaktywnych jest mniejsza od 1/4 wielkości tablicy to tworzymy tablicę dwa razy mniejszą i tam przepisujemy elementy aktywne, starą tablicę zwalniamy. W przeciwnym wypadku jeśli chcemy dodać element, który spowoduje przepełnienie tablicy to całą tablicę kopiujemy do tablicy dwa razy większej. Początkowo tablica ma rozmiar 1. Zakładamy, że operacją dominującą jest kopiowanie aktywnego elementu do nowej tablicy. Jeśli mamy $n$ operacji to całkowity koszt kopiowania jest liniowy. Wystarczy w każdej operacji dać składkę 4 jednostek do funduszu ubezpieczeń (potencjału). Wtedy koszt jednej dużej operacji przepisywania zamortyzuje się zmianą potencjału. \paragraphZastąpienie kolejki dwoma stosami.\ Jedną kolejkę Q można zastąpić dwoma stosami $S1,S2$. Jeśli pierwszy element stosu lub kolejki w reprezentacj poziomej jest w ciągu na pierwszej pozycji (tzn. pobieramy $e_1$, stawimay za $e_n$), oraz Q = (e_1,e_2,..,e_k)$todlapewnego$j mamy:

$S1=(e_n,e_{n-1},...,e_j),S2=(e_1,e_2,...,e_{j-1})$.

\noindent Operacja wstawiania do A odpowiada wstawieniu elementu do $S1$, operacja pobrania z Q odpowiada pobraniu elementu z S2, z tym, że jeśli $S2$ jest pusty to przepisujemy najpierw wszystkie elementy z S1 do S2. Niech operacją dominującą będzie jedna operacja stosowa (wstawienie lub pobranie pojedyńczego elementu ze stosu). Wtedu ciąg $n$ operacji kolejkowych, starujących od pustej kolejki, ma koszt liniowy w tej imlementacji. Wystarczy, że każda operacja da do FUKA składkę 3 jednostek. Dowód tego pozostawiamy jako ćwiczenie. \vskip 0.1cm

Roważmy podobny problem, z tym że nasza kolejka jest dwustronna, możemy wkładać i

pobierać element z każdego z dwóch końców kolejki. Wtedy możemy taką kolejkę zastąpić trzema stosami tak, że teraz również każda operacja kolejkowa będzie mieć zamortyzowany koszt stały. Elementy kolejki trzymamy w dwóch stosach S1, S2 tak jak poprzednio. Niezmiennikem jest to, że oba stosy są niepuste lub mają w sumie co najwyżej jeden element. Zapewniamy zachodzenie niemiennika wykorzystując trzeci stos. W momencie gdy jeden ze stosów ma więcej niż jeden element a drugi jest pusty, korzystając z trzeciego stosu, doprowadzamy do reprezentacji aktualnej kolejki przez stosy S1, S2, tak aby miały one tę samą liczbę elementów (z dokładnośią do 1). Pozostawiamy jako ćwiczenie dowód (metodą potencjału) tego, że zamortyzowany koszt jest stały.