From cbc62f94c241b5567b1e1dfafad837710ed4961d Mon Sep 17 00:00:00 2001
From: Paul Jungeblut <paul.jungeblut@gmail.com>
Date: Wed, 14 Dec 2016 00:04:53 +0100
Subject: Adding 2-SAT code.

---
 graph/graph.tex | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'graph/graph.tex')

diff --git a/graph/graph.tex b/graph/graph.tex
index f62d6a7..3870dc3 100644
--- a/graph/graph.tex
+++ b/graph/graph.tex
@@ -100,12 +100,7 @@ Gut bei sehr dicht besetzten Graphen.
 \lstinputlisting{graph/maxCarBiMatch.cpp}
 
 \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}
+\lstinputlisting{graph/2sat.cpp}
 
 % \subsection{TSP}
 % \lstinputlisting{graph/TSP.cpp}
-- 
cgit v1.2.3

