Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
cycle_._graph_theory [2014/02/09 03:11] nikolaj |
cycle_._graph_theory [2014/03/21 11:11] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Cycle . graph theory ===== | ===== Cycle . graph theory ===== | ||
==== Set ==== | ==== Set ==== | ||
- | | @#88DDEE: $V,E$ ... set | | + | | @#55CCEE: context | @#55CCEE: $V,E$ ... set | |
- | | @#FFBB00: $\langle V,E,\psi\rangle \in \mathrm{it}(E,V) $ | | + | | @#FFBB00: definiendum | @#FFBB00: $\langle V,E,\psi\rangle \in \mathrm{it}(E,V) $ | |
- | | @#AAFFAA: $ \langle V,E,\psi\rangle $ ... path | | + | | @#AAFFAA: inclusion | @#AAFFAA: $ \langle V,E,\psi\rangle $ ... path | |
- | | @#55EE55: $ |V|\ge 3 $ | | + | | @#55EE55: postulate | @#55EE55: $ |V|\ge 3 $ | |
- | | @#DDDDDD: $ u,v\in V $ | | + | | @#DDDDDD: range | @#DDDDDD: $ u,v\in V $ | |
- | | @#DDDDDD: $ a$ ... sequence in $V,\ \forall i.\ a_{i+|V|}=a_i $ | | + | | @#DDDDDD: range | @#DDDDDD: $ a$ ... sequence in $V,\ \forall i.\ a_{i+|V|}=a_i $ | |
- | | @#DDDDDD: $ i\in\mathbb N$ | | + | | @#DDDDDD: range | @#DDDDDD: $ i\in\mathbb N$ | |
- | | @#55EE55: $ \exists a.\ \forall u,v.\ (\exists i.\ \{a_{i},a_{i+1}\}=\{u,v\}) \leftrightarrow (\{u,v\}\dots\mathrm{edge}) $ | | + | | @#55EE55: postulate | @#55EE55: $ \exists a.\ \forall u,v.\ (\exists i.\ \{a_{i},a_{i+1}\}=\{u,v\}) \leftrightarrow (\{u,v\}\dots\mathrm{edge}) $ | |
==== Discussion ==== | ==== Discussion ==== |