changeset 20:c05f8a619771

remove auslander parter
author Markus Kaiser <markus.kaiser@in.tum.de>
date Sun, 20 May 2012 21:06:50 +0200
parents 2ff6c9df7b7f
children d9adcede770c
files planarity/presentation.tex
diffstat 1 files changed, 0 insertions(+), 97 deletions(-) [+]
line wrap: on
line diff
--- a/planarity/presentation.tex	Sun May 20 21:05:47 2012 +0200
+++ b/planarity/presentation.tex	Sun May 20 21:06:50 2012 +0200
@@ -299,103 +299,6 @@
 \end{frame}
 
 \begin{frame}
-	\frametitle{Segmente}
-	\begin{columns}[T]
-		\begin{column}{.6\textwidth}
-			\begin{itemize}
-				\item Jede Kante eines Blocks ist Teil von mindestens einem Kreis
-				\item Kreise enthalten \alert{Segmente}
-				\begin{itemize}
-					\item Kanteninduzierte Teilgraphen
-					\item Mindestens zwei Aufhängungnen (\emph{attachments})
-				\end{itemize}
-				\item \alert{Kompatible} Segmente können auf der selben Facette gezeichnet werden.
-				\vspace{1.5em}
-				\item<2> Sehne (\emph{chord})
-				\item<3> Teilgraph als Segment
-			\end{itemize}
-		\end{column}
-		\begin{column}{.4\textwidth}	
-\begin{figure}
-\begin{tikzpicture}[auto, scale=0.8]
-    \foreach \pos/\name in {{(0,0)/a}, {(0,2)/b}, {(4,0)/c},{(4,2)/d},
-                            {(0,4)/e}, {(4,4)/f},
-                            {(0,6)/g}, {(0,8)/h},{(4,6)/i},{(4,8)/k},
-                            {(1.5,1)/l}, {(2.5,1)/m}, {(2,2)/n}}
-        \node[vertex] (\name) at \pos {};
-        
-    \foreach \source/ \dest in {a/b, a/c, c/d,
-                                b/e, d/f,
-                                e/g, g/h, h/k, k/i, i/f,
-                                g/k, h/f,
-                                l/m, m/n, n/l, a/l, m/d}
-        \path[edge] (\source) -- (\dest);        
-    
-    \foreach \vertex / \fr in {g/2, k/2, h/2, f/2,
-                               l/3, m/3, n/3, a/3, d/3
-                              }
-        \path<\fr> node[selected vertex] at (\vertex) {};
-        
-   \begin{pgfonlayer}{background}        
-   \foreach \source / \dest / \fr in {g/k/2, h/f/2,
-                                      l/m/3, m/n/3, n/l/3, a/l/3, m/d/3
-                                     }
-            \path<\fr>[selected edge] (\source) -- (\dest);
-   \end{pgfonlayer}  
-\end{tikzpicture}
-\end{figure}
-\vspace{1em}
-		\end{column}
-	\end{columns}	
-\end{frame}
-
-\begin{frame}
-	\frametitle{Kompatibilität}
-	\begin{Lemma}
-		Zwei Segmente sind genau dann \alert{kompatibel}, wenn ihre Aufhängungen nicht verflochten (\emph{interleaved}) sind.
-	\end{Lemma}
-	
-	\vspace{2em}
-	
-	\begin{theorem}<2>
-		Ein \alert{2-zusammenhängender} Graph mit Kreis $C$ ist planar genau dann wenn
-		\begin{itemize}
-			\item Der \alert{Verflechtungsgraph} der Segmente von C \alert{bipartit} ist
-			\item Für alle Segmente $P$ der Graph \alert{$P \cup C$ planar} ist
-		\end{itemize}
-	\end{theorem}
-\end{frame}
-
-\begin{frame}
-	\frametitle{Auslander-Parter}
-	\begin{block}{Algorithmus}
-		Rekursives Betrachten der Kreise und Teilgraphen mit drei Fällen:
-		\begin{itemize}
-			\item \textbf{Trivialer Fall} Der Graph $G$ ist ein einfacher Kreis $C$. Tritt nur am Anfang auf.
-			\item \textbf{Basisfall} Der Kreis $C$ enthält ein einziges Segment, das ein Pfad ist.
-			\item \textbf{Rekursionsfall} Ein Kreis mit mehreren Segmenten oder Subgraphen ist in $G$ enthalten. Anwendung des Theorems und rekursive Abarbeitung der Subgraphen.
-		\end{itemize}
-	\end{block}
-	
-	\vspace{0.5em}
-	\begin{itemize}
-		\item $\Oh(n)$ Rekursionen mit Verflechtungsgraphen in $\Oh(n^2)$\\
-		\item Gesamtkomplexität $\Oh(n^3)$
-	\end{itemize}
-\end{frame}
-
-\begin{frame}
-	\frametitle{LR-Algorithmus}
-	\begin{itemize}
-		\item Auslander-Parter global, schwer zu implementieren
-		\vspace{2em}
-		\item \alert{de Fraysseix-Ossona de Mendez-Rosenstiehl}
-		\item Vereinfachung durch \alert{kantenweises} Betrachten
-		\item Richtige Reihenfolge durch \alert{DFS}-Baum
-	\end{itemize}
-\end{frame}
-
-\begin{frame}
 	\frametitle{Tiefensuche}
 
 	\begin{columns}[T]