Изменения

Данный алгоритм использует <tex>O(\log |G|)</tex> памяти, так как для хранения <tex>r_n</tex> и <tex>i</tex> необходимо <tex>O(\log |G|)</tex>,и для вызываемых <code>'''Next</code> ''' и <code>'''Enum</code> ''' необходимо <tex>O(\log |G|)</tex> памяти.

Таким образом показано, что '''STNONCONNCONN''' ∈ <tex>\in</tex> '''NL'''.Поскольку '''[[NL-полнота задачи о достижимости в графе|STCON]]CONN''' ∈ <tex>\in</tex> '''[[NL-полнота|NLC]]''', то аналогичным образом '''STNONCONNCONN''' ∈ <tex>\in</tex> '''co-NLCcoNLC'''.Получаем, что любую задачу из '''co-NLcoNL''' можно свести к задаче из '''NL''', а значит '''co-NLcoNL''' ⊂ '''NL'''.Из соображений симметрии '''NL''' ⊂ '''co-NLcoNL''', а значит '''NL''' = '''co-NLcoNL'''.