¿El algoritmo de $k$-means converge a un mínimo local si alteramos el paso de asignación de clúster? Más específicamente, si en lugar de asignar un punto al clúster cuyo centroide está más cerca de él, lo asignamos basado en una métrica de cercanía diferente, ¿el algoritmo seguirá convergiendo?
Seguramente el $SSE$ ya no disminuirá de forma monótona como puedo ver también en mis experimentos, pero el algoritmo sí converge después de unos pocos pasos. ¿Hay alguna forma de demostrar esto?