text: Как они заметили, задача достижимости для двухстраничных ориентированных графов может быть решена в однозначном логарифмическом пространстве (аналоге детерминированной логарифмической сложности по памяти задач класса UP).