ST-связность - это проблема определения, существует ли направленный путь между двумя выделенными вершинами и в ориентированном графе . Может ли эта проблема быть решена в пространстве журналов, является давней открытой проблемой. Это называется проблемой против
В чем сложность ST-связности, когда базовый неориентированный граф имеет ограниченную ширину дерева.
Известно ли, что это NL-hard? Есть верхняя граница известна?
источник