Simultaneous Time-Space Upper Bounds for Certain Problems in Planar Graphs

In this paper, we show that given a weighted, directed planar graph $G$, and any $\epsilon >0$, there exists a polynomial time and $O(n^{\frac{1}{2}+\epsilon})$ space algorithm that computes the shortest path between two fixed vertices in $G$. We also consider the {\RB} problem, which states that given a graph $G$ whose edges are colored either red or blue and two fixed vertices $s$ and $t$ in $G$, is there a path from $s$ to $t$ in $G$ that alternates between red and blue edges. The {\RB} problem in planar DAGs is {\NL}-complete. We exhibit a polynomial time and $O(n^{\frac{1}{2}+\epsilon})$ space algorithm (for any $\epsilon >0$) for the {\RB} problem in planar DAG. In the last part of this paper, we consider the problem of deciding and constructing the perfect matching present in a planar bipartite graph and also a similar problem which is to find a Hall-obstacle in a planar bipartite graph. We show the time-space bound of these two problems are same as the bound of shortest path problem in a directed planar graph.

[1]  Osamu Watanabe,et al.  An O(n½+?)-Space and Polynomial-Time Algorithm for Directed Planar Reachability , 2013, 2013 IEEE Conference on Computational Complexity.

[2]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[3]  Oded Goldreich,et al.  Computational complexity - a conceptual perspective , 2008 .

[4]  Éva Tardos,et al.  Algorithm design , 2005 .

[5]  Avi Wigderson,et al.  The Complexity of Graph Connectivity , 1992, MFCS.

[6]  A. Meyer Review: Walter J. Savitch, Relationships between Nondeterministic and Deterministic Tape Complexities , 1974 .

[7]  Zhivko Prodanov Nedev Finding an Even Simple Path in a Directed Planar Graph , 1999, SIAM J. Comput..

[8]  Meena Mahajan,et al.  Planarity, Determinants, Permanents, and (Unique) Matchings , 2010, TOCT.

[9]  Eric Allender,et al.  Isolation, Matching, and Counting Uniform and Nonuniform Upper Bounds , 1999, J. Comput. Syst. Sci..

[10]  Baruch Schieber,et al.  A sublinear space, polynomial time algorithm for directed s-t connectivity , 1992, [1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference.

[11]  Mihalis Yannakakis,et al.  The complexity of restricted spanning tree problems , 1982, JACM.

[12]  Richard Bellman,et al.  ON A ROUTING PROBLEM , 1958 .

[13]  Christos H. Papadimitriou,et al.  The even-path problem for graphs and digraphs , 1984, Networks.

[14]  Raghav Kulkarni,et al.  Improved Bounds for Bipartite Matching on Surfaces , 2012, STACS.

[15]  Lin F. Yang,et al.  New Time-Space Upperbounds for Directed Reachability in High-genus and H-minor-free Graphs , 2014, FSTTCS.

[16]  Gary L. Miller,et al.  Flow in planar graphs with multiple sources and sinks , 1989, 30th Annual Symposium on Foundations of Computer Science.

[17]  Philip N. Klein,et al.  Shortest paths in directed planar graphs with negative lengths: A linear-space O(n log2 n)-time algorithm , 2010, TALG.

[18]  Tetsuo Asano,et al.  Memory-Constrained Algorithms for Shortest Path Problem , 2011, CCCG.

[19]  Walter J. Savitch,et al.  Relationships Between Nondeterministic and Deterministic Tape Complexities , 1970, J. Comput. Syst. Sci..

[20]  Uzi Vishkin,et al.  Constant Depth Reducibility , 1984, SIAM J. Comput..

[21]  L. R. Ford,et al.  NETWORK FLOW THEORY , 1956 .

[22]  Raghav Kulkarni On the Power of Isolation in Planar Graphs , 2011, TOCT.

[23]  János Pach,et al.  Graphs drawn with few crossings per edge , 1997, Comb..