changeset 36:7e55d78cd864

swap lr-ordering definition and visualization
author Markus Kaiser <markus.kaiser@in.tum.de>
date Fri, 25 May 2012 19:07:14 +0200
parents 588ef3fae336
children 06249832ffa1
files planarity/presentation.pdf planarity/presentation.tex
diffstat 2 files changed, 17 insertions(+), 17 deletions(-) [+]
line wrap: on
line diff
Binary file planarity/presentation.pdf has changed
--- a/planarity/presentation.tex	Fri May 25 19:04:37 2012 +0200
+++ b/planarity/presentation.tex	Fri May 25 19:07:14 2012 +0200
@@ -117,7 +117,7 @@
 		\begin{column}{.5\textwidth}
 \begin{figure}
 \begin{tikzpicture}[auto]
-	\useasboundingbox (-2, 0) rectangle (7,7j);
+	\useasboundingbox (-2, 0) rectangle (7,7);
 
     \foreach \pos/\name in {{(0,0)/a}, {(0,1.5)/b}, {(2,0)/c},{(2,1.5)/d},
                             {(-2,2.5)/e},
@@ -533,22 +533,6 @@
 \end{frame}
 
 \begin{frame}
-	\frametitle{Verschachtelung}
-	
-	\begin{definition}
-		Seien \alert{$e_1^L,\ldots,e_l^L$} die linken ausgehenden Baumkanten und \alert{$e_1^R,\ldots,e_r^R$} die rechten ausgehenden Baumkanten eines Knotens $v$ und $u$ sein Elternknoten. Dann ist die \alert{LR-Ordnung} im Uhrzeigersinn
-		\begin{align*}
-			&(u,v),\\
-			&L(e_l^L),e_l^L,R(e_l^L),\ldots,R(e_1^L),\\
-			&L(e_1^R),\ldots,L(e_r^R),e_r^R,R(e_r^R)
-		\end{align*}
-		Dabei ist \alert{$e_1$} außerhalb von \alert{$e_2$} usw.
-	\end{definition}
-
-	\alert{$L(e)$} bezeichnet die linken eingehenden Rückwärtskanten deren Kreise sich $e$ teilen.
-\end{frame}
-
-\begin{frame}
 	\frametitle{Verschachtelung}		
 	\begin{columns}[T]
 		\begin{column}{.5\textwidth}
@@ -605,6 +589,22 @@
 \end{frame}
 
 \begin{frame}
+	\frametitle{Verschachtelung}
+	
+	\begin{definition}
+		Seien \alert{$e_1^L,\ldots,e_l^L$} die linken ausgehenden Baumkanten und \alert{$e_1^R,\ldots,e_r^R$} die rechten ausgehenden Baumkanten eines Knotens $v$ und $u$ sein Elternknoten. Dann ist die \alert{LR-Ordnung} im Uhrzeigersinn
+		\begin{align*}
+			&(u,v),\\
+			&L(e_l^L),e_l^L,R(e_l^L),\ldots,R(e_1^L),\\
+			&L(e_1^R),\ldots,L(e_r^R),e_r^R,R(e_r^R)
+		\end{align*}
+		Dabei ist \alert{$e_1$} außerhalb von \alert{$e_2$} usw.
+	\end{definition}
+
+	\alert{$L(e)$} bezeichnet die linken eingehenden Rückwärtskanten deren Kreise sich $e$ teilen.
+\end{frame}
+
+\begin{frame}
 	\frametitle{Planarisierung}
 	
 	\begin{block}{Lemma}