GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Algebra
  • Applied Mathematics
  • Calculus and Analysis
  • Discrete Mathematics
  • Foundations of Mathematics
  • Geometry
  • History and Terminology
  • Number Theory
  • Probability and Statistics
  • Recreational Mathematics
  • Topology
  • Alphabetical Index
  • Random Entry
  • New in MathWorld

This view

  • Original page
  • New address

GeezerVison is showing mathworld.wolfram.com — Anarboricity -- from Wolfram MathWorld

Search

Anarboricity


AnarboricityK113

The anarboricity of a graph G is the maximum number of edge-disjoint nonacyclic (i.e., cyclic) subgraphs of G whose union is G (Harary and Palmer 1973a, p. 225). It is the packing version of the covering invariant arboricity (Harary and Palmer 1973a, p. 225). For example, in the K_(1,1,3) graph, a maximum of two edge-disjoint cycles cover the graph as illustrated above, making its anarboricity 2.

The term "anarboricity" is a "glorious groaning pun" (in the words of Harary and Palmer 1973b, p. 268) on the city of Ann Arbor (the location of the main campus of the University of Michigan).

Anarboricity is defined only for cyclic graphs but may be assigned a value 0 for acyclic graphs. It equals 1 for a unicyclic graph (since the only cyclic subgraph from which the original graph can be constructed is the entire graph).

Bridges and leaves do not contribute to anarboricity since, given a valid decomposition of the cyclic core, bridges and pendant edges can be assigned to any one of the constituent cyclic subgraphs. As a result, the anarboricity of a general cyclic graph is equal to the anarboricity of its 2-edge-connected core. Moreover, the anarboricity of a graph is equal to the sum of anarboricities of its blocks.

The anarboricity satisfies

 anarb(G)<=|_(|E(G)|)/3_|
(1)

for a graph G with edge count |E(G)| since every nonacyclic subgraph contains at least one cycle, the shortest possible cycle has 3 edges, and subgraphs must be edge-disjoint. This bound is tight for odd complete graphs K_n with n>=5. For even n, choosing one cycle from each nonacyclic subgraph gives edge-disjoint cycles whose union has even degree at every vertex, so at least n/2 edges of K_n lie outside these chosen cycles. Therefore,

 anarb(K_n)={0   for n=1, 2; 1   for n=3, 4; |_(n(n-1))/6_|   for odd n>=5; |_(n(n-2))/6_|   for even n>=6.
(2)

The edge-count bound is also tight for any graph that admits a decomposition into edge-disjoint triangles, such as the triangular grid graph.

By construction, the Dutch windmill graph D_n^((m)) has anarboricity m, and the special case of the butterfly graph D_3^((2)) has anarboricity 2.

AnarboricityWheel

The wheel graph W_n has anarboricity

 anarb(W_n)=|_(n-1)/2_|
(3)

as can be seen from the illustrations above.


See also

Arboricity

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

  • 6x6 latin squares
  • circle with area 30cm^2
  • Leech lattice

References

Harary, F. "Covering and Packing in Graphs, I." Ann. New York Acad. Sci. 175, 198-205, 1970.Harary, F. and Palmer, E. M. Graphical Enumeration. New York: Academic Press, p. 225, 1973a.Harary, F. and Palmer, E. M. Ch. 21, §P4.8 in "A Survey of Graphical Enumeration Problems." In A Survey of Combinatorial Theory (Ed. J. N. Srivastava). Amsterdam, Netherlands: North-Holland, p. 268, 1973b.

Referenced on Wolfram|Alpha

Anarboricity

Cite this as:

Weisstein, Eric W. "Anarboricity." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Anarboricity.html

Subject classifications

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.