27 vztahy: Algoritmus, Analýza algoritmů, Avi Wigderson, BPP (třída složitosti), Datová struktura, Dějiny matematiky, Diskrétní matematika, Efektivnost algoritmu, Knuthův–Morrisův–Prattův algoritmus, Komplexita, Matematická informatika, Matematická logika, Matematika, Nerozhodnutelný problém, P (třída složitosti), Panama (kryptografie), Pseudopolynomická časová složitost, PSPACE, Rozhodovací problém, RP (třída složitosti), Samoopravný kód, Shafi Goldwasser, Silvio Micali, Splnitelnost, Teoretická informatika, Turingova cena, Výpočetní model (teorie algoritmů).
Algoritmus
Algoritmus je přesný návod či postup, kterým lze vyřešit daný typ úlohy.
Nový!!: Teorie složitosti a Algoritmus · Vidět víc »
Analýza algoritmů
Analýza algoritmů je v matematické informatice určení rozsahu výpočetních prostředků potřebných k vykonání algoritmu.
Nový!!: Teorie složitosti a Analýza algoritmů · Vidět víc »
Avi Wigderson
Avi Wigderson (אבי ויגדרזון, narozen 9. září 1956) je izraelský matematik, informatik a profesor matematiky na Institute for Advanced Study (IAS) na Princeton University.
Nový!!: Teorie složitosti a Avi Wigderson · Vidět víc »
BPP (třída složitosti)
V teorii složitosti je BPP jednou z významných tříd složitosti.
Nový!!: Teorie složitosti a BPP (třída složitosti) · Vidět víc »
Datová struktura
hašovací tabulky V matematické informatice a programování představuje datová struktura konkrétní způsob organizace dat v paměti počítače, který zajišťuje, aby mohla data být používána efektivně.
Nový!!: Teorie složitosti a Datová struktura · Vidět víc »
Dějiny matematiky
Dějiny matematiky, také základní rysy vývoje matematiky od prehistorie po dnešek, postihují období několika tisíciletí.
Nový!!: Teorie složitosti a Dějiny matematiky · Vidět víc »
Diskrétní matematika
Diskrétní matematika je zastřešující pojem pro obory matematiky nakládající fundamentálně s množinami, nad nimiž není zavedeno uspořádání (jejich prvky nelze seřazovat), nebo množinami uspořádanými, avšak nikoli hustě (neplatí, že pro každé dva různé prvky je v množině přítomen také prvek, jenž dle daného konkrétního uspořádání patří mezi tyto dva prvky).
Nový!!: Teorie složitosti a Diskrétní matematika · Vidět víc »
Efektivnost algoritmu
Efektivnost algoritmu je vlastnost algoritmu spočívající v tom, že algoritmus řeší problém v co nejkratším čase nebo s co nejmenšími nároky na prostředky.
Nový!!: Teorie složitosti a Efektivnost algoritmu · Vidět víc »
Knuthův–Morrisův–Prattův algoritmus
Knuthův–Morrisův–Prattův algoritmus (KMP algoritmus) je v matematické informatice algoritmus pro hledání výskytů vzorku v textu, jehož časová složitost v nejhorším případě je lineární s délkou textu a vyžaduje předzpracování se složitostí lineární s délkou vzorku.
Nový!!: Teorie složitosti a Knuthův–Morrisův–Prattův algoritmus · Vidět víc »
Komplexita
Komplexita nebo komplexnost (z lat. complexus, objetí, shrnutí) znamená složitost, přesněji míru složitosti nějakého komplexního systému.
Nový!!: Teorie složitosti a Komplexita · Vidět víc »
Matematická informatika
Matematická informatika (odtud též počítačová věda) je vědní obor, který se zabývá metodami zpracování informací a prostředky, které k tomu lze používat.
Nový!!: Teorie složitosti a Matematická informatika · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Teorie složitosti a Matematická logika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Teorie složitosti a Matematika · Vidět víc »
Nerozhodnutelný problém
Nerozhodnutelný problém je v teorii vyčíslitelnosti a teorii složitosti takový rozhodovací problém, pro který není možné zkonstruovat algoritmus, který vždy vydá správnou odpověď ano nebo ne.
Nový!!: Teorie složitosti a Nerozhodnutelný problém · Vidět víc »
P (třída složitosti)
V teorii složitosti je P jednou z nejzákladnějších tříd složitosti.
Nový!!: Teorie složitosti a P (třída složitosti) · Vidět víc »
Panama (kryptografie)
Panama je v informatice název kryptografického primitiva, které může být použito jako hašovací funkce a proudová šifra.
Nový!!: Teorie složitosti a Panama (kryptografie) · Vidět víc »
Pseudopolynomická časová složitost
Pseudopolynomická časová složitost je v teorii složitosti taková časová složitost, která je vzhledem k číselné hodnotě vstupu polynomická, ale fakticky se jedná vzhledem k velikosti vstupu o složitost exponenciální.
Nový!!: Teorie složitosti a Pseudopolynomická časová složitost · Vidět víc »
PSPACE
PSPACE je v teorii složitosti množina všech rozhodovacích problémů, které lze vyřešit Turingovým strojem používajícím polynomiálně omezené množství paměti.
Nový!!: Teorie složitosti a PSPACE · Vidět víc »
Rozhodovací problém
Rozhodovací problém je v informatice, speciálně v teorii složitosti a teorii vyčíslitelnosti, otázka v nějakém formálním systému s odpovědí ANO-NE v závislosti na hodnotě vstupu.
Nový!!: Teorie složitosti a Rozhodovací problém · Vidět víc »
RP (třída složitosti)
V teorii složitosti je RP jednou z významných tříd složitosti.
Nový!!: Teorie složitosti a RP (třída složitosti) · Vidět víc »
Samoopravný kód
Samoopravné kódy se ve výpočetní technice, telekomunikacích, teorii informace a v teorii kódování používají pro detekci a opravu chyb v datech přenesených nespolehlivými nebo zarušenými komunikačními kanály.
Nový!!: Teorie složitosti a Samoopravný kód · Vidět víc »
Shafi Goldwasser
Shafrira „Shafi“ Goldwasser (* 14. listopadu 1958 New York) je americko-izraelská počítačová vědkyně a laureátka Turingovy ceny za rok 2012.
Nový!!: Teorie složitosti a Shafi Goldwasser · Vidět víc »
Silvio Micali
Silvio Micali (* 13. října 1954, Palermo) je italský matematik specializující se na oblast kryptografie a jejího využití ve výpočetní technice.
Nový!!: Teorie složitosti a Silvio Micali · Vidět víc »
Splnitelnost
Splnitelnost (často zkracovaná jako SAT z anglického satisfiability) je v logice problém, zda pro daný logický výraz s proměnnými (formuli) existují takové přípustné hodnoty proměnných, aby formule byla pravdivým výrokem.
Nový!!: Teorie složitosti a Splnitelnost · Vidět víc »
Teoretická informatika
Teoretická informatika je oblast matematické informatiky a matematiky, která se zaměřuje na abstraktnější a matematické aspekty zpracování informací, které mají využití v počítačích a zpracování informací.
Nový!!: Teorie složitosti a Teoretická informatika · Vidět víc »
Turingova cena
Cena A. M. Turinga je ocenění udělované každoročně Asociací výpočetní techniky (ACM) jednotlivcům za jejich technický přínos v oboru informatiky.
Nový!!: Teorie složitosti a Turingova cena · Vidět víc »
Výpočetní model (teorie algoritmů)
Výpočetní model je abstraktní model v teorii vyčíslitelnosti a teorii složitosti definující množinu povolených operací používaných při výpočtu a jejich cen (nákladů).
Nový!!: Teorie složitosti a Výpočetní model (teorie algoritmů) · Vidět víc »