TY - GEN
T1 - Parameterized Complexity of d-Hitting Set with Quotas
AU - Gupta, Sushmita
AU - Jain, Pallavi
AU - Petety, Aditya
AU - Singh, Sagar
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021/1/1
Y1 - 2021/1/1
N2 - 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⋆(dk) 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.
AB - 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⋆(dk) 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.
KW - Kernelization
KW - Multi hitting set
KW - Parameterized complexity
UR - http://www.scopus.com/inward/record.url?scp=85101513576&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-67731-2_21
DO - 10.1007/978-3-030-67731-2_21
M3 - Conference contribution
AN - SCOPUS:85101513576
SN - 9783030677305
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 293
EP - 307
BT - SOFSEM 2021
A2 - Bureš, Tomáš
A2 - Dondi, Riccardo
A2 - Gamper, Johann
A2 - Guerrini, Giovanna
A2 - Jurdzinski, Tomasz
A2 - Pahl, Claus
A2 - Sikora, Florian
A2 - Wong, Prudence W.
PB - Springer Science and Business Media Deutschland GmbH
T2 - 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021
Y2 - 25 January 2021 through 29 January 2021
ER -