eng
Schloss Dagstuhl β Leibniz-Zentrum fΓΌr Informatik
Leibniz International Proceedings in Informatics
1868-8969
2023-12-13
13:1
13:17
10.4230/LIPIcs.IPEC.2023.13
article
Budgeted Matroid Maximization: a Parameterized Viewpoint
Doron-Arad, Ilan
1
Kulik, Ariel
2
Shachnai, Hadas
1
Computer Science Department, Technion, Haifa, Israel
CISPA Helmholtz Center for Information Security, SaarbrΓΌcken, Germany
We study budgeted variants of well known maximization problems with multiple matroid constraints. Given an π-matchoid β³ on a ground set E, a profit function p:E β β_{β₯ 0}, a cost function c:E β β_{β₯ 0}, and a budget B β β_{β₯ 0}, the goal is to find in the π-matchoid a feasible set S of maximum profit p(S) subject to the budget constraint, i.e., c(S) β€ B. The budgeted π-matchoid (BM) problem includes as special cases budgeted π-dimensional matching and budgeted π-matroid intersection. A strong motivation for studying BM from parameterized viewpoint comes from the APX-hardness of unbudgeted π-dimensional matching (i.e., B = β) already for π = 3. Nevertheless, while there are known FPT algorithms for the unbudgeted variants of the above problems, the budgeted variants are studied here for the first time through the lens of parameterized complexity.
We show that BM parametrized by solution size is W[1]-hard, already with a degenerate single matroid constraint. Thus, an exact parameterized algorithm is unlikely to exist, motivating the study of FPT-approximation schemes (FPAS). Our main result is an FPAS for BM (implying an FPAS for π-dimensional matching and budgeted π-matroid intersection), relying on the notion of representative set - a small cardinality subset of elements which preserves the optimum up to a small factor. We also give a lower bound on the minimum possible size of a representative set which can be computed in polynomial time.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol285-ipec2023/LIPIcs.IPEC.2023.13/LIPIcs.IPEC.2023.13.pdf
budgeted matching
budgeted matroid intersection
knapsack problems
FPT-approximation scheme