Die ST-Konnektivität ist das Problem, zu bestimmen, ob in einem gerichteten Graphen ein gerichteter Pfad zwischen zwei getrennten Eckpunkten und . Ob dieses Problem im Logspace gelöst werden kann, ist ein seit langem offenes Problem. Dies nennt man das vs Problem.
Was ist die Komplexität von ST-Connectivity, wenn der zugrunde liegende ungerichtete Graph von die Baumbreite begrenzt hat?
Ist es bekannt, dass es NL-schwer ist? Gibt es eine obere Grenze für ?
quelle