doc1.4. 2011.
download 
Stížnost Podobné dokumenty
22.4. 2011.
• L ∈ P P , pokud existuje jazyk L0 ∈ P a polynom q takový, že pro každé x ∈ {0, 1}∗ ,
x ∈ L právě tehdy když pro ostrou většinu w ∈ {0, 1}q(|x|) , (x, w) ∈ L0 .
• Funkce f : {0, 1}∗ → N j...
Prezentace
Hraje se o pravdivost formule ϕ v n¥jaké struktu°e M p°i ohodnocení v
dva hrá£i: Eloise and Abelard
dv¥ role: Veri kátor(ka) V a Falsi kátor(ka) F (Eloise za£íná jako V )
herní pozice: podformule ϕ...
Automatický generátor testovac´ıch vektor˚u (ATPG) zalozený na
Poruchy v čı́slicových obvodech mohou mı́t různou fyzikálnı́ přı́činu. Pro ověřenı́ správné funkce
obvodu nenı́ důležitá přı́čina poruchy, ale jejı́ projev. Zajı́má nás, jak se por...
Cvičení z diskrétní matematiky
1.4.2. Zopakujte cvičení 1 pro relaci R = {(x, y)| x, y ∈ X, x dělí y}.
1.4.3. Nechť R1 = {(1, 2), (1, 6), (2, 4), (3, 4), (3, 6), (3, 8)}, R2 = {(2, u), (4, s), (4, t), (6, t), (8, u)}.
Zapište vý...
1. DÚ
• Pokud N = 2, tak pište while-program počı́tajı́cı́ Z := b 4 Xc
• Pokud N = 3, tak pište while-program počı́tajı́cı́ Z := M AX(X 3 , Y )
• Pokud N = 4, tak pište while-program počı́tajı́cı́ ...
1 - Univerzita Karlova
když |δ(q,x)|
Teorie jazyku˚ a automatu - RNDr. Šárka Vavrečková, Ph.D.
podle potřeby“, tedy pokud se v některé buňce uvnitř tabulky (resp. za rovnı́tkem v předpisu δ-funkce) nacházı́ množina původnı́ch stavů, kterou ještě nemáme v ohodnocenı́ žádného r...
BPP(Bounded Error Probabilistic Polynomial)
Kruskaluv algoritmus - Seminární práce z predmetu Algoritmy
Je dán souvislý neorientovaný ohodnocený graf (G, ψ) s m vrcholy a n
hranami. Úkolem je nalézt minimálnı́ kostru. Očı́slujme hrany
h1 , h2 , . . . , hn ∈ E tak, aby
ψ(h1 ) ≤ ψ(h2 ) ≤ . . . ...