(a, b)-decomposition

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

In graph theory, the (ab)-decomposition of an undirected graph is a partition of its edges into a + 1 sets, each one of them inducing a forest, except one who induces a graph with maximum degree b. If this graph is also a forest, then we call this a F(ab)-decomposition.

A graph with arboricity a is (a, 0)-decomposable. Every (a0)-decomposition or (a1)-decomposition is a F(a0)-decomposition or a F(a1)-decomposition respectively.

Graph classes[edit]

  • Every planar graph is F(2, 4)-decomposable.[1]
  • Every planar graph with girth at least is
    • F(2, 0)-decomposable if .[2]
    • (1, 4)-decomposable if .[3]
    • F(1, 2)-decomposable if .[4]
    • F(1, 1)-decomposable if ,[5] or if every cycle of is either a triangle or a cycle with at least 8 edges not belonging to a triangle.[6]
    • (1, 5)-decomposable if has no 4-cycles.[7]
  • Every outerplanar graph is F(2, 0)-decomposable[2] and (1, 3)-decomposable.[8]


  1. ^ Gonçalves (2009), conjectured by Balogh et al. (2005). Improving results by Nash-Williams (1964) then Balogh et al. (2005).
  2. ^ a b Implied by Nash-Williams (1964).
  3. ^ He et al. (2002)
  4. ^ Implied by Montassier et al. (2012), improving results by He et al. (2002), then Kleitman (2008).
  5. ^ Independently proved by Wang & Zhang (2011) and implied by Montassier et al. (2012), improving results by He et al. (2002) for girth 11, then Bassa et al. (2010) for girth 10 and Borodin et al. (2008a) for girth 9.
  6. ^ Borodin et al. (2009b), even if not explicitly stated.
  7. ^ Borodin et al. (2009a), improving results by He et al. (2002), then Borodin et al. (2008b).
  8. ^ Proved without explicit reference by Guan & Zhu (1999).

References (chronological order)[edit]