Kis-Benedek Ágnes Dinamikus programozás a gráfelméletben
Kis-Benedek Ágnes Dinamikus programozás a gráfelméletben
Kis-Benedek Ágnes Dinamikus programozás a gráfelméletben
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
22 3. FEJEZET. RÉSZBENRENDEZETT HALMAZ ÉS VISSZAVEZETÉSEK<br />
Az optimumot megpróbáljuk tehát alulról felfelé építkezve megtalálni.<br />
m(p) legyen a p maximális elemű láncok maximális súlya.<br />
Pi legyen P i. legkisebb elemeinek halmaza, azaz P1 jelölje a P -beli legkisebb<br />
elemeket, P2 a P −P1-beli legkisebb elemeket,. . . , Pi+1 pedig a P −P1 −P2 −· · ·−Pi-<br />
beli legkisebb elemeket.<br />
P1 elemeire nyilván teljesül az m(p) = c(p) egyenlőség, mivel P1-ben csupa<br />
egyelemű lánc van. Tegyük fel, hogy m(p) értéke ismert P1 ∪ · · · ∪ Pi-n. Ekkor<br />
p ∈ Pi+1-re a következőképp kaphatjuk meg m(p)-t annak a fenti összefüggésnek a<br />
felhasználásával, hogy egy pn maximális elemű maximális láncot egy olyan pm max-<br />
imális elemű maximális láncból kapjuk pn hozzávételével, melyre teljesül a pn > pm<br />
összefüggés.:<br />
m(p) = c(p)+max{m(u)}, ahol u ∈ Pj (1 ≤ j ≤ i), és u < p a részbenrendezésben.<br />
Ilyen módon miután P -t felosztottuk a fent látható módon Pi halmazokra, az<br />
algoritmus k-adik fázisa során kiszámoljuk m(p)-t ∀p ∈ Pk-ra. A maximális lánc<br />
súlyát az m(p)-k maximuma adja.<br />
Megjegyzés: Ha elkészítjük P fent szereplő Pi csoportokra osztását, a relá-<br />
cióban lévő elemeket pedig irányított élekkel kötjük össze, ahol egy él kezdőpont-<br />
ja a részbenrendezésben kisebb, mint a végpontja, akkor egy aciklikus, irányított,<br />
pontsúlyozott G gráfot kapunk. Egy lánc a részbenrendezett halmazban egy útnak<br />
felel meg ebben a gráfban, amely a láncbeli rendezés sorrendjében tartalmazza a<br />
pontokat. Tehát egy maximális lánc keresése P -ben megfeleltethető egy maximális<br />
út keresésének az aciklikus G digráfban, amit akár átírhatunk élsúlyozott aciklikus<br />
digráfban minimális út keresésére is, ha negáljuk a költségfüggvényt, és minden pon-<br />
tot megkettőzünk, a köztük vezető élekre a pont költségét írjuk, a többi élre pedig 0-t.