1

c)

sind nur die Knoten in und die Edges zwischen ihnen (nicht alle Knoten die verbunden sind).

d)

Seien zwei Mengen von Punkten. Dann gilt .

Die convex hull ist eine Fläche → Menge von Punkten die covered, nicht nur die Punkte die die Hull definieren. Die Intersektion von ist also empty hier, die Convex hull aber nicht (sie intersecten auf der Fläche) → non null Fläche.

2

b)

Anmerken dass (also nicht-negativ) ist für Chebychev.

c)

Richtig rechnen!
Außerdem staten, dass die Summe von unabhängigen Bernoulli-Experimenten ist.

3

Fische im Teich

Anstatt es kompliziert zu machen und so, einfach wo die “Fische die übrig sind” ist.
Dann gilt und der Rest ist easy.

.

5

a)

Note das der Algo mit irgendeiner Kante anfängt ” für irgendeine Kante “.

b)

Jede Runde wird der Pfad um mindestens länger.
Das heisst das nach durchläufen .

Es gilt wobei die Länge des kürzesten augmentierenden Pfades ist.

Sobald gilt, hat das maximale Matching höchstens und damit , also Kanten mehr. Da das Matching jede Runde um mindestens eine Kante größer wird (die Pfade um 2) gilt dass wir dann nur noch Durchläufe brauchen.

Insgesamt brauchen wir also .

c)

Sei bipartit mit Prove das für , wo das die Mengen die nicht von überdeckt sind. Zeigen sie das

Wir wissen da .

Proof , da es die überdeckten Knoten zählt.

  • es kann keine Kante von (oder ) zu einem unüberdeckten Knoten geben, da maximal ist.
    • also sind alle Nachbarn von überdeckt.
    • Da gilt auch das die Sets der überdeckten Knoten .
  • Nehme an .
    • und .
    • Deswegen gilt für alle zu Nachbarn von , dass sie genau zu einer Kante inzident sind.
    • wenn sie gemeinsam mehr als Nachbarn haben, muss es ein paar geben, welches sich eine Kante teilt.
      • sonst gibt es einen augmentierenden Pfad.

Formell mit Injektion: Es gibt welche jedem überdeckten Knoten genau eine Kante aus zuweist (das gleiche für B).
Da die Funtionen injektiv sind gilt nach Annahme.

  • und .
  • Also muss es eine Kante in beiden Sets gemeinsam geben. Diese bildet einen augmentierenden Pfad.

6

a)