(a, b)-decomposition explained

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

G

with girth at least

g

is

g\ge4

.[2]

g\ge5

.

g\ge6

.[3]

g\ge8

,[4] or if every cycle of

G

is either a triangle or a cycle with at least 8 edges not belonging to a triangle.[5]

G

has no 4-cycles.[6]

References (chronological order)

Notes and References

  1. , conjectured by . Improving results by then .
  2. Implied by .
  3. Implied by, improving results by, then .
  4. Independently proved by and implied by, improving results by for girth 11, then for girth 10 and for girth 9.
  5. , even if not explicitly stated.
  6. , improving results by, then .
  7. Proved without explicit reference by .