317
правок
Изменения
→Второй шаг
q[t] = 0
'''for''' i = 1 .. n
t = '''max''' (r[i], F)
x[i] = t
q[t] = q[t] + 1
F = t + 1
j = i.child()
r[j] = '''max''' (r[j], t + 1)
=== Доказательство корректности ===