From 5884ca78ecba6074ed828a83fb39fc8a3d9b317f Mon Sep 17 00:00:00 2001
From: Paul Jungeblut <paul.jungeblut@gmail.com>
Date: Sat, 29 Oct 2016 13:13:39 +0200
Subject: Moving 2-SAT to graph section.

---
 other/other.tex | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'other')

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}
 
-- 
cgit v1.2.3