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

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

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