Mercurial > latex
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
--- 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}