On the Parameterized Complexity of Compact Set Packing
Ameet Gadekar
DOI: https://doi.org/10.1007/s00453-024-01269-6
IF: 0.909
2024-09-14
Algorithmica
Abstract:The Set Packing problem is, given a collection of sets over a ground set U , to find a maximum collection of sets that are pairwise disjoint. The problem is among the most fundamental NP-hard optimization problems that have been studied extensively in various computational regimes. The focus of this work is on parameterized complexity, Parameterized Set Packing ( PSP ): Given parameter , is there a collection such that the sets in are pairwise disjoint? Unfortunately, the problem is not fixed parameter tractable unless , and, in fact, an "enumerative" running time of is required unless the exponential time hypothesis (ETH) fails. This paper is a quest for tractable instances of Set Packing from parameterized complexity perspectives. We say that the input is "compact" if , for some . In the Compact PSP problem, we are given a compact instance of PSP . In this direction, we present a "dichotomy" result of PSP : When , PSP is in FPT , while for , the problem is W[1] -hard; moreover, assuming ETH, Compact PSP does not admit time algorithm even when . Although certain results in the literature imply hardness of compact versions of related problems such as Set -Covering and Exact -Covering , these constructions fail to extend to Compact PSP . A novel contribution of our work is the identification and construction of a gadget, which we call Compatible Intersecting Set System pair, that is crucial in obtaining the hardness result for Compact PSP . Finally, our framework can be extended to obtain improved running time lower bounds for Compact -VectorSum .
computer science, software engineering,mathematics, applied