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