TY - GEN
T1 - Fixed-parameter algorithms for unsplittable flow cover
AU - Cristi, Andrés
AU - Mari, Mathieu
AU - Wiese, Andreas
N1 - Publisher Copyright:
© Andrés Cristi, Mathieu Mari, and Andreas Wiese; licensed under Creative Commons License CC-BY
PY - 2020/3
Y1 - 2020/3
N2 - The Unsplittable Flow Cover problem (UFP-cover) models the well-studied general caching problem and various natural resource allocation settings. We are given a path with a demand on each edge and a set of tasks, each task being defined by a subpath and a size. The goal is to select a subset of the tasks of minimum cardinality such that on each edge e the total size of the selected tasks using e is at least the demand of e. There is a polynomial time 4-approximation for the problem [Bar-Noy et al., STOC 2000] and also a QPTAS [Höhn et al., ICALP 2014]. In this paper we study fixed-parameter algorithms for the problem. We show that it is W[1]-hard but it becomes FPT if we can slightly violate the edge demands (resource augmentation) and also if there are at most k different task sizes. Then we present a parameterized approximation scheme (PAS), i.e., an algorithm with a running time of f(k) · nOε(1) that outputs a solution with at most (1 + ε)k tasks or assert that there is no solution with at most k tasks. In this algorithm we use a new trick that intuitively allows us to pretend that we can select tasks from OPT multiple times.
AB - The Unsplittable Flow Cover problem (UFP-cover) models the well-studied general caching problem and various natural resource allocation settings. We are given a path with a demand on each edge and a set of tasks, each task being defined by a subpath and a size. The goal is to select a subset of the tasks of minimum cardinality such that on each edge e the total size of the selected tasks using e is at least the demand of e. There is a polynomial time 4-approximation for the problem [Bar-Noy et al., STOC 2000] and also a QPTAS [Höhn et al., ICALP 2014]. In this paper we study fixed-parameter algorithms for the problem. We show that it is W[1]-hard but it becomes FPT if we can slightly violate the edge demands (resource augmentation) and also if there are at most k different task sizes. Then we present a parameterized approximation scheme (PAS), i.e., an algorithm with a running time of f(k) · nOε(1) that outputs a solution with at most (1 + ε)k tasks or assert that there is no solution with at most k tasks. In this algorithm we use a new trick that intuitively allows us to pretend that we can select tasks from OPT multiple times.
KW - Approximation algorithms
KW - Fixed parameter algorithms
KW - Unsplittable Flow Cover
UR - http://www.scopus.com/inward/record.url?scp=85082125844&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.STACS.2020.42
DO - 10.4230/LIPIcs.STACS.2020.42
M3 - Conference contribution
AN - SCOPUS:85082125844
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020
A2 - Paul, Christophe
A2 - Blaser, Markus
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020
Y2 - 10 March 2020 through 13 March 2020
ER -