Eden Chlamtac

Senior Academic

Approximating Red-Blue Set Cover and Minimum Monotone Satisfying Assignment

Eden Chlamtáč, Yury Makarychev, Ali Vakilian

We provide new approximation algorithms for the Red-Blue Set Cover and Circuit Minimum Monotone Satisfying Assignment (MMSA) problems. Our algorithm for Red-Blue Set Cover achieves Õ(m1/3)-approximation improving on the Õ(m1/2)-approximation due to Elkin and Peleg (where m is the number of sets). Our approximation algorithm for MMSAt (for circuits of depth t) gives an Õ(N1−δ) approximation for δ = 1323−⌈t/2, where N is the number of gates and variables. No non-trivial approximation algorithms for MMSAt with t ≥ 4 were previously known. We complement these results with lower bounds for these problems: For Red-Blue Set Cover, we provide a nearly approximation preserving reduction from Min k-Union that gives an Ω̃(m1/4−ε) hardness under the Dense-vs-Random conjecture, while for MMSA we sketch a proof that an SDP relaxation strengthened by Sherali–Adams has an integrality gap of N1−ε where ε → 0 as the circuit depth t → ∞.

Publication language English
Publication status Published - 01.09.2023
11

Keywords

Circuit Minimum Monotone Satisfying Assignment (MMSA) Problem
LP Rounding
Red-Blue Set Cover Problem

ASJC Scopus subject areas

Software