diff options
Diffstat (limited to 'other/other.tex')
| -rw-r--r-- | other/other.tex | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/other/other.tex b/other/other.tex index 66a65c5..0b1922a 100644 --- a/other/other.tex +++ b/other/other.tex @@ -1,13 +1,5 @@ \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{Zeileneingabe} \lstinputlisting{other/split.cpp} |