Algoritmus, správnost algoritmu, složitost algoritmu - OI-Wiki

Nejkratší cesty

Nejkratší cesty

– prohledávání grafů – DFS – Depth first search – BFS – Breadth

– prohledávání grafů – DFS – Depth first search – BFS – Breadth

08. Nejkratší cesty. Úloha obchodního cestujícího - OI-Wiki

08. Nejkratší cesty. Úloha obchodního cestujícího - OI-Wiki

Státnicové okruhy: Analýza a projektování systémů

Státnicové okruhy: Analýza a projektování systémů

11. Stromy a jejich procházení. Prohledávání grafu do hloubky a do

11. Stromy a jejich procházení. Prohledávání grafu do hloubky a do

Unbounded Model Checking

Unbounded Model Checking

NP-úplné a NP-těžké úlohy, Cookeova věta, heuristiky na - OI-Wiki

NP-úplné a NP-těžké úlohy, Cookeova věta, heuristiky na - OI-Wiki

NPRG030 Programování I RNDr. Tomáš Holan, Ph.D. 4.patro, dveře

NPRG030 Programování I RNDr. Tomáš Holan, Ph.D. 4.patro, dveře

Formální jazyky a automaty

Formální jazyky a automaty

Prıklad: Dokazte následujıcı tvrzenı: ∀ a ∈ Aexp, ∀ σ ∈ Σ, ∀ n

Prıklad: Dokazte následujıcı tvrzenı: ∀ a ∈ Aexp, ∀ σ ∈ Σ, ∀ n

15 Neeukleidovské geometrie

15 Neeukleidovské geometrie