Paths Problems in Symmetric Logarithmic Space

Abstract

This paper studies space complexity of some basic problems for undirected graphs. In particular, the two disjoint paths problem (TPP) is investigated that asks whether for a given undirected graph G and nodes s1, s2, t1, t2, G admits two node disjoint paths connecting s1 with t1 and s2 with t2. The solving of this problem belongs to the fundamental tasks of routing algorithms and VLSI design, where two pairs of nodes have to be connected via disjoint paths in a given network. One of the most important results of this paper says that TPP can be solved by a symmetric nondeterministic Turing machine that works in logarithmic space. It is well known that switching from undirected to directed graphs, TPP becomes intractable.Furthermore, the space complexity of minor detections is discussed. We show that testing for K4-minor can be reduced (via log-space many-one reduction) to planarity testing and that detecting K5-minor is hard for SL. As a corollary we obtain that series-parallel graphs can be recognised in SL.Finally, the problem to determine the number of self avoiding walks in undirected series-parallel graphs is considered. It is proved that this problem can be solved in FL?SL?.