\section{Sonstiges}

\subsection{2-SAT}
\begin{enumerate}
	\item Bedingungen in 2-CNF formulieren.
	\item Implikationsgraph bauen, $\left(a \vee b\right)$ wird zu $\neg a \Rightarrow b$ und $\neg b \Rightarrow a$.
	\item Finde die starken Zusammenhangskomponenten.
	\item Genau dann lösbar, wenn keine Variable mit ihrer Negation in einer SCC liegt.
\end{enumerate}

\subsection{Sortieren in Linearzeit}
Wenn die Eingabe aus einem kleinen Intervall $\left[0, n\right)$ stammt ist Bucketsort schneller.

\subsubsection{Bucketsort}
\lstinputlisting{sonstiges/bucketSort.cpp}

\subsubsection{LSD-Radixsort}
\lstinputlisting{sonstiges/radixsort.cpp}
