Professional Documents
Culture Documents
10. előadás
E.-Nagy Marianna
Operációkutatás és Aktuáriustudományok Tanszék
ui + vj ≤ cij , i = 1, . . . , m, j = 1, . . . , n
Szállítási feladat: megoldó algoritmus
Bland szabály:
Tekintsük az indexeket lexikografikus sorrendben
Pm Pn
Ha kisebb a kínálat, mint a kereslet: i=1 ti < j=1 fj
fiktív termelő bevezetése, innen a szállítás 0 költségű
; vannak olyan fogyasztók, akik igényét nem tudjuk teljesíteni
Pm Pn
Ha kisebb a kereslet, mint a kínálat: i=1 ti > j=1 fj
fiktív fogyasztó bevezetése, ide a szállítás 0 költségű
; vannak olyan termelők, akiknél raktáron marad áru
fiktív cellák a slack változóknak felelnek meg
Nem kiegyensúlyozott feladat
Pm Pn
Ha kisebb a kínálat, mint a kereslet: i=1 ti < j=1 fj
fiktív termelő bevezetése, innen a szállítás 0 költségű
; vannak olyan fogyasztók, akik igényét nem tudjuk teljesíteni
Pm Pn
Ha kisebb a kereslet, mint a kínálat: i=1 ti > j=1 fj
fiktív fogyasztó bevezetése, ide a szállítás 0 költségű
; vannak olyan termelők, akiknél raktáron marad áru
fiktív cellák a slack változóknak felelnek meg
Bizonyítás.
Teljes indukció a mátrix méretére.
Vegyünk egy k × k részmátrixot.
Ha van csupa nulla oszlopa, akkor a determinánsa nulla.
Ha van olyan oszlopa, amiben csak egy nemnulla elem van, akkor az
oszlop szerint kifejtve a determináns 1, -1, vagy 0 (indukciós feltevés).
Ha mindegyik oszlopában van 1 és -1, akkor a sorok összege 0, tehát a
determinánsa 0.
Teljes unimodularitás
ui + vj ≤ cij , ∀ i, j.
Megfigyelés: Ha egy számot hozzáadunk a költségmátrix egy oszlopának/sorának
minden eleméhez, akkor a kapott költségmátrixhoz tartozó bármely optimális
hozzárendelés az eredeti költségmátrixra nézve is optimális lesz.
A C költségmátrix redukciója:
minden sorban a legkisebb elemet kivonjuk a többiből majd
minden oszlopban a legkisebb elemet kivonjuk a többiből.
Így minden sorban és oszlopban lesz legalább egy nulla elem.
vj = min(cij − ui ), j = 1, . . . , n.
i
Hozzárendelési feladat – optimális megoldás
Páros gráf: csúcspontjai két halmazra oszthatóak úgy, hogy élek csak a két halmaz
között vezetnek.
Független élrendszer (párosítás): két különböző élnek nincs közös végpontja.
Teljes párosítás: a párosítás a gráf minden csúcspontját lefedi.
; Hozzárendelési feladat ≡ min élsúlyú teljes párosítás keresése.
Lefogó pontrendszer: a gráf bármely élének legalább az egyik végpontja benne van.
(n − ks )δ − ko δ = (n − ks − ko )δ > 0.