1.
Verify that the in-degree function of a directed graph is submodular.
Megoldás:
Emlék: Egy halmazfüggvegy szubmoduláris akkor és csak akkor, ha minden -re igaz a következő:
Vegyünk két általános helyzetű csúcshalmazt.
Transclude of in-degree-function-submodular
Első eset: Az egyik halmazba megy a komplementerből.
Ekkor egyel nő és is egyel nő mert -nek egyel több a befoka. Tehát a két oldal ugyanannyival nő.
Második eset: A metszetbe megy a komplementerből.
Ekkor és is nő egyel és is meg is nő egyel. Tehát a két oldal ugyanannyival nő.
Harmadik eset: A metszetbe megy az egyik halmazból.
Ekkor és is nő egyel és is nő egyel. Tehát a baloldal egyel több lett, mint a jobb.
Negyedik eset: A szimmetrikus differenciából a szimmetrikus differenciába megy.
Ekkor nőtt egyel, a jobboldala az egyenletnek nem nő. Tehát a baloldal egyel több lett, mint a jobb.
Ötödik eset: Az egyik halmazba megy a metszetből.
Ekkor egyik érték sem változik.
Az összes esetben a baloldal legalább annyival nőtt mint a jobboldal egy új irányított él bevételéval, tehát ha élenként felépítjük a gráfunkat, ez a tulajdonság marad minden halmazra.
Megjegyzés: Csak azokat az éleket tárgyaltunk, amelyeknek a vége az egyik halmazba megy, mivel ha nem az egyik halmaz felé vannak irányítva akkor nem változtatják egyik oldal értékét sem.
2.
Prove the following statements.
a) The non-negative linear combination of submodular functions is submodular.
b) The reflection of a submodular function is submodular.
c) The restriction of a submodular function is submodular.
d) The contraction of a submodular function is submodular.
Megoldás:
a) Be kell látni, hogy szubmodulárisak és , ekkor is szubmoduláris.
Elég belátni -re, mert nagyobb -re indukcióval be tudjuk látni.
szubmodulárisak , ekkor szubmoduláris?
Mivel és is szubmoduláris ezért tudjuk, hogy és is szubmodulárisak, mert a definiáló egyenlet mindkét oldalát megszorozzuk vagy -vel. Tehát a fentit kibontva:
Itt már látszik, hogy elegendő az egyenkénti szubmodularitás és -re.
b) Be kell látni, hogy tetszőleges -re:
Ez eléggé olvashatatlan, tehát vezessük be a következőket:
De Morgan azonosságból tudjuk, hogy
ezért valóban
Mivel szubmoduláris és a következő helyettesítésekkel visszakapjuk a szubmodularitást leíró egyenlőtlenséget, ezért is szubmoduláris.
c) Be kell látni, hogy tetszőleges -re:
Tudjuk a következőket:
Új jelölésekkel: .
Ezért valóban igaz, hogy szubmoduláris, mivel feltétel szerint szubmoduláris.
d) Be kell látni, hogy tetszőleges -re:
Tudjuk, hogy
ezért a fenti ekvivalens a következővel:
Ha bevezetjük a következő változókat:
Ami már igaz, mert tudjuk a feltétel szerint, hogy szubmoduláris, tehát ez az állítás igaz tetszőleges halmazokra.
3.
Provide examples showing that the maximum/minimum of two submodular functions are not necessarily submodular.
Megoldás:
Legyen és legyen ezen a halmazon értelmezett két szubmoduláris függvény és .
Legyen . Ekkor
Látszik, hogy választással . Tehát nem szubmoduláris.
Legyen és legyen ezen a halmazon értelmezett két szubmoduláris függvény és .
Legyen . Ekkor
Látszik, hogy választással . Tehát nem szubmoduláris.
4.
Give a -approximation for the Max Cut problem in undirected graphs, where the goal is to find a set with maximum degree.
Megoldás:
Induljunk ki eg ytetszőleges élhalmazból. Egy általános lépésben mohón vegyünk hozzá egy csúcsot -hez vagy hagyjunk el egyet -ből úgy, hogy a vágás mérete nőjön. Ha már nem tudunk így csúcsot hozzávenni vagy elhagyni -ből, akkor áljon le az algoritmus és térjünk vissza a jelenlegi halmazzal.
Ez az algoritmus -közelítő, mivel -re legalább él része -nek, különben ha -nek kevesebb mint éle lenne része, akkor az algoritmus belevenné -t -be, mert növelné a vágás méretét.
related: DL-CO