The classical version of k-means uses the Euclidean distance in the first step, and the arithmetic mean (the value center) in the second step. Is k-means generalizable to other distances and other operations than the arithmetic mean so that it converges?
There are special cases like k-median, where the distance is city-block, and the center's value is the median of the cluster points.