保罗·比姆;艾伦·博罗丁;普拉巴卡尔·拉加万;沃尔特·鲁佐。;马丁·汤帕 图自动机无向图遍历的时空权衡。 （英语） Zbl 0872.68067号 Inf.计算。 130，第2期，101-129（1996）. 摘要：我们使用各种结构化模型来研究遍历无向图的时空权衡，这些模型都是Cook和Rackoff的“图的跳跃自动机”的变体。我们的强项权衡是图遍历的时间和空间乘积的二次下界。例如，实现线性时间需要线性空间，这意味着深度优先搜索是最优的。由于我们的界实际上适用于非连通性的非确定性算法，这也意味着在非确定性空界复杂度类的互补下实现闭包只是以增加的时间为代价。为了证明这些结构化模型是现实的，我们还研究了它们的威力。除了承认众所周知的算法，如深度优先搜索和随机行走，我们还表明，该模型的一个简单变体几乎与图灵机一样强大。具体地说，对于一般的无向图问题，它可以模拟图灵机，在空间上只增加常数因子，在时间上只增加多项式因子。 引用于5文件 MSC公司： 65年第68季度 算法和问题复杂性分析 68兰特 计算机科学中的图论（包括图形绘制） 关键词：无向图问题 PDF格式BibTeX公司 XML格式引用 \textit{P.Beame}等人，《信息计算》。130，第2号，101--129（1996；Zbl 0872.68067） 全文： 内政部 链接