48
правок
Изменения
Нет описания правки
''continue or find path'' //''недетерминировано выбираем переходить к следующей вершине или угадываем путь до данной''
counter++
'''yield return ''' v //''выдаем вершину, до которой угадали путь''
''if'' counter <tex>\ge r_i</tex> ''then'' //''нашли <tex>r_i</tex> вершин, принимаем и завершаем работу''
'''ACCEPT''' '''REJECT ''' //''не нашли <tex>r_i</tex> вершин, отклоняем''
</code>
'''if''' u in Enum(s, i, <tex>r_i</tex>, G) '''then''' //''если u одна из них, то <tex>v \in R_{i + 1}</tex>''
r++ //''увеличиваем количество найденных вершин и переходим к рассмотрению следующего кандидата''
'''break''' '''return ''' r
</code>
//''Перечисляем вершины из <tex>R_{n - 1}</tex>''
'''if''' t in Enum(s, n - 1, <tex>r_n</tex>, G) '''then''' //''Если t была перечислена то t достижима и выдаем REJECT, иначе ACCEPT''
'''REJECT '''
'''else'''
'''ACCEPT '''
</code>
