diff --git a/verfahren.pdf b/verfahren.pdf index ac4401f..be6a7cb 100644 Binary files a/verfahren.pdf and b/verfahren.pdf differ diff --git a/verfahren.tex b/verfahren.tex index a2bd5d0..81dbef9 100644 --- a/verfahren.tex +++ b/verfahren.tex @@ -64,7 +64,7 @@ \subsubsection{Berechnung der Dominatoren $D(n)$ eines Knoten $n$} -\paragraph{Iterativer Fixpunkt-Algorithmus (Lengauer)} +\paragraph{Iterativer Fixpunkt-Algorithmus} \begin{itemize} \item mit $\mathcal{O}(\vert E\vert \vert N\vert ^2)$ \item Zunächst Überapproximation der Dominatorenmenge @@ -73,9 +73,9 @@ \item $n$ am besten in Tiefensuchereihenfolge durchlaufen \end{itemize} -\paragraph{Verfahren mit Spannendem Tiefenbaum $T$} +\paragraph{Lengauer-Tarjan-Algorithmus mit Spannendem Tiefenbaum $T$} \begin{itemize} - \item Besuch des KFG in Tiefensuchereihenfolge mit zugehöriger Nummerierung: \begin{itemize} + \item Besuch des KFG in Tiefensuchreihenfolge mit zugehöriger Nummerierung: \begin{itemize} \item \enquote{Spannende} Kanten gehen zu frisch nummerierten Knoten \item Rückschreitende Kanten gehen zu Vorgänger (kleinere DFS-Nummer) in $T$ \item Fortschreitende Kanten gehen zu Nachfolger (größere DFS-Nummer) in $T$