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)