Moving 2-SAT to graph section.

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}