How does this part of algorithm works?(K-means)
1_{c^(i) = j} means if c^(i) is equal to j the value is 1 and zero otherwise. 

In summary, k-means try to solve Voronoi cells for each mean point, and then update mean of members of a cell and update Voronoi cells again. This step is repeated until there is no change in members of the cells.