参数。原始的有向图连通问题当formula_7时与此问题等价。为了测试是否存在一条从"s"到"t"的长度为"k"的有向边，可以测试是否存在一条从"s"到"t"的以"u"为中点的有向边。如果存在，那么对从"s"到"u"和从"u"到"t"递归此算法。用伪代码表示如下（Python语法）：def k-edge-path(s,t,k):这一递归过程的递归深度为formula_8层，每层需要formula_9位来存储该层的函数参数和局部变量。因此，算法的总空间复杂度为formula_6。上述算法尽管是使用