## Abstract

Max-SAT with cardinality constraint (CC-Max-Sat) is one of the classical NP-complete problems, that generalizes Maximum Coverage, Partial Vertex Cover, Max-2-SAT with bisection constraints, and has been extensively studied across all algorithmic paradigms. In this problem, we are given a CNF-formula Φ, and a positive integer k, and the goal is to find an assignment β with at most k variables set to true (also called a weight k-assignment) such that the number of clauses satisfied by β is maximized. The problem is known to admit an approximation algorithm with factor (Equation presented) which is probably optimal. In fact, the problem is hard to approximate within 0.944, assuming Unique Games Conjecture, even when the input formula is 2-CNF. Furthermore, assuming Gap-Exponential Time Hypothesis (Gap-ETH), for any ϵ > 0 and any function h, no (Equation presented) time algorithm can approximate Maximum Coverage (a monotone version of CC-Max-Sat) with n elements and m sets to within a factor (Equation presented), even with a promise that there exist k sets that fully cover the whole universe. These intractable results lead us to explore families of formula, where we can circumvent these barriers. Towards this we consider K_{d, d}-free formulas (that is, the clause-variable incidence bipartite graph of the formula excludes K_{d, d} as an induced subgraph). We show that for every ϵ > 0, there exists an algorithm for CC-Max-Sat on K_{d, d}-free formulas with approximation ratio (1−ϵ) and running in time (Equation presented) (these algorithms are called FPT-AS). For, Maximum Coverage on K_{d, d}-free set families, we obtain FPT-AS with running time (Equation presented). Our second result considers “optimizing k”, with fixed covering constraint for the Maximum Coverage problem. To explain our result, we first recast the Maximum Coverage problem as the Max Red Blue Dominating Set with Covering Constraint problem. Here, input is a bipartite graph G = (A, B, E), a positive integer t, and the objective is to find a minimum sized subset S ⊆ A, such that |N(S)| (the size of the set of neighbors of S) is at least t. We design an additive approximation algorithm for Max Red Blue Dominating Set with Covering Constraint, on K_{d, d}-free bipartite graphs, running in FPT time. In particular, if k denotes the minimum size of S ⊆ A, such that |N(S)| ≥ t, then our algorithm runs in time (Equation presented) and returns a set S^{′} such that |N(S^{′})| ≥ t and |S^{′}| ≤ k + 1. This is in sharp contrast to the fact that, even a special case of our problem, namely, the Partial Vertex Cover problem (or Max k-VC) is W[1]-hard, parameterized by k. Thus, we get the best possible parameterized approximation algorithm for the Maximum Coverage problem on K_{d, d}-free bipartite graphs.

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

Title of host publication | 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023 |

Publisher | Association for Computing Machinery |

Pages | 3713-3733 |

Number of pages | 21 |

ISBN (Electronic) | 9781611977554 |

State | Published - 1 Jan 2023 |

Externally published | Yes |

Event | 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023 - Florence, Italy Duration: 22 Jan 2023 → 25 Jan 2023 |

### Publication series

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

Volume | 2023-January |

### Conference

Conference | 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023 |
---|---|

Country/Territory | Italy |

City | Florence |

Period | 22/01/23 → 25/01/23 |

## ASJC Scopus subject areas

- Software
- General Mathematics