\input /home/pasky/school/fastex/lib.tex

\subchapter{Operace (lok�ln� �pravy) na grafech}{

	Definujeme si $G=(V,E)$.

	\list{
		\listItem{Odebr�n� hrany $e \in E$: $G \to G-e = (V, E \setminus \{e\})$.}

		\listItem{P�id�n� hrany $e \in \cn{V}{2}\setminus E$: $G \to G+e = (V, E \cup \{e\})$.}

		\listItem{Odebr�n� vrcholu $v \in V$: $G \to G-v = (V \setminus \{u\}, \{e \in E, v \notin e\})$.}

		\listItem{D�len� hrany $e = \{x,y\} \in E$:

		$$ G \to G \,\%\, e = (V \cup \{z\}, (E \setminus \{e\}) \cup \{\{x,z\},\{y,z\}\}) $$

		\shortdef{$G'$ je d�len� grafu $G$, pokud}{
		$G'$ dostaneme z $G$ postupn�m opakov�n�m operace d�len� hrany.
		Ekvivalentn� --- $G'$ dostaneme z $G$ nahrazen�m hran cestami d�lek $\ge 1$.}

		\example{
		\asciiart{
o ------ o     o ----- o
| \            | \
|   \     ---> o   o
|     \        |     \
o       o      o       o
}
		}
		}
	}

}

\bend
