En Kısa Yollar II

November 16, 2005 Copyright 2001-5 by Erik D. Demaine and Charles E. Leiserson L18.
1
Algoritmalara Giri
6.046J/18.401J
Ders 18
En Ksa Yollar II
Bellman-Ford algoritmas
Dorusal Programlama ve
fark kstlar
VLSI yerleimi kltlmesi
Prof. Erik Demaine
November 16, 2005 Copyright 2001-5 by Erik D. Demaine and Charles E. Leiserson L18.2
Negatif-arlk evrimleri
Hatrlatma: Eer grafik G = (V, E) negatif arlk
evrimi ieriyorsa, en ksa yollardan bazlar
bulunmayabilir.
rnek:
u
u
v
v
< 0
Negatif-arlk evrimleri
Hatrlatma:Eer grafik G = (V, E) negatif arlk evrimi
ieriyorsa, en ksa yollardan bazlar bulunmayabilir.
rnek:
u
u
v
v
< 0
Bellman-Ford algoritmas:Bir s V kaynandan
tm v V' lere btn ksa yol uzunluklarn bulur
ya da bir negatif arlk evrimi olduunu saptar.
Bellman-Ford algoritmas
d[s] 0
for each(her bir) v V {s}(iin)
do(yap) d[v]
ilklendirme
for(iin) i 1 to |V| 1 ' ( e )
do for each edge(her kenar iin yap) (u, v) E
do(yap) if(eer) d[v] > d[u] + w(u, v)
then(sonra) d[v] d[u] + w(u, v)
for each edge (u, v) E
do if d[v] > d[u] + w(u, v)
sonra bunu negatif arlk evrimi var diyerek raporla
Gevetme adm
Sonunda, d[v] = (s, v), negatif arlk evrimi yoksa.
Sre = O(VE).
(her) (kenar iin)
(yap eer)
Bellman-Ford rnei
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
Bellman-Ford rnei
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0

lklendirme.
Bellman-Ford rnei
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0

1
2
3
4
5
7
8
6
Ke gevetme dzeni
Bellman-Ford rnei
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0

1
2
3
4
5
7
8
6
Bellman-Ford rnei
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0

1
2
3
4
5
7
8
6
Bellman-Ford rnei
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0

1
2
3
4
5
7
8
6
Bellman-Ford rnei
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0

1
2
3
4
5
7
8
6
Bellman-Ford rnei
4
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
4
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
42
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
1. geiin sonunda
Bellman-Ford rnei
1
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
1
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
1
1
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
1
1
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
1
1
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
1
1
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
1
1
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
1 2
1
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
Bellman-Ford rnei
2
1
2
1
A
A
B
B
E
E
C
C
D
D
1
4
1
2
3
2
5
3
0
1
2
3
4
5
7
8
6
2. geiin sonu (ve 3 ve 4).
Doruluk
Teorem.Eer G = (V, E) hi negatif arlk
evrimi iermiyorsa, sonrasnda Bellman-Ford
algoritmas, btn v V' ler iin d[v] = (s, v)' yi
altrr.
Doruluk
Teorem.Eer G = (V, E) hi negatif arlk evrimi
iermiyorsa, sonrasnda Bellman-Ford algoritmas btn
v V ler iin Vd[v] = (s, v)' yi altrr.
Kant. v V herhangi bir ke olsun ve s' den v' ye, zerinde
en az sayda ke olan en ksa yolun p olduunu farzedin.
v
1 v
1
v
2
v
2
v
3
v
3
v
k
v
k
v
0
v
0
s
v
p:
p en ksa yol ise,
(s, v
i
) = (s, v
i1
) + w(v
i1
, v
i
).
Doruluk (Devam)
v
1
v
1
v
2
v
2
v
3
v
3
v
k
v
k
v
0
v
0
s
v
p:
lk olarak, d[v
0
] = 0 = (s, v
0
) ve d[v
0
]sonraki gevetmeler
tarafndan deitirilmemi.
(Ders 14' teki d[v] (s, v) kuram sebebiyle).
E' den 1 gei sonra, d[v
1
] = (s, v
1
).
E' den 2 gei sonra, d[v
2
] = (s, v
2
).
M
E' den k gei sonra, d[v
k
] = (s, v
k
).
Eer G negatif arlk evrimi iermiyorsa, p basittir.
En uzun basit yolun |V| 1 kadar kenar vardr.
Negatif arlk evrimlerini
bulma
Doal Sonu. |V|1gei sonra d[v] deeri birlemede
baarsz olursa, G' de s' den eriilebilir bir negatif
arlk evrimi vardr.
Dorusal programlama
A, mn bir matris olsun, b, m-vektr ve c
n-vektr olsun. c
T
x znesini Ax b ' ye
maksimize eden n-vektr x' i bulun ya da byle bir
zmn bulunmadn belirleyin.
.

maksimize ediliyor .
m
n
A x b c x
T
Dorusal programlama
algoritmalar
Genel problem iin algoritmalar
Tek ynl (Simplex) yntemler Pratik, ama en kt koma
sresi, stel zamanl.
Dahili-nokta yntemi polinomsal zamanl ve
tek ynl (simplex) yntemle yarr.
Dorusal programlama
algoritmalar
Genel problem iin algoritmalar
Fizibilite problemi: Optimizasyon kriteri yok.
Ax b iin bir x bulun.
Genellikle, allm LP (dorusal programlama)
kadar zordur.
Tek ynl (Simplex) yntemler Pratik, ama en kt koma
sresi, stel zamanl.
Dahili-nokta yntemi polinomsal zamanl ve
tek ynl (simplex) yntemle yarr.
Fark kstlarnn
sisteminin zmlemesi

Her satr sadece bir tane 1, bir tane -1 ieren ve
kalan 0 olan A iin dorusal programlama.

rnek:
x
1
x
2
3
x
2
x
3
2
x
1
x
3
2
x
j
x
i
w
ij
Fark kstlar
sisteminin zmlemesi

Her satr sadece bir tane 1, bir tane -1 ieren ve
kalan 0 olan A iin dorusal programlama.

rnek:
x
1
x
2
3
x
2
x
3
2
x
1
x
3
2
x
j
x
i
w
ij
zm:
x
1
= 3
x
2
= 0
x
3
= 2
Fark kstlar
sisteminin zmlemesi
Her satr sadece bir tane 1, bir tane -1 ieren
ve kalan 0 olan A iin dorusal programlama.
rnek:
x
1
x
2
3
x
2
x
3
2
x
1
x
3
2
x
j
x
i
w
ij
zm:
x
1
= 3
x
2
= 0
x
3
= 2
Kst grafii:
v
j
v
j
v
i
v
i
x
j
x
i
w
ij
w
ij
( A
matrisinin
boyutlar:
|E| |V|.)
Karlanamaz kstlar
Teorem. Eer kst grafii bir negatif
arlk evrimi ieriyorsa, farklar sistemi
karlanamaz.
Karlanamaz kstlar
Teorem. Eer kst grafii bir negatif
karlanamaz.
Kant. Negatif arlk evrimi yle olsun:
v
1
v
2
L v
k
v
1
. sonrasnda
x
2
x
1
w
12
x
3
x
2
w
23
M
x
k
x
k1
w
k1, k
x
1
x
k
w
k1
Kstlarn karlanmas
Teorem.Eer kst grafii bir negatif
karlanamaz.
Kant. Negatif arlk evrimi yle olsun:
v
1
v
2
L v
k
v
1
. sonrasnda
x
2
x
1
w
12
x
3
x
2
w
23
M
x
k
x
k1
w
k1, k
x
1
x
k
w
k1
bu nedenle
x
i
iin kstlar
karlayabilecek
0 evrimin arl bir deer yoktur.
< 0
Kstlarn karlanmas
Teorem. Kst grafiinde negatif arlk
evrimi bulunmadn farzedin. O zaman
kstlar karlanabilir.
Kstlarn karlanmas
Teorem.Kst grafiinde negatif arlk
evrimi bulunmadn farzedin.O zaman
Kant. V' ye yeni bir s kesi ekleyin ve bu
v
i
V 'deki her keye 0- kenar arl ile gelsin.
v
1
v
1
v
4
v
4
v
7
v
7
v
9
v
9
v
3
v
3
Kstlarn karlanmas
v
1
v
4
v
4
v
7
v
7
v
9
v
9
v
3
v
3
s
0
Not:Negatif arlk
evrimi yok,
yani en ksa yollar
var.
Teorem.Kst grafiinde negatif arlk
evrimi bulunmadn farzedin.O zaman
Kant. V' ye yeni bir s kesi ekleyin ve bu
v
i
V 'deki her keye 0- kenar arl ile gelsin.
v
1
Kant (Devam)
ddia: x
i
= (s, v
i
) atamas kstlar karlar.
Bir x
j
x
i
w
ij
kst olduunu ve
s den v
j
ve v
i
ye en ksa yollar olduunu dnn.
s
s
v
j
v
j
v
i
v
i
(s, v
i
)
(s, v
j
)
w
ij
gen eitsizlii bize (s,v
j
) (s, v
i
) + w
ij
' yi verir.
x
i
= (s, v
i
) ve x
j
= (s, v
j
) olduunda, kst x
j
x
i
w
ij
karlanr.
Bellman-Ford ve Dorusal
programlama
Doal Sonu. Bellman-Ford algoritmas
m fark kstnn olduu bir sistemi n deikenli olarak
O(mn) sresinde zebilir.
Tek kaynakl en ksa yollar basit bir LP problemidir.
Aslnda, Bellman-Ford x
1
+ x
2
+ L+ x
n
esini, x
j
x
i
w
ij
ve x
i
0 kst koullarnda
maksimize eder (egzersiz).
Bellman-Ford ayn zamanda max
i
{x
i
} min
i
{x
i
}' yi
minimize eder (egzersiz).
VLSI yerleimi kltme
uygulamas
Entegre
devre
zellikleri:
minimum ayrlma
Problem:VLSI yerleiminde, tm nitelikleri ok
yaknlatrmadan, nitelikler arasndaki mesafeyi
tek boyutta sktrn.
VLSI Yerleimi kltmesi
d
1
1
1
2
x
1
x
2
Kst: x
2
x
1
d
1
+
Bellman-Ford max
i
{x
i
} min
i
{x
i
},
x-boyutunda yerleimi en aza indirir.

En Kısa Yollar II

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

En Kısa Yollar II

Uploaded by

Copyright:

Available Formats

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

You might also like