## Abstract

In this paper we study a variant of the classic d -Hitting Set problem with lower and upper capacity constraints, say A and B, respectively. The input to the problem consists of a universe U, a set family, S, of sets over U, where each set in the family is of size at most d, a non-negative integer k; and additionally two functions α: S→ { 1, …, A} and β: S→ { 1, …, B}. The goal is to decide if there exists a hitting set of size at most k such that for every set S in the family S, the solution contains at least α(S) elements and at most β(S) elements from S. We call this the (A, B) -Multi d-Hitting Set problem. We study the problem in the realm of parameterized complexity. We show that (A, B) -Multi d-Hitting Set can be solved in O^{⋆}(d^{k}) time. For the special case when d= 3 and d= 4, we have an improved bound of O^{⋆}(2. 2738 ^{k}) and O^{⋆}(3. 562 ^{k}), respectively. The former matches the running time of the classical 3-Hitting Set problem. Furthermore, we show that if we do not have an upper bound constraint and the lower bound constraint is same for all the sets in the family, say A> 1, then the problem can be solved even faster than d-Hitting Set. We next investigate some graph-theoretic problems which can be thought of as an implicit d-Hitting Set problem. In particular, we study (A, B) -Multi Vertex Cover and (A, B) -Multi Feedback Vertex Set in Tournaments. In (A, B) -Multi Vertex Cover, we are given a graph G and a non-negative integer k, the goal is to find a subset S⊆ V(G) of size at most k such that for every edge in G, S contains at least A and at most B of its endpoints. Analogously, we can define (A, B) -Multi Feedback Vertex Set in Tournaments. We show that unlike Vertex Cover, which is same as (1, 2 ) -Multi Vertex Cover, (1, 1 ) -Multi Vertex Cover is polynomial-time solvable. Furthermore, unlike Feedback Vertex Set in Tournaments, (A, B) -Multi Feedback Vertex Set in Tournaments can be solved in polynomial time.

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

Title of host publication | SOFSEM 2021 |

Subtitle of host publication | Theory and Practice of Computer Science - 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Proceedings |

Editors | Tomáš Bureš, Riccardo Dondi, Johann Gamper, Giovanna Guerrini, Tomasz Jurdzinski, Claus Pahl, Florian Sikora, Prudence W. Wong |

Publisher | Springer Science and Business Media Deutschland GmbH |

Pages | 293-307 |

Number of pages | 15 |

ISBN (Print) | 9783030677305 |

DOIs | |

State | Published - 1 Jan 2021 |

Externally published | Yes |

Event | 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021 - Bolzano-Bozen, Italy Duration: 25 Jan 2021 → 29 Jan 2021 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 12607 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021 |
---|---|

Country/Territory | Italy |

City | Bolzano-Bozen |

Period | 25/01/21 → 29/01/21 |

## Keywords

- Kernelization
- Multi hitting set
- Parameterized complexity

## ASJC Scopus subject areas

- Theoretical Computer Science
- General Computer Science