• Embed Doc
  • Copy Link
  • Readcast
  • Collections
  • CommentGo Back
 
8. B-fák
Általános keres ˝ ofák
Az általános keres ˝ ofa olyan absztrakt adatszerkezet, amely fa és minden cellájában adatsorozat van;
Adat 
:
F 
→
 E 
∗
.Tehát minden
p
∈
F 
-re
Adat 
(
 p
) =
a
1
,
···
,
a
k 
.Ekkor azt mondjuk, hogy
p
rangja
k 
,
Rang
(
 p
) =
k 
.
Definíció.
Az
F 
fa (általános) keres ˝ ofa, ha
∀
 p
∈
F 
-re teljesül:1.
p
-nek
Rang
(
 p
)+
1
=
Fok 
(
 p
)
számú fia van.2.
Adat 
(
 p
) =
a
1
,
···
,
a
k 
rendezett sorozat.3.
Max
(
F 
 fiu
(
 p
,
i
−
1
)
)
≤
a
i
≤
 Min
(
F 
 fiu
(
 p
,
i
)
)
,
i
=
1
,
···
,
 Rang
(
 p
)
, ahol
F 
 fiu
(
 p
,
i
)
az
F 
fa
fiu
(
 p
,
i
)
-gyöker˝ u részfája.
Definíció.
Az
F 
fa
t 
-rend˝ u
(
t 
≥
2
)
B-fa
, ha teljesül rá az alábbi 4 feltétel:
...
F 
 fiu
(
 p
,
1
)
a
1
a
k 
F 
 fiu
(
 p
,
0
)
...
 pF 
 fiu
(
 p
,
k 
)
1. ábra. Általános keres ˝ ofa szemléltetése.1. Keres ˝ ofa.2. A gyökér kivételével minden
p
∈
F 
pontra
t 
−
1
≤
 Rang
(
 p
)
≤
2
t 
−
1
.3. Minden
p
∈
F 
nem levél pontra
Fiu
(
 p
,
i
)
=
⊥
,
i
=
0
,
···
,
 Rang
(
 p
)
.4. Minden
p
∈
F 
levélpontra
d 
(
 p
) =
h
(
F 
)
, azaz minden levél pont mélysége azonos.
............... ... ............... .........
2. ábra. B-fa séma.
8.1. lemma.
Minden 
n
adatot tartalmazó 
t 
-rend˝  u 
F 
B-fára 
h
(
F 
)
≤
log
t n
+
12
+
1
.
Bizonyítás.
A legkevesebb adatot tartalmazó B-fában a gyökérben 1, a többi pontban
t 
−
1
adat van. A második szinten
2
pont1
 
... ......... ......
h
1234122
t 
2
t 
2
2
t 
h
−
2
12
(
t 
−
1
)
2
t 
(
t 
−
1
)
2
t 
2
(
t 
−
1
)
2
t 
h
−
2
(
t 
−
1
)
Szint 
...
Pont Adat 
3. ábra.
h
magasságú, legkevesebb adatot tartalmazó B-fa.van, az i-ediken
i
>
2
esetén
2
t 
i
−
2
pont van. Tehát a
h
magasságú
t 
-rend˝ u B-fa legalább
1
+
h
∑
i
=
2
2
t 
i
−
2
(
t 
−
1
) =
1
+
2
(
t 
−
1
)
h
∑
i
=
2
t 
i
−
2
=
1
+
2
(
t 
−
1
)
h
−
2
∑
i
=
0
t 
i
=
1
+
2
(
t 
−
1
)
t 
h
−
1
−
1
t 
−
1
=
1
+
2
(
t 
h
−
1
−
1
) =
2
t 
h
−
1
−
1
Tehát
n
≥
2
t 
h
−
1
−
1
n
+
12
≥
t 
h
−
1
h
−
1
≤
log
t 
n
+
12
h
≤
log
t 
n
+
12
+
1
¤ 
Például, ha
n
=
10000000
,
t 
=
100
, akkor
h
(
F 
)
≤
4
.
349
Egy
p
pontot
telítettnek 
nevezünk, ha
Rang
(
 p
) =
2
t 
−
1
, illetve
minimálisnak 
, ha
Rang
(
 p
) =
t 
−
1
.
8.1. B-fa b ˝ ovítése
Legyen
 p
1
,...,
 p
m
a
k 
-kulcshoz tartozó b ˝ ovít ˝ oút pontjainak sorozata, tehát
p
1
a fa gyökere és
p
m
levélpont. A b ˝ ovítés mindiglevélpontba történik.
8.1.1. Optimista stratégia
El ˝ oször keressük meg a b ˝ ovít ˝ oút
p
m
végpontját. Ha
p
m
nem telített, akkor szúrjuk be az új
k 
kulcsú adatot. Ha
p
m
telített, akkorkét két változat szerint folytatódhat a m˝ uvelet:
Egyszer˝ u módszer:
Vágjuk ketté az aktuális pontot, és a keletkez ˝ o
(
b
,
q
)
adat-pointer párnak az apába történ ˝ o beszúrásávalfolytassuk a b ˝ ovít ˝ o úton visszafelé haladva mindaddig, amíg nem telített ponthoz érünk, vagy a gyökérpontot kettévágva újgyökérpont keletkezik (ekkor növekszik a fa magassága).2
 
Körültekint ˝ o módszer:
Ha az aktuális pont bal vagy jobb testvére nem telített, akkor adjunk át egy adat-pointer párt, amivel azaktuális pont telítettségét megszüntetjük. Ha nem lehet átadni egyik testvérnek sem, akkor az egyszer˝ u módszer szerintikettévágást végezzünk.
8.1.2. Optimista stratégia
El ˝ oször keressük meg a b ˝ ovít ˝ oút
p
m
végpontját. Ha
p
m
nem telített, akkor szúrjuk be az új
k 
kulcsú adatot. Ha
p
m
telített, akkorkét két változat szerint folytatódhat a m˝ uvelet:
Egyszer˝ u módszer:
Vágjuk ketté az aktuális pontot, és a keletkez ˝ o
(
b
,
q
)
adat-pointer párnak az apába történ ˝ o beszúrásávalfolytassuk a b ˝ ovít ˝ o úton visszafelé haladva mindaddig, amíg nem telített ponthoz érünk, vagy a gyökérpontot kettévágva újgyökérpont keletkezik (ekkor növekszik a fa magassága).
Körültekint ˝ o módszer:
Ha az aktuális pont bal vagy jobb testvére nem telített, akkor adjunk át egy adat-pointer párt, amivel azaktuális pont telítettségét megszüntetjük. Ha nem lehet átadni egyik testvérnek sem, akkor az egyszer˝ u módszer szerintikettévágást végezzünk.
8.1.3. Pesszimista stratégia
A b ˝ ovít ˝ oúton lefelé haladva minden telített pont telítettségét megszüntetjük, így a
p
m
végponthoz érve az nem lesz telített, tehátbeszúrhatjuk az új adatot. A telítettség megszüntetésére két módszer is kínálkozik.
Egyszer˝ u módszer:
Vágjuk ketté az aktuális pontot, és a keletkez ˝ o
(
b
,
q
)
adat-pointer párt szúrjuk be az apába, amely márbiztosan nem telített.
Körültekint ˝ o módszer:
Ha az aktuális pont bal vagy jobb testvére nem telített, akkor adjunk át egy adat-pointer párt, amivel azaktuális pont telítettségét megszüntetjük. Ha nem lehet átadni egyik testvérnek sem, akkor az egyszer˝ u módszer szerintikettévágást végezzünk.
8.2. B-fa törlés
Legyen
 p
1
,...,
 p
u
a
k 
-kulcshozvezet ˝ okeres ˝ oútpontjainaksorozata, tehát
p
1
afagyökereés
Kulcs
(
 p
u
) =
k 
. Legyen
 p
u
+
1
,...,
 p
v
a
k 
kulcs
k 
1
követ ˝ ojét tartalmazó ponthoz vezet ˝ o út. El ˝ oször másoljuk át
k 
helyére a
k 
1
kulcsot (és a hozzá tartozó adatot is, haazt is tároljuk a fában). A tényleges törlés a
p
v
ponttól indul és célja az aktuális pontbeli hiány megszüntetése.
k 
000
k 
1
000
 p
4
 p
5
 p
1
 p
2
 p
u
 p
v
4. ábra. Törléshez tartozó pontsorozat.3
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...