diff --git a/presentations/Diskrete-Mathematik/LaTeX/Graphentheorie-I.pdf b/presentations/Diskrete-Mathematik/LaTeX/Graphentheorie-I.pdf index 579ff5e..51e3500 100644 Binary files a/presentations/Diskrete-Mathematik/LaTeX/Graphentheorie-I.pdf and b/presentations/Diskrete-Mathematik/LaTeX/Graphentheorie-I.pdf differ diff --git a/presentations/Diskrete-Mathematik/LaTeX/Grundlagen.tex b/presentations/Diskrete-Mathematik/LaTeX/Grundlagen.tex index 375894f..5c66d4f 100644 --- a/presentations/Diskrete-Mathematik/LaTeX/Grundlagen.tex +++ b/presentations/Diskrete-Mathematik/LaTeX/Grundlagen.tex @@ -1,22 +1,22 @@ \subsection{Grundlagen} \begin{frame}{Graph} \begin{block}{Graph} -Ein Graph ist ein Tupel $(V, E)$, wobei $V \neq \emptyset$ die Knotenmenge und -$E \subseteq V \times V$ die +Ein Graph ist ein Tupel $(E, K)$, wobei $E \neq \emptyset$ die Eckenmenge und +$K \subseteq E \times E$ die Kantenmenge bezeichnet. \end{block} \pause \tikzstyle{vertex}=[draw,fill=black,circle,minimum size=10pt,inner sep=0pt] \begin{gallery} - \galleryimage{graphs/graph-1} - \galleryimage{graphs/graph-2} - \galleryimage{graphs/k-3-3} - \galleryimage{graphs/k-5}\\ - \galleryimage{graphs/k-16} - \galleryimage{graphs/graph-6} - \galleryimage{graphs/star-graph} - \galleryimage{graphs/tree} + \galleryimage[Green]{graphs/graph-1} + \galleryimage[Green]{graphs/graph-2} + \galleryimage[Green]{graphs/k-3-3} + \galleryimage[Green]{graphs/k-5}\\ + \galleryimage[Green]{graphs/k-16} + \galleryimage[Green]{graphs/graph-6} + \galleryimage[Green]{graphs/star-graph} + \galleryimage[Green]{graphs/tree} \end{gallery} \end{frame} @@ -30,54 +30,54 @@ Kantenmenge bezeichnet. \begin{frame}{Inzidenz} \begin{block}{Inzidenz} -Sei $v \in V$ und $e = \Set{v_1, v_2} \in E$. +Sei $e \in E$ und $k = \Set{v_1, v_2} \in K$. -$v$ heißt \textbf{inzident} zu $e :\Leftrightarrow v = v_1$ oder $v = v_2$ +$e$ heißt \textbf{inzident} zu $k :\Leftrightarrow e = e_1$ oder $e = e_2$ \end{block} \pause \tikzstyle{vertex}=[draw,fill=black,circle,minimum size=10pt,inner sep=0pt] \begin{gallery} - \galleryimage{inzidenz/graph-1} - \galleryimage{inzidenz/graph-2} - \galleryimage{inzidenz/k-3-3} - \galleryimage{inzidenz/k-5}\\ - \galleryimage{inzidenz/k-16} - \galleryimage{inzidenz/graph-6} - \galleryimage{inzidenz/star-graph} - \galleryimage{inzidenz/tree} + \galleryimage[Green]{inzidenz/graph-1} + \galleryimage[Green]{inzidenz/graph-2} + \galleryimage[Green]{inzidenz/k-3-3} + \galleryimage[Green]{inzidenz/k-5}\\ + \galleryimage[Green]{inzidenz/k-16} + \galleryimage[red]{inzidenz/graph-6} + \galleryimage[Green]{inzidenz/star-graph} + \galleryimage[Green]{inzidenz/tree} \end{gallery} \end{frame} \begin{frame}{Vollständige Graphen} \begin{block}{Vollständiger Graph} -Sei $G = (V, E)$ ein Graph. +Sei $G = (E, K)$ ein Graph. -$G$ heißt \textbf{vollständig} $:\Leftrightarrow E = V \times V \setminus \Set{v \in V: \Set{v, v}}$ +$G$ heißt \textbf{vollständig} $:\Leftrightarrow = E \times E \setminus \Set{e \in E: \Set{e, e}}$ \end{block} -Ein vollständiger Graph mit $n$ Knoten wird als $K_n$ bezeichnet. +Ein vollständiger Graph mit $n$ Ecken wird als $K_n$ bezeichnet. \pause \tikzstyle{vertex}=[draw,fill=black,circle,minimum size=10pt,inner sep=0pt] \begin{gallery} - \galleryimage{vollstaendig/k-1} - \galleryimage{vollstaendig/k-2} - \galleryimage{vollstaendig/k-3} - \galleryimage{vollstaendig/k-4}\\ - \galleryimage{vollstaendig/k-5} - \galleryimage{vollstaendig/k-6} - \galleryimage{vollstaendig/k-7} - \galleryimage{vollstaendig/k-16} + \galleryimage[Green]{vollstaendig/k-1} + \galleryimage[Green]{vollstaendig/k-2} + \galleryimage[Green]{vollstaendig/k-3} + \galleryimage[Green]{vollstaendig/k-4}\\ + \galleryimage[Green]{vollstaendig/k-5} + \galleryimage[Green]{vollstaendig/k-6} + \galleryimage[Green]{vollstaendig/k-7} + \galleryimage[Green]{vollstaendig/k-16} \end{gallery} \end{frame} \begin{frame}{Bipartite Graphen} \begin{block}{Bipartite Graph} -Sei $G = (V, E)$ ein Graph und $A, B \subset V$ zwei disjunkte Knotenmengen mit -$V \setminus A = B$. +Sei $G = (E, K)$ ein Graph und $A, B \subset V$ zwei disjunkte Eckenmengen mit +$E \setminus A = B$. -$G$ heißt \textbf{bipartit} $:\Leftrightarrow \forall_{e = \Set{v_1, v_2} \in E}: (v_1 \in A \text{ und } v_2 \in B) \text{ oder } (v_1 \in B \text{ und } v_2 \in A) $ +$G$ heißt \textbf{bipartit} $:\Leftrightarrow \forall_{k = \Set{e_1, e_2} \in K}: (e_1 \in A \text{ und } e_2 \in B) \text{ oder } (e_1 \in B \text{ und } e_2 \in A) $ \end{block} TODO: 8 Bilder von Graphen @@ -85,40 +85,90 @@ TODO: 8 Bilder von Graphen \begin{frame}{Vollständig bipartite Graphen} \begin{block}{Vollständig bipartite Graphen} -Sei $G = (V, E)$ ein bipartiter Graph und $\Set{A, B}$ bezeichne die Bipartition. +Sei $G = (E, K)$ ein bipartiter Graph und $\Set{A, B}$ bezeichne die Bipartition. -$G$ heißt \textbf{vollständig bipartit} $:\Leftrightarrow \forall_{a \in A} \forall_{b \in B}: \Set{a, b} \in E$ +$G$ heißt \textbf{vollständig bipartit} $:\Leftrightarrow \forall_{a \in A} \forall_{b \in B}: \Set{a, b} \in K$ \end{block} -TODO: 8 Bilder von Graphen +\begin{gallery} + \galleryimage[Green]{vollstaendig-bipartit/k-2-2} + \galleryimage[Green]{vollstaendig-bipartit/k-2-3} + \galleryimage[Green]{vollstaendig-bipartit/k-2-5} + \galleryimage[Green]{vollstaendig-bipartit/k-3-3}\\ + \galleryimage[Green]{vollstaendig-bipartit/k-3-4} + \galleryimage[Green]{vollstaendig-bipartit/k-3-5} + \galleryimage[Green]{vollstaendig-bipartit/k-4-5} + \galleryimage[Green]{vollstaendig-bipartit/k-5-5} +\end{gallery} \end{frame} \begin{frame}{Vollständig bipartite Graphen} Bezeichnung: Vollständig bipartite Graphen mit der Bipartition $\Set{A, B}$ bezeichnet man mit $K_{|A|, |B|}$. -TODO: $K_{2,2}$ -TODO: $K_{2,3}$ -TODO: $K_{3,3}$ +\begin{gallery} + \galleryimage[Green]{vollstaendig-bipartit/k-2-2} + \galleryimage[Green]{vollstaendig-bipartit/k-2-3} + \galleryimage[Green]{vollstaendig-bipartit/k-2-5} + \galleryimage[Green]{vollstaendig-bipartit/k-3-3}\\ + \galleryimage[Green]{vollstaendig-bipartit/k-3-4} + \galleryimage[Green]{vollstaendig-bipartit/k-3-5} + \galleryimage[Green]{vollstaendig-bipartit/k-4-5} + \galleryimage[Green]{vollstaendig-bipartit/k-5-5} +\end{gallery} \end{frame} \begin{frame}{Kantenzug} \begin{block}{Kantenzug} -Sei $G = (V, E)$ ein Graph. +Sei $G = (E, K)$ ein Graph. -Dann heißt eine Folge $e_1, e_2, \dots, e_s$ von Kanten, zu denen es Knoten -$v_0, v_1, v_2, \dots, v_s$ gibt, so dass +Dann heißt eine Folge $k_1, k_2, \dots, k_s$ von Kanten, zu denen es Ecken +$e_0, e_1, e_2, \dots, e_s$ gibt, so dass \begin{itemize} - \item $e_1 = \Set{v_0, v_1}$ - \item $e_2 = \Set{v_1, v_2}$ + \item $k_1 = \Set{e_0, e_1}$ + \item $k_2 = \Set{e_1, e_2}$ \item \dots - \item $e_s = \Set{v_{s-1}, v_s}$ + \item $k_s = \Set{e_{s-1}, e_s}$ \end{itemize} -gilt ein \textbf{Kantenzug}, der $v_0$ und $v_s$ \textbf{verbindet} und $s$ +gilt ein \textbf{Kantenzug}, der \textcolor{purple}{$e_0$} und \textcolor{blue}{$e_s$} \textbf{verbindet} und $s$ seine \textbf{Länge}. \end{block} -TODO: 8 Bilder +\tikzstyle{vertex}=[draw,fill=black,circle,minimum size=10pt,inner sep=0pt] +\adjustbox{max size={\textwidth}{0.2\textheight}}{ +\begin{tikzpicture} + \node (a)[vertex] at (1,1) {}; + \node (b)[vertex] at (2,5) {}; + \node (c)[vertex] at (3,3) {}; + \node (d)[vertex] at (5,4) {}; + \node (e)[vertex] at (3,6) {}; + \node (f)[vertex] at (5,6) {}; + \node (g)[vertex] at (7,6) {}; + \node (h)[vertex] at (7,4) {}; + \node (i)[vertex] at (6,2) {}; + \node (j)[vertex] at (8,7) {}; + \node (k)[vertex] at (9,5) {}; + \node (l)[vertex] at (13,6) {}; + \node (m)[vertex] at (11,7) {}; + \node (n)[vertex] at (15,7) {}; + \node (o)[vertex] at (16,4) {}; + \node (p)[vertex] at (10,2) {}; + \node (q)[vertex] at (13,1) {}; + \node (r)[vertex] at (16,1) {}; + \node (s)[vertex] at (17,4) {}; + \node (t)[vertex] at (19,6) {}; + \node (u)[vertex] at (18,3) {}; + \node (v)[vertex] at (20,2) {}; + \node (w)[vertex] at (15,4) {}; + + \foreach \from/\to in {a/c,c/b,c/d,d/f,f/g,g/h,h/d,d/g,h/f,i/k,k/j,k/l,l/m,m/n,n/o,o/t,t/v,v/u,s/r,o/q,q/p,u/t} + \draw[line width=2pt] (\from) -- (\to); + + \node (i)[vertex,purple] at (6,2) {}; + \node (v)[vertex,blue] at (20,2) {}; + \draw[line width=4pt, red] (i) -- (k) -- (l) -- (m) -- (n) -- (o) -- (t) -- (v); +\end{tikzpicture} +} \end{frame} \begin{frame}{Geschlossener Kantenzug} @@ -161,14 +211,14 @@ $G$ heißt \textbf{zusammenhängend} $:\Leftrightarrow \forall v_1, v_2 \in V: $ TODO: 8 Bilder \end{frame} -\begin{frame}{Grad eines Knotens} -\begin{block}{Grad eines Knotens} -Der \textbf{Grad} eines Knotens ist die Anzahl der Kanten, die von diesem Knoten +\begin{frame}{Grad einer Ecke} +\begin{block}{Grad einer Ecke} +Der \textbf{Grad} einer Ecke ist die Anzahl der Kanten, die von dieser Ecke ausgehen. \end{block} -\begin{block}{Isolierte Knoten} -Hat ein Knoten den Grad 0, so nennt man ihn \textbf{isoliert}. +\begin{block}{Isolierte Ecken} +Hat eine Ecke den Grad 0, so nennt man ihn \textbf{isoliert}. \end{block} TODO: 8 Bilder diff --git a/presentations/Diskrete-Mathematik/LaTeX/inzidenz/graph-6.tex b/presentations/Diskrete-Mathematik/LaTeX/inzidenz/graph-6.tex index 2c774b5..0b8fd80 100644 --- a/presentations/Diskrete-Mathematik/LaTeX/inzidenz/graph-6.tex +++ b/presentations/Diskrete-Mathematik/LaTeX/inzidenz/graph-6.tex @@ -15,8 +15,9 @@ \node[vertex] (N-\number) at ({\number*(360/\n)}:5.4cm) {}; } - \node[vertex] (N-3) at ({3*(360/\n)}:5.4cm) {}; - \node[vertex] (N-4) at ({4*(360/\n)}:5.4cm) {}; + \node[vertex,red] (N-1) at ({1*(360/\n)}:5.4cm) {}; + \node[vertex,red] (N-2) at ({2*(360/\n)}:5.4cm) {}; + \node[vertex,red] (N-5) at ({5*(360/\n)}:5.4cm) {}; \draw (N-1) -- (N-2); \draw (N-2) -- (N-3); diff --git a/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-2-2.tex b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-2-2.tex new file mode 100644 index 0000000..e39fb5a --- /dev/null +++ b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-2-2.tex @@ -0,0 +1,16 @@ +\documentclass[varwidth=true, border=2pt]{standalone} +\usepackage{tikz} +\usetikzlibrary{arrows,positioning} + +\begin{document} + \tikzstyle{vertexs}=[draw,fill=black,circle,minimum size=4pt,inner sep=0pt] + + \begin{tikzpicture} + \foreach \x in {0,1} + \foreach \y in {0,1}{ + \node (a)[vertexs] at (\y,0) {}; + \node (b)[vertexs] at (\x,1) {}; + \draw (a) -- (b); + } + \end{tikzpicture} +\end{document} diff --git a/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-2-3.tex b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-2-3.tex new file mode 100644 index 0000000..d722922 --- /dev/null +++ b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-2-3.tex @@ -0,0 +1,16 @@ +\documentclass[varwidth=true, border=2pt]{standalone} +\usepackage{tikz} +\usetikzlibrary{arrows,positioning} + +\begin{document} + \tikzstyle{vertexs}=[draw,fill=black,circle,minimum size=4pt,inner sep=0pt] + + \begin{tikzpicture} + \foreach \x in {0,1} + \foreach \y in {0,1,2}{ + \node (a)[vertexs] at (\y,0) {}; + \node (b)[vertexs] at (\x,1) {}; + \draw (a) -- (b); + } + \end{tikzpicture} +\end{document} diff --git a/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-2-5.tex b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-2-5.tex new file mode 100644 index 0000000..81d0e6f --- /dev/null +++ b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-2-5.tex @@ -0,0 +1,16 @@ +\documentclass[varwidth=true, border=2pt]{standalone} +\usepackage{tikz} +\usetikzlibrary{arrows,positioning} + +\begin{document} + \tikzstyle{vertexs}=[draw,fill=black,circle,minimum size=4pt,inner sep=0pt] + + \begin{tikzpicture} + \foreach \x in {0,1} + \foreach \y in {0,1,2,3,4}{ + \node (a)[vertexs] at (\y,0) {}; + \node (b)[vertexs] at (\x,1) {}; + \draw (a) -- (b); + } + \end{tikzpicture} +\end{document} diff --git a/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-3-3.tex b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-3-3.tex new file mode 100644 index 0000000..971b635 --- /dev/null +++ b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-3-3.tex @@ -0,0 +1,16 @@ +\documentclass[varwidth=true, border=2pt]{standalone} +\usepackage{tikz} +\usetikzlibrary{arrows,positioning} + +\begin{document} + \tikzstyle{vertexs}=[draw,fill=black,circle,minimum size=4pt,inner sep=0pt] + + \begin{tikzpicture} + \foreach \x in {0,1,2} + \foreach \y in {0,1,2}{ + \node (a)[vertexs] at (\y,0) {}; + \node (b)[vertexs] at (\x,1) {}; + \draw (a) -- (b); + } + \end{tikzpicture} +\end{document} diff --git a/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-3-4.tex b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-3-4.tex new file mode 100644 index 0000000..8e28f8a --- /dev/null +++ b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-3-4.tex @@ -0,0 +1,16 @@ +\documentclass[varwidth=true, border=2pt]{standalone} +\usepackage{tikz} +\usetikzlibrary{arrows,positioning} + +\begin{document} + \tikzstyle{vertexs}=[draw,fill=black,circle,minimum size=4pt,inner sep=0pt] + + \begin{tikzpicture} + \foreach \x in {0,1,2} + \foreach \y in {0,1,2,3}{ + \node (a)[vertexs] at (\y,0) {}; + \node (b)[vertexs] at (\x,1) {}; + \draw (a) -- (b); + } + \end{tikzpicture} +\end{document} diff --git a/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-3-5.tex b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-3-5.tex new file mode 100644 index 0000000..8dfda02 --- /dev/null +++ b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-3-5.tex @@ -0,0 +1,16 @@ +\documentclass[varwidth=true, border=2pt]{standalone} +\usepackage{tikz} +\usetikzlibrary{arrows,positioning} + +\begin{document} + \tikzstyle{vertexs}=[draw,fill=black,circle,minimum size=4pt,inner sep=0pt] + + \begin{tikzpicture} + \foreach \x in {0,1,2} + \foreach \y in {0,1,2,3,4}{ + \node (a)[vertexs] at (\y,0) {}; + \node (b)[vertexs] at (\x,1) {}; + \draw (a) -- (b); + } + \end{tikzpicture} +\end{document} diff --git a/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-4-5.tex b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-4-5.tex new file mode 100644 index 0000000..2770bae --- /dev/null +++ b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-4-5.tex @@ -0,0 +1,16 @@ +\documentclass[varwidth=true, border=2pt]{standalone} +\usepackage{tikz} +\usetikzlibrary{arrows,positioning} + +\begin{document} + \tikzstyle{vertexs}=[draw,fill=black,circle,minimum size=4pt,inner sep=0pt] + + \begin{tikzpicture} + \foreach \x in {0,1,2,3} + \foreach \y in {0,1,2,3,4}{ + \node (a)[vertexs] at (\y,0) {}; + \node (b)[vertexs] at (\x,1) {}; + \draw (a) -- (b); + } + \end{tikzpicture} +\end{document} diff --git a/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-5-5.tex b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-5-5.tex new file mode 100644 index 0000000..391190d --- /dev/null +++ b/presentations/Diskrete-Mathematik/LaTeX/vollstaendig-bipartit/k-5-5.tex @@ -0,0 +1,16 @@ +\documentclass[varwidth=true, border=2pt]{standalone} +\usepackage{tikz} +\usetikzlibrary{arrows,positioning} + +\begin{document} + \tikzstyle{vertexs}=[draw,fill=black,circle,minimum size=4pt,inner sep=0pt] + + \begin{tikzpicture} + \foreach \x in {0,1,2,3,4} + \foreach \y in {0,1,2,3,4}{ + \node (a)[vertexs] at (\y,0) {}; + \node (b)[vertexs] at (\x,1) {}; + \draw (a) -- (b); + } + \end{tikzpicture} +\end{document} diff --git a/presentations/Diskrete-Mathematik/templates/myStyle.sty b/presentations/Diskrete-Mathematik/templates/myStyle.sty index f0a6503..a8eaf0c 100644 --- a/presentations/Diskrete-Mathematik/templates/myStyle.sty +++ b/presentations/Diskrete-Mathematik/templates/myStyle.sty @@ -121,10 +121,12 @@ \par\endcenter } -\def\galleryimage#1{% +\newcommand{\galleryimage}[2][borderColor]{ \adjustbox{width=2cm,height=2cm,keepaspectratio, center=2cm, valign=M, set vsize={1cm}{1cm}, - bgcolor=myLightGray,cfbox=borderColor 1px 0px 2px} - {\includestandalone{#1}}% + bgcolor=myLightGray,cfbox=#1 1px 0px 2px} + {\includestandalone{#2}}% \space\ignorespaces }% + +\definecolor{Green}{HTML}{BEF781}