首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:Planarity, Exclusivity, and Unambiguity
  • 本地全文:下载
  • 作者:Eric Allender ; Archit Chauhan ; Samir Datta
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2019
  • 卷号:2019
  • 页码:1-21
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    We provide new upper bounds on the complexity of the s-t-connectivity problem in planar graphs, thereby providing additional evidence that this problem is not complete for NL. This also yields a new upper bound on the complexity of computing edit distance. Building on these techniques, we provide new upper bounds on the complexity of several other computational problems on planar graphs. All of these problems are shown to be solvable in logarithmic time on a concurrent-read exclusive-write (CREW) PRAM. The new upper bounds are provided by making use of a known characterization of CREW algorithms in terms of "unambiguous" AC 1 circuits. This seems to be the first occasion where this characterization has been used in order to provide new upper bounds on natural problems.

  • 关键词:Planar graph problems ; PRAM Complexity ; reachability ; Unambiguous circuits ; unambiguous logspace
国家哲学社会科学文献中心版权所有