Initial commit
This commit is contained in:
24
school/di-ma/20181009-graph1.dot
Normal file
24
school/di-ma/20181009-graph1.dot
Normal file
@ -0,0 +1,24 @@
|
||||
digraph undirected {
|
||||
edge [ arrowhead="none" ];
|
||||
node [ shape="circle" ];
|
||||
{
|
||||
rank=same;
|
||||
2;
|
||||
4;
|
||||
}
|
||||
{
|
||||
rank=same;
|
||||
3;
|
||||
}
|
||||
{
|
||||
rank=same;
|
||||
1;
|
||||
5;
|
||||
}
|
||||
1 -> 2;
|
||||
3 -> 2;
|
||||
3 -> 4;
|
||||
2 -> 4;
|
||||
4 -> 5;
|
||||
5 -> 6;
|
||||
}
|
56
school/di-ma/20181009_1-intro.md
Normal file
56
school/di-ma/20181009_1-intro.md
Normal file
@ -0,0 +1,56 @@
|
||||
---
|
||||
title: Intro Veranstalting
|
||||
date: 2018-10-09
|
||||
---
|
||||
|
||||
# Organisatorisches
|
||||
|
||||
## Moodle
|
||||
|
||||
Passwort: `gauss`
|
||||
|
||||
## Übungen
|
||||
|
||||
- Bis zu 10% Bonus für Prüfung
|
||||
- Bearbeitung von Dienstag bis Dienstag
|
||||
- Abgabe in Kästen in NA?
|
||||
- 3er Gruppen erlaubt
|
||||
- Anmeldung ab 11.10. 12:00 Uhr
|
||||
|
||||
# Themen
|
||||
|
||||
1. Kombinatorik
|
||||
2. Graphentheorie
|
||||
3. Zahlentheorie/Algebra
|
||||
|
||||
|
||||
## Beispiel zu 1.
|
||||
|
||||
### Gegeben
|
||||
|
||||
$n$ Bälle
|
||||
|
||||
$m$ Urnen
|
||||
|
||||
### Frage
|
||||
|
||||
Wieviele Möglichkeiten gibt es, die Bälle auf die Urnen zu verteilen?
|
||||
|
||||
#### Nebenbedingungen
|
||||
|
||||
1. Bälle/Urnen sind (nicht) Unterscheidbar
|
||||
2. Mindestens in jeder Urne 1 Ball (surjektiv)
|
||||
3. Höchstens 1 Ball pro Urne (injektiv)
|
||||
4. Genau 1 Ball je Urne
|
||||
|
||||
## Beispiel zu 2.
|
||||
|
||||

|
||||
|
||||
### Gegeben
|
||||
|
||||
Ungerichteter Graph G
|
||||
|
||||
### Frage
|
||||
|
||||
Für 2 Knoten aus G. Was ist der kürzeste Weg zwischen den Knoten?
|
238
school/di-ma/20181009_2-kombinatorik.md
Normal file
238
school/di-ma/20181009_2-kombinatorik.md
Normal file
@ -0,0 +1,238 @@
|
||||
---
|
||||
title: Kombinatorik
|
||||
date: 2018-10-09
|
||||
---
|
||||
|
||||
# Kombinatorik
|
||||
|
||||
## Elementare Zählprobleme und Grundlegende Regeln
|
||||
|
||||
### Beispiel
|
||||
|
||||
#### Gegeben
|
||||
|
||||
- 3 elementige Menge $M = \{1, 2, 3\}$
|
||||
|
||||
#### Frage
|
||||
|
||||
Wie viele Möglichkeiten gibt es, 2 Elemente azs M zu ziehen?
|
||||
|
||||
#### Antwort
|
||||
|
||||
It depends
|
||||
|
||||
--- | geordnet | ungeordnet
|
||||
--- | --- | ---
|
||||
mit zurücklegen | A:<br>$(1,1),(1,2),(1,3)$<br>$(2,1),(2,2),(2,3)$<br>$(3,1),(3,2),(3,3)$ | D:<br>$\{1,1\},\{1,2\}\{1,2\}$<br>$\{2,2\},\{3,2\}$<br>$\{3,3\}$
|
||||
ohne zurücklegen | B:<br>$(1,2),(1,3)$<br>$(2,1),(2,3)$<br>$(3,1),(3,2)$ | C:<br>$\{1,2\},\{1,3\}$<br>$\{2,3\}$<br>
|
||||
|
||||
|
||||
Wie viele Möglichkeiten gibt es allgemein, aus einer $n$-elementingen Menge $k$ elemente zu ziehen?
|
||||
|
||||
## *Zuerst:* Einfache Grundregeln
|
||||
|
||||
### Summenregel
|
||||
|
||||
Seien $S$, $T$ endliche Mengen, disjunkt, d.h. $S \cap T = \emptyset$ (Notation $S \dot\cup T$, disjunkte Vereinigung),
|
||||
dann gilt
|
||||
|
||||
$$
|
||||
| S \dot\cup T | = | S | + | T |
|
||||
$$
|
||||
|
||||
Allgemeiner: Gegeben $S_1, S_2, ... S_n$, endliche, disjunkte Mengen, dann gilt
|
||||
|
||||
$$
|
||||
| \dot\cup^n_{i=1} S_i | = | S_1 | + | S_2 | + ... + | S_n | = \sum\limits^n_{i=1} | S_i |
|
||||
$$
|
||||
|
||||
|
||||
### Produktregel
|
||||
|
||||
Seien $S$, $T$ endliche Mengen, dann gilt
|
||||
$$
|
||||
| S \times T | = | S | \cdot | T |
|
||||
$$
|
||||
wobei
|
||||
$$
|
||||
S \times T = \{(s,t) \mid s \in S, t \in T \}
|
||||
$$
|
||||
|
||||
Allgemeiner: Gegeben $S_1, S_2, ... S_n$ endliche Mengen, dann gilt
|
||||
|
||||
$$
|
||||
\vert S_1 \times S_2 \times ... S_n \vert = \vert S_1 \vert \cdot \vert S_2 \vert \cdot ... \vert S_n \vert
|
||||
$$
|
||||
|
||||
#### Beispiel
|
||||
|
||||
$$
|
||||
S_1, ..., S_n = \{0, 1\}, n = 64 \\
|
||||
\vert S^n \vert = \vert \{0,1\}^{64} \vert = 2^{64}
|
||||
$$
|
||||
|
||||
Anzahl der Zustände eines 64-bit Registers.
|
||||
|
||||
|
||||
### Gleichheitsregel
|
||||
|
||||
Seien $S$, $T$ endliche Mengen und $f: S \to T$ eine bijektive Abbildung, dann gilt
|
||||
$$
|
||||
\vert S \vert = \vert T \vert
|
||||
$$
|
||||
|
||||
(eigentlich: Definition von "gleich groß")
|
||||
|
||||
Allgemeiner: Seien $S$, $T$ endliche Mengen und $f: S \to T$ eine $k$ auf $1$ Abbildung, d.h. $\forall t \in T$ gilt
|
||||
$\vert\{s \in S \mid f(s) = t \}\vert = \vert f^{-1}(t) \vert = k$ dann gilt
|
||||
$$
|
||||
\vert S \vert = k \cdot \vert T \vert
|
||||
$$
|
||||
|
||||
Damit können wir nun die Fälle A - D untersuchen.
|
||||
|
||||
### Fall A
|
||||
|
||||
In Fall A zählen wir $k$-Tupel mit Komponenten aus der $n$-elementigen Menge $M$, d.h. Elemente aus
|
||||
$M \times M \times ... M = M^k$
|
||||
|
||||
Aus der Produktregel folgt: Es gibt $\vert M \vert^k = n^k$ Möglichkeiten
|
||||
|
||||
|
||||
#### Satz
|
||||
|
||||
Die Anzahl der $k$-Tupel mit Komponenten aus einer $n$-elementigen Menge ist
|
||||
$$
|
||||
n^k\\
|
||||
\Box
|
||||
$$
|
||||
|
||||
|
||||
### Fall B
|
||||
|
||||
Wir ziehen aus einer $n$-elementigen Menge ohne zurücklegen
|
||||
- Für die erste Komponente haben wir $n$ Möglichkeiten
|
||||
- Für die zweite Komponente haben wir $n - 1$ Möglichkeiten
|
||||
- usw.
|
||||
|
||||
D.h. insgesamt haben wir $n(n-1)(n-2)...(n-k+1) = n^{\underline{k}}$ Möglichkeiten ($k$-te absteigende Faktorielle).
|
||||
|
||||
#### Satz
|
||||
|
||||
Die Anzahl der $k$-Tupel mit paarweise verschiedenen Komponenten aus einer $n$-elementigen Menge ist
|
||||
$$
|
||||
n^{\underline{k}} = n\cdot(n-1)\cdot...\cdot(n-k+1)
|
||||
$$
|
||||
|
||||
**Wichtiger Spezialfall**:
|
||||
$$
|
||||
n = k
|
||||
$$
|
||||
Dann ist das nichts anderes als die Anzahl der Permutationen von $n$ Elementen
|
||||
|
||||
##### Beispiel
|
||||
|
||||
$$
|
||||
n = 3 \\
|
||||
M = \{1,2,3\}
|
||||
$$
|
||||
|
||||
Mögliche Permutationen: $(123), (132), (213), (231), (312), (321)$
|
||||
|
||||
$3! = 3\cdot2\cdot1$ Möglichkeiten
|
||||
|
||||
$n! = n\cdot(n-1)\cdot...\cdot2\cdot1$ Möglichkeiten
|
||||
|
||||
**Bemerkung:** Es gilt
|
||||
$$
|
||||
n^{\underline{k}} = \frac{n!}{(n-1)!}
|
||||
$$
|
||||
|
||||
### Fall C
|
||||
|
||||
Wir zählen die Anzahl der $k$-elementigen Teilmengen einer $n$-elementigen Menge.
|
||||
|
||||
Von fall B zu Fall c durch ignorieren der Reihenfolge.
|
||||
|
||||
Beachte die Abbildung die einem $k$-Tupel mit paarweise verschiedenen Komponenten $(i_1, ..., i_k)$ die $k$-elementige
|
||||
Teilmenge $\{i_1, ..., i_k\}$ zuordnet. Diese Abbildung ist $k!$ - auf $-1$ da jede $k$-elementige Teilmenge auf $k!$
|
||||
Arten angeordnet werden kann.
|
||||
|
||||
Damit folgt (Gleichheitsregel)
|
||||
|
||||
#### Satz
|
||||
|
||||
Die Anzahl der $k$-elementigen Teilmengen einer $n$-elementigen Menge ist
|
||||
$$
|
||||
\binom{n}{k} = \frac{n^{\underline{k}}}{k!} = \frac{n!}{k!(n-k)!}
|
||||
$$
|
||||
|
||||
$\binom{n}{k}$ ist der Binomialkoeffizient.
|
||||
|
||||
|
||||
##### Beispiel
|
||||
|
||||
$$
|
||||
n = 3, k = 2 \\
|
||||
\binom{3}{2} = \frac{3!}{2! \cdot 1!} = \frac{3\cdot2}{2} = 3
|
||||
$$
|
||||
|
||||
### Fall D
|
||||
|
||||
Hier zählen wir Multimengen. In einer Multimenge können Elemente mehrfach vorkommen, mit Vielfachheit.
|
||||
|
||||
In $k$-elementigen Multimengen addieren sich die Vielfachkeiten zu $k$.
|
||||
|
||||
Wir wollen die Gleichheitsregel anwenden. Dazu folgende Kodierung einer Multimenge:
|
||||
|
||||
- Zwei Symbole `*` und `|`
|
||||
- Wir schreiben $t$ Sterne `*` falls ein Element $i$ Vielfachkeit $t$ hat
|
||||
- Übergang von $i$ zu $i-1$ wird gekennzeichnet durch `|`
|
||||
|
||||
#### Beispiel 1
|
||||
|
||||
$M = \{1,2,3,4,5\}$ und Multimenge $S = \{1,1,1,3,3,4,4,4\}$ wird kodiert als
|
||||
|
||||
```
|
||||
*** | | ** | *** |
|
||||
```
|
||||
|
||||
#### Beispiel 2
|
||||
|
||||
$T = \{1,1,5,5\}$ wird kodiert als
|
||||
|
||||
```
|
||||
** | | | | **
|
||||
```
|
||||
|
||||
|
||||
Jede $k$-elementige Multimenge einer $n$-elementigen Menge entspricht eindeutig einer Sequenz aus $k$ `*` Symbolen und
|
||||
$n-1$ `|` Symbolen.
|
||||
|
||||
Jede Sequenz von $k$ `*` Symbolen und $n-1$ `|` Symbolen entspricht genau einer $k$-elementigen Multimenge.
|
||||
|
||||
Abbildung Multimenge $\to$ Kodierungssequenz ist bijektiv.
|
||||
|
||||
Wegen der Gleichheitsregel können wir also genausogut die Anzahl der möglichen Kodierungssequenzen zählen.
|
||||
|
||||
Kodierungssequenz hat die Länge $(n-1)+k$ und an $k$ Stellen steht ein `*`. Dann gibt es genau $\binom{n-1+k}{k}$
|
||||
solcher Sequenzen.
|
||||
|
||||
#### Satz
|
||||
|
||||
Die Anzahl der $k$-elementigen Multimengen einer $n$-elementigen Menge ist
|
||||
|
||||
$$
|
||||
\binom{n-1+k}{k}
|
||||
$$
|
||||
|
||||
##### Beispiel
|
||||
|
||||
25 Eissorten. Wie viele mögliche Eisbecher mit 5 Kugeln gibt es?
|
||||
|
||||
**Antwort**:
|
||||
|
||||
$$
|
||||
n = 25, k = 5 \\
|
||||
\binom{25-1+5}{5} = \binom{29}{5} = 118755
|
||||
$$
|
22
school/di-ma/20181010-personen.dot
Normal file
22
school/di-ma/20181010-personen.dot
Normal file
@ -0,0 +1,22 @@
|
||||
digraph personen {
|
||||
edge [ arrowhead="none" ];
|
||||
node [ shape="circle" ];
|
||||
1;
|
||||
{
|
||||
rank=same;
|
||||
2;
|
||||
3;
|
||||
}
|
||||
{
|
||||
rank=same;
|
||||
4;
|
||||
5;
|
||||
}
|
||||
1 -> 2;
|
||||
1 -> 3;
|
||||
1 -> 4;
|
||||
1 -> 5;
|
||||
4 -> 5;
|
||||
5 -> 3;
|
||||
2 -> 3;
|
||||
}
|
223
school/di-ma/20181010_1-binomialkoeffizient.md
Normal file
223
school/di-ma/20181010_1-binomialkoeffizient.md
Normal file
@ -0,0 +1,223 @@
|
||||
---
|
||||
title: Binomialkoeffizient
|
||||
date: 2018-10-10
|
||||
---
|
||||
|
||||
# Wiederholung
|
||||
|
||||
$n$ Elemente, $k$ mal ziehen:
|
||||
|
||||
--- | geordnet | ungeordnet
|
||||
:---: | :---: | :---:
|
||||
mit zurücklegen | $n^k$ | $\binom{n+k-1}{k}$
|
||||
ohne zurücklegen | $n^{\underline{k}}$ | $\binom{n}{k} = \frac{n!}{k!\cdot(n-k)!}$
|
||||
|
||||
## Beispiel a
|
||||
|
||||
**Frage**: Wie viele 10-elementige Teilmengen von der 100-elementigen Menge $M = \{1,2,...100\}$
|
||||
|
||||
1. gibt es?
|
||||
2. die entweder die 1 oder die 2 enthalten gibt es?
|
||||
|
||||
### Zu 1)
|
||||
|
||||
$$
|
||||
\binom{100}{10}
|
||||
$$
|
||||
|
||||
### Zu 2)
|
||||
|
||||
Zwei Teile:
|
||||
|
||||
* Die Anzahl der 10 elementingen Teilmengen, die 1 aber nicht 2 enthalten
|
||||
* Die Anzahl der 10 elementingen Teilmengen, die 2 aber nicht 1 enthalten
|
||||
|
||||
In beiden Fällen gibt es $\binom{98}{9}$ Möglichkeiten.
|
||||
|
||||
Die Fälle sind disjunkt $\Rightarrow$ es gibt $2 \cdot \binom{98}{9}$ Möglichkeiten
|
||||
|
||||
|
||||
## Beispiel b
|
||||
|
||||
Wahl mit 100 Wahlberechtigten und 2 Kandidaten. Jede Stimme hat 4 Möglichkeiten (Kandidat 1, Kandidat 2, enthalten oder
|
||||
ungültig).
|
||||
|
||||
**Frage**: Wie viele Ergebnisse kann es geben?
|
||||
|
||||
Dies entspricht der Anzahl der 100 elementigen Multimengen einer 4-elementigen Menge
|
||||
|
||||
$$
|
||||
\binom{100+4-1}{100} = \binom{103}{100} = 353702
|
||||
$$
|
||||
|
||||
|
||||
# Eigenschaften von Binomialkoeffizienten
|
||||
|
||||
**Satz**: Seien $n, k \in \mathbb{N}$ $k \leq n$ dann gilt
|
||||
|
||||
1. $\binom{n}{k} = \binom{n}{n-k}$
|
||||
2. $\binom{n}{k} = \binom{n-1}{k} + \binom{n-1}{k-1}$
|
||||
3. $\binom{n}{k} = \sum\limits^k_{l=0} \binom{n}{l} \cdot \binom{n}{k-l}$
|
||||
4. $(a+b)^n = \sum\limits^n_{k=0} \binom{n}{k} \cdot a^k \cdot b^{n-k}$
|
||||
|
||||
## Beweis
|
||||
|
||||
Wir wollen kombinatorische Beweise geben. Wir zählen auf beiden Seiten der Gleichung die gleichen Objekte aber auf
|
||||
verschiedene Weise.
|
||||
|
||||
**zu 1)** Sei $M$ eine $n$-elementige Menge
|
||||
|
||||
* $\binom{n}{k}$ zählt die $k$-elementigen Teilmengen von $M$
|
||||
* $\binom{n}{n-k}$ zählt die $(n-k)$-elementigen Teilmengen von $M$
|
||||
|
||||
Wir betrachten die Abbildung
|
||||
|
||||
$$
|
||||
f: \text{Teilmenge von M} \to \text{Teilmenge von M} \\
|
||||
f(A) = M \setminus A = \{x \in M \mid x \notin A\} = A^{\mathrm{C}}
|
||||
$$
|
||||
|
||||
Es gilt:
|
||||
|
||||
1. $\vert A \vert = k \Rightarrow \vert f(A) \vert = n-k$
|
||||
2. $f$ ist bijektiv (die Umkehrabbildung ist $f$ selbst)
|
||||
|
||||
Damit folgt aus dem Gleichheitsprinzip
|
||||
|
||||
$$
|
||||
\binom{n}{k} = \binom{n}{n-k}
|
||||
$$
|
||||
|
||||
**zu 2)** Sei $M = \{1, ... n\}$ und $\mathbb{T} = \{A \subseteq M \mid \vert A \vert = k\}$
|
||||
|
||||
Es gilt $\vert\mathbb{T}\vert = \binom{n}{k}$
|
||||
|
||||
Wir teilen die Menge $\mathbb{T}$ auf in zwei disjunkte Teile
|
||||
|
||||
$$
|
||||
\mathbb{T}_1 = \{ A \subseteq M \mid \vert A \vert = k, n \notin A\} \\
|
||||
\mathbb{T}_2 = \{ A \subseteq M \mid \vert A \vert = k, n \in A\}
|
||||
$$
|
||||
|
||||
Dann gilt (Summenregel)
|
||||
|
||||
$$
|
||||
\binom{n}{k} = \vert \mathbb{T} \vert = \vert \mathbb{T}_1 \vert + \vert \mathbb{T}_2 \vert
|
||||
$$
|
||||
|
||||
* $\vert \mathbb{T}_1 \vert = \binom{n-1}{k}$, denn Elemente aus $\mathbb{T}_1$ entsprechen $k$-elementigen Teilmengen
|
||||
aus $M^\prime = \{1,... n-1\}$
|
||||
* $\vert \mathbb{T}_2 \vert = \binom{n-1}{k-1}$, denn für jedes $A \in \mathbb{T}_2$, d.h.
|
||||
$A \subseteq M, \vert A \vert = k$ und $n \in A$ betrachte
|
||||
|
||||
$$
|
||||
A^\prime = A \setminus \{n\}
|
||||
$$
|
||||
|
||||
$A^\prime$ ist eine $(k-1)$-elementige Teilmenge von $M^\prime = \{1,... n-1\}$
|
||||
|
||||
**zu 3)** Seien $A$, $B$ Mengen mit $\vert A \vert = n$ und $\vert B \vert = m$ mit $A \cap B = \emptyset$ (disjunkt)
|
||||
|
||||
$\binom{n+m}{k}$ ist die Anzahl der $k$-elementigen Teilmengen von $A \dot\cup B$ ($\vert A \dot\cup B \vert = n + m$).
|
||||
|
||||
Wir teilen die $k$-elementigen Teilmengen von $A \dot\cup B$ in $k+1$ disjunkte Fälle auf
|
||||
|
||||
** hier wäre ein Venn Diagramm. Mach das mal
|
||||
|
||||
**Fall l** (für $l \in \{0,...k\}$)
|
||||
|
||||
|
||||
Betrachte die $k$-elementigen Teilmengen $S$ von $A \cup B$, so dass $\vert A \cap S \vert = l$
|
||||
($\Leftrightarrow \vert B \cap S \vert = k - l$), d.h. wir betrachten die Anzahl der $l$-elemeniigen Teilmengen von $A$
|
||||
und der $(k-l)$-elementigen Teilmenge von $B$.
|
||||
|
||||
Mit der Produktregel ergeben sich $\binom{n}{l} \cdot \binom{m}{k-l}$.
|
||||
|
||||
Mit der Summenformel ergibt sich
|
||||
|
||||
$$
|
||||
\binom{n+m}{k} = \sum\limits^k_{l=0} \binom{n}{l} \cdot \binom{m}{k-l}
|
||||
$$
|
||||
|
||||
**zu 4)**
|
||||
|
||||
$$
|
||||
(a+b)^n = (a+b) \cdot (a+b) \cdot ... (a+b)
|
||||
$$
|
||||
|
||||
Beim Ausmultiplizieren "entscheiden" wir uns für jede der $n$ Klammern for $a$ oder $b$. Für einen Term
|
||||
$a^k\cdot b^{n-k}$ wählen wir aus den $n$ Klammern genau $k$-mal das $a$. Damit haben wir genau $\binom{n}{k}$
|
||||
Möglichkeiten den Term $a^k \cdot b^{n-k}$ zu erhalten.
|
||||
|
||||
# Kombinatorische Prinzipien
|
||||
|
||||
## Schubfachprinzip
|
||||
|
||||
**Beispiel**: Wir haben 9 Schubladen und 10 Objekte, die wir auf die Schubladen verteilen wollen. Dann gibt es eine
|
||||
Schublade, in der mindestens 2 Objekte landen.
|
||||
|
||||
### Satz
|
||||
|
||||
Seien $X$, $Y$ endliche Mengen mit $\vert X \vert \geq \vert Y \vert + 1$ und $f: X \to Y$ eine Abbildung dann
|
||||
|
||||
$$
|
||||
\exists y \in Y \text{ so dass } \vert f^{-1}(y) \vert = \vert \{x\in X \mid f(x) = y\} \vert \geq 2
|
||||
$$
|
||||
|
||||
### Beweis
|
||||
|
||||
Statt $A \Rightarrow B$ zeigen wir $\lnot B \Rightarrow \lnot A$
|
||||
|
||||
Sei $f: X \to Y$ gegeben so dass $\forall y \in Y$ gilt $\vert f^{-1}(y) \vert \leq 1$, dann gilt
|
||||
|
||||
$$
|
||||
\vert X \vert = \sum\limits_{y \in Y} \vert f^{-1}(y) \vert \leq \sum\limits_{y \in Y} 1 = \vert Y \vert
|
||||
$$
|
||||
|
||||
Allgemeiner gilt: Seien $X$, $Y$ endliche Mengen und $f: X \to Y$ eine Abbildung, dann $\exists y \in Y$ so dass
|
||||
|
||||
$$
|
||||
\vert f^{-1}(y) \vert \geq \left\lceil \frac{\vert X \vert}{\vert Y \vert} \right\rceil
|
||||
$$
|
||||
|
||||
($\lceil \cdot \rceil$ ist die obere Gaussklammer, das heißt die kleinste natürliche Zahl größer als $x$).
|
||||
|
||||
**Beispiel 1**: *Gegeben*: $n$ Personen $1,...n$ mit Bekanntschaftsrelationen, darstellbar als Graph mit Personen als
|
||||
Konten und Kanten zwischen Knoten, falls sich die Personen kennen.
|
||||
|
||||

|
||||
|
||||
* 1 kennt 4 Personen
|
||||
* 2 kennt 2 Personen
|
||||
* 3 kennt 3 Personen
|
||||
* 4 kennt 2 Personen
|
||||
* 5 kennt 3 Personen
|
||||
|
||||
Es gibt (mindestens) 2 Personen, die die gleiche Anzahl von Personen kennen. Dies gilt **immer**.
|
||||
|
||||
### Satz
|
||||
|
||||
Unter $n$ Personen gibt es immer mindestens 2, die die selbe Anzahl von Personen kennen.
|
||||
|
||||
### Beweis
|
||||
|
||||
Wir wollen das Schubfachprinzip nutzen. Für die Personen $P = \{1, ... n\}$ betrachte die Abbildung
|
||||
$f: P \to \{0, ... n-1\}$, die jeder dieser Personen die Anzahl der Personen, die sie kennt, zuweist.
|
||||
|
||||
Problem: $\vert P \vert = n = \vert \{1, ... n\} \vert$
|
||||
|
||||
Betrachte 2 Fälle:
|
||||
|
||||
1. Es gibt eine Person, die niemanden kennt, das heißt $\exists i \in P$ so dass $f(i) = 0$. Dann gilt
|
||||
$\forall j \in P \neq n - 1$ da "kennen" symmetrisch ist. Damit ist $f(P) \subseteq \{0, ... n-2\}$ und das
|
||||
Schubfachprinzip ist anwendbar.
|
||||
2. Es gibt keine Person, die niemanden kennt, dann $f(P) \subseteq \{1, ... n-1\}$ und auch hier ist das
|
||||
Schubfachprinzip anwendbar.
|
||||
|
||||
$$
|
||||
\Box
|
||||
$$
|
||||
|
||||
**Beispiel 2**: In Bochum wohnen ca $350000$ Menschen, jeder Mensch hat zwischen $0$ und $150000$ Kopfhaare.
|
||||
|
||||
$\Rightarrow$ es gibt mindestens 2 Menschen in Bochum mit der gleichen Anzahl Haare.
|
Reference in New Issue
Block a user