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 which 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]

Notes

edit
  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