## Abstract

Sets of permutations play an important role in the design of some efficient algorithms. In this paper we design two algorithms that manipulate sets of permutations. Both algorithms, each solving a different problem, use fast matrix multiplication techniques to achieve a significant improvement in the running time over the naive solutions. For a set of permutations P ⊂ S_{n} we say that i k-dominates j if the number of permutations π ∈ P for which π(i) < π(j) is k. The dominance matrix of P is the n x n matrix D_{P} where D_{P}(i, j) = k if and only if i k-dominates j. We give an efficient algorithm for computing Dp using fast rectangular matrix multiplication. In particular, when |P| = n our algorithm runs in O(n ^{2.684}) time. Computing the dominance matrix of permutations is computationally equivalent to the dominance problem in computational geometry. Thus, our algorithm slightly improves upon a well-known O(n^{2.688}) time algorithm of Matousek for the dominance problem. Permutation dominance is used, together with several other ingredients, to obtain a truly sub-cubic algorithm for the All Pairs Shortest Paths (APSP) problem in real-weighted directed graphs, where the number of distinct weights emanating from each vertex is O(n^{0.338}). A special case of this algorithm implies an O(n ^{2.842}) time algorithm for real vertex-weighted APSP, which slightly improves a recent result of Chan [STOC-07]. A set of permutations P ⊂ S _{n} is fully expanding if the product of any two elements of P yields a distinct permutation. Stated otherwise, |P^{2}| = |P|^{2} where P^{2} ⊂ S_{n} is the set of products of two elements of P. We present a randomized algorithm that computes |P^{2}| and hence decides if P is fully expanding. The algorithm also produces a table that, for any σ_{1}, σ_{2}, σ_{3}, σ^{4} ∈ P, answers the query σ_{1}σ _{2} = σ_{3}σ_{4} in Õ(1) time. The algorithm uses, among other ingredients, a combination of fast matrix multiplication and polynomial identity testing. In particular, for |P| = n our algorithm runs in O(n^{ω}) time where ω < 2.376 is the matrix multiplication exponent. We note that the naive deterministic solution for this problem requires Θ(n^{3}) time.

Original language | English |
---|---|

Title of host publication | Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms |

Publisher | Association for Computing Machinery (ACM) |

Pages | 950-957 |

Number of pages | 8 |

ISBN (Print) | 9780898716801 |

DOIs | |

State | Published - 2009 |

Event | 20th Annual ACM-SIAM Symposium on Discrete Algorithms - New York, NY, United States Duration: 4 Jan 2009 → 6 Jan 2009 |

### Publication series

Name | Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms |
---|

### Conference

Conference | 20th Annual ACM-SIAM Symposium on Discrete Algorithms |
---|---|

Country/Territory | United States |

City | New York, NY |

Period | 4/01/09 → 6/01/09 |

## ASJC Scopus subject areas

- Software
- General Mathematics