计算机科学>数据结构和算法
标题: 网格图可达性问题的$\tilde{O}(n^{1/3})$空间算法
摘要: 有向图可达性问题以一个$n$-顶点有向图$G=(V,E)$和两个可分辨顶点$s$和$t$作为输入。 问题是确定$G$中是否存在从$s$到$t$的路径。 这是NL类的一个典型完全问题。Asano等人提出了一个$\tilde{O}(\sqrt{n})$空间和多项式时间算法,用于有向网格和平面图可达性问题。 本文的主要结果是表明,仅用$\ tilde{O}(n^{1/3})$空间就可以在多项式时间内解决网格图的有向图可达性问题。