From: Martin Mareš <mj@ucw.cz>
Date: Wed, 25 Feb 2026 14:07:57 +0000 (+0100)
Subject: Planar: Oprava definice plotu
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=refs%2Fheads%2Fmaster;p=ga.git

Planar: Oprava definice plotu
---

diff --git a/11-planar/11-planar.tex b/11-planar/11-planar.tex
index 97d4e00..6b37f6d 100644
--- a/11-planar/11-planar.tex
+++ b/11-planar/11-planar.tex
@@ -359,8 +359,10 @@ z~bloku~$B$.
 
 {\I Existence plotu.}
 Stačí se tedy omezit na situaci s~jediným blokem~$B$, v~němž leží vrcholy~$v$, $w$,
-$x$ i~$y$. Dokážeme nyní, že uvnitř bloku existuje {\I plot} -- cesta mezi~$x$
-a~$y$, jejíž zbývající vrcholy neleží na hranici bloku.
+$x$ i~$y$. Dokážeme nyní, že uvnitř bloku existuje {\I plot} -- cesta mezi
+vrcholem na \uv{levé hranici bloku} (cestě $vxw$ bez $v$ a~$w$) a vrcholem
+na \uv{pravé hranici bloku} (cestě $vyw$ bez $v$ a~$w$),
+jejíž zbývající vrcholy neleží na hranici bloku.
 
 Předpokládejme pro spor, že plot neexistuje. Před nakreslením zpětných hran
 vedoucích do~$v$ ještě blok~$B$ neexistoval a jeho hrany patřily do několika