2010/11/09 by Isolde Adler, Adler, Isolde, Philipp Klaus Krause +1
Computer Science · #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #F.2.2 #FOS: Computer and information sciences #G.2.2 #cs.DM #cs.DS
paper · pdf · doi:10.48550/arxiv.1011.2136
9 pages, 9 figures
arxiv created 2010/11/09 · arxiv updated 2010/11/10
The disjoint paths problem asks, given an graph G and k + 1 pairs of terminals (s0,t0), ...,(sk,tk), whether there are k+1 pairwise disjoint paths P0, ...,Pk, such that Pi connects si to ti. Robertson and Seymour have proven that the problem can be solved in polynomial time if k is fixed. Nevertheless, the constants involved are huge, and the algorithm is far from implementable. The algorithm uses a bound on the tree-width of graphs with vital linkages, and deletion of irrelevant vertices. We give single exponential lower bounds both for the tree-width of planar graphs with vital linkages, and for the size of the grid necessary for finding irrelevant vertices.