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?.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.