Skip to main content

Finding k Partially Disjoint Paths in a Directed Planar Graph

  • Chapter
  • First Online:
Building Bridges II

Part of the book series: Bolyai Society Mathematical Studies ((BSMS,volume 28))

Abstract

The partially disjoint paths problem is: given: a directed graph, vertices \(r_1,s_1,\ldots ,r_k,s_k\), and a set F of pairs \(\{i,j\}\) from \(\{1,\ldots ,k\}\), find: for each \(i=1,\ldots ,k\) a directed \(r_i-s_i\) path \(P_i\) such that if \(\{i,j\}\in F\) then \(P_i\) and \(P_j\) are disjoint. We show that for fixed k, this problem is solvable in polynomial time if the directed graph is planar. More generally, the problem is solvable in polynomial time for directed graphs embedded on a fixed compact surface. Moreover, one may specify for each edge a subset of \(\{1,\ldots ,k\}\) prescribing which of the \(r_i-s_i\) paths are allowed to traverse this edge.

The research leading to these results has received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement n\({}^{\circ }\) 339109.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 59.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    If a and b are periods of \(x=(x_1,\ldots ,x_n)\) with \(a<b\) and \(a+b\le n\), then \(b-a\) is a period of x. For let \(1\le i\le n-(b-a)\). We show \(x_{i+(b-a)}=x_i\). If \(i\le n-b\) then \(x_{i+(b-a)}=x_{(i+b)-a}=x_{i+b}=x_i\). If \(i>n-b\) then \(i>a\) (as \(i>n-b\ge a\), since \(a+b\le n\) by assumption), hence \(x_{i+(b-a)}=x_{(i-a)+b}=x_{i-a}=x_i\).

  2. 2.

    Let A a polynomial-time algorithm that finds a solution for feasible instances. When we apply A to any instance, then if feasible, we find a feasible solution, and if infeasible, A gets stuck or has not delivered a solution in polynomial time.

References

  1. A.V. Anisimov, D.E. Knuth, Inhomogeneous sorting, International Journal of Computer and Information Sciences 8 (1979) 255–260.

    Article  MathSciNet  Google Scholar 

  2. A. Baudisch, Kommutationsgleichungen in semifreien Gruppen, Acta Mathematica Academiae Scientiarum Hungaricae 29 (1977) 235–249.

    Article  MathSciNet  Google Scholar 

  3. M. Cygan, D. Marx, M. Pilipczuk, M. Pilipczuk, The planar directed \(k\)-vertex-disjoint paths problem is fixed-parameter tractable, in: 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, IEEE, 2013, pp. 197–206.

    Google Scholar 

  4. V. Diekert, On the Knuth-Bendix completion for concurrent processes, Theoretical Computer Science 66 (1989) 117–136.

    Article  MathSciNet  Google Scholar 

  5. V. Diekert, Combinatorics on Traces, Lecture Notes in Computer Science 454, Springer, Berlin, 1990.

    Google Scholar 

  6. C. Droms, Isomorphisms of graph groups, Proceedings of the American Mathematical Society 100 (1987) 407–408.

    Article  MathSciNet  Google Scholar 

  7. E.S. Esyp, I.V. Kazachkov, V.N. Remeslennikov, Divisibility theory and complexity of algorithms for free partially commutative groups, in: Groups, Languages, Algorithms, Contemporary Mathematics 378, American Mathematical Society, Providence, R.I., 2005, pp. 319–348.

    Google Scholar 

  8. S. Fortune, J. Hopcroft, J. Wyllie, The directed subgraph homeomorphism problem, Theoretical Computer Science 10 (1980) 111–121.

    Article  MathSciNet  Google Scholar 

  9. K. Kawarabayashi, Y. Kobayashi, B. Reed, The disjoint paths problem in quadratic time, Journal of Combinatorial Theory, Series B 102 (2012) 424–435.

    Article  MathSciNet  Google Scholar 

  10. J.F. Lynch, The equivalence of theorem proving and the interconnection problem, (ACM) SIGDA Newsletter 5:3 (1975) 31–36.

    Google Scholar 

  11. R.C. Lyndon, P.E. Schupp, Combinatorial Group Theory, Springer, Berlin, 1977.

    MATH  Google Scholar 

  12. W. Magnus, A. Karrass, D. Solitar, Combinatorial Group Theory, Wiley-Interscience, New York, 1966.

    MATH  Google Scholar 

  13. B.A. Reed, N. Robertson, A. Schrijver, P.D. Seymour, Finding disjoint trees in planar graphs in linear time, in: Graph Structure Theory (N. Robertson, P. Seymour, eds.), Contemporary Mathematics 147, American Mathematical Society, Providence, R.I., 1993, pp. 295–301.

    Google Scholar 

  14. N. Robertson, P.D. Seymour, Graph minors. XIII. The disjoint paths problem, Journal of Combinatorial Theory, Series B 63 (1995) 65–110.

    Google Scholar 

  15. A. Schrijver, Finding \(k\) disjoint paths in a directed planar graph, SIAM Journal on Computing 23 (1994) 780–788.

    Article  MathSciNet  Google Scholar 

  16. A. Schrijver, Combinatorial Optimization – Polyhedra and Efficiency, Springer, Berlin, 2003.

    MATH  Google Scholar 

  17. H. Servatius, Automorphisms of graph groups, Journal of Algebra 126 (1989) 34–60.

    Article  MathSciNet  Google Scholar 

  18. C. Wrathall, The word problem for free partially commutative groups, Journal of Symbolic Computation 6 (1988) 99–104.

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The author thanks the referee for helpful corrective remarks and suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alexander Schrijver .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 János Bolyai Mathematical Society and Springer-Verlag GmbH Germany, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Schrijver, A. (2019). Finding k Partially Disjoint Paths in a Directed Planar Graph. In: Bárány, I., Katona, G., Sali, A. (eds) Building Bridges II. Bolyai Society Mathematical Studies, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-59204-5_13

Download citation

Publish with us

Policies and ethics