PAR4 Flashcards
Vnoreni G→H
dvojice zobrazeni (φ;ξ); kde φ : V (G) → V (H) a ξ : E(G) → P(H) a (P(H) je mnozina všech cest grafu H)
zatizeni ciloveho uzlu v z H
load(v) = |{u ∈ V (G); φ(u) = v}|
zatizeni vnoreni
load(φ; ξ) = max load(v)
prumerne zatizeni vnoreni
load’(φ; ξ) = 1/|V(H)|SUMA[v z H]load(v)
stejnosmerne zatizeni vnoreni
load(φ; ξ) = [‘load’(φ; ξ)]
expanse vnoreni G do H
vexp(φ;ξ)= |V(H)|/|V (G)|
dilatace zdrojove hrany e z E(G)
dil(e) = len(ξ(e))
dilatace vnoreni
dil(φ; ξ) = maxe∈E(G) dil(e)
prumerna dilatace vnoreni
dil(φ; ξ)’ = 1/|E(G)|SUMA[e z E(G)] (dil(e))
stejnosmerna dilatace vnoreni
dil(φ; ξ) = ‘dil(φ; ξ)’
linkove zahlceni cilove linky e2 z H
ecng(e2) = |{e1 ∈ E(G); e2 ⊆ ξ(e1)}|
linkove zahleceni vnoreni
ecng(φ; ξ) = max ecng(e2)
uzlove zahlceni ciloveho uzlu u2 z H
ncng(u2) = |{e1 ∈ E(G); u2 ∈ ξ(e1)}|
simulace se zpomalenim h
H simuluje G se zpomalenim h; jestlize jeden krok vypoctu na G muze byt simulovan v O(h) krocich na H.
vypocetne ekvivalentni site
G a H jsou vypocetne ekvivalentni site; pokud G dokaze simulovat H s konstantnim zpomalenim a naopak.