Skip to main content
Erschienen in: Theory of Computing Systems 1/2023

03.07.2021

Fixed-Parameter Algorithms for Unsplittable Flow Cover

verfasst von: Andrés Cristi, Mathieu Mari, Andreas Wiese

Erschienen in: Theory of Computing Systems | Ausgabe 1/2023

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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 2001) and also a QPTAS (Höhn et al. ICALP 2018). 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 slighly 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)\cdot n^{O_{\epsilon }(1)}\) that outputs a solution with at most (1 + 𝜖)k tasks or asserts 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. We show that the other two algorithms extend also to the weighted case of the problem, at the expense of losing a factor of 1 + 𝜖 in the cost of the selected tasks.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
In the weighted case we look for a solution with at most k tasks of minimum total cost.
 
Literatur
1.
Zurück zum Zitat Albers, S., Arora, S., Khanna, S.: Page replacement for general caching problems. In: SODA, vol. 99, pp 31–40. Citeseer (1999) Albers, S., Arora, S., Khanna, S.: Page replacement for general caching problems. In: SODA, vol. 99, pp 31–40. Citeseer (1999)
3.
Zurück zum Zitat Bansal, N., Chakrabarti, A., Epstein, Schieber, B.: A quasi-PTAS for unsplittable flow on line graphs. In: Proceedings of the 38th Annual ACM Symposium on Theory of Computing (STOC 2006), pp 721–729. ACM (2006) Bansal, N., Chakrabarti, A., Epstein, Schieber, B.: A quasi-PTAS for unsplittable flow on line graphs. In: Proceedings of the 38th Annual ACM Symposium on Theory of Computing (STOC 2006), pp 721–729. ACM (2006)
4.
Zurück zum Zitat Bansal, N., Krishnaswamy, R., Saha, B.: On capacitated set cover problems. In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, pp 38–49. Springer (2011) Bansal, N., Krishnaswamy, R., Saha, B.: On capacitated set cover problems. In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, pp 38–49. Springer (2011)
7.
Zurück zum Zitat Bazgan, C.: Schémas d’approximation et Complexité Paramétrée, Rapport du stage (DEA) Technical report Universitée Paris Sud (1995) Bazgan, C.: Schémas d’approximation et Complexité Paramétrée, Rapport du stage (DEA) Technical report Universitée Paris Sud (1995)
8.
Zurück zum Zitat Belady, L.A.: A study of replacement algorithms for a virtual-storage computer. IBM Syst. J. 5(2), 78–101 (1966)CrossRef Belady, L.A.: A study of replacement algorithms for a virtual-storage computer. IBM Syst. J. 5(2), 78–101 (1966)CrossRef
9.
Zurück zum Zitat Bonsma, P., Schulz, J., Wiese, A.: A constant-factor approximation algorithm for unsplittable flow on paths. SIAM J. Comput. 43, 767–799 (2014)MathSciNetCrossRefMATH Bonsma, P., Schulz, J., Wiese, A.: A constant-factor approximation algorithm for unsplittable flow on paths. SIAM J. Comput. 43, 767–799 (2014)MathSciNetCrossRefMATH
10.
Zurück zum Zitat Cai, L., Huang, X.: Fixed-parameter approximation: Conceptual framework and approximability results. In: Proceedings of Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. https://doi.org/10.1007/11847250_9, pp 96–108 (2006) Cai, L., Huang, X.: Fixed-parameter approximation: Conceptual framework and approximability results. In: Proceedings of Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. https://​doi.​org/​10.​1007/​11847250_​9, pp 96–108 (2006)
11.
Zurück zum Zitat Carr, R.D., Fleischer, L.K., Leung, V.J., Phillips, C.A.: Strengthening integrality gaps for capacitated network design and covering problems. In: Proceedings of the 11th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2000), Society for Industrial and Applied Mathematics, pp 106–115 (2000) Carr, R.D., Fleischer, L.K., Leung, V.J., Phillips, C.A.: Strengthening integrality gaps for capacitated network design and covering problems. In: Proceedings of the 11th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2000), Society for Industrial and Applied Mathematics, pp 106–115 (2000)
13.
Zurück zum Zitat Chakrabarty, D., Grant, E., Könemann, J.: On column-restricted and priority covering integer programs. In: International Conference on Integer Programming and Combinatorial Optimization, pp 355–368. Springer (2010) Chakrabarty, D., Grant, E., Könemann, J.: On column-restricted and priority covering integer programs. In: International Conference on Integer Programming and Combinatorial Optimization, pp 355–368. Springer (2010)
14.
Zurück zum Zitat Chen, Y., Grohe, M., Grüber, M.: On parameterized approximability. In: Proceedings of Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. https://doi.org/10.1007/11847250_10, pp 109–120 (2006) Chen, Y., Grohe, M., Grüber, M.: On parameterized approximability. In: Proceedings of Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. https://​doi.​org/​10.​1007/​11847250_​10, pp 109–120 (2006)
15.
Zurück zum Zitat Cheung, M., Mestre, J., Shmoys, D.B., Verschae, J.: A primal-dual approximation algorithm for min-sum single-machine scheduling problems. SIAM J. Discret. Math. 31(2), 825–838 (2017)MathSciNetCrossRefMATH Cheung, M., Mestre, J., Shmoys, D.B., Verschae, J.: A primal-dual approximation algorithm for min-sum single-machine scheduling problems. SIAM J. Discret. Math. 31(2), 825–838 (2017)MathSciNetCrossRefMATH
16.
Zurück zum Zitat Chrobak, M., Woeginger, G., Makino, K., Xu, H.: Caching is hard, even in the fault model. In: ESA, pp 195–206 (2010) Chrobak, M., Woeginger, G., Makino, K., Xu, H.: Caching is hard, even in the fault model. In: ESA, pp 195–206 (2010)
17.
Zurück zum Zitat Cristi, A., Wiese, A.: Better approximations for general caching and UFP-cover under resource augmentation. Unpublished (2019) Cristi, A., Wiese, A.: Better approximations for general caching and UFP-cover under resource augmentation. Unpublished (2019)
18.
Zurück zum Zitat Downey, R.G., Fellows, M.R., McCartin, C.: Parameterized approximation problems. In: Proceedings of Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. https://doi.org/10.1007/11847250_11, pp 121–129 (2006) Downey, R.G., Fellows, M.R., McCartin, C.: Parameterized approximation problems. In: Proceedings of Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. https://​doi.​org/​10.​1007/​11847250_​11, pp 121–129 (2006)
20.
Zurück zum Zitat Fellows, M.R., Koblitz, N.: Fixed-parameter complexity and cryptography. In: International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, pp 121–131. Springer (1993) Fellows, M.R., Koblitz, N.: Fixed-parameter complexity and cryptography. In: International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, pp 121–131. Springer (1993)
22.
Zurück zum Zitat Grandoni, F., Mömke, T., Andreas, W., Zhou, H.: To augment or not to augment: Solving unsplittable flow on a path by creating slack. In: Proc. of the 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2017). To appear (2017) Grandoni, F., Mömke, T., Andreas, W., Zhou, H.: To augment or not to augment: Solving unsplittable flow on a path by creating slack. In: Proc. of the 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2017). To appear (2017)
23.
Zurück zum Zitat Grandoni, F., Mömke, T., Wiese, A., Zhou, H.: A (5/3+ε)-approximation for unsplittable flow on a path: placing small tasks into boxes. In: Proceedings of the 50th Annual ACM Symposium on Theory of Computing (STOC 2018), pp 607–619. ACM (2018) Grandoni, F., Mömke, T., Wiese, A., Zhou, H.: A (5/3+ε)-approximation for unsplittable flow on a path: placing small tasks into boxes. In: Proceedings of the 50th Annual ACM Symposium on Theory of Computing (STOC 2018), pp 607–619. ACM (2018)
24.
Zurück zum Zitat Höhn, W., Mestre, J., Wiese, A.: How unsplittable-flow-covering helps scheduling with job-dependent cost functions. Algorithmica 80(4), 1191–1213 (2018)MathSciNetCrossRefMATH Höhn, W., Mestre, J., Wiese, A.: How unsplittable-flow-covering helps scheduling with job-dependent cost functions. Algorithmica 80(4), 1191–1213 (2018)MathSciNetCrossRefMATH
25.
Zurück zum Zitat Irani, S.: Page replacement with multi-size pages and applications to web caching. In: Proceedings of the Twenty-ninth Annual ACM Symposium on Theory of Computing, pp 701–710. ACM (1997) Irani, S.: Page replacement with multi-size pages and applications to web caching. In: Proceedings of the Twenty-ninth Annual ACM Symposium on Theory of Computing, pp 701–710. ACM (1997)
26.
Zurück zum Zitat Lokshtanov, D., Panolan, F., Ramanujan, M.S., Saurabh, S.: Lossy kernelization. In: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2017), pp 224–237. ACM (2017) Lokshtanov, D., Panolan, F., Ramanujan, M.S., Saurabh, S.: Lossy kernelization. In: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2017), pp 224–237. ACM (2017)
28.
Zurück zum Zitat Sloper, C., Telle, J.A.: An overview of techniques for designing parameterized algorithms. Comput. J. 51(1), 122–136 (2008)CrossRef Sloper, C., Telle, J.A.: An overview of techniques for designing parameterized algorithms. Comput. J. 51(1), 122–136 (2008)CrossRef
29.
Zurück zum Zitat Wiese, A.: A (1+epsilon)-approximation for unsplittable flow on a path in fixed-parameter running time. In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, pp 67:1–67:13 (2017) Wiese, A.: A (1+epsilon)-approximation for unsplittable flow on a path in fixed-parameter running time. In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, pp 67:1–67:13 (2017)
Metadaten
Titel
Fixed-Parameter Algorithms for Unsplittable Flow Cover
verfasst von
Andrés Cristi
Mathieu Mari
Andreas Wiese
Publikationsdatum
03.07.2021
Verlag
Springer US
Erschienen in
Theory of Computing Systems / Ausgabe 1/2023
Print ISSN: 1432-4350
Elektronische ISSN: 1433-0490
DOI
https://doi.org/10.1007/s00224-021-10048-7

Weitere Artikel der Ausgabe 1/2023

Theory of Computing Systems 1/2023 Zur Ausgabe