An O(n^(1/4 +epsilon)) Space and Polynomial Algorithm for Grid Graph Reachability

Rahul Jain, Raghunath Tewari, Michael Wagner
2019 Foundations of Software Technology and Theoretical Computer Science  
The reachability problem is to determine if there exists a path from one vertex to another in a graph. Grid graphs are the class of graphs where vertices are present on the lattice points of a two-dimensional grid, and an edge can occur between a vertex and its immediate horizontal or vertical neighbor only. Asano et al. presented the first simultaneous time space bound for reachability in grid graphs by presenting an algorithm that solves the problem in polynomial time and O(n 1/2+ ) space. In
more » ... 2018, the space bound was improved toÕ(n 1/3 ) by Ashida and Nakagawa. In this paper, we show that reachability in an n vertex grid graph can be decided by an algorithm using O(n 1/4+ ) space and polynomial time simultaneously. ACM Subject Classification Mathematics of computing → Graph algorithms
doi:10.4230/lipics.fsttcs.2019.19 dblp:conf/fsttcs/JainT19 fatcat:ipb7rwuybjdmzlxmdubgnlmauu