diff options
| author | pjungeblut <paul.jungeblut@gmail.com> | 2014-10-30 19:26:30 +0100 |
|---|---|---|
| committer | pjungeblut <paul.jungeblut@gmail.com> | 2014-10-30 19:26:30 +0100 |
| commit | 07a1c4f87dcccbfe2ca4fbbc100a07c9be801502 (patch) | |
| tree | b69d372db88dadb7cb755ca4cdaccc7000d2c9c3 /sonstiges/sonstiges.tex | |
| parent | 0550627fade1c01d6b90907de198ca13d34db9d9 (diff) | |
SCCS added, seperated from 2-SAT
Diffstat (limited to 'sonstiges/sonstiges.tex')
| -rw-r--r-- | sonstiges/sonstiges.tex | 7 |
1 files changed, 6 insertions, 1 deletions
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 |