Moving 2-SAT to graph section.

2 files changed, 8 insertions, 8 deletions

diff --git a/graph/graph.tex b/graph/graph.tex
index 6b29b3c..f62d6a7 100644
--- a/graph/graph.tex
+++ b/graph/graph.tex
@@ -99,6 +99,14 @@ Gut bei sehr dicht besetzten Graphen.
 \subsection{Maximal Cardinatlity Bipartite Matching}\label{kuhn}
 \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}
+
 % \subsection{TSP}
 % \lstinputlisting{graph/TSP.cpp}
 
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}