Deterministic algorithms for Mat ching and packing problems based on representative sets

Prachi Goyal, Neeldhara Misra, Fahad Panolan, Meirav Zehavi

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Abstract

In this work, we study the well-known r-DIMENSIONAL k-MATCHING ((r, k)-DM), and r-SET k-PACKING ((r, k)-SP) problems. Given a universe U := U1 ⋯ Ur and an r-uniform family F ⊆ U1 × ⋯ × Ur, the (r, k)-DM problem asks if F admits a collection of k mutually disjoint sets. Given a universe U and an r-uniform family F ⊆ 2U, the (r,k)SP problem asks if F admits a collection of k mutually disjoint sets. We employ techniques based on dynamic programming and representative families. This leads to a deterministic algorithm with running time O(2.851(r-1)k. |F|. n log2 n-log W) for the weighted version of (r, k)-DM, where W is the maximum weight in the input, and a deterministic algorithm with running time O(2.851(r-0.5501)k · |F| · nlog2 n · logW) for the weighted version of (r, k)SP. Thus, we significantly improve the previous best known deterministic running times for (r, k)-DM and (r, k)SP and the previous best known running times for their weighted versions. We rely on structural properties of (r, k)-DM and (r, k)SP to develop algorithms that are faster than those that can be obtained by a standard use of representative sets. Incorporating the principles of iterative expansion, we obtain a better algorithm for (3,k)-DM, running in time O(2.0043k · |F| · nlog2 n). We believe that this algorithm demonstrates an interesting application of representative families in conjunction with more traditional techniques. Furthermore, we present kernels of size O(err(k - 1)r log W) for the weighted versions of (r, k)-DM and (r, k)-SP, improving the previous best known kernels of size O(r!r(k-1)r logW) for these problems.

Original languageEnglish
Pages (from-to)1815-1836
Number of pages22
JournalSIAM Journal on Discrete Mathematics
Volume29
Issue number4
DOIs
StatePublished - 1 Jan 2015
Externally publishedYes

Keywords

  • 3D-matching
  • Fixed-parameter algorithms
  • Iterative expansion
  • R-dimensional matching
  • Representative sets
  • Set packing

ASJC Scopus subject areas

  • Mathematics (all)

Fingerprint

Dive into the research topics of 'Deterministic algorithms for Mat ching and packing problems based on representative sets'. Together they form a unique fingerprint.

Cite this