[HTML][HTML] A simple optimal contention resolution scheme for uniform matroids

D Kashaev, R Santiago - Theoretical Computer Science, 2023 - Elsevier
D Kashaev, R Santiago
Theoretical Computer Science, 2023Elsevier
Contention resolution schemes (or CR schemes), introduced by Chekuri, Vondrak and
Zenklusen, are a class of randomized rounding algorithms for converting a fractional
solution to a relaxation for a down-closed constraint family into an integer solution. A CR
scheme takes a fractional point x in a relaxation polytope, rounds each coordinate xi
independently to get a possibly non-feasible set, and then drops some elements in order to
satisfy the constraints. Intuitively, a CR scheme is c-balanced if every element i is selected …
Contention resolution schemes (or CR schemes), introduced by Chekuri, Vondrak and Zenklusen, are a class of randomized rounding algorithms for converting a fractional solution to a relaxation for a down-closed constraint family into an integer solution. A CR scheme takes a fractional point x in a relaxation polytope, rounds each coordinate x i independently to get a possibly non-feasible set, and then drops some elements in order to satisfy the constraints. Intuitively, a CR scheme is c-balanced if every element i is selected with probability at least c⋅ x i. It is known that general matroids admit a (1− 1/e)-balanced CR scheme, and that this is (asymptotically) optimal. This is in particular true for the special case of uniform matroids of rank one. In this work, we provide a simple and explicit monotone CR scheme for uniform matroids of rank k on n elements with a balancedness of 1−(n k)(1− k n) n+ 1− k (k n) k, and show that this is optimal. As n grows, this expression converges from above to 1− e− k k k/k!. While this asymptotic bound can be obtained by combining previously known results, these require defining an exponential-sized linear program, as well as using random sampling and the ellipsoid algorithm. Our procedure, on the other hand, has the advantage of being simple and explicit. Moreover, this scheme generalizes into an optimal CR scheme for partition matroids.
Elsevier