If u already has a neighbor in S, then u is not added to S and (by inspection of Q(t)), the pessimistic estimator is unchanged.
Если u уже имеет соседа в множестве S, то u не добавляется в S и (после проверки Q(t)), пессимистический оценщик остаётся неизменным.