David Arthur Bodo Manthey Heiko Röglin k-Means has Polynomial Smoothed Complexity http://arxiv.org/abs/0904.1113 2009 CoRR abs/0904.1113 db/journals/corr/corr0904.html#abs-0904-1113 informal publication