Shortest $$(A+B)$$(A+B)-Path Packing Via Hafnian

Björklund and Husfeldt developed a randomized polynomial time algorithm to solve the shortest two disjoint paths problem. Their algorithm is based on computation of permanents modulo 4 and the isolation lemma. In this paper, we consider the following generalization of the shortest two disjoint paths problem, and develop a similar algebraic algorithm. The shortest perfect $$(A+B)$$(A+B)-path packing problem is: given an undirected graph G and two disjoint node subsets A, B with even cardinalities, find shortest $$|A|/2+|B|/2$$|A|/2+|B|/2 disjoint paths whose ends are both in A or both in B. Besides its NP-hardness, we prove that this problem can be solved in randomized polynomial time if $$|A|+|B|$$|A|+|B| is fixed. Our algorithm basically follows the framework of Björklund and Husfeldt but uses a new technique: computation of hafnian modulo $$2^k$$2k combined with Gallai’s reduction from T-paths to matchings. We also generalize our technique for solving other path packing problems, and discuss its limitation.

[1]  Paul D. Seymour Disjoint paths in graphs , 2006, Discret. Math..

[2]  Sudipto Guha,et al.  How to probe for an extreme value , 2010, TALG.

[3]  Y. Yamaguchi,et al.  MATHEMATICAL ENGINEERING TECHNICAL REPORTS Shortest Disjoint Non-zero A-paths via Weighted Matroid Matching , 2015 .

[4]  Yusuke Kobayashi,et al.  Finding a Shortest Non-zero Path in Group-Labeled Graphs via Permanent Computation , 2016, Algorithmica.

[5]  Carsten Thomassen,et al.  2-Linked Graphs , 1980, Eur. J. Comb..

[6]  Alexander Schrijver,et al.  Shortest vertex-disjoint two-face paths in planar graphs , 2008, TALG.

[7]  Alexander Schrijver,et al.  Combinatorial optimization. Polyhedra and efficiency. , 2003 .

[8]  Yoichi Iwata,et al.  A Strongly Polynomial Algorithm for Finding a Shortest Non-zero Path in Group-Labeled Graphs , 2019, SODA 2020.

[9]  Yossi Shiloach,et al.  A Polynomial Solution to the Undirected Two Paths Problem , 1980, JACM.

[10]  B. Mohar,et al.  Graph Minors , 2009 .

[11]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..

[12]  T. Gallai Maximum-Minimum Sätze und verallgemeinerte Faktoren von Graphen , 1964 .

[13]  Andreas Björklund,et al.  Shortest Two Disjoint Paths in Polynomial Time , 2014, ICALP.

[14]  Neil Robertson,et al.  Graph Minors .XIII. The Disjoint Paths Problem , 1995, J. Comb. Theory B.

[15]  Vijay V. Vazirani,et al.  Matching is as easy as matrix inversion , 1987, STOC.

[16]  Andreas Björklund,et al.  Counting perfect matchings as fast as Ryser , 2011, SODA.

[17]  Yusuke Kobayashi,et al.  On shortest disjoint paths in planar graphs , 2009, Discret. Optim..

[18]  Hiroshi Hirai,et al.  Tree metrics and edge-disjoint $$S$$S-paths , 2014, Math. Program..