Fast Algorithms for Maximum Subset Matching and All-Pairs Shortest Paths in Graphs with a (Not So) Small Vertex Cover

In the Maximum Subset Matching problem, which generalizesthe maximum matching problem, we are given a graph G = (V,E)and S ⊂ V. The goal is to determine the maximum number of verticesof S that can be matched in a matching of G. Our first result is a newrandomized algorithm for the Maximum Subset Matching problem thatimproves upon the fastest known algorithms for this problem. Our algorithmruns in O(ms(ω-1)/2) time if m ≥ s(ω+1)/2) and in O(sω) time ifm ≤ s(ω+1)/2), where ω < 2.376 is the matrix multiplication exponent, mis the number of edges from S to V \ S, and s = |S|. The algorithm isbased, in part, on a method for computing the rank of sparse rectangularinteger matrices. Our second result is a new algorithm for the All-Pairs Shortest Paths(APSP) problem. Given an undirected graph with n vertices, and withinteger weights from {1,..., W } assigned to its edges, we present analgorithm that solves the APSP problem in O(Wnω(1,1,µ)) time wherenµ = υc(G) is the vertex cover number of G and ω(1, 1, µ) is the timeneeded to compute the Boolean product of an n×n matrix with an n×nµmatrix. Already for the unweighted case this improves upon the previousO(n2+µ) and O(nω) time algorithms for this problem. In particular, if agraph has a vertex cover of size O(n0.29) then APSP in unweighted graphscan be solved in asymptotically optimal O(n2) time, and otherwise it canbe solved in O(n1.844υc(G)0.533) time. The common feature of both results is their use of algorithms developedin recent years for fast (sparse) rectangular matrix multiplication.

[1]  Zvi Galil,et al.  All Pairs Shortest Paths for Graphs with Small Integer Length Edges , 1997, J. Comput. Syst. Sci..

[2]  W. T. Tutte The Factorization of Linear Graphs , 1947 .

[3]  Noga Alon,et al.  Derandomization, witnesses for Boolean matrix multiplication and construction of perfect hash functions , 1994, Algorithmica.

[4]  Uri Zwick,et al.  All pairs shortest paths in undirected graphs with integer weights , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[5]  E. W. Ng Symbolic and Algebraic Computation , 1979, Lecture Notes in Computer Science.

[6]  László Lovász,et al.  On determinants, matchings, and random algorithms , 1979, FCT.

[7]  Raimund Seidel,et al.  On the All-Pairs-Shortest-Path Problem in Unweighted Undirected Graphs , 1995, J. Comput. Syst. Sci..

[8]  J. Hopcroft,et al.  Triangular Factorization and Inversion by Fast Matrix Multiplication , 1974 .

[9]  Robert E. Tarjan,et al.  Faster scaling algorithms for general graph matching problems , 1991, JACM.

[10]  Haim Kaplan,et al.  Colored intersection searching via sparse rectangular matrix multiplication , 2006, SCG '06.

[11]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[12]  M. Yannakakis Computing the Minimum Fill-in is NP^Complete , 1981 .

[13]  Don Coppersmith,et al.  Matrix multiplication via arithmetic progressions , 1987, STOC.

[14]  Raphael Yuster,et al.  Fast sparse matrix multiplication , 2004, TALG.

[15]  Gideon Yuval,et al.  An Algorithm for Finding All Shortest Paths Using N^(2.81) Infinite-Precision Multiplications , 1976, Inf. Process. Lett..

[16]  Shimon Even,et al.  An O (N2.5) algorithm for maximum matching in general graphs , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).

[17]  Piotr Sankowski,et al.  Maximum matchings via Gaussian elimination , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[18]  Nicholas J. A. Harvey Algebraic Structures and Algorithms for Matching and Matroid Problems , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

[19]  Silvio Micali,et al.  An O(v|v| c |E|) algoithm for finding maximum matching in general graphs , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[20]  Norbert Blum,et al.  A New Approach to Maximum Matching in General Graphs , 1990, ICALP.

[21]  Jacob T. Schwartz,et al.  Fast Probabilistic Algorithms for Verification of Polynomial Identities , 1980, J. ACM.

[22]  Richard Zippel,et al.  Probabilistic algorithms for sparse polynomials , 1979, EUROSAM.

[23]  Vijay V. Vazirani,et al.  A theory of alternating paths and blossoms for proving correctness of the $$O(\sqrt V E)$$ general graph maximum matching algorithm , 1990, Comb..

[24]  J. Edmonds Paths, Trees, and Flowers , 1965, Canadian Journal of Mathematics.

[25]  Don Coppersmith,et al.  Rectangular Matrix Multiplication Revisited , 1997, J. Complex..

[26]  Victor Y. Pan,et al.  Fast Rectangular Matrix Multiplication and Applications , 1998, J. Complex..