Ryo阿希达;Kotaro中川 \网格图可达性问题的（tilde{O}（n^{1/3}）-空间算法。 （英语） Zbl 1489.68180号 Speckmann，Bettina（编辑）等人，第34届计算几何国际研讨会，2018年6月11日至14日，匈牙利布达佩斯，SoCG 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。99，第5条，第13页（2018年）。 摘要：有向图可达性问题以一个顶点有向图（G=（V，E））和两个可分辨顶点（s）和（t）作为输入。问题是确定在\（G\）中是否存在从\（s）到\（t）的路径。这是NL类的规范完全问题。T.浅野等【Lect.Notes Compute.Sci.8635，45-56（2014；Zbl 1426.68196号)]针对有向网格和平面图可达性问题，提出了一种（tilde{O}（sqrt{n}）空间和多项式时间算法。本文的主要结果是证明了仅使用（tilde{O}（n^{1/3}）空间可以在多项式时间内求解网格图的有向图可达性问题。在本文中，“（tilde{O}（s（n）））space”直观而精确地表示（O（s（n））单词（O（sn）logn）space。关于整个系列，请参见[Zbl 1390.68027号]. 引用于1审查 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 05C20号 有向图（有向图），比赛 05C85号 图形算法（图形理论方面） 68瓦40 算法分析 关键词：图可达性;栅格图;图形算法;次线性空间算法 引文：Zbl 1426.68196号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ashida}和\textit{K.Nakagawa}，LIPIcs——莱布尼茨国际程序。通知。99，第5条，第13页（2018；Zbl 1489.68180） 全文： DOI程序 arXiv公司 参考文献： [1] 埃里克·阿伦德（Eric Allender）、大卫·阿米斯·巴林顿（David A Mix Barrington）、坦莫伊·查克拉波蒂（Tanmoy Chakraborty）、萨米尔·达塔（Samir Datta）和萨姆布达·罗伊（Sambuddha Roy）。平面图和网格图可达性问题。计算系统理论，45（4）：675-7232009##img编号·Zbl 1183.68409号 [2] 浅野哲雄（Tetsuo Asano）和本杰明·多尔（Benjamin Doerr）。最短路径问题的内存约束算法。2011年，CCCG##国际货币基金组织## [3] 浅野哲雄、大卫·柯克帕特里克、中川幸太郎和渡边麻木。平面有向图可达性的Oõ（√n）-空间和多项式时间算法。在计算机科学数学基础国际研讨会上，第45-56页。斯普林格，2014年##img编号·Zbl 1426.68196号 [4] Greg Barnes、Jonathan F Buss、Walter L Ruzzo和Baruch Schieber。有向st连通性的次线性空间多项式时间算法。SIAM计算机杂志，27（5）：1273-12821998##img编号·Zbl 0908.05080号 [5] Chris Bourke、Raghunath Tewari和NV Vinodchandran。有向平面可达性是在明确的对数空间中。ACM计算理论汇刊（TOCT），1（1）：42009年4月##img编号·Zbl 1322.68095号 [6] 杰拉德·詹华·张（Gerard Jennhwa Chang）。图中控制的算法方面。《组合优化手册》，第221-2822013页##国际货币基金组织## [7] Tatsuya Imai、Kotaro Nakagawa、Aduri Pavan、NV Vinodchandran和Osamu Watanabe。有向平面可达性的O（n^1/2+ε）-空间和多项式时间算法。计算复杂性（CCC），2013 IEEE会议，第277-286页。IEEE，2013年##国际货币基金组织## [8] 奥马尔·莱因戈尔德（Omer Reingold）。日志空间中的无方向连接。美国医学会杂志（JACM），55（4）：172008##img编号·Zbl 1315.68156号 [9] Derrick Stolee和NV Vinodchandran。表面嵌入图可达性的空间效率算法。计算复杂性（CCC），2012 IEEE第27届年会，第326-333页。IEEE，2012年##国际货币基金组织## [10] Leslie G Valiant。超大规模集成电路中的普遍性考虑。IEEE计算机汇刊，100（2）：135-1401981##img公司##·兹比尔0455.94046 [11] 阿维·维格德森。图连接性的复杂性。1992年计算机科学数学基础，第112-132页，1992年##img编号·Zbl 1493.68163号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。