English

On contention resolution for the hypergraph matching, knapsack, and $k$-column sparse packing problems

Data Structures and Algorithms 2024-04-02 v1 Optimization and Control

Abstract

The contention resolution framework is a versatile rounding technique used as a part of the relaxation and rounding approach for solving constrained submodular function maximization problems. We apply this framework to the hypergraph matching, knapsack, and kk-column sparse packing problems. In the hypergraph matching setting, we adapt the technique of Guruganesh, Lee (2018) to non-constructively prove that the correlation gap is at least 1ekk\frac{1-e^{-k}}{k} and provide a monotone (b,1ebkbk)\left(b,\frac{1-e^{-bk}}{bk}\right)-balanced contention resolution scheme, generalizing the results of Bruggmann, Zenklusen (2019). For the knapsack problem, we prove that the correlation gap of instances where exactly kk copies of each item fit into the knapsack is at least 1e22\frac{1-e^{-2}}{2} and provide several monotone contention resolution schemes: a 1e22\frac{1-e^{-2}}{2}-balanced scheme for instances where all item sizes are strictly bigger than 12\frac{1}{2}, a 49\frac{4}{9}-balanced scheme for instances where all item sizes are at most 12\frac{1}{2}, and a 0.2790.279-balanced scheme for instances with arbitrary item sizes. For kk-column sparse packing integer programs, we slightly modify the (2k+o(k))\left(2k+o\left(k\right)\right)-approximation algorithm for kk-CS-PIP based on the strengthened LP relaxation presented in Brubach et al. (2019) to obtain a 14k+o(k)\frac{1}{4k+o\left(k\right)}-balanced contention resolution scheme and hence a (4k+o(k))\left(4k+o\left(k\right)\right)-approximation algorithm for kk-CS-PIP based on the natural LP relaxation.

Keywords

Cite

@article{arxiv.2404.00041,
  title  = {On contention resolution for the hypergraph matching, knapsack, and $k$-column sparse packing problems},
  author = {Ivan Sergeev},
  journal= {arXiv preprint arXiv:2404.00041},
  year   = {2024}
}

Comments

Master's thesis defended at ETH Zurich. Supervisors: Rico Zenklusen, Charalampos (Haris) Angelidakis

R2 v1 2026-06-28T15:38:37.874Z