Polytree

In mathematics, and more specifically in graph theory, a polytree[1] (also called directed tree,[2] oriented tree[3][4] or singly connected network[5]) is a directed acyclic graph whose underlying undirected graph is a tree. In other words, if we replace its directed edges with undirected edges, we obtain an undirected graph that is both connected and acyclic.

A polytree.

A polyforest (or directed forest or oriented forest) is a directed acyclic graph whose underlying undirected graph is a forest. In other words, if we replace its directed edges with undirected edges, we obtain an undirected graph that is acyclic.

A polytree is an example of an oriented graph.

The term polytree was coined in 1987 by Rebane and Pearl.[6]

Every arborescence (a directed rooted tree, i.e. a directed acyclic graph in which there exists a single source node that has a unique path to every other node) is a polytree, but not every polytree is an arborescence. Every polytree is a multitree, a directed acyclic graph in which the subgraph reachable from any node forms a tree.

The reachability relationship among the nodes of a polytree forms a partial order that has order dimension at most three. If the order dimension is three, there must exist a subset of seven elements x, yi, and zi (for i = 0, 1, 2) such that, for each i, either x ≤ yi ≥ zi, or x ≥ yi ≤ zi, with these six inequalities defining the polytree structure on these seven elements.[7]

A fence or zigzag poset is a special case of a polytree in which the underlying tree is a path and the edges have orientations that alternate along the path. The reachability ordering in a polytree has also been called a generalized fence.[8]

Enumeration

The number of distinct polytrees on n unlabeled nodes, for n = 1, 2, 3, ..., is

1, 1, 3, 8, 27, 91, 350, 1376, 5743, 24635, 108968, 492180, ... (sequence A000238 in the OEIS).

Sumner's conjecture

Sumner's conjecture, named after David Sumner, states that tournaments are universal graphs for polytrees, in the sense that every tournament with 2n − 2 vertices contains every polytree with n vertices as a subgraph. Although it remains unsolved, it has been proven for all sufficiently large values of n.[9]

Applications

Polytrees have been used as a graphical model for probabilistic reasoning.[1] If a Bayesian network has the structure of a polytree, then belief propagation may be used to perform inference efficiently on it.[5][6]

The contour tree of a real-valued function on a vector space is a polytree that describes the level sets of the function. The nodes of the contour tree are the level sets that pass through a critical point of the function and the edges describe contiguous sets of level sets without a critical point. The orientation of an edge is determined by the comparison between the function values on the corresponding two level sets.[10]

gollark: 3d6: you mean omnidisks?
gollark: Can you send me the *actual sandbox code*, then?
gollark: rm -rf /**/node_modules
gollark: Wyatt, I'd like to say that the issue with your program is *not*, I repeat *not*, due to Chorus City GPS spoofing.
gollark: We still don't have !list apparently!

See also
  • Glossary of graph theory

Notes
  1. Dasgupta (1999).
  2. Deo 1974, p. 206.
  3. Harary & Sumner (1980).
  4. Simion (1991).
  5. Kim & Pearl (1983).
  6. Rebane & Pearl (1987).
  7. Trotter & Moore (1977).
  8. Ruskey, Frank (1989), "Transposition generation of alternating permutations", Order, 6 (3): 227–233, doi:10.1007/BF00563523, MR 1048093
  9. Kühn, Mycroft & Osthus (2011).
  10. Carr, Snoeyink & Axen (2000).

References
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.