Sparsity-certifying Graph Decompositions
Ileana Streinu and Louis Theran
Louis Theran update to 2008-12-13
We describe a new algorithm, the $(k,\ell)$-pebble game with colors, and useit obtain a characterization of the family of $(k,\ell)$-sparse graphs andalgorithmic solutions to a family of problems concerning tree decompositions ofgraphs. Special instances of sparse graphs appear in rigidity theory and havereceived increased attention in recent years. In particular, our coloredpebbles generalize and strengthen the previous results of Lee and Streinu andgive a new proof of the Tutte-Nash-Williams characterization of arboricity. Wealso present a new decomposition that certifies sparsity based on the$(k,\ell)$-pebble game with colors. Our work also exposes connections betweenpebble game algorithms and previous sparse graph algorithms by Gabow, Gabow andWestermann and Hendrickson.