diff --git a/Writerside/images/image_553.png b/Writerside/images/image_553.png
new file mode 100644
index 0000000..1f4a6b3
Binary files /dev/null and b/Writerside/images/image_553.png differ
diff --git a/Writerside/images/image_554.png b/Writerside/images/image_554.png
new file mode 100644
index 0000000..e360336
Binary files /dev/null and b/Writerside/images/image_554.png differ
diff --git a/Writerside/in.tree b/Writerside/in.tree
index 0ce63f5..3486c25 100644
--- a/Writerside/in.tree
+++ b/Writerside/in.tree
@@ -75,6 +75,7 @@
     </toc-element>
     <toc-element toc-title="4. Semester">
         <toc-element toc-title="Theoretische Informatik">
+            <toc-element topic="01Einleitung.md"/>
 
         </toc-element>
     </toc-element>
diff --git a/Writerside/topics/04/Theoretische Informatik/01Einleitung.md b/Writerside/topics/04/Theoretische Informatik/01Einleitung.md
new file mode 100644
index 0000000..ad24932
--- /dev/null
+++ b/Writerside/topics/04/Theoretische Informatik/01Einleitung.md	
@@ -0,0 +1,28 @@
+# Einleitung
+
+## Das Ampelproblem
+![image_553.png](image_553.png)
+
+
+### Lösungsansatz
+- ungerichteter Graph $G = (V, E)$ 
+  - V = endliche Knotenmenge
+  - E = endliche Kangenmenge
+
+> Graph G=(V,E) für kommende Abbildung:
+>   V = {s1, s2, s3, s4, s5, s6},
+>   E = {{s1, s4}, {s1, s5}, {s2, s4}, {s2, s5}, {s3, s6}, {s4, s5}}
+
+![image_554.png](image_554.png)
+
+#### Clique C
+nicht-leere Teilmenge $C \subseteq V$, wenn zwei verschiedene Knoten in C paarweise durch eine Kante aus E verbunden sind
+
+**Es gilt:**
+${u,v} \in E$ für alle $u,v \in C$ mit $u \ne v$
+
+per Definition ist **auch jede einelementige Teilmenge** $C \subseteq V$ eine Clique
+
+Größe einer Clique:
+$|C|$
+