blob: 375dc6ba5d63fe6e3e419130fba1ef90934a22e2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
\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}
|
