复杂度为formula_6。上述算法尽管是使用高级语言进行描述，然而，相同的算法使用图灵机实现时所需要的空间上界在渐近意义下是等同的。由于有向图连通性问题为NL完全问题，因而任意NL中的语言都在复杂度类formula_11中（这一复杂度类也常常被写作L）.
推论.从萨维奇定理可以得到许多重要的推论：