blob: 1a51ad9391d6e34e693cb9ed67797d00c323b4b6 (
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 \lstinline{bucketSort(vector<int> ..., n);} schneller.
\subsubsection{Bucketsort}
\lstinputlisting{sonstiges/bucketSort.cpp}
\subsubsection{LSD-Radixsort}
\lstinputlisting{sonstiges/radixsort.cpp}
|
