Worst-Case and Smoothed Analysis of the ICP Algorithm, with an Application to the k-Means Method

  • Authors:
  • David Arthur;Sergei Vassilvitskii

  • Affiliations:
  • darthur@cs.stanford.edu;sergei@yahoo-inc.com

  • Venue:
  • SIAM Journal on Computing
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show a worst-case lower bound and a smoothed upper bound on the number of iterations performed by the Iterative Closest Point (ICP) algorithm. First proposed by Besl and McKay, the algorithm is widely used in computational geometry, where it is known for its simplicity and its observed speed. The theoretical study of ICP was initiated by Ezra, Sharir, and Efrat, who showed that the worst-case running time to align two sets of $n$ points in $\mathbb{R}^d$ is between $\Omega(n\log n)$ and $O(n^2d)^d$. We substantially tighten this gap by improving the lower bound to $\Omega(n/d)^{d+1}$. To help reconcile this bound with the algorithm's observed speed, we also show that the smoothed complexity of ICP is polynomial, independent of the dimensionality of the data. Using similar methods, we improve the best known smoothed upper bound for the popular k-means method to $n^{O(k)}$, once again independent of the dimension.