update

Writerside/topics/04/Theoretische Informatik/01Einleitung.md

@@ -59,6 +59,27 @@ $|C|$
 > 
 > Algorithmus A löse MaximusCliqueSize. Dann existiert Algorithmus B mit ähnlicher Laufzeit der MaximumClique löst.
 
+$N(v) = \{n ∈ V | \{n,v\} ∈ E\}$
+- alle Knoten, die nix mit dem zu tun haben werden entfernt
+
+$$
+\begin{array}{l}
+\text{A}(G = (V, E)) \\
+1.\ \text{Wähle } v \in V \text{ mit kleinster ID} \\
+2.\ \text{Berechne } k = B(G) \\
+3.\ \text{Berechne } k_{-v} = B(G - v) \\
+4.\ \text{Falls } k_{-v} < k: \\
+\quad a.\ c = A(G - v - \overline{N(v)}) \\
+\quad b.\ \text{Gib } \{v\}  \text{u zurück} \\
+5.\ \text{Sonst:} \\
+\quad a.\ c = A(G - v) \\
+\quad b.\ \text{Gib } c \text{ zurück}
+\end{array}
+$$
+
+
+
+
 **Zentrale Beobachtung**:
 - Für G = (V, E) und v ∈ V sei G - v = (V\v,{e ∈ E | v !∈ e}).
 - Sei k die Größe einer Clique in G und $k_{-v}$ die Größe einer größten Clique in G-v.