Сильно связный граф NL-complete

Материал из DISCOPAL
Перейти к: навигация, поиск

Доказать, что язык всех сильно связных ориентированных графов - NL-полная задача.

Источник — «https://discopal.ispras.ru/index.php?title=Сильно_связный_граф_NL-complete&oldid=6102»