1 files changed, 46 insertions, 22 deletions

diff --git a/content/datastructures/datastructures.tex b/content/datastructures/datastructures.tex
index c9f3d2a..38d63d9 100644
--- a/content/datastructures/datastructures.tex
+++ b/content/datastructures/datastructures.tex
@@ -10,7 +10,7 @@
 	
 	\subsubsection{Lazy Propagation}
 	Assignment modifications, sum queries \\
-	\method{lower\_bound}{erster Index in $[l, r)$ $\geq$ x (erfordert max-combine)}{\log(n)}
+	\method{binary\_search}{kleinstes $x$ in $[l, r]$ mit $f(\text{query}(l, x))$ (monoton in $x$)}{\log(n)}
 	\sourcecode{datastructures/lazyPropagation.cpp}
 \end{algorithm}
 
@@ -20,6 +20,8 @@
 		\method{kth}{sort $[l, r)[k]$}{\log(\Sigma)}
 		\method{countSmaller}{Anzahl elemente in $[l, r)$ kleiner als $k$}{\log(\Sigma)}
 	\end{methods}
+	$\Sigma$ ist die Gr\"o\ss e des Eingabebereichs, d.h.
+	$\mathit{max} - \mathit{min}$.
 	\sourcecode{datastructures/waveletTree.cpp}
 \end{algorithm}
 \columnbreak
@@ -27,15 +29,15 @@
 \begin{algorithm}{Fenwick Tree}
 	\begin{methods}
 		\method{init}{baut den Baum auf}{n\*\log(n)}
-		\method{prefix\_sum}{summe von $[0, i]$}{\log(n)}
+		\method{prefix\_sum}{summe von $[0, i)$}{\log(n)}
 		\method{update}{addiert ein Delta zu einem Element}{\log(n)}
 	\end{methods}
 	\sourcecode{datastructures/fenwickTree.cpp}
 	
 	\begin{methods}
 		\method{init}{baut den Baum auf}{n\*\log(n)}
-		\method{prefix\_sum}{summe von [$0, i]$}{\log(n)}
-		\method{update}{addiert ein Delta zu allen Elementen $[l, r)$. $l\leq r$!}{\log(n)}
+		\method{prefix\_sum}{summe von $[0, i)$}{\log(n)}
+		\method{update}{addiert ein Delta zu allen Elementen $[l, r)$}{\log(n)}
 	\end{methods}
 	\sourcecode{datastructures/fenwickTree2.cpp}
 \end{algorithm}
@@ -56,7 +58,7 @@
 \begin{algorithm}{Range Minimum Query}
 	\begin{methods}
 		\method{init}{baut Struktur auf}{n\*\log(n)}
-		\method{queryIdempotent}{Index des Minimums in $[l, r)$. $l<r$!}{1}
+		\method{query}{Index des Minimums in $[l, r)$}{1}
 	\end{methods}
 	\begin{itemize}
 		\item \code{better}-Funktion muss idempotent sein!
@@ -64,11 +66,19 @@
 	\sourcecode{datastructures/sparseTable.cpp}
 \end{algorithm}
 
+\begin{algorithm}[optional]{Range Aggregate Query}
+	\begin{methods}
+		\method{init}{baut Struktur auf}{n\*\log(n)}
+		\method{query}{Aggregat über $[l,r)$}{1}
+	\end{methods}
+	\sourcecode{datastructures/sparseTableDisjoint.cpp}
+\end{algorithm}
+
 \begin{algorithm}{STL-Bitset}
 	\sourcecode{datastructures/bitset.cpp}
 \end{algorithm}
 
-\begin{algorithm}{Link-Cut-Tree}
+\begin{algorithm}{Link/Cut Tree}
 	\begin{methods}
 		\method{LCT}{baut Wald auf}{n}
 		\method{connected}{prüft ob zwei Knoten im selben Baum liegen}{\log(n)}
@@ -80,31 +90,45 @@
 	\end{methods}
 	\sourcecode{datastructures/LCT.cpp}
 \end{algorithm}
-\clearpage
+\columnbreak
 
-\begin{algorithm}{Lichao}
-    \sourcecode{datastructures/lichao.cpp}
+\begin{algorithm}{Lower Envelope (Convex Hull Optimization)}
+	Um aus einem Lower Envelope einen Upper Envelope zu machen (oder
+	umgekehrt), einfach beim Einfügen der Geraden $m$ und $b$ negieren.
+	\subsubsection{Monotonic}
+	\begin{methods}
+		\method{add}{add line $mx + b$, $m$ is decreasing}{1}
+		\method{query}{minimum value at $x$, $x$ is increasing}{1}
+	\end{methods}
+	\sourcecode{datastructures/monotonicConvexHull.cpp}
+	\subsubsection{Dynamic}
+	\begin{methods}
+		\method{add}{add line $mx + b$}{\log(n)}
+		\method{query}{minimum value at $x$}{\log(n)}
+	\end{methods}
+	\sourcecode{datastructures/dynamicConvexHull.cpp}
+	\subsubsection{Li Chao Tree}
+	Every pair of functions has at most one intersection.
+
+	\begin{methods}
+		\method{insert}{add function}{\log(|xs|)}
+		\method{query}{minimum value at $x$, $x \in xs$}{\log(|xs|)}
+	\end{methods}
+	\sourcecode{datastructures/lichao.cpp}
 \end{algorithm}
 
 \begin{algorithm}{Policy Based Data Structures}
-    \textbf{Wichtig:} Verwende \code{p.swap(p2)} anstatt \code{swap(p, p2)}!
-	\sourcecode{datastructures/stlPriorityQueue.cpp}
-	\columnbreak
 	\sourcecode{datastructures/pbds.cpp}
 \end{algorithm}
 
-\begin{algorithm}{Lower/Upper Envelope (Convex Hull Optimization)}
-	Um aus einem lower envelope einen upper envelope zu machen (oder umgekehrt), einfach beim Einfügen der Geraden $m$ und $b$ negieren.
-	\sourcecode{datastructures/monotonicConvexHull.cpp}
-	\sourcecode{datastructures/dynamicConvexHull.cpp}
-\end{algorithm}
-
 \begin{algorithm}{Union-Find}
 	\begin{methods}
-		\method{init}{legt $n$ einzelne Unions an}{n}
-		\method{findSet}{findet den Repräsentanten}{\log(n)}
-		\method{unionSets}{vereint 2 Mengen}{\log(n)}
-		\method{m\*findSet + n\*unionSets}{Folge von Befehlen}{n+m\*\alpha(n)}
+		\method{UnionFind}{legt $n$ einzelne Elemente an}{n}
+		\method{find}{findet den Repräsentanten}{\log(n)}
+		\method{link}{vereint 2 Mengen}{\log(n)}
+		\method{size}{zählt Elemente in Menge, die $a$ enthält}{\log(n)}
+		\method{add}{fügt neues einzelnes Element ein}{1}
+		\method{m\*find + n\*link}{Folge von Befehlen}{n+m\*\alpha(n)}
 	\end{methods}
 	\sourcecode{datastructures/unionFind.cpp}
 \end{algorithm}