Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
path_length [2014/02/09 03:36] nikolaj old revision restored (2014/02/08 22:51) |
path_length [2014/02/09 03:38] nikolaj |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| | @#88DDEE: $V,E$ ... set | | | @#88DDEE: $V,E$ ... set | | ||
| - | | @#FFBB00: $ \mathrm{length}:\mathrm{Path}(V,E)\to\mathbb N $ | | + | | @#FFBB00: $ \mathrm{dom}\ \mathrm{length} = \mathrm{Path}(V,E) $ | |
| | @#FFBB00: $ \mathrm{length}(G)=|E| $ | | | @#FFBB00: $ \mathrm{length}(G)=|E| $ | | ||
