From d227db877365f6abbce9bd6fb30cade87be99268 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Martin=20Mare=C5=A1?= Date: Wed, 25 Feb 2026 15:07:57 +0100 Subject: [PATCH] Planar: Oprava definice plotu --- 11-planar/11-planar.tex | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 -- 2.47.3