graph degeneracy