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