Ileana Streinu Louis Theran Sparsity-certifying Graph Decompositions http://arxiv.org/abs/0704.0002 2007 CoRR abs/0704.0002 db/journals/corr/corr0704.html#abs-0704-0002 informal publication informal publication