\:$G$ bude znaèit koneèný {\I graf} na~vstupu algoritmu (podle potøeby buïto orientovaný
nebo neorientovaný; multigraf pouze tehdy, bude-li explicitnì øeèeno).
\:$V$ a $E$ budou mno¾iny {\I vrcholù} a {\I hran} grafu~$G$ (pøípadnì jiného grafu
- uvedeného v~zavorkách). Hranu z~vrcholu~$u$
+ uvedeného v~závorkách). Hranu z~vrcholu~$u$
do~vrcholu~$v$ budeme psát~$uv$, a» u¾ je orientovaná nebo~ne.
\:$n$ a $m$ bude {\I poèet vrcholù a hran,} tedy $n:=\vert V\vert$, $m:=\vert E\vert$.
\:Pro libovolnou mno¾inu $X$ vrcholù nebo hran bude $\overline X$ oznaèovat doplnìk