od Him » 13. 2. 2012 07:31
Kdyz pracujes [delas operace Insert, Delete, Member,...] s (a,b)-stromem, tak si chces vybrat konkretni hodnoty a a b podle sve preference. A Koubkova veta ti rika, ze pro tato a a b muzes reprezentovat libovolnou mnozinu S o velikosti |S|=n.
To je daleko silnejsi tvrzeni nez ze existuje nejaky (a,b)-strom, ktery ma n listu, s tim by se nedalo pracovat, protoze po insertu/delete bys mohlo dojit k tomu, ze je potreba predelat (a,b)-strom na jiny (a,b)-strom.
Takhle jsem to pochopil ja.
Kdyz pracujes [delas operace Insert, Delete, Member,...] s (a,b)-stromem, tak si chces vybrat konkretni hodnoty [i]a[/i] a [i]b[/i] podle sve preference. A Koubkova veta ti rika, ze pro tato [i]a[/i] a [i]b[/i] muzes reprezentovat libovolnou mnozinu [i]S[/i] o velikosti [i]|S|=n[/i].
To je daleko silnejsi tvrzeni nez ze existuje nejaky (a,b)-strom, ktery ma [i]n[/i] listu, s tim by se nedalo pracovat, protoze po insertu/delete bys mohlo dojit k tomu, ze je potreba predelat (a,b)-strom na jiny (a,b)-strom.
Takhle jsem to pochopil ja.