Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
path_length [2014/02/09 03:36] nikolaj old revision restored (2014/02/08 22:51) |
path_length [2014/03/21 11:11] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Path length ===== | ===== Path length ===== | ||
| ==== Function ==== | ==== Function ==== | ||
| - | | @#88DDEE: $V,E$ ... set | | + | | @#55CCEE: context | @#55CCEE: $V,E$ ... set | |
| - | | @#FFBB00: $ \mathrm{length}:\mathrm{Path}(V,E)\to\mathbb N $ | | + | | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{dom}\ \mathrm{length} = \mathrm{Path}(V,E) $ | |
| - | | @#FFBB00: $ \mathrm{length}(G)=|E| $ | | + | | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{length}(G):=|E| $ | |
| ==== Discussion ==== | ==== Discussion ==== | ||
| ==== Parents ==== | ==== Parents ==== | ||
| - | === Requirements === | + | === Context === |
| [[Path . graph theory]] | [[Path . graph theory]] | ||
