From 07a1c4f87dcccbfe2ca4fbbc100a07c9be801502 Mon Sep 17 00:00:00 2001
From: pjungeblut <paul.jungeblut@gmail.com>
Date: Thu, 30 Oct 2014 19:26:30 +0100
Subject: SCCS added, seperated from 2-SAT

---
 sonstiges/sonstiges.tex | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'sonstiges/sonstiges.tex')

diff --git a/sonstiges/sonstiges.tex b/sonstiges/sonstiges.tex
index 0befff3..09ea14c 100644
--- a/sonstiges/sonstiges.tex
+++ b/sonstiges/sonstiges.tex
@@ -1,4 +1,9 @@
 \section{Sonstiges}
 
 \subsection{2-SAT}
-\lstinputlisting{sonstiges/2sat.cpp}
\ No newline at end of file
+\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}
\ No newline at end of file
-- 
cgit v1.2.3

