Rooted graph

From Wikipedia, the free encyclopedia
  (Redirected from Accessible pointed graph)
Jump to: navigation, search
"Flow graph" redirects here. For digraphs associated with systems of equations, see Flow graph (mathematics).

In mathematics, and, in particular, in graph theory, a rooted graph is a graph in which one vertex has been distinguished as the root.[1][2]:454 Both directed and undirected versions of rooted graphs have been studied, and there are also variant definitions that allow multiple roots.

Rooted graphs may also be known (depending on their application) as pointed graphs or flow graphs. In some of the applications of these graphs, there is an additional requirement that the whole graph be reachable from the root vertex.

Variations[edit]

In topological graph theory, the notion of a rooted graph may be extended to consider multiple vertices or multiple edges as roots. The former are sometimes called vertex-rooted graphs in order to distinguish them from edge-rooted graphs in this context.[3] Graphs with multiple nodes designated as roots are also of some interest in combinatorics, in the area of random graphs.[4] These graphs are also called multiply rooted graphs.[2]:455

The terms rooted directed graph or rooted digraph also see variation in definitions. The obvious transplant is to consider a digraph rooted by identifying a particular node as root.[5]:307[6] However, in computer science, these terms commonly refer to a narrower notion, namely a rooted directed graph is a digraph with a distinguished node r, such that there is a directed path from r to any node other than r.[7]:122[8]:524[9][10]:308 Authors which give the more general definition, may refer to these as connected (or 1-connected) rooted digraphs.[5]:307

The Art of Computer Programming defines rooted digraphs slightly more broadly, namely a directed graph is called rooted if it has at least one node that can reach all the other nodes; Knuth notes that the notion thus defined is a sort of intermediate between the notions of strongly connected and connected digraph.[11]

Applications[edit]

Flow graphs[edit]

In computer science, rooted graphs in which the root vertex can reach all other vertices are called flow graphs or flowgraphs.[3] Sometimes an additional restriction is added specifying that a flow graph must have a single exit (sink) vertex as well.[12]:319

Flow graphs may be viewed as abstractions of flow charts, with the non-structural elements (node contents and types) removed.[13][14] Perhaps the best known sub-class of flow graphs are control flow graphs, used in compilers and program analysis. An arbitrary flow graph may converted to a control flow graph by performing an edge contraction on every edge that is the only outgoing edge from its source and the only incoming edge into its target.[15] Another type of flow graph commonly used is the call graph, in which nodes correspond to entire subroutines.[16]

The general notion of flow graph has been called program graph,[17] but the same term has also been used to denote only control flow graphs.[18] Flow graphs have also been called unlabeled flowgraphs,[19] and proper flowgraphs.[13] These graphs are sometimes used in software testing.[13][16]

When required to have a single exit, flow graphs have two properties not shared with directed graphs in general. Flow graphs can be nested, which is the equivalent of a subroutine call (although there is no notion of passing parameters), and flow graphs can also be sequenced, which is the equivalent of sequential execution of two pieces of code.[12]:323 Prime flow graphs are defined as flow graphs that cannot be decomposed via nesting or sequencing using a chosen pattern of subgraphs, for example the primitives of structured programming.[12]:339 Theoretical research has been done on determining, for example, the proportion of prime flow graphs given a chosen set of graphs.[20]

Set theory[edit]

Peter Aczel has used rooted directed graphs in which the whole graph is reachable from the root (which he calls accessible pointed graphs) to formulate Aczel's anti-foundation axiom in non-well-founded set theory. In this context, the vertices of a graph model sets within the set theory, and their adjacency relation models the relation of one set belonging to another. The anti-foundation axiom states that every accessible pointed graph models a family of sets in this way.[21]

Combinatorial enumeration[edit]

The number of rooted undirected graphs for 1, 2, ... nodes is 1, 2, 6, 20, 90, 544, ... (sequence A000666 in OEIS)

Related concepts[edit]

A special case of interest are rooted trees, the trees with a distinguished root vertex. If the directed paths from the root in the rooted digraph are additionally restricted to be unique, then the notion obtained is that of (rooted) arborescence—the directed-graph equivalent of a rooted tree.[6] A rooted graph contains an arborescence with the same root if and only if the whole graph can be reached from the root, and computer scientists have studied algorithmic problems of finding optimal arborescences.[22]

Rooted graphs may be combined using the rooted product of graphs.[23]

See also[edit]

References[edit]

  1. ^ Daniel Zwillinger (2011). CRC Standard Mathematical Tables and Formulae, 32nd Edition. CRC Press. p. 150. ISBN 978-1-4398-3550-0. 
  2. ^ a b Harary, Frank (1955), "The number of linear, directed, rooted, and connected graphs", Transactions of the American Mathematical Society 78: 445–463, doi:10.1090/S0002-9947-1955-0068198-2, MR 0068198 
  3. ^ a b Jonathan L. Gross; Jay Yellen; Ping Zhang (2013). Handbook of Graph Theory, Second Edition. CRC Press. pp. 764–765. ISBN 978-1-4398-8018-0. 
  4. ^ Joel Spencer (2001). The Strange Logic of Random Graphs. Springer Science & Business Media. chapter 4. ISBN 978-3-540-41654-8. 
  5. ^ a b Björner, Anders; Ziegler, Günter M. (1992), White, Neil, ed., "Matroid Applications", Matroid applications, Encyclopedia of Mathematics and its Applications (Cambridge: Cambridge University Press) 40: 284–357, doi:10.1017/CBO9780511662041.009, ISBN 0-521-38165-7, MR 1165537, Zbl 0772.05026  |chapter= ignored (help)
  6. ^ a b doi:10.1090/S0002-9939-1989-0967486-0
  7. ^ Ramachandran, Vijaya (1988). "Fast Parallel Algorithms for Reducible Flow Graphs". Concurrent Computations: 117–138. doi:10.1007/978-1-4684-5511-3_8.  edit
  8. ^ Okamoto, Yoshio (2003). "The forbidden minor characterization of line-search antimatroids of rooted digraphs". Discrete Applied Mathematics 131 (2): 523–533. doi:10.1016/S0166-218X(02)00471-7.  edit
  9. ^ Abhinandan Jain (2010). Robot and Multibody Dynamics: Analysis and Algorithms. Springer Science & Business Media. p. 136. ISBN 978-1-4419-7267-5. 
  10. ^ Chen, Xujin (2004). "An Efficient Algorithm for Finding Maximum Cycle Packings in Reducible Flow Graphs". Lecture Notes in Computer Science: 306–317. doi:10.1007/978-3-540-30551-4_28.  edit
  11. ^ Knuth (1997). The Art Of Computer Programming, Volume 1, 3/E. Pearson Education. p. 372. ISBN 0-201-89683-4. 
  12. ^ a b c Norman Elliott Fenton; Gillian A. Hill (1993). Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill. ISBN 978-0-07-707431-9. 
  13. ^ a b c Horst Zuse (1998). A Framework of Software Measurement. Walter de Gruyter. pp. 32–33. ISBN 978-3-11-080730-1. 
  14. ^ Angelina Samaroo; Geoff Thompson; Peter Williams (2010). Software Testing: An ISTQB-ISEB Foundation Guide. BCS, The Chartered Institute. p. 108. ISBN 978-1-906124-76-2. 
  15. ^ Peri L. Tarr; Alexander L. Wolf (2011). Engineering of Software: The Continuing Contributions of Leon J. Osterweil. Springer Science & Business Media. p. 58. ISBN 978-3-642-19823-6. 
  16. ^ a b Pankaj Jalote (1997). An Integrated Approach to Software Engineering. Springer Science & Business Media. p. 372. ISBN 978-0-387-94899-7. 
  17. ^ K. Thulasiraman; M. N. S. Swamy (1992). Graphs: Theory and Algorithms. John Wiley & Sons. p. 361. ISBN 978-0-471-51356-8. 
  18. ^ Alejandra Cechich; Mario Piattini; Antonio Vallecillo (2003). Component-Based Software Quality: Methods and Techniques. Springer Science & Business Media. p. 105. ISBN 978-3-540-40503-0. 
  19. ^ Lowell W. Beineke; Robin J. Wilson (1997). Graph Connections: Relationships Between Graph Theory and Other Areas of Mathematics. Clarendon Press. p. 237. ISBN 978-0-19-851497-8. 
  20. ^ Cooper, C. (2008). "Asymptotic Enumeration of Predicate-Junction Flowgraphs". Combinatorics, Probability and Computing 5 (3): 215. doi:10.1017/S0963548300001991.  edit
  21. ^ Aczel, Peter (1988), Non-well-founded sets. (PDF), CSLI Lecture Notes 14, Stanford, CA: Stanford University, Center for the Study of Language and Information, ISBN 0-937073-22-9, MR 0940014 
  22. ^ Drescher, Matthew; Vetta, Adrian (2010), "An Approximation Algorithm for the Maximum Leaf Spanning Arborescence Problem", ACM Trans. Algorithms 6 (3): 46:1–46:18, doi:10.1145/1798596.1798599 .
  23. ^ Godsil, C. D.; McKay, B. D. (1978), "A new graph product and its spectrum" (PDF), Bull. Austral. Math. Soc. 18 (1): 21–28, doi:10.1017/S0004972700007760, MR 0494910 

Further reading[edit]

  • McMahon, Elizabeth W. (1993). "On the greedoid polynomial for rooted graphs and rooted digraphs". Journal of Graph Theory 17 (3): 433–442. doi:10.1002/jgt.3190170316.  edit
  • Gordon, Gary (2001). "A characteristic polynomial for rooted graphs and rooted digraphs". Discrete Mathematics 232 (1-3): 19–33. doi:10.1016/S0012-365X(00)00186-2.  edit

External links[edit]