|
|
| Line 1: |
Line 1: |
| [[Image:Flussordnung (Strahler).svg|thumb|right|350px|Diagram showing the Strahler stream order]]
| | The title of the writer is Jayson. Since I was eighteen I've been operating as a bookkeeper but quickly my spouse and I will start our own company. As a lady what she really likes is style and she's been performing it for fairly a while. Mississippi is where his home is.<br><br>Feel free to surf to my blog email psychic readings ([http://www.sirudang.com/siroo_Notice/2110 sirudang.com]) |
| In [[mathematics]], the '''Strahler number''' or '''Horton–Strahler number''' of a mathematical [[tree (graph theory)|tree]] is a numerical measure of its branching complexity.
| |
| | |
| These numbers were first developed in [[hydrology]] by {{harvs|first=Robert E.|last=Horton|authorlink=Robert E. Horton|year=1945|txt}} and {{harvs|first=Arthur Newell|last=Strahler|authorlink=Arthur Newell Strahler|year=1952|year2=1957|txt}}; in this application, they are referred to as the '''Strahler stream order''' and are used to define stream size based on a hierarchy of [[tributary|tributaries]]. They also arise in the analysis of [[L-system]]s and of hierarchical biological structures such as (biological) trees and animal respiratory and circulatory systems, in [[register allocation]] for [[compiler|compilation]] of [[high level programming language]]s and in the analysis of [[social network]]s. Alternative stream ordering systems have been developed by Shreve<ref>Shreve, R.L., 1966. Statistical law of stream numbers. Journal of Geology 74, 17–37.</ref><ref>Shreve, R.L., 1967. Infinite topologically random channel networks. Journal of Geology 75, 178–186.</ref> and Hodgkinson et al.<ref>Hodgkinson, J.H., McLoughlin, S. & Cox, M.E. 2006. The influence of structural grain on drainage in a metamorphic sub-catchment: Laceys Creek, southeast Queensland, Australia. Geomorphology, 81: 394-407.</ref>
| |
| | |
| ==Definition==
| |
| All trees in this context are [[directed graph]]s, oriented from the root towards the leaves; in other words, they are [[Arborescence (graph theory)|arborescences]]. The [[degree (graph theory)|degree]] of a node in a tree is just its number of children. One may assign a Strahler number to all nodes of a tree, in bottom-up order, as follows:
| |
| *If the node is a leaf (has no children), its Strahler number is one.
| |
| *If the node has one child with Strahler number ''i'', and all other children have Strahler numbers less than ''i'', then the Strahler number of the node is ''i'' again.
| |
| *If the node has two or more children with Strahler number ''i'', and no children with greater number, then the Strahler number of the node is ''i'' + 1.
| |
| The Strahler number of a tree is the number of its root node.
| |
| | |
| [[Algorithm]]ically, these numbers may be assigned by performing a [[depth-first search]] and assigning each node's number in [[postorder]].
| |
| The same numbers may also be generated via a pruning process in which the tree is simplified in a sequence of stages, where in each stage one removes all leaf nodes and all of the paths of degree-one nodes leading to leaves: the Strahler number of a node is the stage at which it would be removed by this process, and the Strahler number of a tree is the number of stages required to remove all of its nodes. Another equivalent definition of the Strahler number of a tree is that it is the height of the largest [[complete binary tree]] that can be [[graph homeomorphism|homeomorphically embedded]] into the given tree; the Strahler number of a node in a tree is similarly the height of the largest complete binary tree that can be embedded below that node.
| |
| | |
| Any node with Strahler number ''i'' must have at least two descendants with Strahler number ''i'' − 1, at least four descendants with Strahler number ''i'' − 2, etc., and at least 2<sup>''i'' − 1</sup> leaf descendants. Therefore, in a tree with ''n'' nodes, the largest possible Strahler number is log<sub>2</sub> ''n''. However, unless the tree forms a complete binary tree its Strahler number will be less than this bound. In an ''n''-node [[binary tree]], chosen [[random binary tree|uniformly at random among all possible binary trees]], the expected index of the root is with high probability very close to log<sub>4</sub> ''n''.<ref>{{harvtxt|Devroye|Kruszewski|1995}}.</ref>
| |
| | |
| ==Applications==
| |
| ===River networks===
| |
| In the application of the Strahler stream order to hydrology, each segment of a stream or river within a river network is treated as a node in a tree, with the next segment downstream as its parent. When two '''first-order''' streams come together, they form a '''second-order''' stream. When two second-order streams come together, they form a '''third-order''' stream. Streams of lower order joining a higher order stream do not change the order of the higher stream. Thus, if a first-order stream joins a second-order stream, it remains a second-order stream. It is not until a second-order stream combines with another second-order stream that it becomes a third-order stream. As with mathematical trees, a segment with index ''i'' must be fed by at least 2<sup>''i'' − 1</sup> different tributaries of index 1. Shreve noted that Horton’s and Strahler’s Laws should be expected from any topologically random distribution. A later review of the relationships confirmed this argument, establishing that, from the properties the laws describe, no conclusion can be drawn to explain the structure or origin of the stream network.<ref>Kirchner, J.W., 1993. Statistical inevitability of Horton Laws and the apparent randomness of stream channel networks. Geology 21, 591–594.</ref> <ref>Hodgkinson, J.H., McLoughlin, S. & Cox, M.E. 2006. The influence of structural grain on drainage in a metamorphic sub-catchment: Laceys Creek, southeast Queensland, Australia. Geomorphology, 81: 394-407.</ref>
| |
| | |
| To qualify as a stream a hydrological feature must be either recurring or [[perennial stream|perennial]]. Recurring streams have water in the channel for at least part of the year. The index of a stream or river may range from 1 (a stream with no tributaries) to 12 (the most powerful river, the [[Amazon River|Amazon]], at its mouth). The [[Ohio River]] is of order eight and the [[Mississippi River]] is of order 10. Estimates are that 80% of the streams on the planet are first to third order [[headwater stream]]s.<ref name="urlStreamOrder-about.com">{{cite web
| |
| |url=http://geography.about.com/od/physicalgeography/a/streamorder.htm
| |
| |title=Stream Order - The Classification of Streams and Rivers
| |
| |format=|work=
| |
| |accessdate=2011-12-11
| |
| }}</ref>
| |
| | |
| If the bifurcation ratio of a river network is low, there is a higher chance of flooding, as the water will be concentrated in one channel rather than spread out, as a higher bifurcation ratio would indicate. The bifurcation ratio can also show which parts of a drainage basin is more likely to flood, comparatively, by looking at the separate ratios. Most British rivers have a bifurcation ratio of between 3 and 5.<ref>{{harvtxt|Waugh|2002}}.</ref>
| |
| | |
| [[Image:NetworkType.png|thumb|400px|Comparison of incorrect and correct conversion of water bodies to a tree network]]
| |
| {{harvtxt|Gleyzer|Denisyuk|Rimmer|Salinger|2004}} describe how to compute Strahler stream order values in a [[Geographic information system|GIS]] application. This algorithm is implemented by [http://www.rivex.co.uk RivEX], an ESRI [[Arcgis|ArcGIS]] 10.2 tool. The input to their algorithm is a network of the centre lines of the bodies of water, represented as arcs (or edges) joined at nodes. Lake boundaries and river banks should not be used as arcs, as these will generally form a non-tree network with an incorrect topology.
| |
| | |
| ===Other hierarchical systems===
| |
| The Strahler numbering may be applied in the statistical analysis of any hierarchical system, not just to rivers.
| |
| * {{harvtxt|Arenas|Danon|Díaz-Guilera|Gleiser|2004}} describe an application of the Horton–Strahler index in the analysis of [[social network]]s.
| |
| *{{harvtxt|Ehrenfeucht|Rozenberg|Vermeir|1981}} applied a variant of Strahler numbering (starting with zero at the leaves instead of one), which they called '''tree-rank''', to the analysis of [[L-system]]s.
| |
| *Strahler numbering has also been applied to biological hierarchies such as the branching structures of trees<ref>{{harvtxt|Borchert|Slade|1981}}</ref> and of animal respiratory and circulatory systems.<ref>{{harvtxt|Horsfield|1976}}.</ref>
| |
| | |
| ===Register allocation===
| |
| When translating a [[high-level programming language]] to [[assembly language]] the minimum number of [[register allocation|registers]] required to evaluate an expression tree is exactly its Strahler number. In this context, the Strahler number may also be called the '''register number'''.<ref>{{harvtxt|Ershov|1958}}; {{harvtxt|Flajolet|Raoult|Vuillemin|1979}}.</ref>
| |
| | |
| For expression trees that require more registers than are available, the [[Sethi–Ullman algorithm]] may be used to translate an expression tree into a sequence of machine instructions that uses the registers as efficiently as possible, minimizing the number of times intermediate values are spilled from registers to main memory and the total number of instructions in the resulting compiled code.
| |
| | |
| ==Related parameters==
| |
| ===Bifurcation ratio===
| |
| Associated with the Strahler numbers of a tree are ''bifurcation ratios'', numbers describing how close to balanced a tree is. For each order ''i'' in a hierarchy, the ''i''th bifurcation ratio is
| |
| :<math>\frac{n_{i}}{n_{i+1}}</math>
| |
| where ''n<sub>i</sub>'' denotes the number of nodes with order ''i''.
| |
| | |
| The bifurcation ratio of an overall hierarchy may be taken by averaging the bifurcation ratios at different orders. In a complete binary tree, the bifurcation ratio will be 2, while other trees will have smaller bifurcation ratios.
| |
| | |
| ===Pathwidth===
| |
| The [[pathwidth]] of an arbitrary [[undirected graph]] ''G'' may be defined as the smallest number ''w'' such that there exists an [[interval graph]] ''H'' containing ''G'' as a subgraph, with the largest [[clique (graph theory)|clique]] in ''H'' having ''w'' + 1 vertices. For trees (viewed as undirected graphs by forgetting their orientation and root) the pathwidth differs from the Strahler number, but is closely related to it: in a tree with pathwidth ''w'' and Strahler number ''s'', these two numbers are related by the inequalities<ref>{{harvtxt|Luttenberger|Schlund|2011}}, using a definition of the "dimension" of a tree that is one less than the Strahler number.</ref>
| |
| :''w'' ≤ s ≤ 2''w'' + 2.
| |
| The ability to handle graphs with cycles and not just trees gives pathwidth extra versatility compared to the Strahler number.
| |
| However, unlike the Strahler number, the pathwidth is defined only for the whole graph, and not separately for each node in the graph.
| |
| | |
| ==See also==
| |
| *[[Main stem]] of a river, typically found by following the branch with the highest Strahler number
| |
| | |
| ==Notes==
| |
| {{reflist|30em}}
| |
| | |
| ==References==
| |
| *{{citation|first1=A.|last1=Arenas|first2=L.|last2=Danon|first3=A.|last3=Díaz-Guilera|first4=P. M.|last4=Gleiser|first5=R.|last5=Guimerá|title=Community analysis in social networks|journal=European Physical Journal B|volume=38|issue=2|year=2004|pages=373–380|doi=10.1140/epjb/e2004-00130-1}}.
| |
| *{{citation|last1=Borchert|first1=Rolf|last2=Slade|first2=Norman A.|title=Bifurcation ratios and the adaptive geometry of trees|journal=Botanical Gazette|volume=142|issue=3|year=1981|pages=394–401|doi=10.1086/337238|jstor=2474363}}.
| |
| *{{citation|first1=Luc|last1=Devroye|first2=Paul|last2=Kruszewski|title=A note on the Horton-Strahler number for random trees|journal=Information Processing Letters|volume=56|issue=2|year=1995|doi=10.1016/0020-0190(95)00114-R|pages=95–99}}.
| |
| *{{citation
| |
| | last1 = Ehrenfeucht | first1 = A. | author1-link = Andrzej Ehrenfeucht
| |
| | last2 = Rozenberg | first2 = G. | author2-link = Grzegorz Rozenberg
| |
| | last3 = Vermeir | first3 = D.
| |
| | doi = 10.1137/0210004
| |
| | issue = 1
| |
| | journal = SIAM Journal on Computing
| |
| | mr = 605602
| |
| | pages = 40–58
| |
| | title = On ETOL systems with finite tree-rank
| |
| | volume = 10
| |
| | year = 1981}}.
| |
| *{{citation
| |
| | last = Ershov | first = A. P. | author-link = Andrey Ershov
| |
| | doi = 10.1145/368892.368907
| |
| | issue = 8
| |
| | journal = [[Communications of the ACM]]
| |
| | pages = 3–6
| |
| | title = On programming of arithmetic operations
| |
| | volume = 1
| |
| | year = 1958}}.
| |
| *{{citation|first1=P.|last1=Flajolet|author1-link=Philippe Flajolet|first2=J. C.|last2=Raoult|first3=J.|last3=Vuillemin|title=The number of registers required for evaluating arithmetic expressions|journal=Theoretical Computer Science|volume=9|issue=1|year=1979|pages=99–125|doi=10.1016/0304-3975(79)90009-4}}.
| |
| *{{citation|last1=Gleyzer|first1=A.|last2=Denisyuk|first2=M.|last3=Rimmer|first3=A.|last4=Salingar|first4=Y.|year=2004|title=A fast recursive GIS algorithm for computing Strahler stream order in braided and nonbraided networks|journal=Journal of the American Water Resources Association|volume=40|issue=4|pages=937–946|doi=10.1111/j.1752-1688.2004.tb01057.x}}.
| |
| *{{citation|first=Keith|last=Horsfield|title=Some mathematical properties of branching trees with application to the respiratory system|year=1976|journal=Bulletin of Mathematical Biology|volume=38|issue=3|pages=305–315|doi=10.1007/BF02459562|pmid=1268383}}.
| |
| *{{citation|first=R. E.|last=Horton|authorlink=Robert E. Horton|title=Erosional development of streams and their drainage basins: hydro-physical approach to quantitative morphology|journal=Geological Society of America Bulletin|volume=56|issue=3|year=1945|pages=275–370|doi=10.1130/0016-7606(1945)56[275:EDOSAT]2.0.CO;2}}.
| |
| *{{citation|last=Lanfear|first=K. J.|year=1990|title=A fast algorithm for automatically computing Strahler stream order|journal=Journal of the American Water Resources Association|volume=26|issue=6|pages=977–981|doi=10.1111/j.1752-1688.1990.tb01432.x}}.
| |
| *{{citation|title=An extension of Parikh’s theorem beyond idempotence|year=2011|first1=Michael|last1=Luttenberger|first2=Maxmilian|last2=Schlund|arxiv=1112.2864}}
| |
| *{{citation|last=Strahler|first=A. N.|authorlink=Arthur Newell Strahler|year=1952|title=Hypsometric (area-altitude) analysis of erosional topology|journal=Geological Society of America Bulletin|volume=63|issue=11|pages=1117–1142|doi=10.1130/0016-7606(1952)63[1117:HAAOET]2.0.CO;2}}.
| |
| *{{citation|last=Strahler|first=A. N.|authorlink=Arthur Newell Strahler|year=1957|title=Quantitative analysis of watershed geomorphology|journal=Transactions of the American Geophysical Union|volume=38|issue=6|pages=913–920}}.
| |
| *{{citation|last=Waugh|first=David|title=Geography, An Integrated Approach|edition=3rd|publisher=Nelson Thornes|year=2002}}.
| |
| | |
| {{River morphology}}
| |
| | |
| [[Category:Hydrology]]
| |
| [[Category:Geomorphology]]
| |
| [[Category:Physical geography]]
| |
| [[Category:Trees (graph theory)]]
| |
| [[Category:Graph invariants]]
| |
| [[Category:Numbers]]
| |