editor
143
правки
Изменения
→Теорема Иммермана
'''NCONN'''(<tex>G, s, t</tex>)
<tex>r_n = 1</tex> //<tex>r_0 = 1</tex>
'''for''' <tex>i = 0..n - 2</tex> '''do''' //вычисляем <tex>r_{n-1}</tex>
<tex>r_n = </tex> '''Next'''(<tex>s, i, r_n, G</tex>)
'''if''' (<tex>t1</tex> '''in''' '''Enum'''(<tex>s, n - 1, r_n, G</tex>)) //перечисляем вершины из <tex>R_{n-1}</tex>, если <tex>t</tex> была перечислена, то <tex>t</tex> достижима и выдаем '''reject''', иначе '''accept'''
