MATH2-Inf-4: Blatt 4 gelöst.

.gitignore

@@ -33,3 +33,4 @@
 *.xdy
 *.tdo
 *.zip
+*~

ad/AD-Gruppe_8_Koehler_Krabbe_Martens_Blatt2.tex

@@ -5,12 +5,15 @@
 \usepackage{amsmath}
 \usepackage{amsfonts}
 \usepackage{amssymb}
+\usepackage{bytefield}
 \usepackage{paralist}
 \usepackage{gauss}
 \usepackage{pgfplots}
 \usepackage{textcomp}
 \usepackage[locale=DE,exponent-product=\cdot,detect-all]{siunitx}
 \usepackage{tikz}
+\usepackage{algorithm}
+\usepackage{algorithmic}
 \usetikzlibrary{matrix,fadings,calc,positioning,decorations.pathreplacing,arrows,decorations.markings}
 \usepackage{polynom}
 \polyset{style=C, div=:,vars=x}
@@ -25,9 +28,12 @@
   \let\@ifnextchar\new@ifnextchar
   \array{#1}}
 \makeatother
+\parskip 12pt plus 1pt minus 1pt
+\parindent 0pt
 
 \begin{document}
-\author{Tronje Krabbe, Jim Martens (6420323)}
+\author{Reinhard Köhler (6425686), Tronje Krabbe (6435002), \\
+Jim Martens (6420323)}
 \title{Hausaufgaben zum 6. November}
 \subtitle{Gruppe 8}
 \maketitle
@@ -37,22 +43,53 @@
 	\subsection{} %b
 		Ein voller Baum der Tiefe $l$ hat auf der untersten Ebene $k^{l}$ Knoten. Daraus ergibt sich diese Summe:
 		\[
-			\sum\limits_{i=0}^{l} k^{i}
+			\sum\limits_{i=0}^{l} k^{i} = k^{l+1} - 1
 		\]
 		Dies gilt da in einem vollen Baum die Anzahl Knoten in einer Ebene immer einer Potenz von $k$ entsprechen.
 	\subsection{} %c
 		Ein vollständiger Baum der Tiefe $l$ gleicht bis auf die letzte Ebene einem vollen Baum. In der letzten Ebene $l$ kommen maximal $k^{l} - 1$ Knoten vor, damit es ein vollständiger Baum, aber kein voller Baum ist. Daraus ergibt sich diese leicht abgewandelte Formel:
-		\[
-			\sum\limits_{i=0}^{l-1} \left(k^{i}\right) + c : 1 \leq c < k^{l}
-		\]
+		\begin{alignat*}{2}
+			\sum\limits_{i=0}^{l-1} \left(k^{i}\right) + c &:& 1 \leq c < k^{l}
+		\end{alignat*}
 	\subsection{} %d
 		Jeder Knoten hat genau ein Elternknoten mit dem er über eine Kante verbunden ist. Einzige Ausnahme ist der Wurzelknoten, der kein Elternelement hat und damit auch keine Kante, die mit einem solchen verbunden sein könnte. Daher gibt es genau $n-1$ Kanten.
 \section{} %2
 	\subsection{} %a
+		Laufzeit von Order1:
+		\[
+			T(n) = 2T\left(\frac{n}{2}\right) + n^{0}
+		\]
+		
+		Laufzeit von Order2:
+		\[
+			T(n) = 2T\left(\frac{n}{2}\right) + n^{0}
+		\]
+		
+		Laufzeit von Order3:
+		\[
+			T(n) = 2T\left(\frac{n}{2}\right) + n^{0}
+		\]
 	\subsection{} %b
+		Die Laufzeiten von Order1, Order2 und Order3 können im best-case auf $1$ verbessert werden.
 	\subsection{} %c
+		Order1: NAOEIFMRLUSGARTH \\
+		Order2: IEOFARMLNGSAUTRH \\
+		Order3: IEFORLMAGASTHRUN
 	\subsection{} %d
+		T = \begin{bytefield}{10}
+				\bitbox{1}{T}
+				\bitbox{1}{E}
+				\bitbox{1}{E}
+				\bitbox{1}{O}
+				\bitbox{1}{Y}
+				\bitbox{1}{R}
+				\bitbox{1}{E}
+				\bitbox{1}{L}
+				\bitbox{1}{V}
+				\bitbox{1}{L}
+		\end{bytefield}
 	\subsection{} %e
+		ALGORITHMSAREFUN
 \section{} %3
 	\subsection{} %a
 		\begin{alignat*}{2}
@@ -71,10 +108,31 @@
 		\end{alignat*}
 		Das Ergebnis der letzten Gleichung ist somit das Minima von $f$. Als weitere Absicherung kann das asymptotische Wachstum betrachtet werden. Für einen kleineren Wert als $e$, ist $\ln(x)$ kleiner als $1$. Das Teilen von $x$ durch diesen Wert geringer als $1$ sorgt dafür, dass das Ergebnis größer als $x$ ist. Lässt man $x$ gegen $1$ laufen, läuft der Bruch gegen unendlich. Auf der anderen Seite kann man $x$ gegen unendlich gehen lassen, dann läuft der Bruch auch gegen unendlich, da eine lineare Funktion schneller wächst, als eine logarithmische. Der konstante Faktor am Ende kann dabei außer Acht gelassen werden.
 	\subsection{} %b
+		Die beste Wahl für $k^{*}$ ist $3$. Es werden im worst-case bei der Heap-Größe $n=10^{l}$ mit $l \in \{1,...,9\}$ diese Anzahl an Schritten benötigt.
+		
+		\begin{tabular}{c|c|c}
+			$l$ & $k = 3$ & $k = 2$ \\
+			\hline
+			1 & 7 & 7 \\
+			2 & 13 & 14 \\
+			3 & 19 & 20 \\
+			4 & 26 & 27 \\
+			5 & 32 & 34 \\
+			6 & 38 & 40 \\
+			7 & 45 & 47 \\ 
+			8 & 51 & 54 \\
+			9 & 57 & 60
+		\end{tabular}
 	\subsection{} %c
+		Ein binärer Heap (dementsprechend $k=2$) ist deutlich übersichtlicher als ein ternärer Heap. Außerdem ist ein binärer Heap leichter zu be- bzw. verarbeiten und der Unterschied des Laufzeitaufwandes zwischen einem binären und einem ternären Heap ist nicht sonderlich groß.
 	\subsection{} %d
+		Pro Vertauschen werden $k+1$ Schritte benötigt. Ein Schritt wird benötigt, um das Maximum herauszufinden und $k$ Schritte, um den Max-Heap des aktuellen Knoten nach dem Vertauschen wieder zu einem solchen zu machen. Damit werden zwar viele Schritte zum Finden eines Maximums der Kinder eingespart, allerdings an anderer Stelle wieder durch das Aufrufen von Heapify auf den zusätzlichen Max-Heap ausgegeben. Im Endeffekt ergibt sich damit eine Gesamtlaufzeit von $\lceil (k+1)\log_{k}(n) \rceil$.
 	\subsection{} %e
+		Anwenden von \textsc{Decrease}$(9 \mapsto 1)$ auf Ergebnis von 3d: 2 Vertauschungen \\
+		Anwenden von \textsc{Decrease}$(9 \mapsto 1)$ auf Ergebnis von 3f: eine Vertauschung
 	\subsection{} %f
+		Ein ternärer Heap hat bei gleicher Anzahl an Knoten maximal gleich viele Level, wodurch dieselbe \textsc{Decrease}-Operation bei einem ternären Heap immer maximal gleich viele Vertauschungen wie bei einem binären Heap erfordert.
+		
 \section{} %4
 	\subsection{} %a
 		merge (2 2 5 7 9, 1 2 4 8)  \\
@@ -86,7 +144,7 @@
 		1 2 2 2 4 5 $\circ$ merge (7 9, 8) \\
 		1 2 2 2 4 5 7 $\circ$ merge (9, 8) \\
 		1 2 2 2 4 5 7 8 $\circ$ merge (9, []) \\
-		1 2 2 2 4 5 7 8 9  
+		1 2 2 2 4 5 7 8 9
 	\subsection{} %b
 		Input 6 7 8 3 4 2 9 1 \\
 		Rekursiv in einzelne Ziffern zerlegt und dann zusammengefügt: \\
@@ -116,27 +174,53 @@
 			\draw [brace] (a3.south) -- (a4.south);
 			\draw [brace] (a5.south) -- (a6.south);
 			\draw [brace] (a7.south) -- (a8.south);
-			
+
 			\node [position label] (b1) at (0.25,-0.7) {$67$};
 			\node [position label] (b2) at (1.25,-0.7) {$38$};
 			\node [position label] (b3) at (2.25,-0.7) {$24$};
 			\node [position label] (b4) at (3.25,-0.7) {$19$};
-			
+
 			\draw [brace,decoration={raise=4ex}] (a1.south) -- (a4.south);
 			\draw [brace,decoration={raise=4ex}] (a5.south) -- (a8.south);
-			
+
 			\node [position label] (c1) at (0.75,-1.4) {$3678$};
 			\node [position label] (c2) at (2.75,-1.4) {$1249$};
-			
-			\draw [brace,decoration={raise=8ex}] (a1.south) -- (a8.south);	
-			
+
+			\draw [brace,decoration={raise=8ex}] (a1.south) -- (a8.south);
+
 			\node [position label] (d1) at (1.75,-2.1) {$12346789$};
 		\end{tikzpicture}
 	\subsection{} %c
 		Eine Möglichkeit eine absteigende Sortierung zu erreichen, ist das Umkehren von $x[1] \leq y[1]$ zu $x[1] \geq y[1]$.
-		
+
 		Eine andere Möglichkeit ist das Vertauschen der Fälle in der \texttt{if}-Abfrage. Dabei bleibt die Bedingung der Abfrage gleich, allerdings wird statt dem ersten Element von $x$ das erste Element von $y$ genommen. Im \texttt{else}-Fall wird dann dementsprechend das erste Element von $x$ genommen.
 \section{} %5
 	\subsection{} %a
+		Man benutzt einen Stack als Zwischenspeicher und einen Stack als die eigentliche Queue. Soll ein Element in die Queue eingefügt werden, wird jedes Element des Hauptstacks nach und nach entfernt und auf den Speicherstack geschrieben. Dann wird das hinzuzufügende Element in den Hauptstack geschrieben. Danach werden nach und nach alle Elemente aus dem Speicherstack entfernt und auf den Hauptstack geschrieben. So sind in dem Hauptstack die Elemente in der Reihenfolge gespeichert, in der sie ausgelesen werden sollen (FIFO-Prinzip). Soll nun ein Element aus der Queue entfernt werden, wird einfach die pop-Operation an dem Hauptstack aufgerufen, womit das Element, das zuerst eingefügt wurde, entfernt wird, wie es bei einer Queue der Fall ist.
+		
+		\begin{verbatim}
+			function ENQUEUE(e):
+			    if Hauptstack.isEmpty():
+			        Hauptstack.push(e);
+			    else:
+			        for element in Hauptstack:
+			            Speicherstack.push(element);
+			            Hauptstack.pop();
+			        end for
+			        Hauptstack.push(e);
+			        for element in Speicherstack:
+			            Hauptstack.push(element);
+			            Speicherstack.pop();
+			        end for
+			    end if
+			end function
+			
+			function DEQUEUE():
+			    Hauptstack.pop();
+			end function
+		\end{verbatim}
+		
+		Im worst-case ist die Laufzeit von \textsc{Dequeue} $\theta(1)$. Die worst-case Laufzeit von \textsc{Enqueue} ist bei $k$ Elementen $2k+1$. 
 	\subsection{} %b
+		Die worst-case Laufzeit von $n$ \textsc{Enqueue}-Operationen beträgt $n \cdot (2n+1) = 2n^{2} + n$. Die amortisierte Laufzeit beträgt dann $\frac{n(2n+1)}{n} = 2n+1$. Dabei muss beachtet werden, dass bei weniger \textsc{Enqueue}- und mehr \textsc{Dequeue}-Operationen dementsprechend auch das Ergebnis weniger groß ausfällt.
 \end{document}

ad/AD-Gruppe_8_Krabbe_Martens_Blatt1.tex

@@ -34,29 +34,29 @@
 \section{} %1
 	\subsection{} %a
 	$\frac{1}{n} \prec 1$, da man immer eine Konstante $c$ finden kann, für die ab einem $n$ alle weiteren Funktionswerte von $\frac{1}{n}$ unter $c \cdot \mathcal{O}(1)$ liegen.
-	
+
 	$1 \prec \log\log n$, da der Logarithmus schneller wächst als eine konstante Funktion und jeder Logarithmus langsamer wächst als eine polynomielle Funktion. Der doppelte Logarithmus wächst noch langsamer als der einfache Logarithmus.
-	
+
 	$\log\log n \prec \log n$, da der einfache Logarithmus schneller wächst als der doppelte Logarithmus.
-	
+
 	$\log n \asymp \log(n^{3})$, da sich die beiden nur um einen konstanten Faktor $3$ unterscheiden.
-	
+
 	$\log(n^{3}) \prec \log(n^{\log n})$, da $\frac{\log n \cdot \log n}{3 \cdot \log n}$ gegen unendlich geht.
-	
+
 	$\log(n^{\log n}) \prec n^{0.01}$, da jeder Logarithmus langsamer wächst als eine polynomielle Funktion.
-	
+
 	$n^{0.01} \prec \sqrt{n}$, da $\frac{n^{0.5}}{n^{0.01}}$ nach dem Kürzen gegen unendlich geht.
-	
+
 	$\sqrt{n} \prec n \cdot \log n$, da $\frac{n \cdot \log n}{n^{0.5}}$ nach dem Kürzen gegen unendlich geht.
-	
+
 	$n \cdot \log n \prec n^{8}$, da $\frac{n^{8}}{n \cdot \log n}$ nach dem Kürzen gegen unendlich geht, weil jeder Logarithmus langsamer wächst als jede polynomielle Funktion.
-	
+
 	$n^{8} \prec 2^{n}$, da jede Exponentialfunktion schneller wächst als jede polynomielle Funktion.
-	
+
 	$2^{n} \prec 8^{n}$, da $8 > 2$, womit $8^{n}$ klar ersichtlich schneller wächst als $2^{n}$.
-	
+
 	$8^{n} \prec n!$, da $\frac{n \cdot (n-1) \cdot ... \cdot 3 \cdot 2 \cdot 1}{8 \cdot 8 \cdot ... \cdot 8 \cdot 8 \cdot 8}$ ganz offensichtlich gegen unendlich geht.
-	
+
 	$n! \prec n^{n}$, da $\frac{n \cdot n \cdot n \cdot ... \cdot n \cdot n}{n \cdot (n-1) \cdot (n-2) \cdot ... \cdot 2 \cdot 1}$ ebenfalls gegen unendlich geht.
 	\subsection{} %b
 		\subsubsection{} %i
@@ -65,8 +65,8 @@
 		\subsubsection{} %ii
 		Behauptung: $f \in \mathcal{O}(g) \Rightarrow g \in \omega (f)$\\
 		Diese Behauptung gilt nicht. Dies kann mithilfe der Definition der Landau-Symbole erklärt werden. $f \in \mathcal{O}(g)$ besagt, dass $f$ maximal so schnell wie $g$ wächst. Dabei ist auch der Fall enthalten, dass $f$ und $g$ gleich schnell wachsen.
-		
-		Der zweite Teil der Behauptung erfordert jedoch, dass $g$ in jedem Fall schneller als $f$ wächst. Dies steht aber im Widerspruch zu dem ersten Teil der Behauptung. Damit ist die Behauptung widerlegt. 
+
+		Der zweite Teil der Behauptung erfordert jedoch, dass $g$ in jedem Fall schneller als $f$ wächst. Dies steht aber im Widerspruch zu dem ersten Teil der Behauptung. Damit ist die Behauptung widerlegt.
 		\subsubsection{} %iii
 		Behauptung: $f_{c}(n) \in \theta(n) \Leftrightarrow c = 1$.\\
 		Dies ist einfach zu zeigen:\\
@@ -74,7 +74,7 @@
 		\sum\limits_{i=0}^{n} 1^{i} &=& 1 + 1 + 1 + ... + 1 = n + 1
 		\end{alignat*}
 		Denn für $c=1$ werden einfach $n+1$ Einsen aufsummiert. Die Summe $n+1$ wächst asymptotisch genau so schnell wie $n$, da die Konstante $1$ vernachlässigt werden kann.
-		
+
 \section{} %2
 	\subsection{} %a
 	\underline{Behauptung:} $F_{n} \geq 2^{0.5n} : \forall n \geq 6$\\
@@ -103,7 +103,7 @@
 		\end{alignat*}
 		Damit ist die Behauptung sowohl für den Induktionsanfang als auch für ein beliebiges $n$ gezeigt.
 	\subsection{} %b
-	
+
 \section{} %3
 	\subsection{} %a
 		\underline{Behauptung:} Die Formel
@@ -117,7 +117,7 @@
 			\end{pmatrix}^{n} \cdot \begin{pmatrix}
 			 	F_{0} \\
 				F_{1}
-			\end{pmatrix} 	
+			\end{pmatrix}
 		\end{alignat*}
 		gilt für $n \geq 0$.\\
 		\underline{Induktionsanfang:}\\
@@ -145,7 +145,7 @@
 			\end{pmatrix}
 		\end{alignat*}\\
 		\underline{Induktionsannahme:} Die Behauptung gilt für ein beliebig fest gewähltes $n$.\\
-		\underline{Zu zeigen:} 
+		\underline{Zu zeigen:}
 		\begin{alignat*}{2}
 			\begin{pmatrix}
 		 		F_{n+1} \\
@@ -156,7 +156,7 @@
 			\end{pmatrix}^{n+1} \cdot \begin{pmatrix}
 			 	F_{0} \\
 				F_{1}
-			\end{pmatrix} 
+			\end{pmatrix}
 		\end{alignat*}
 		\underline{Induktionsschritt:}
 		\begin{alignat*}{2}
@@ -189,7 +189,7 @@
 				F_{1}
 			\end{pmatrix}
 		\end{alignat*}
-		Nach dem Induktionsprinzip folgt aus dem Induktionsanfang und dem Induktionsschritt die Behauptung.		
+		Nach dem Induktionsprinzip folgt aus dem Induktionsanfang und dem Induktionsschritt die Behauptung.
 	\subsection{} %b
 	$X^{64}$ kann geschickter berechnet werden, wenn man die Ergebnisse von vorigen Multiplikationen speichert. Damit lässt sich $X^{64}$ auf diese Weise berechnen:\\
 	\begin{alignat*}{3}
@@ -206,7 +206,7 @@
 	& X^{72} &\cdot & X^{2} &=& X^{74}
 	\end{alignat*}
 	Demnach würden bei $74$ acht Multiplikationen benötigt.
-	
+
 	Daraus kann die allgemeine Formel für die Anzahl der Multiplikationen $F(n)$ gebildet werden:\\
 	\begin{alignat*}{2}
 	F(n) &=& \begin{cases}
@@ -215,9 +215,9 @@
 		\end{cases}
 	\end{alignat*}
 	Diese rekursive Formel könnte auch als Schleife dargestellt werden. Durch die Halbierung von n bei jedem Durchgang hat die Funktion eine logarithmische Laufzeit. Die Addition ist dabei irrelevant, wenn man sich das asymptotische Verhalten ansieht.
-	
+
 	Damit ist die Behauptung, dass $\mathcal{O}(\log n)$ Multiplikationen ausreichen um $X^{n}$ zu berechnen, gezeigt.
 	\subsection{} %c
-	
+
 	In 3b haben wir gezeigt, dass sich $X^{n}$ in $\mathcal{O}(\log n)$ Multiplikationen ausgerechnen lässt. Daraus lässt sich schließen, dass sich auch die 2x2 Matrix in $\star$ in logarithmischer Zeit errechnen lässt. Eine weitere Multiplikation macht dann auch keinen Unterschied mehr. Daher lässt sich $\star$ in logarithmischer Zeit lösen. Da jeder Logarithmus langsamer wächst und damit schneller ist als eine Potenzfunktion, ist das Matrizen-Verfahren damit echt schneller als das in der Vorlesung vorgestellte Verfahren.
 \end{document}

gdb/G62B1_Dittrich-Lindemann-Martens.tex

@@ -88,23 +88,29 @@
 		
 		
 \section{Transaktionen}
-	Zunächst betrachten wir den Stromausfall zum Zeitpunkt A. Daraus ergeben sich mehrere Fälle.
+	Zunächst betrachten wir den Stromausfall zum Zeitpunkt A. Daraus ergeben sich mehrere Fälle. Die ersten beiden Fälle betrachten immer ein Datenbanksystem, die letzten beiden immer ein Dateisystem.
 	
 	\begin{itemize}
-		\item	Es gibt kein Datenbanksystem und die Daten wurden nicht auf die Platte geschrieben. In diesem Fall hat der Ausfall keine negativen Folgen, da die Daten sich in einem konsistenten Zustand befinden.
-		\item	Es gibt ein Datenbanksystem und die Daten wurden nicht auf die Platte geschrieben. In diesem Fall hat der Ausfall ebenfalls keine negativen Folgen, da die Transaktion ohnehin nicht beendet war und damit keine Veränderungen hätten vorgenommen werden dürfen.
-		\item	Es gibt kein Datenbanksystem und die Daten wurden auf die Platte geschrieben. In diesem Fall befinden sich die Daten in einem inkonsistenten Zustand, da zwar der Saldo bei dem einen Konto verringert, bei dem anderen aber nicht erhöht wurde. Da es kein DBS gibt, kann dieser inkonsistente Zustand nicht leicht behoben werden.
-		\item	Es gibt ein Datenbanksystem und die Daten wurden auf die Platte geschrieben. In diesem Fall kann das DBS aufgrund von Logs nachvollziehen, dass die Transaktion noch nicht beendet war und wird die Veränderung an dem Saldo von Konto 5 rückgängig machen.
+		\item Das System hat die Änderung am Konto mit der ID 5 nicht persistent gespeichert. Sie bleibt also im Hauptspeicher, bzw. wird daraus gelöscht bei dem Stromausfall. Somit wird die Überweisung nicht durchgeführt und es herrscht der Ausgangszustand.
+
+		\item Das System hat die Änderungen am Konto mit der ID 5 persistent gespeichert. Die Daten werden auf die Festplatte geschrieben. Es gibt nach der Abbuchung der 1000 Euro einen Stromausfall. Das System "`merkt"' sich diesen Zeitpunkt. Nach erneutem Start des Systems wird der letzte bekannte Zustand rekonstruiert und danach in den Ausgangszustand zurück versetzt.
+		
+		\item Das System hat die Änderung am Konto mit der ID 5 noch nicht persistent gespeichert. Sie bleibt also im Hauptspeicher, bzw. wird daraus gelöscht bei dem Stromausfall. Somit wird die Überweisung nicht durchgeführt und es herrscht der Ausgangszustand.
+		
+		\item Das System hat die Änderung am Konto mit der ID 5 persistent gespeichert. Also die Daten bereits auf die Festplatte geschrieben. Somit werden 1000 Euro vom Konto mit der ID 5 abgebucht. Da aber kein Datenbanksystem verwendet wird, gibt es keinen Wiederaufnahmepunkt, an welchem das System wiedereinsteigen könnte. Somit werden keine 1000 Euro dem Konto mit der ID 7 gutgeschrieben und das Geld ist weg.
 	\end{itemize}
 	
-	Anschließend betrachten wir den Stromausfall zum Zeitpunkt B.
-	
+	Anschließend betrachten wir den Stromausfall B.
+
 	\begin{itemize}
-		 \item	Es gibt kein DBS und die geänderten Zustände von Konto 5 und 7 wurden auf die Platte geschrieben. In diesem Fall befinden sich beide Daten in einem konsistenten Zustand und es muss lediglich noch der Kontostand von Konto 5 ausgegeben werden.
-		 \item	Es gibt ein DBS und die geänderten Zustände von Konto 5 und 7 wurden auf die Platte geschrieben. In diesem Fall befinden sich die Daten in einem konsistenten Zustand aber das DBS wird die Änderungen rückabwickeln, da die Transaktion nicht beendet wurde.
-		 \item	Es gibt kein DBS und nur die Änderungen an Konto 7 sind persistiert. In diesem Fall befinden sich die Daten in einem inkonsistenten Zustand, da die Änderung an Konto 5 verloren gegangen ist.
-		 \item	Es gibt ein DBS und nur die Änderungen an Konto 7 sind peristiert. In diesem Fall befinden sich die Daten in einem inkonsistenten Zustand, aber das DBS wird die Änderungen an Konto 7 rückabwickeln und die Daten wieder in einen konsistenten Zustand bringen.
-	\end{itemize}
+		\item Das System hat die Änderung an beiden Konten nicht persistent gespeichert. Sie bleibt also im Hauptspeicher; bzw. wird daraus gelöscht bei dem Stromausfall. Somit wird die Überweisung nicht durchgeführt und es herrscht der Ausgangszustand. Es gibt aber eine falsche Meldung  dem Clienten gegenüber für den Kontostand des Kontos mit der ID 7.
+		
+		\item Das System hat die Änderungen an beiden Konten persistent gespeichert. Die Daten werden auf die Festplatte geschrieben. Es gibt nach der Überweisung einen Stromausfall. Jedoch wurde der Print Vorgang für das Konto mir der ID 5 nicht abgeschlossen. Dieser würde eine benutzerdefinierte Meldung an den Clienten zurückgeben. Da der Komplette Vorgang noch nicht abgeschlossen war werden beide Konten wieder in ihren Ausgangszustand zurück versetzt. Es gibt somit aber eine falsche Meldung dem Clienten gegenüber für den Kontostand des Kontos mit der ID 7.
+		
+		\item Das System hat die Änderungen an beiden Konten nicht persistent gespeichert. Sie bleibt also im Hauptspeicher, bzw. wird daraus gelöscht bei dem Stromausfall. Somit wird die Überweisung nicht durchgeführt und es herrscht der Ausgangszustand. Es gibt somit aber eine falsche Meldung dem Clienten gegenüber für den Kontostand des Kontos mit der ID 7.
+		
+		\item Das System hat die Änderungen an beiden Konten persistent gespeichert. Somit werden an beiden Konten die richtigen Aktionen durchgeführt. Das Konto mit der ID 5 wird mit 1000 Euro belastet und das Konto mit der ID 7 werden 1000 Euro gutgeschrieben. Jedoch gibt es vor dem Printbefehl für das Konto mit der ID 5 den Stromausfall. Der letzte Zustand kann nicht wiederhergestellt werden und somit fehlt dieser Print Befehl und der Client bekommt den falschen Kontostand für dieses Konto angezeigt. 
+	\end{itemize}	
 	
 	Zusammenfassend kann gesagt werden, dass es bei einem Datenbanksystem zu jedem Zeitpunkt immer nur konsistente Daten gibt.  Bei einem reinen Dateisystem können die Daten hingegen inkonsistent zurückgelassen werden.
 

optimierung/Uebungsblatt3.tex

@@ -149,10 +149,10 @@ Stephan Niendorf (6242417)}
 			(x_{1}, x_{2}) &=& \left(\frac{1}{3} + \frac{1}{3}t, \frac{7}{3} + \frac{4}{3}t\right) \\
 			&=& \left(\frac{1}{3}, \frac{7}{3}\right) + t\left(\frac{1}{3}, \frac{4}{3}\right)
 		\end{alignat*}
-		\begin{alignat*}{2}
-			(x_{3}, x_{2}) &=& \left(t, \frac{7}{3} + \frac{4}{3}t\right) \\
-			&=& \left(0, \frac{7}{3}\right) + t\left(1, \frac{4}{3}\right)
-		\end{alignat*}
+		%\begin{alignat*}{2}
+		%	(x_{3}, x_{2}) &=& \left(t, \frac{7}{3} + \frac{4}{3}t\right) \\
+		%	&=& \left(0, \frac{7}{3}\right) + t\left(1, \frac{4}{3}\right)
+		%\end{alignat*}
 		
 		Da in diesem Fall $x_{1}$ eine Basisvariable ist und somit nicht gleich $t$ ist, stellt $t$ eine beliebige positive Konstante dar. Daher verändert sich auch die Gerade je nach Wahl von $t$. Deswegen ist es nicht möglich genau eine Halbgerade zu finden, auf der die Zielfunktion beliebig große Werte annimmt.
 	\subsection{} %b
@@ -180,7 +180,7 @@ Stephan Niendorf (6242417)}
 			\addplot[no marks, black, -] expression[domain=0:6,samples=100]{4*x + 1} node[pos=0.65,anchor=north]{};
 			\addplot[no marks, black, -] expression[domain=0:6,samples=100]{1*x + 2} node[pos=0.65,anchor=north]{};
 			\addplot[no marks, black, -] expression[domain=0:6,samples=100]{0.5*x - 1} node[pos=0.65,anchor=north]{};
-			\addplot[no marks, black, -] expression[domain=0:6,samples=100]{1.333333333333333*x + 2.33333333333333333} node[pos=0.65,anchor=north]{};
+			%\addplot[no marks, black, -] expression[domain=0:6,samples=100]{1.333333333333333*x + 2.33333333333333333} node[pos=0.65,anchor=north]{};
 			%\node at (axis cs: 2.5,4.5) {(2.25,3.75)};
 			%\node at (axis cs: 6,2) {z};
 			%\draw[>=stealth] (axis cs:1,0) -- (axis cs:1,-6) node [pos=0.65,anchor=north]{};
@@ -194,7 +194,7 @@ Stephan Niendorf (6242417)}
 			\multicolumn{10}{l}{\text{unter den Nebenbedingungen}} && \\
 			\; & &-& x_{1} &-& x_{2} &-& x_{0} &\leq & -4 \\
 			\; &&& x_{1} &+& 2x_{2} &-& x_{0} &\leq & 2 \\
-			\; &&-&x_{1} &+& x_{2} &-& x_{0} &\leq & 1 \\
+			\; &&-&x_{1} &+& x_{2} &-& x_{0} &\leq & -1 \\
 			\multicolumn{8}{r}{$x_{0}, x_{1}, x_{2}$} \,&\geq &\, 0
 		\end{alignat*}
 		
@@ -204,7 +204,7 @@ Stephan Niendorf (6242417)}
 		\begin{alignat*}{5}
 			x_{3} \,&=&\, -4 \,&-&\, x_{1} \,&+&\, x_{2} \,&+&\, x_{0} \\
 			x_{4} \,&=&\, 2 \,&-&\, x_{1} \,&-&\, 2x_{2} \,&+&\, x_{0} \\
-			x_{5} \,&=&\, 1 \,&+&\, x_{1} \,&-&\, x_{2} \,&+&\, x_{0} \\ \cline{1 - 9}
+			x_{5} \,&=&\, -1 \,&+&\, x_{1} \,&-&\, x_{2} \,&+&\, x_{0} \\ \cline{1 - 9}
 			w &=& && && \,&-&\, x_{0}
 		\end{alignat*}
 		
@@ -220,9 +220,9 @@ Stephan Niendorf (6242417)}
 			x_{4} \,&=&&\, 2 - x_{1} - 2x_{2} + \left(4 + x_{1} - x_{2} + x_{3}\right) \\			
 			&=&&\, 2 - x_{1} - 2x_{2} + 4 + x_{1} - x_{2} + x_{3} \\
 			&=&&\, 6 - 3x_{2} + x_{3} \\
-			x_{5} \,&=&&\, 1 + x_{1} - x_{2} + \left(4 + x_{1} - x_{2} + x_{3}\right) \\
-			&=&&\, 1 + x_{1} - x_{2} + 4 + x_{1} - x_{2} + x_{3} \\
-			&=&&\, 5 + 2x_{1} - 2x_{2} + x_{3} \\
+			x_{5} \,&=&&\, -1 + x_{1} - x_{2} + \left(4 + x_{1} - x_{2} + x_{3}\right) \\
+			&=&&\, -1 + x_{1} - x_{2} + 4 + x_{1} - x_{2} + x_{3} \\
+			&=&&\, 3 + 2x_{1} - 2x_{2} + x_{3} \\
 			w \,&=&&\, -\left(4 + x_{1} - x_{2} + x_{3}\right) \\
 			&=&&\, -4 - x_{1} + x_{2} - x_{3} \\
 		\end{alignat*}
@@ -231,36 +231,36 @@ Stephan Niendorf (6242417)}
 		\begin{alignat*}{5}
 			x_{0} \,&=&\, 4 \,&+&\, x_{1} \,&-&\, x_{2} \,&+&\, x_{3} \\
 			x_{4} \,&=&\, 6 \,&& &-&\, 3x_{2} \,&+&\, x_{3} \\
-			x_{5} \,&=&\, 5 \,&+&\, 2x_{1} \,&-&\, 2x_{2} \,&+&\, x_{3} \\ \cline{1 - 9}
+			x_{5} \,&=&\, 3 \,&+&\, 2x_{1} \,&-&\, 2x_{2} \,&+&\, x_{3} \\ \cline{1 - 9}
 			w &=& -2 \,&-&\, x_{1} \,&+&\, x_{2} \,&-&\, x_{3}
 		\end{alignat*}
 		
 		\underline{1. Iteration}:
 		
 		Eingangsvariable: $x_{2}$ \\
-		Ausgangsvariable: $x_{4}$
+		Ausgangsvariable: $x_{5}$
 		
 		Es folgt
 		\begin{alignat*}{2}
-			3x_{2} &=&& 6 + x_{3} - x_{4} \\
-			x_{2} &=&& 2 + \frac{1}{3}x_{3} - \frac{1}{3}x_{4} \\
-			x_{0} &=&& 4 + x_{1} - \left(2 + \frac{1}{3}x_{3} - \frac{1}{3}x_{4}\right) + x_{3} \\
-			&=&& 4 + x_{1} - 2 - \frac{1}{3}x_{3} + \frac{1}{3}x_{4} + x_{3}\\
-			&=&& 2 + x_{1} + \frac{2}{3}x_{3} + \frac{1}{3}x_{4} \\
-			x_{5} &=&& 5 + 2x_{1} - 2\left(2 + \frac{1}{3}x_{3} - \frac{1}{3}x_{4}\right) + x_{3} \\
-			&=&& 5 + 2x_{1} - 4 - \frac{2}{3}x_{3} + \frac{2}{3}x_{4} + x_{3} \\
-			&=&& 1 + 2x_{1} + \frac{1}{3}x_{3} + \frac{2}{3}x_{4} \\
-			w &=&& -2 - x_{1} + \left(2 + \frac{1}{3}x_{3} - \frac{1}{3}x_{4}\right) - x_{3} \\
-			&=&& -2 - x_{1} + 2 + \frac{1}{3}x_{3} - \frac{1}{3}x_{4} + x_{3} \\
-			&=&& 0 - x_{1} + \frac{4}{3}x_{3} - \frac{1}{3}x_{4}
+			2x_{2} &=&& 3 + 2x_{1} + x_{3} - x_{5} \\
+			x_{2} &=&& \frac{3}{2} + x_{1} + \frac{1}{2}x_{3} - \frac{1}{2}x_{5} \\
+			x_{0} &=&& 4 + x_{1} - \left(\frac{3}{2} + x_{1} + \frac{1}{2}x_{3} - \frac{1}{2}x_{5}\right) + x_{3} \\
+			&=&& 4 + x_{1} - \frac{3}{2} - x_{1} - \frac{1}{2}x_{3} + \frac{1}{2}x_{5} + x_{3}\\
+			&=&& \frac{5}{2} + \frac{1}{2}x_{3} + \frac{1}{2}x_{5} \\
+			x_{4} &=&& 6 - 3\left(\frac{3}{2} + x_{1} + \frac{1}{2}x_{3} - \frac{1}{2}x_{5}\right) + x_{3} \\
+			&=&& 6 - \frac{9}{2} - 3x_{1} + \frac{3}{2}x_{3} - \frac{3}{2}x_{5} + x_{3}\\
+			&=&& \frac{3}{2} - 3x_{1} + \frac{5}{2}x_{3} - \frac{3}{2}x_{5} \\
+			w &=&& -2 - x_{1} + \left(\frac{3}{2} + x_{1} + \frac{1}{2}x_{3} - \frac{1}{2}x_{5}\right) - x_{3} \\
+			&=&& -2 - x_{1} + \frac{3}{2} + x_{1} + \frac{1}{2}x_{3} - \frac{1}{2}x_{5} - x_{3} \\
+			&=&& \frac{1}{2} - \frac{1}{2}x_{3} - \frac{1}{2}x_{5}
 		\end{alignat*}
 		
 		\underline{Ergebnis der 1. Iteration}:
 		\begin{alignat*}{5}
-			x_{2} \,&=&\, 2 \,&& &+&\, \frac{1}{3}x_{3} \,&-&\, \frac{1}{3}x_{4}  \\
-			x_{0} \,&=&\, 2 \,&+&\, x_{1} \,&+&\, \frac{2}{3}x_{3} \,&+&\, \frac{1}{3}x_{4} \\
-			x_{5} \,&=&\, 1 \,&+&\, 2x_{1} \,&+&\, \frac{1}{3}x_{3} \,&+&\, \frac{2}{3}x_{4} \\ \cline{1 - 9}
-			w &=& 0 \,&-&\, x_{1} \,&+&\, \frac{4}{3}x_{3} \,&-&\, \frac{1}{3}x_{4}
+			x_{2} \,&=&\, \frac{3}{2} \,&+&\, x_{1} \,&+&\, \frac{1}{2}x_{3} \,&-&\, \frac{1}{2}x_{5}  \\
+			x_{0} \,&=&\, \frac{5}{2} \,&& &+&\, \frac{1}{2}x_{3} \,&+&\, \frac{1}{2}x_{5} \\
+			x_{4} \,&=&\, \frac{3}{2} \,&-&\, 3x_{1} \,&+&\, \frac{5}{2}x_{3} \,&-&\, \frac{3}{2}x_{5} \\ \cline{1 - 9}
+			w &=& \frac{1}{2} \,&& &-&\, \frac{1}{2}x_{3} \,&-&\, \frac{1}{2}x_{5}
 		\end{alignat*}
 		
 		Da das Hilfsproblem keine optimale Lösung besitzt, besitzt das ursprüngliche Problem keine zulässige Lösung und ist damit unlösbar.

optimierung/Uebungsblatt4.tex

@@ -0,0 +1,547 @@
+\documentclass[10pt,a4paper,oneside,ngerman,numbers=noenddot]{scrartcl}
+\usepackage[T1]{fontenc}
+\usepackage[utf8]{inputenc}
+\usepackage[ngerman]{babel}
+\usepackage{amsmath}
+\usepackage{amsfonts}
+\usepackage{amssymb}
+\usepackage{paralist}
+\usepackage{gauss}
+\usepackage{pgfplots}
+\usepackage[locale=DE,exponent-product=\cdot,detect-all]{siunitx}
+\usepackage{tikz}
+\usetikzlibrary{matrix,fadings,calc,positioning,decorations.pathreplacing,arrows,decorations.markings}
+\usepackage{polynom}
+\polyset{style=C, div=:,vars=x}
+\pgfplotsset{compat=1.8}
+\pagenumbering{arabic}
+% ensures that paragraphs are separated by empty lines
+\parskip 12pt plus 1pt minus 1pt
+\parindent 0pt
+% define how the sections are rendered
+\def\thesection{\arabic{section})}
+\def\thesubsection{\alph{subsection})}
+\def\thesubsubsection{(\roman{subsubsection})}
+% some matrix magic
+\makeatletter
+\renewcommand*\env@matrix[1][*\c@MaxMatrixCols c]{%
+  \hskip -\arraycolsep
+  \let\@ifnextchar\new@ifnextchar
+  \array{#1}}
+\makeatother
+
+\begin{document}
+\author{Jan Branitz (6326955), Jim Martens (6420323),\\
+Stephan Niendorf (6242417)}
+\title{Hausaufgaben zum 11. November}
+\maketitle
+\section{} %1
+	\subsection{} %a
+		\subsubsection{} %i
+			Regel vom größten Koeffizienten:
+			
+				\textbf{Aufgabe:} Lösen Sie das folgende LP-Problem mit dem Simplexverfahren:
+		\begin{alignat*}{3}
+			\text{maximiere}\; & 2x_{1} \,&+&\, x_{2} && \\
+			\multicolumn{6}{l}{\text{unter den Nebenbedingungen}} && \\
+			\;& x_{1} \,&+&\, x_{2} \,&\leq & 9 \\
+			\;& x_{1} \,&& &\leq & 2 \\
+			\;& &&\, x_{2} \,&\leq & 8 \\
+			\multicolumn{4}{r}{$x_{1}, x_{2}$} \,&\geq &\, 0
+		\end{alignat*}
+		
+		\textbf{Lösung.}
+		
+		\underline{Starttableau}:
+		\begin{alignat*}{4}
+			x_{3} \,&=&\, 9 \,&-&\, x_{1} \,&-&\, x_{2} \\
+			x_{4} \,&=&\, 2 \,&-&\, x_{1} && \\
+			x_{5} \,&=&\, 8 \,&& &-&\, x_{2} \\ \cline{1 - 7}
+			z &=& &&\, 2x_{1} \,&+&\, x_{2}
+		\end{alignat*}
+		
+		\underline{1. Iteration}:
+		
+		Eingangsvariable: $x_{1}$\\
+		Ausgangsvariable: $x_{4}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			x_{1} \,&=&&\, 2 - x_{4} \\
+			x_{3} \,&=&&\, 9 - \left(2 - x_{4}\right) - x_{2} \\
+			&=&&\, 9 - 2 + x_{4} - x_{2} \\
+			&=&&\, 7 - x_{2} + x_{4} \\
+			x_{5} \,&=&&\, 8 - x_{2} \\
+			z \,&=&&\, 2\left(2 - x_{4}\right) + x_{2} \\
+			&=&&\, 4 - 2x_{4} + x_{2} \\
+			&=&&\, 4 + x_{2} - 2x_{4}
+		\end{alignat*}
+		
+		\underline{Ergebnis der 1. Iteration}:
+		\begin{alignat*}{4}
+			x_{1} \,&=&\, 2 \,&& &-&\, x_{4} \\
+			x_{3} \,&=&\, 7 \,&-&\, x_{2} \,&+&\, x_{4} \\
+			x_{5} \,&=&\, 8 \,&-&\, x_{2} \,&& \\ \cline{1 - 7}
+			z &=& 4 \,&+&\, x_{2} \,&-&\, 2x_{4}
+		\end{alignat*}
+		
+		\underline{2. Iteration}:
+		
+		Eingangsvariable: $x_{2}$ \\
+		Ausgangsvariable: $x_{3}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			x_{2} \,&=&&\, 7 + x_{4} - x_{3} \\
+			x_{1} \,&=&&\, 2 - x_{4}\\
+			x_{5} \,&=&&\, 8 - \left(7 + x_{4} - x_{3}\right) \\
+			&=&&\, 8 - 7 - x_{4} + x_{3} \\
+			&=&&\, 1 - x_{4} + x_{3} \\
+			z \,&=&&\, 4 + \left(7 + x_{4} - x_{3}\right) - 2x_{4} \\
+			&=&&\, 4 + 7 + x_{4} - x_{3} - 2x_{4} \\
+			&=&&\, 11 - x_{4} - x_{3} 
+		\end{alignat*}
+		
+		\underline{Ergebnis der 2. Iteration}:
+		\begin{alignat*}{4}
+			x_{2} \,&=&\, 7 \,&+&\, x_{4} \,&-&\, x_{3} \\
+			x_{1} \,&=&\, 2 \,&-&\, x_{4} \,&& \\
+			x_{5} \,&=&\, 1 \,&-&\, x_{4} \,&+&\, x_{3} \\ \cline{1 - 7}
+			z &=& 11 \,&-&\, x_{4} \,&-&\, x_{3}
+		\end{alignat*}
+		Dieses Tableau liefert die optimale Lösung $x_{1} = 2, x_{2} = 7$ mit $z = 11$.
+		
+		\underline{Startlösung ("`zulässige Basislösung am Anfang"')}:
+		\[
+			x_{1} = 0, x_{2} = 0, x_{3} = 9, x_{4} = 2, x_{5} = 8 \text{ mit } z = 0
+		\]
+		\underline{Zulässige Basislösung nach der 1. Iteration}:
+		\[
+			x_{1} = 2, x_{2} = 0, x_{3} = 7, x_{4} = 0, x_{5} = 8 \text{ mit } z = 4
+		\]
+		\underline{Zulässige Basislösung nach der 2. Iteration}:
+		\[
+			x_{1} = 2, x_{2} = 7, x_{3} = 0, x_{4} = 0, x_{5} = 1 \text{ mit } z = 11
+		\]				
+				
+			Regel vom größten Zuwachs:
+			
+			\textbf{Aufgabe:} Lösen Sie das folgende LP-Problem mit dem Simplexverfahren:
+		\begin{alignat*}{3}
+			\text{maximiere}\; & 2x_{1} \,&+&\, x_{2} && \\
+			\multicolumn{6}{l}{\text{unter den Nebenbedingungen}} && \\
+			\;& x_{1} \,&+&\, x_{2} \,&\leq & 9 \\
+			\;& x_{1} \,&& &\leq & 2 \\
+			\;& &&\, x_{2} \,&\leq & 8 \\
+			\multicolumn{4}{r}{$x_{1}, x_{2}$} \,&\geq &\, 0
+		\end{alignat*}
+		
+		\textbf{Lösung.}
+		
+		\underline{Starttableau}:
+		\begin{alignat*}{4}
+			x_{3} \,&=&\, 9 \,&-&\, x_{1} \,&-&\, x_{2} \\
+			x_{4} \,&=&\, 2 \,&-&\, x_{1} && \\
+			x_{5} \,&=&\, 8 \,&& &-&\, x_{2} \\ \cline{1 - 7}
+			z &=& &&\, 2x_{1} \,&+&\, x_{2}
+		\end{alignat*}
+		
+		\underline{1. Iteration}:
+		
+		Eingangsvariable: $x_{2}$\\
+		Ausgangsvariable: $x_{5}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			x_{2} \,&=&&\, 8 - x_{5} \\
+			x_{3} \,&=&&\, 9 - x_{1} - \left(8 - x_{5}\right) \\
+			&=&&\, 9 - x_{1} - 8 + x_{5} \\
+			&=&&\, 1 - x_{1} + x_{5} \\
+			x_{4} \,&=&&\, 2 - x_{1} \\
+			z \,&=&&\, 2x_{1} + \left(8 - x_{5}\right) \\
+			&=&&\, 2x_{1} + 8 - x_{5} \\
+			&=&&\, 8 + 2x_{1} - x_{5}
+		\end{alignat*}
+		
+		\underline{Ergebnis der 1. Iteration}:
+		\begin{alignat*}{4}
+			x_{2} \,&=&\, 8 \,&& &-&\, x_{5} \\
+			x_{3} \,&=&\, 1 \,&-&\, x_{1} \,&+&\, x_{5} \\
+			x_{4} \,&=&\, 2 \,&-&\, x_{1} \,&& \\ \cline{1 - 7}
+			z &=& 8 \,&+&\, 2x_{1} \,&-&\, x_{5}
+		\end{alignat*}
+		
+		\underline{2. Iteration}:
+		
+		Eingangsvariable: $x_{1}$ \\
+		Ausgangsvariable: $x_{3}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			x_{1} \,&=&&\, 1 + x_{5} - x_{3} \\
+			x_{2} \,&=&&\, 8 - x_{5}\\
+			x_{4} \,&=&&\, 2 - \left(1 + x_{5} - x_{3}\right) \\
+			&=&&\, 2 - 1 - x_{5} + x_{3} \\
+			&=&&\, 1 - x_{5} + x_{3} \\
+			z \,&=&&\, 8 + 2\left(1 + x_{5} - x_{3}\right) - x_{5} \\
+			&=&&\, 8 + 2 + 2x_{5} - 2x_{3} - x_{5} \\
+			&=&&\, 10 + x_{5} - 2x_{3} 
+		\end{alignat*}
+		
+		\underline{Ergebnis der 2. Iteration}:
+		\begin{alignat*}{4}
+			x_{1} \,&=&\, 1 \,&+&\, x_{5} \,&-&\, x_{3} \\
+			x_{2} \,&=&\, 8 \,&-&\, x_{5} \,&& \\
+			x_{4} \,&=&\, 1 \,&-&\, x_{5} \,&+&\, x_{3} \\ \cline{1 - 7}
+			z &=& 10 \,&+&\, x_{5} \,&-&\, 2x_{3}
+		\end{alignat*}
+		
+		\underline{3. Iteration}:
+		
+		Eingangsvariable: $x_{5}$ \\
+		Ausgangsvariable: $x_{4}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			x_{5} \,&=&&\, 1 + x_{3} - x_{4} \\
+			x_{1} \,&=&&\, 1 + \left(1 + x_{3} - x_{4}\right) - x_{3} \\
+			&=&&\, 1 + 1 + x_{3} - x_{4} - x_{3} \\
+			&=&&\, 2 - x_{4} \\
+			x_{2} \,&=&&\, 8 - \left(1 + x_{3} - x_{4}\right) \\
+			&=&&\, 8 - 1 - x_{3} + x_{4} \\
+			&=&&\, 7 - x_{3} + x_{4} \\
+			z \,&=&&\, 10 + \left(1 + x_{3} - x_{4}\right) - 2x_{3} \\
+			&=&&\, 10 + 1 + x_{3} - x_{4} - 2x_{3} \\
+			&=&&\, 11 - x_{3} - x_{4} 
+		\end{alignat*}
+		
+		\underline{Ergebnis der 3. Iteration}:
+		\begin{alignat*}{4}
+			x_{5} \,&=&\, 1 \,&+&\, x_{3} \,&-&\, x_{4} \\
+			x_{1} \,&=&\, 2 \,&& &-&\, x_{4} \\
+			x_{2} \,&=&\, 7 \,&-&\, x_{3} \,&+&\, x_{4} \\ \cline{1 - 7}
+			z &=& 11 \,&-&\, x_{3} \,&-&\, x_{4}
+		\end{alignat*}
+		Dieses Tableau liefert die optimale Lösung $x_{1} = 2, x_{2} = 7$ mit $z = 11$.
+		
+		\underline{Startlösung ("`zulässige Basislösung am Anfang"')}:
+		\[
+			x_{1} = 0, x_{2} = 0, x_{3} = 9, x_{4} = 2, x_{5} = 8 \text{ mit } z = 0
+		\]
+		\underline{Zulässige Basislösung nach der 1. Iteration}:
+		\[
+			x_{1} = 0, x_{2} = 8, x_{3} = 1, x_{4} = 2, x_{5} = 0 \text{ mit } z = 8
+		\]
+		\underline{Zulässige Basislösung nach der 2. Iteration}:
+		\[
+			x_{1} = 1, x_{2} = 8, x_{3} = 0, x_{4} = 1, x_{5} = 0 \text{ mit } z = 10
+		\]
+		\underline{Zulässige Basislösung nach der 3. Iteration}:
+		\[
+			x_{1} = 2, x_{2} = 7, x_{3} = 0, x_{4} = 0, x_{5} = 1 \text{ mit } z = 11
+		\]
+		
+		Die Regel vom größten Koeffizienten schneidet besser ab und ist eine Iteration früher fertig.
+		\subsubsection{} %ii
+			
+			\begin{tikzpicture}[>=stealth]
+				\begin{axis}[
+					ymin=0,ymax=10,
+					x=1cm,
+					y=1cm,
+					axis x line=middle,
+					axis y line=middle,
+					axis line style=->,
+					xlabel={$x_{1}$},
+					ylabel={$x_{2}$},
+					xmin=0,xmax=4
+				]
+
+				\addplot[no marks, black, -] expression[domain=0:3,samples=100]{-1*x + 9} node[pos=0.65,anchor=north]{};
+				\addplot[no marks, black, -] expression[domain=0:3,samples=100]{8} node[pos=0.65,anchor=north]{};
+				\node at (axis cs: 0.25,8.25) {P};
+				\node at (axis cs: 1,8.25) {Q};
+				\node at (axis cs: 2.25,7.25) {R};
+				\node at (axis cs: 2.25,0.25) {S};
+				\node at (axis cs: 0.25,0.25) {T};
+				\draw[>=stealth] (axis cs:2,0) -- (axis cs:2,10) node [pos=0.65,anchor=north]{};
+				\end{axis}
+			\end{tikzpicture}
+			
+			Bei der Regel des größten Koeffizienten wurden die Eckpunkte in der Reihenfolge T, S und R durchlaufen. Bei der Regel des größten Zuwachses wurden die Eckpunkte in der Reihenfolge T, P, Q und R durchlaufen.
+	\subsection{} %b
+		\subsubsection{} %i
+			Regel vom größten Koeffizienten:
+			
+				\textbf{Aufgabe:} Lösen Sie das folgende LP-Problem mit dem Simplexverfahren:
+		\begin{alignat*}{3}
+			\text{maximiere}\; & x_{1} \,&+&\, 2x_{2} && \\
+			\multicolumn{6}{l}{\text{unter den Nebenbedingungen}} && \\
+			\;& x_{1} \,&+&\, 4x_{2} \,&\leq & 4 \\
+			\multicolumn{4}{r}{$x_{1}, x_{2}$} \,&\geq &\, 0
+		\end{alignat*}
+		
+		\textbf{Lösung.}
+		
+		\underline{Starttableau}:
+		\begin{alignat*}{4}
+			x_{3} \,&=&\, 4 \,&-&\, x_{1} \,&-&\, 4x_{2} \\ \cline{1 - 7}
+			z &=& &&\, x_{1} \,&+&\, 4x_{2}
+		\end{alignat*}
+		
+		\underline{1. Iteration}:
+		
+		Eingangsvariable: $x_{2}$\\
+		Ausgangsvariable: $x_{3}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			4x_{2} \,&=&&\, 4 - x_{1}  - x_{3} \\
+			x_{2} \,&=&&\, 1 - \frac{1}{4}x_{1} - \frac{1}{4}x_{3} \\
+			z \,&=&&\, x_{1} + 4\left(1 - \frac{1}{4}x_{1} - \frac{1}{4}x_{3}\right) \\
+			&=&&\, x_{1} + 4 - x_{1} - x_{3} \\
+			&=&&\, 4 - x_{3}
+		\end{alignat*}
+		
+		\underline{Ergebnis der 1. Iteration}:
+		\begin{alignat*}{4}
+			x_{2} \,&=&\, 1 \,&-&\, \frac{1}{4}x_{1} &-&\, \frac{1}{4}x_{3} \\ \cline{1 - 7}
+			z &=& 4 \,&& &-&\, x_{3}
+		\end{alignat*}
+		
+		Dieses Tableau liefert die optimale Lösung $x_{1} = 0, x_{2} = 1$ mit $z = 4$.
+		
+		\underline{Startlösung ("`zulässige Basislösung am Anfang"')}:
+		\[
+			x_{1} = 0, x_{2} = 0, x_{3} = 4 \text{ mit } z = 0
+		\]
+		\underline{Zulässige Basislösung nach der 1. Iteration}:
+		\[
+			x_{1} = 0, x_{2} = 1, x_{3} = 0 \text{ mit } z = 4
+		\]			
+				
+			Regel vom größten Zuwachs:
+			
+			\textbf{Aufgabe:} Lösen Sie das folgende LP-Problem mit dem Simplexverfahren:
+		\begin{alignat*}{3}
+			\text{maximiere}\; & x_{1} \,&+&\, 2x_{2} && \\
+			\multicolumn{6}{l}{\text{unter den Nebenbedingungen}} && \\
+			\;& x_{1} \,&+&\, 4x_{2} \,&\leq & 4 \\
+			\multicolumn{4}{r}{$x_{1}, x_{2}$} \,&\geq &\, 0
+		\end{alignat*}
+		
+		\textbf{Lösung.}
+		
+		\underline{Starttableau}:
+		\begin{alignat*}{4}
+			x_{3} \,&=&\, 4 \,&-&\, x_{1} \,&-&\, 4x_{2} \\ \cline{1 - 7}
+			z &=& &&\, x_{1} \,&+&\, 4x_{2}
+		\end{alignat*}
+		
+		\underline{1. Iteration}:
+		
+		Eingangsvariable: $x_{1}$\\
+		Ausgangsvariable: $x_{3}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			x_{1} \,&=&&\, 4 - 4x_{2}  - x_{3} \\
+			z \,&=&&\, \left(4 - 4x_{2}  - x_{3}\right) + 4x_{2} \\
+			&=&&\, 4 - 4x_{2}  - x_{3} + 4x_{2} \\
+			&=&&\, 4 - x_{3}
+		\end{alignat*}
+		
+		\underline{Ergebnis der 1. Iteration}:
+		\begin{alignat*}{4}
+			x_{1} \,&=&\, 4 \,&-&\, 4x_{2} \,&-&\, x_{3} \\ \cline{1 - 7}
+			z &=& 4 \,&& &-&\, x_{3}
+		\end{alignat*}
+		
+		Dieses Tableau liefert die optimale Lösung $x_{1} = 4, x_{2} = 0$ mit $z = 4$.
+		
+		\underline{Startlösung ("`zulässige Basislösung am Anfang"')}:
+		\[
+			x_{1} = 0, x_{2} = 0, x_{3} = 4 \text{ mit } z = 0
+		\]
+		\underline{Zulässige Basislösung nach der 1. Iteration}:
+		\[
+			x_{1} = 4, x_{2} = 0, x_{3} = 0 \text{ mit } z = 4
+		\]
+		
+		Beide Regeln sind nach der gleichen Anzahl Iterationen fertig, womit es keine bessere Regel gibt.		
+		
+		\subsubsection{} %ii
+		
+			\begin{tikzpicture}[>=stealth]
+				\begin{axis}[
+					ymin=0,ymax=2,
+					x=1cm,
+					y=1cm,
+					axis x line=middle,
+					axis y line=middle,
+					axis line style=->,
+					xlabel={$x_{1}$},
+					ylabel={$x_{2}$},
+					xmin=0,xmax=5
+				]
+
+				\addplot[no marks, black, -] expression[domain=0:4,samples=100]{-0.25*x + 1} node[pos=0.65,anchor=north]{};
+				%\addplot[no marks, black, -] expression[domain=0:3,samples=100]{8} node[pos=0.65,anchor=north]{};
+				\node at (axis cs: 0.25,1.25) {P};
+				\node at (axis cs: 4.25,0.25) {Q};
+				\node at (axis cs: 0.25,0.25) {R};
+				\end{axis}
+			\end{tikzpicture}
+			
+			Bei der Regel mit dem größten Koeffizienten wurden die Eckpunkte in der Reihenfolge R und P durchlaufen. Bei der Regel mit dem größten Zuwachs wurden die Eckpunkte in der Reihenfolge R und Q durchlaufen.
+\section{} %2
+		
+		\textbf{Aufgabe:} Lösen Sie das folgende LP-Problem mit dem Simplexverfahren:
+		\begin{alignat*}{4}
+			\text{maximiere}\; & 8x_{1} \,&-&\, x_{2} \,&+&\, 2x_{3} && \\
+			\multicolumn{8}{l}{\text{unter den Nebenbedingungen}} && \\
+			\;& x_{1} \,&& && &\leq & 2 \\
+			\;& 2x_{1} \,&+&\, 3x_{2} \,&-&\, x_{3} \,&\leq & 4 \\
+			\;& 3x_{1} \,&-&\, 4x_{2} \,&+&\, 2x_{3} \,&\leq & 6 \\
+			\multicolumn{6}{r}{$x_{1}, x_{2}, x_{3}$} \,&\geq &\, 0
+		\end{alignat*}
+		
+		\textbf{Lösung.}
+		
+		\underline{Starttableau}:
+		\begin{alignat*}{5}
+			x_{4} \,&=&\, 2 \,&-&\, x_{1} && && \\
+			x_{5} \,&=&\, 4 \,&-&\, 2x_{1} \,&-&\, 3x_{2} \,&+&\, x_{3} \\
+			x_{6} \,&=&\, 6 \,&-&\, 3x_{1} \,&+&\, 4x_{2} \,&-&\, 2x_{3} \\ \cline{1 - 9}
+			z &=& &&\, 8x_{1} \,&-&\, x_{2} \,&+&\, 2x_{3}
+		\end{alignat*}
+		
+		\underline{1. Iteration}:
+		
+		Eingangsvariable: $x_{1}$\\
+		Ausgangsvariable: $x_{4}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			x_{1} \,&=&&\, 2 - x_{4} \\
+			x_{5} \,&=&&\, 4 - 2\left(2 - x_{4}\right) - 3x_{2} + x_{3} \\
+			&=&&\, 4 - 4 + 2x_{4} - 3x_{2} + x_{3} \\
+			&=&&\, - 3x_{2} + x_{3} + 2x_{4} \\
+			x_{6} \,&=&&\, 6 - 3\left(2 - x_{4}\right) + 4x_{2} - 2x_{3} \\
+			&=&&\, 6 - 6 + 3x_{4} + 4x_{2} - 2x_{3} \\
+			&=&&\, 4x_{2} - 2x_{3} + 3x_{4} \\
+			z \,&=&&\, 8\left(2 - x_{4}\right) - x_{2} + 2x_{3} \\
+			&=&&\, 16 - 8x_{4} - x_{2} + 2x_{3} \\
+			&=&&\, 16 - x_{2} + 2x_{3} - 8x_{4}
+		\end{alignat*}
+		
+		\underline{Ergebnis der 1. Iteration}:
+		\begin{alignat*}{5}
+			x_{1} \,&=&\, 2 \,&&  && &-&\, x_{4} \\
+			x_{5} \,&=&\, 0 \,&-&\, 3x_{2} \,&+&\, x_{3} \,&+&\, 2x_{4} \\
+			x_{6} \,&=&\, 0 \,&+&\, 4x_{2} \,&-&\, 2x_{3} \,&+&\, 3x_{4} \\ \cline{1 - 9}
+			z &=& 16 \,&-&\, x_{2} \,&+&\, 2x_{3} \,&-&\, 8x_{4}
+		\end{alignat*}
+		
+		\underline{2. Iteration}:
+		
+		Eingangsvariable: $x_{3}$ \\
+		Ausgangsvariable: $x_{6}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			2x_{3} \,&=&&\, 4x_{2} + 3x_{4} - x_{6} \\
+			x_{3} \,&=&&\, 2x_{2} + \frac{3}{2}x_{4} - \frac{1}{2}x_{6} \\
+			x_{1} \,&=&&\, 2 - x_{4}\\
+			x_{5} \,&=&&\, - 3x_{2} + \left(2x_{2} + \frac{3}{2}x_{4} - \frac{1}{2}x_{6}\right) + 2x_{4} \\
+			&=&&\, - 3x_{2} + 2x_{2} + \frac{3}{2}x_{4} - \frac{1}{2}x_{6} + 2x_{4} \\
+			&=&&\, - x_{2} + \frac{7}{2}x_{4} - \frac{1}{2}x_{6} \\
+			z \,&=&&\, 16 - x_{2} + 2\left(2x_{2} + \frac{3}{2}x_{4} - \frac{1}{2}x_{6}\right) - 8x_{4} \\
+			&=&&\, 16 - x_{2} + 4x_{2} + 3x_{4} - x_{6} - 8x_{4} \\
+			&=&&\, 16 + 3x_{2} - 5x_{4} - x_{6} 
+		\end{alignat*}
+		
+		\underline{Ergebnis der 2. Iteration}:
+		\begin{alignat*}{5}
+			x_{3} \,&=&\, 0 \,&+&\, 2x_{2} \,&+&\, \frac{3}{2}x_{4} \,&-&\, \frac{1}{2}x_{6} \\
+			x_{1} \,&=&\, 2 \,&& &-&\, x_{4} && \\
+			x_{5} \,&=&\, 0 \,&-&\, x_{2} \,&+&\, \frac{7}{2}x_{4} \,&-&\, \frac{1}{2}x_{6} \\ \cline{1 - 9}
+			z &=& 16 \,&+&\, 3x_{2} \,&-&\, 5x_{4} \,&-&\, x_{6}
+		\end{alignat*}
+		
+		\underline{3. Iteration}:
+		
+		Eingangsvariable: $x_{2}$ \\
+		Ausgangsvariable: $x_{5}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			x_{2} \,&=&&\, \frac{7}{2}x_{4} - \frac{1}{2}x_{6} - x_{5} \\
+			x_{3} \,&=&&\, 2\left(\frac{7}{2}x_{4} - \frac{1}{2}x_{6} - x_{5}\right) + \frac{3}{2}x_{4} - \frac{1}{2}x_{6} \\
+			&=&&\, 7x_{4} - x_{6} - 2x_{5} + \frac{3}{2}x_{4} - \frac{1}{2}x_{6} \\
+			&=&&\, \frac{17}{2}x_{4} - \frac{3}{2}x_{6} - 2x_{5} \\
+			x_{1} \,&=&&\, 2 - x_{4} \\
+			z \,&=&&\, 16 + 3\left(\frac{7}{2}x_{4} - \frac{1}{2}x_{6} - x_{5}\right) - 5x_{4} - x_{6}  \\
+			&=&&\, 16 + \frac{21}{2}x_{4} - \frac{3}{2}x_{6} - 3x_{5} - 5x_{4} - x_{6} \\
+			&=&&\, 16 + \frac{11}{2}x_{4} - \frac{5}{2}x_{6} - 3x_{5} 
+		\end{alignat*}
+		
+		\underline{Ergebnis der 3. Iteration}:
+		\begin{alignat*}{5}
+			x_{2} \,&=&\, 0 \,&+&\, \frac{7}{2}x_{4} \,&-&\, \frac{1}{2}x_{6} \,&-&\, x_{5} \\
+			x_{3} \,&=&\, 0 \,&+&\, \frac{17}{2}x_{4} \,&-&\, \frac{3}{2}x_{6} \,&-&\, 2x_{5} \\
+			x_{1} \,&=&\, 2 \,&-&\, x_{4} && && \\ \cline{1 - 9}
+			z &=& 16 \,&+&\, \frac{11}{2}x_{4} \,&-&\, \frac{5}{2}x_{6} \,&-&\, 3x_{5}
+		\end{alignat*}
+		
+		\underline{4. Iteration}:
+		
+		Eingangsvariable: $x_{4}$ \\
+		Ausgangsvariable: $x_{1}$
+		
+		Es folgt
+		\begin{alignat*}{2}
+			x_{4} \,&=&&\, 2 - x_{1} \\
+			x_{2} \,&=&&\, \frac{7}{2}\left(2 - x_{1}\right) - \frac{1}{2}x_{6} - x_{5} \\
+			&=&&\, 7 - \frac{7}{2}x_{1} - \frac{1}{2}x_{6} - x_{5} \\
+			&=&&\, 7 - \frac{1}{2}x_{6} - x_{5} - \frac{7}{2}x_{1} \\
+			x_{3} \,&=&&\, \frac{17}{2}\left(2 - x_{1}\right) - \frac{3}{2}x_{6} - 2x_{5} \\
+			&=&&\, 17 - \frac{17}{2}x_{1} - \frac{3}{2}x_{6} - 2x_{5} \\
+			&=&&\, 17 - \frac{3}{2}x_{6} - 2x_{5} - \frac{17}{2}x_{1} \\
+			z \,&=&&\, 16 + \frac{11}{2}\left(2 - x_{1}\right) - \frac{5}{2}x_{6} - 3x_{5}  \\
+			&=&&\, 16 + 11 - \frac{11}{2}x_{1} - \frac{5}{2}x_{6} - 3x_{5} \\
+			&=&&\, 27 - \frac{5}{2}x_{6} - 3x_{5}  - \frac{11}{2}x_{1}
+		\end{alignat*}
+		
+		\underline{Ergebnis der 4. Iteration}:
+		\begin{alignat*}{5}
+			x_{4} \,&=&\, 2 \,&& && &-&\, x_{1} \\
+			x_{2} \,&=&\, 7 \,&-&\, \frac{1}{2}x_{6} \,&-&\, x_{5} \,&-&\, \frac{7}{2}x_{1} \\
+			x_{3} \,&=&\, 17 \,&-&\, \frac{3}{2}x_{6} \,&-&\, 2x_{5} \,&-&\, \frac{17}{2}x_{1} \\ \cline{1 - 9}
+			z &=& 27 \,&-&\, \frac{5}{2}x_{6} \,&-&\, 3x_{5} \,&-&\, \frac{11}{2}x_{1}
+		\end{alignat*}
+		Dieses Tableau liefert die optimale Lösung $x_{1} = 0, x_{2} = 7, x_{3} = 17$ mit $z = 27$.
+		
+		\underline{Startlösung ("`zulässige Basislösung am Anfang"')}:
+		\[
+			x_{1} = 0, x_{2} = 0, x_{3} = 0, x_{4} = 2, x_{5} = 4, x_{6} = 6  \text{ mit } z = 0
+		\]
+		\underline{Zulässige Basislösung nach der 1. Iteration}:
+		\[
+			x_{1} = 2, x_{2} = 0, x_{3} = 0, x_{4} = 0, x_{5} = 0, x_{6} = 0 \text{ mit } z = 16
+		\]
+		\underline{Zulässige Basislösung nach der 2. Iteration}:
+		\[
+			x_{1} = 2, x_{2} = 0, x_{3} = 0, x_{4} = 0, x_{5} = 0, x_{6} = 0 \text{ mit } z = 16
+		\]
+		\underline{Zulässige Basislösung nach der 3. Iteration}:
+		\[
+			x_{1} = 2, x_{2} = 0, x_{3} = 0, x_{4} = 0, x_{5} = 0, x_{6} = 0 \text{ mit } z = 16
+		\]
+		\underline{Zulässige Basislösung nach der 4. Iteration}:
+		\[
+			x_{1} = 0, x_{2} = 7, x_{3} = 17, x_{4} = 2, x_{5} = 0, x_{6} = 0 \text{ mit } z = 27
+		\]
+		Die erste Iteration ist kein degenerierter Schritt. Aber die zweite und dritte Iteration sind degenerierte Schritte, da sich die zulässige Basislösung nicht geändert hat. Die vierte Iteration ist kein degenerierter Schritt.
+
+\end{document}

se3/blatt1.rkt

@@ -2,7 +2,7 @@
 
 #|
 SE 3 Funktional Blatt 1
-Abgebende: Jim 2martens, 2noack, 0giebel
+Abgebende: Jim 2martens, Britta 2noack, Jan-Simon 0giesel
 |#
 
 ; 1.1