1.

b)

Sei bipartit mit , dann ist .

True:

  • Wir zählen die Kanten zwischen A und B (da G bipartit ist, sind das alle).
  • von A gehen aus, sind also Kanten. Genauso gilt dies mit Kanten für die eingehenden Kanten in .
  • Wir haben beide Male die Kanten gezählt, es gilt also:
  • .

c)

Brücke v ist artikulationsknoten oder hat deg = 1.

Proof: It’s True. Assume is a bridge.

  • by assumption is disconnected, so has two non-empty, disjunct connected components and , .
    • note is the only edge connecting .
  • If , has neighbours in .
    • As removing removes , must also be disconnected, with at least one other non-empty connected component (from ‘s neighbours)
  • else, and thus has .

f)

Network with even edges only has at least one even-edged maxflow.

We divide all by 2, giving to form a new Network with integral capacities. Let be a maxflow.
Then we set in . This must also be a maxflow, and it has all even edges.

  • so it’s a valid flow
  • If it wasn’t maximal, i.e. there’s a larger flow in , we could also divide it’s by and get a valid flow in , which would be larger than our maxflow , contradiction.

2

a)

State everything clearly and use the sum notation to make it very nice and legible.

b)

Do not draw in the edges which have 0 capacity in the residual network.

5

Be careful to note that we do not “run the procedure again”, instead we extend the colouring by continuing, now with the greedy in the second phase, on the elements in .

6

a)

Wir können mit dem Union Bound hier schön verwenden, da die Events nicht independent sind! Worth memorising