Documente Academic
Documente Profesional
Documente Cultură
Domsa
Domsa
ARBORE.OUT
5
18
28
38
78
76
46
56
32
V. ANALIZA ALGORITMULUI
Fie F = { T0, ... , Tk } pdurea construit de algoritm, i fie X mulimea vrfurilor
neacoperite de F. Vom numi X mulimea vrfurilor exterioare. E uor de observat c un vrf exterior
nu poate fi adiacent unui vrf intern al unui arbore Ti. Regulile de expansiune ne permit s
demonstrm urmtoarele proprieti ale vrfurilor exterioare.
Lema 3.1 Fie G'=(V, E') graful format prin contractarea fiecrui arbore Ti F ntrun singur vrf i prin eliminarea muchiilor multiple ntre perechile de vrfuri. In G fiecare vrf
exterior are gradul cel mult egal cu 2.
34
37