Açgözlü Algoritmalar (Ve Grafikler)

November 9, 2005 Copyright 2001-5 by Erik D. Demaine and Charles E. Leiserson L16.
1
Algoritmalara Giri
6.046J/18.401J
Ders 16
Agzl Algoritmalar (ve
Grafikler)
Grafik gsterim
Minimum kapsayan aa
Optimal altyap
Agzl seim
Primin agzl MST
algoritmas
Prof. Charles E. Leiserson
November 9, 2005 Copyright 2001-5 by Erik D. Demaine and Charles E. Leiserson L16.2
Grafikler (tekrar)
Tanm. Ynlendirilmi grafik (digraf)
G = (V, E),
V keler kmesi ve
E V V kenarlar kmelerinden oluur.
Ynlendirilmemi grafik G = (V, E)'de, E kenar
kmesi, sral olmayan ke iftlerinden oluur.
Her durumda, elimizde | E| = O(V
2
) vardr.
Ayrca, eer G balantlysa, | E| | V| 1, ki bu da
lg| E| = (lgV) anlamna gelir.
(Baknz CLRS, Appendix B.)
Bir G = (V, E) grafiinin komuluk matrisi
V = {1, 2, , n}olduunda,

A[i, j] =
1 eer (i, j) E ise,
0 eer(i, j) E ise,
A[1 . . n, 1 . . n] matrisidir.
Komuluk matrisi gsterimi
Komuluk matrisi gsterimi
Bir G = (V, E) grafiinin komuluk matrisi
V = {1, 2, , n}iken,

A[i, j] =
1 eer (i, j) E ise,
0 eer (i, j) E ise,
A[1 . . n, 1 . . n] matrisidir.
2
2
1
1
3
3
4
4
A 1 2 3 4
1
2
3
4
0 1 1 0
0 0 1 0
0 0 0 0
0 0 1 0
(V
2
) depolama:
youn
gsterimi.
Komuluk listesi gsterimi
Bir v V kesinin komuluk listesi,v' ye komu olan
kelerin Adj[v] listesidir.
Adj[1] = {2, 3}
Adj[2] = {3}
Adj[3] = {}
Adj[4] = {3}
2
2
1
1
3
3
4
4
Adj[1] = {2, 3}
Adj[2] = {3}
Adj[3] = {}
Adj[4] = {3}
2
2
1
1
3
3
4
4
Ynlendirilmemi grafikler iin, | Adj[v] | = degree (derece)(v).
Ynlendirilmi grafikler iin, | Adj[v] | = out-degree (d-derece)(v).
Bir v V kesinin komuluk listesi, v 'ye komu olan
Tokalama nkuram:Ynlendirilmemi grafikler
iin
vV
= 2| E komuluk listeleri, (V + E) depolama
alann kullanr. Bu seyrek gsterimdir. (her tr grafik iin.)
Adj[1] = {2, 3}
Adj[2] = {3}
Adj[3] = {}
Adj[4] = {3}
2
2
1
1
3
3
4
4
Ynlendirilmemi grafikler iin, | Adj[v] | = degree (derece)(v).
Ynlendirilmi grafikler iin, | Adj[v] | = out-degree (d-derece)(v).
Bir v V kesinin komuluk listesi, v' ye komu olan
Minimum kapsayan aalar
Girdi: w : E R arlk fonksiyonlu, G= (V, E)
balantl, ynlendirilmemi grafik.
Basitlik adna, farzedin ki tm kenar
arlklar farkl olsun. (CLRS genel durumu kapsar.)
=
T v u
v u w T w
) , (
) , ( ) ( .
kt: T kapsayan aac--en az arlkla tm keleri
birletiren bir aa:
Minimum kapsayan aalar
Girdi: w : E R arlk fonksiyonlu, G= (V, E)
balantl, ynlendirilmemi grafik.
Basitlik adna, farzedin ki tm kenar
arlklar farkl olsun. (CLRS genel durumu kapsar.)
MST (minimum kapsayan aa) rnei
6 12
5
14
3
8
10
15
9
7
6 12
5
14
3
8
10
15
9
7
MST (minimum kapsayan aa) rnei
Optimal altyap
MST T:
(G' nin dier kenarlar
gsterilmemitir.)
Optimal altyap
u
v
MST T:
gsterilmemitir.)
Herhangi bir (u, v) T kenarn kaldr.
u
v
Herhangi bir (u, v) T kenarn kaldr.
MST T:
gsterilmemitir.)
Optimal altyap
u
v
Herhangi bir (u, v) T kenarn kaldr. Bu durumda T,
T
1
ve T
2
olarak iki altaaca blntlenir.
T
1
T
2
u
v
Optimal altyap
MST T:
gsterilmemitir.)
u
v
Herhangi bir (u, v) T kenarn kaldrn.Bu durumda T,
T
1
and T
2
olarak iki altaaca blntlenir.
T
1
T
2
u
v
Optimal altyap
MST T:
gsterilmemitir.)
Teorem. Altaa T
1
, G
1
= (V
1
, E
1
) 'in bir MST'sidir ve
T
1
'in keleri tarafndan oluturulan G' nin altgrafiidir:
V
1
= T
1
' in keleri
E
1
= { (x, y) E : x, y V
1
}.
T
2
iin de bu byledir.
Optimal altyapnn kant
w(T) = w(u, v) + w(T
1
) + w(T
2
).
Kant.Kes ve yaptr:
Eer T
1
G
1
iin T
1
den daha az arlkl bir kapsayann
aasa, bu durumda T = {(u, v)} T
1
T
2
G iin
T 'den daha az arlkl bir kapsayan aa olur.
Ayn zamanda akan altproblemlerimiz de var m?
Evet var.
w(T) = w(u, v) + w(T
1
) + w(T
2
).
Kant.Kes ve yaptr:
Eer T
1
G
1
iin T
1
den daha az arlkl bir kapsayan
1
T
2
G iin
Harika, o zaman dinamik programlama alabilir!
Evet, fakat MST daha da verimli bir algoritmaya
yol aan bir baka kuvvetli zelliini sergiler.
w(T) = w(u, v) + w(T
1
) + w(T
2
).
Kant.Kes ve yaptr
Ayn zamanda akan altproblemlerimiz de var m?
Evet var.
w(T) = w(u, v) + w(T
1
) + w(T
2
).
Eer T
1
G
1
iin T
1
den daha az arlkl bir kapsayan
1
T
2
G iin
Agzl algoritmalar iin
Kalite iareti
Agzl-seim zellii
Yerel olarak en uygun seim
genel olarak da en uygundur.
Teorem. T, G = (V, E)'nin MST'si olsun ve
A V olsun. (u, v) E 'nin
A y V A'ya balayan en az arlkl kenar
olduunu farzedin. O zaman (u, v) T olur.
Agzl algoritmalar iin
Kalite areti
Agzl-seim zellii
Yerel olarak en uygun seim
genel olarak da en uygundur.
Teorem' in kant
Kant. (u, v) T olduunu dnn.Kes-yaptr.
A
V A
u
v
(u, v) =A'dan VA'ya balanan
en az arlkl kenar.
T:
A
V A
T:
T ' de u'dan v'ye benzeri olmayan basit yolu
dnn.
Teorem' in kant
Kant. (u, v) T olduunu dnn. Kes-yaptr.
u
v
en az arlkl kenar.
A
V A
T:
(u, v)' yi, bu yolda A' daki bir keyi
V A' daki bir keye balayan ilk kenarla deitirin.
dnn.
Teorem' in kant
u
v
en az arlkl kenar.
T 'den daha az arlkl bir kapsayan aa oluur.
A
V A
(u, v)' yi, bu yolda A' daki bir keyi
V A' daki bir keye balayan ilk kenarla deitirin.
dnn.
Teorem' in kant
u
v
en az arlkl kenar.
Primin Algoritmas
Fikir: V A'y bir Q ncelikli sras olarak koruyun.
Q' daki her keyi, A' daki bir keye balayan en az
arlkl kenarn arlyla KEYleyin. (anahtarlayn)
Q V
key[v] tm v V 'ler iin
key[s] 0 rastgele s V 'iin
while Q
do u EXTRACT-MIN(en k kar)(Q)
her v Adj[u] iin
do if v Q ve w(u, v) < key[v]
then key[v] w(u, v) DECREASE-KEY
[v] u
Sonunda, {(v, [v])}, MST' yi biimlendirir.
(anahtar klt)
(yap-eer)
(yap)
(-iken)
(sonra)
Primin algoritmasna rnek
A
V A

0
0
6 12
5
14
3
8
10
15
9
7
A
V A

0
0
6 12
5
14
3
8
10
15
9
7
A
V A

7
7
0
0
10
10
15
15
6 12
5
14
3
8
10
15
9
7
A
V A

7
7
0
0
10
10
15
15
6 12
5
14
3
8
10
15
9
7
A
V A
12
12
5
5
7
7
0
0
10
10
9
9
15
15
6 12
5
14
3
8
10
15
9
7
A
V A
12
12
5
5
7
7
0
0
10
10
9
9
15
15
6 12
5
14
3
8
10
15
9
7
A
V A
6
6
5
5
7
7
14
14
0
0
8
8
9
9
15
15
6 12
5
14
3
8
10
15
9
7
A
V A
6
6
5
5
7
7
14
14
0
0
8
8
9
9
15
15
6 12
5
14
3
8
10
15
9
7
A
V A
6
6
5
5
7
7
14
14
0
0
8
8
9
9
15
15
6 12
5
14
3
8
10
15
9
7
A
V A
6
6
5
5
7
7
3
3
0
0
8
8
9
9
15
15
6 12
5
14
3
8
10
15
9
7
A
V A
6
6
5
5
7
7
3
3
0
0
8
8
9
9
15
15
6 12
5
14
3
8
10
15
9
7
A
V A
6
6
5
5
7
7
3
3
0
0
8
8
9
9
15
15
6 12
5
14
3
8
10
15
9
7
A
V A
6
6
5
5
7
7
3
3
0
0
8
8
9
9
15
15
6 12
5
14
3
8
10
15
9
7
Prim' in zmlemesi
Q V
key[v] tm v V'ler iin.
key[s] 0 rastgele s V'ler iin.
while Q
do u En az (Q)' yu kar.
her v Adj[u] iin
then key[v] w(u, v)
[v] u
(yap-eer)
(yap)
(-iken)
(sonra)
Q V
while Q
her v Adj[u] iin
then key[v] w(u, v)
[v] u
(V)
toplam
Prim' in zmlemesi
(yap-eer)
(yap)
(-iken)
(sonra)
|V|
kere
Q V
while Q
do u En az(Q)'yu kar.
her v Adj[u] iin
then key[v] w(u, v)
[v] u
(V)
toplam
Prim' in zmlemesi
(yap-eer)
(yap)
(-iken)
(sonra)
Q V
key[v] tm v V' ler iin.
key[s] 0 rastgele s V' ler iin.
while Q
do u En az(Q)' yu kar.
her v Adj[u] iin
then key[v] w(u, v)
[v] u
degree(u)
kere
|V|
kere
(V)
toplam
Prim' in zmlemesi
(derece)
(yap-eer)
(yap)
(-iken)
(sonra)
(derece)
Tokalama nkuram (E) varsaylan DECREASE-KEY'ler.
degree(u)
kere
|V|
kere
(V)
toplam
Prim' in zmlemesi
Q V
while Q
do u En az(Q)' yu kar.
her v Adj[u] iin
then key[v] w(u, v)
[v] u
(Anahtar klt)
(derece)
(yap-eer)
(yap)
(-iken)
(sonra)
(derece)
Time(sre) = (V)T
EXTRACT
-
MIN
+ (E)T
DECREASE
-
KEY
Q V
while Q
her v Adj[u] iin
then key[v] w(u, v)
[v] u
degree(u)
kere
|V|
kere
(V)
toplam
Prim' in zmlemesi
Tokalama nkuram (E) varsaylan DECREASE-KEY'ler.
(en k kar)
(yap-eer)
(yap)
(-iken)
(sonra)
(derece)
(Anahtar klt)
Prim' in zmlemesi (devam)
Time(sre) = (V)T
EXTRACT
-
MIN
+ (E)T
DECREASE
-
KEY
(en k kar) (Anahtar klt)
Toplam Q T T
DECREASE
-
KEY EXTRACT
-
MIN
Time(sre) = (V)T
EXTRACT
-
MIN
+ (E)T
DECREASE
-
KEY
(en k kar)
(Anahtar klt)
dizilim O(V) O(1) O(V
2
)
Toplam Q T T
DECREASE
-
KEY EXTRACT
-
MIN
Prim' in zmlemesi(devam)
Time( sre ) = (V)T
EXTRACT
-
MIN
+ (E)T
DECREASE
-
KEY
(Azaltlm anahtar) (en az kar)
ikili
yn
O(lg V) O(lg V) O(Elg V)
2
)
Toplam Q T T
DECREASE
-
KEY EXTRACT
-
MIN
Prim' in zmlemesi(devam)
Time( sre ) = (V)T
EXTRACT
-
MIN
+ (E)T
DECREASE
-
KEY
Fibonacci
yn
O(lg V)
amortize
O(1)
amortize
O(E + Vlg V)
worst case
ikili
yn
O(lg V) O(lg V) O(Elg V)
2
)
Toplam Q T T
DECREASE
-
KEY EXTRACT
-
MIN
Time( sre ) = (V)T
EXTRACT
-
MIN
+ (E)T
DECREASE
-
KEY
edilmi
edilmi
en kt durum
MST algoritmalar
Kruskal algoritmas (CLRS ye baknz):
Ayrk-kme veri yaps 'n kullanr.(Ders 10)
Koma sresi = O(Elg V).
Bugne kadar en iyisi:
Karger, Klein, and Tarjan [1993].
Rastgele algoritma.
O(V + E) beklenen sre.
MST algoritmalar
Kruskal algoritmas (CLRS ye baknz):
Kopuk-kme veri yaps 'n kullanr.(Ders 10)
Koma sresi = O(Elg V).

Açgözlü Algoritmalar (Ve Grafikler)

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Açgözlü Algoritmalar (Ve Grafikler)

Transféré par

Droits d'auteur :

Formats disponibles

November 9, 2005 Copyright 2001-5 by Erik D. Demaine and Charles E. Leiserson L16.

Vous aimerez peut-être aussi