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