Ответ:

Рассмотрим число одноцветных рёбер. Пусть у перекрашиваемой вершины \(r\) соседей того же цвета и \(s\) соседей противоположного цвета. По условию \(s>r\). После перекрашивания ровно рёбра, соединяющие эту вершину с соседями, меняют статус: одноцветных рёбер становится на \(s-r>0\) больше.

Число одноцветных рёбер — целое и не превышает общего числа рёбер графа. Оно строго увеличивается при каждом шаге, поэтому бесконечный процесс невозможен.

Ответ: процесс перекрашивания конечен.