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