Marco/UE2-Verfahren
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Lengauer-Tarjan-Algorithmus korrekt bezeichnet

Browse Source
This commit is contained in:
Marco Ammon 2020-08-13 10:42:35 +02:00
parent f3016b18fb
commit e6b8e68b15
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
verfahren.pdf
View File

Binary file not shown.

6
verfahren.tex
View File

@ -64,7 +64,7 @@
\subsubsection{Berechnung der Dominatoren $D(n)$ eines Knoten $n$} \subsubsection{Berechnung der Dominatoren $D(n)$ eines Knoten $n$}
\paragraph{Iterativer Fixpunkt-Algorithmus (Lengauer)} \paragraph{Iterativer Fixpunkt-Algorithmus}
\begin{itemize} \begin{itemize}
\item mit $\mathcal{O}(\vert E\vert \vert N\vert ^2)$ \item mit $\mathcal{O}(\vert E\vert \vert N\vert ^2)$
\item Zunächst Überapproximation der Dominatorenmenge \item Zunächst Überapproximation der Dominatorenmenge
@ -73,9 +73,9 @@
\item $n$ am besten in Tiefensuchereihenfolge durchlaufen \item $n$ am besten in Tiefensuchereihenfolge durchlaufen
\end{itemize} \end{itemize}
\paragraph{Verfahren mit Spannendem Tiefenbaum $T$} \paragraph{Lengauer-Tarjan-Algorithmus mit Spannendem Tiefenbaum $T$}
\begin{itemize} \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 \enquote{Spannende} Kanten gehen zu frisch nummerierten Knoten
\item Rückschreitende Kanten gehen zu Vorgänger (kleinere DFS-Nummer) in $T$ \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$ \item Fortschreitende Kanten gehen zu Nachfolger (größere DFS-Nummer) in $T$