diff options
Diffstat (limited to 'graph/graph.tex')
| -rw-r--r-- | graph/graph.tex | 7 |
1 files changed, 1 insertions, 6 deletions
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} |