]> mj.ucw.cz Git - ga.git/blobdiff - 11-planar/slides/planar.tex
Slidy k planarite: bugfix
[ga.git] / 11-planar / slides / planar.tex
index 62cfe2a23bcb09f9d89c94ade7c11eb9dd889ad4..cce7431ec772e56e60526686e0568ab7976e2e59 100644 (file)
@@ -21,12 +21,14 @@ P
 \begin{itemize}
 
 \item
-Vrchol~$w$ je {\bf vnìj¹í,} pokud z~nìj vede zpìtná hrana do~je¹tì
-nenakreslené èásti grafu (\uv{nad $v$}), nebo pokud je akrtikulací,
-pod ní¾ je pøipojen podgraf obsahující takový vrchol.
+Vrchol~$w$ je {\bf externí,} pokud z~nìj vede zpìtná hrana do~je¹tì
+nenakreslené èásti grafu (\uv{nad $v$}), nebo pokud je artikulací,
+pod ní¾ je pøipojen podgraf obsahující takový vrchol. Ostatní vrcholy
+jsou {\bf interní.}
 
 \item
-Vrchol~$w$ je {\bf ¾ivý,} pokud z~nìj vede zpìtná hrana do~$v$.
+Vrchol~$w$ je {\bf ¾ivý,} pokud z~nìj vede zpìtná hrana do~$v$
+nebo pokud je pod ním pøipojen blok s~¾ivým vrcholem.
 
 \item
 Podobnì pro bloky (podle koøene) a zpìtné hrany.
@@ -41,8 +43,8 @@ Podobn
 V~ka¾dém ¾ivém vrcholu zpracováváme:
 \begin{enumerate}
 \item zpìtné hrany do~$v$
-\item podøízené ¾ivé vnitøní bloky
-\item podøízené ¾ivé vnìj¹í bloky
+\item podøízené ¾ivé interní bloky
+\item podøízené ¾ivé externí bloky
 \end{enumerate}
 
 ~
@@ -50,8 +52,8 @@ V~ka
 {\bf P2:}
 Vstoupíme-li do podøízeného bloku, vybereme si smìr:
 \begin{enumerate}
-\item k~¾ivému vnitønímu vrcholu
-\item k~¾ivému vnìj¹ímu vrcholu
+\item k~¾ivému internímu vrcholu
+\item k~¾ivému externímu vrcholu
 \end{enumerate}
 
 Pokud se tento smìr li¹í od~dosavadního, podøízený blok a v¹e pod ním
@@ -71,7 +73,7 @@ p
 \item<4-> Oznaèíme ¾ivý podgraf.
 \item Pro ka¾dého syna vrcholu~$v$ obcházíme hranici v~obou smìrech
       a kreslíme zpìtné hrany do~$v$. Øídíme se pravidly {\bf P1} a {\bf P2,}
-      za vnìj¹ím vrcholem se zastavíme.
+      za externím vrcholem se zastavíme.
 \item Zbývá-li nìjaká zpìtná hrana do~$v$ $\Rightarrow$ {\sc nerovinný.}
 
 \advance\leftskip by -2em