Liczba rozwiązań dopuszczalnych w problemie komiwojażera: začať sa učiť
|
|
|
|
|
|
začať sa učiť
|
|
Mówimy, że zdanie P jest niezmiennikiem pętli, jeżeli po każdym jej przebiegu jest ono prawdziwe. W praktyce niezmiennik pętli traktowany jest jako założenie indukcyjne, na podstawie którego wykazuje się prawdziwość kroku indukcyjnego.
|
|
|
Zdanie a jest równe 5 jest trywialnym niezmiennikiem pętli. začať sa učiť
|
|
int a=5, b=0; for (int i=0; i<9; ++i) {b++;}
|
|
|
Rzeczy dotyczące niezmiennika pętli, które należy udowodnić: inicjowanie začať sa učiť
|
|
Jest on prawdziwy przed pierwszą iteracją pętli.
|
|
|
Rzeczy dotyczące niezmiennika pętli, które należy udowodnić: Utrzymanie začať sa učiť
|
|
Jeśli jest on prawdziwy przed iteracją pętli, to pozostaje prawdziwy przed następną iteracją.
|
|
|
Rzeczy dotyczące niezmiennika pętli, które należy udowodnić: Zakończenie začať sa učiť
|
|
Kiedy pętla się kończy, z niezmiennika wynika uŜyteczna własność, która pomaga udowodnić poprawność algorytmu.
|
|
|
|
začať sa učiť
|
|
Polega na określeniu zasobów, jakie są potrzebne do wykonania algorytmu
|
|
|
Analiza algorytmów: zasób zasadniczy začať sa učiť
|
|
|
|
|
Analiza algorytmów: inne zasoby začať sa učiť
|
|
pamięć, przepustowość kanału komunikacyjnego, sprzęt komputerowy
|
|
|
Analiza kilku algorytmów dla tego samego problemu začať sa učiť
|
|
poszukiwanie najefektywniejszego
|
|
|
Analiza algorytmów – założenia: Model obliczeń začať sa učiť
|
|
maszyna o dostępie swobodnym do pamięci (RAM – Random Access Machine)
|
|
|
Analiza algorytmów – założenia: Rozkazy začať sa učiť
|
|
wykonywane jeden po drugim (sekwencyjnie)
|
|
|
Analiza algorytmów – założenia: czas začať sa učiť
|
|
Zakładamy, Ŝe wykonanie kaŜdego rozkazu (arytmetycznego, manipulowania danymi, sterującego) zajmuje stały czas
|
|
|
|
začať sa učiť
|
|
najdłuŜszy czas działania algorytmu dla dowolnych danych wejściowych określonego rozmiaru n
|
|
|
|
začať sa učiť
|
|
aby wyznaczyć najczęściej przyjmujemy, Ŝe wszystkie dane wejściowe są równie prawdopodobne.
|
|
|
