Algoritmus
Z MiS
(Rozdíly mezi verzemi)
(→Zápis algoritmu: Ukázka zápisu pseudokódem.) |
(→Algoritmus: Doplnění konečnosti.) |
||
| Řádka 21: | Řádka 21: | ||
#'''Konečnost''' | #'''Konečnost''' | ||
#* algoritmus skončí pro libovolná (korektní) data v konečném množství kroků. | #* algoritmus skončí pro libovolná (korektní) data v konečném množství kroků. | ||
| + | #*: ''Pro každou platnou vstupní posloupnost tedy lze nalézt konkrétní konečné číslo, které je nejzazším limitem počtu provedených kroků.'' (Algoritmus může skončit dříve.) | ||
| + | #*: <div class="Priklad">Příklad: Pro desetiprvkovou posloupnost na vstupu skončí postup nejpozději po <tt>50 000</tt> krocích. Pro posloupnost milionu prvků na vstupu skončí nejpozději po <tt>5.10<sup>9</sup></tt> krocích. Pro miliardu prvků nebo jakékoli jiné velké číslo bude výpočet trvat ještě déle, ale vždy lze nalézt konkrétní konečné číslo, které je limitem počtu kroků pro danou posloupnost. Pak postup je konečný.</div> | ||
#'''Určitost''' (determinovanost) | #'''Určitost''' (determinovanost) | ||
#* všechny kroky algoritmu jsou přesně definovány. | #* všechny kroky algoritmu jsou přesně definovány. | ||
#'''Korektnost''' | #'''Korektnost''' | ||
| − | #* algoritmus skončí pro libovolná (korektní) data správným výsledkem. | + | #* algoritmus skončí pro libovolná (korektní) vstupní data správným výsledkem. |
#'''Obecnost''' | #'''Obecnost''' | ||
#* algoritmus řeší všechny úlohy daného typu. | #* algoritmus řeší všechny úlohy daného typu. | ||
Aktuální verze z 18. 10. 2024, 08:01
Obsah |
Úloha
- Zadání, které řešíme.
- Pokud úlohu popíšeme formálně (matematicky), vznikne problém.
Problém
- Popis problému zahrnuje
- vstupní proměnné
- výstupní proměnné
- konfigurační proměnné
- omezení
- optimalizační kritérium
Algoritmus
Schematický postup řešení určitého problému, který je konečný, určitý, korektní a obecný.
- Vlastnosti algoritmu
- Konečnost
- algoritmus skončí pro libovolná (korektní) data v konečném množství kroků.
- Pro každou platnou vstupní posloupnost tedy lze nalézt konkrétní konečné číslo, které je nejzazším limitem počtu provedených kroků. (Algoritmus může skončit dříve.)
- Příklad: Pro desetiprvkovou posloupnost na vstupu skončí postup nejpozději po 50 000 krocích. Pro posloupnost milionu prvků na vstupu skončí nejpozději po 5.109 krocích. Pro miliardu prvků nebo jakékoli jiné velké číslo bude výpočet trvat ještě déle, ale vždy lze nalézt konkrétní konečné číslo, které je limitem počtu kroků pro danou posloupnost. Pak postup je konečný.
- algoritmus skončí pro libovolná (korektní) data v konečném množství kroků.
- Určitost (determinovanost)
- všechny kroky algoritmu jsou přesně definovány.
- Korektnost
- algoritmus skončí pro libovolná (korektní) vstupní data správným výsledkem.
- Obecnost
- algoritmus řeší všechny úlohy daného typu.
- Někdy se jako vlastnosti uvádí také
- resultativnost — konečnost a korektnost dohromady
- Algoritmus skončí pro libovolná (korektní) data v konečném množství kroků správným výsledkem.
- elementárnost
- Základní kroky algoritmu jsou dostatečně jednoduché, aby jim rozuměl vykonávající stroj.
- Chápeme to jako součást určitosti algoritmu.
Stav algoritmu
- Nechť:
- X={x1, x2, ...,xn} je množina konfiguračních proměnných
- Z={z1, z2, ...,zn} je množina vnitřních proměnných algoritmu A řešícího problém I.
- Pak každé ohodnocení s proměnných X a Z je stav algoritmu.
Zápis algoritmu
Algoritmus můžeme zapsat následujícími způsoby:
- V přirozeném jazyce
- Česky, anglicky,...
- Například napíšeme článek, kde se popisuje, jak problém řešit.
- Tento popis by měl být srozumitelný každému člověku.
- Pseudokódem
- Používáme jazyk podobný programovacím jazykům, ale zjednodušený.
- Vynecháváme prvky, které člověk pro pochopení nepotřebuje (složené závorky tam, kde je dostačující odsazení apod.).
- V některém programovacím jazyce
- Například v Javě.
- Oproti pseudokódu už je zde větší množství řádků, které nesouvisí s vysvětlením principu, ale jsou nutné pro spuštění.
- Výhoda je, že tento postup lze v počítači přímo spustit.
- Pomocí vývojových diagramů
- Viz série článků Vývojové diagramy na Programujte.com.
- Viz stránka Vývojové diagramy.
Příklad zápisu algoritmu pseudokódem
Jako ukázku uvedeme algoritmus pro výběr nejmenšího prvku ze seznamu čísel.
Zápis pseudokódem by mohl vypadat třeba takto:
if seznam.isEmpty(): print "Error" vysledek := seznam[1] for i := 2 to seznam.size(): if vysledek > seznam[i]: vysledek := seznam[i] return vysledek
Algoritmizace × programování
Pojem programování v užším smyslu je synonymem kódování, tedy přepisu algoritmu do zdrojového kódu.
Pojem programování v širším slova smyslu je synonymem pro tvorbu software a zahrnuje: analýzu zadání, algoritmizaci a kódování.
Viz Tvorba software.
