Skip to main content
Top

2017 | OriginalPaper | Chapter

Approximating k-Forest with Resource Augmentation: A Primal-Dual Approach

Authors : Eric Angel, Nguyen Kim Thang, Shikha Singh

Published in: Combinatorial Optimization and Applications

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this paper, we study the k-forest problem in the model of resource augmentation. In the k-forest problem, given an edge-weighted graph G(VE), a parameter k, and a set of m demand pairs \(\subseteq V \times V\), the objective is to construct a minimum-cost subgraph that connects at least k demands. The problem is hard to approximate—the best-known approximation ratio is \(O(\min \{\sqrt{n}, \sqrt{k}\})\). Furthermore, k-forest is as hard to approximate as the notoriously-hard densest k-subgraph problem.
While the k-forest problem is hard to approximate in the worst-case, we show that with the use of resource augmentation, we can efficiently approximate it up to a constant factor.
First, we restate the problem in terms of the number of demands that are not connected. In particular, the objective of the k-forest problem can be viewed as to remove at most \(m-k\) demands and find a minimum-cost subgraph that connects the remaining demands. We use this perspective of the problem to explain the performance of our algorithm (in terms of the augmentation) in a more intuitive way.
Specifically, we present a polynomial-time algorithm for the k-forest problem that, for every \(\varepsilon >0\), removes at most \(m-k\) demands and has cost no more than \(O(1/\varepsilon ^{2})\) times the cost of an optimal algorithm that removes at most \((1-\varepsilon )(m-k)\) demands.

Dont have a licence yet? Then find out more about our products and how to get one now:

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 "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!

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!

Appendix
Available only for authorised users
Literature
1.
go back to reference Anand, S., Garg, N., Kumar, A.: Resource augmentation for weighted flow-time explained by dual fitting. In: Proceedings of the 23rd Symposium on Discrete Algorithms, pp. 1228–1241 (2012) Anand, S., Garg, N., Kumar, A.: Resource augmentation for weighted flow-time explained by dual fitting. In: Proceedings of the 23rd Symposium on Discrete Algorithms, pp. 1228–1241 (2012)
2.
go back to reference Angelopoulos, S., Lucarelli, G., Thang, N.K.: Primal-dual and dual-fitting analysis of online scheduling algorithms for generalized flow time problems. In: Proceedings of the 23rd European Symposium on Algorithms, pp. 35–46 (2015) Angelopoulos, S., Lucarelli, G., Thang, N.K.: Primal-dual and dual-fitting analysis of online scheduling algorithms for generalized flow time problems. In: Proceedings of the 23rd European Symposium on Algorithms, pp. 35–46 (2015)
4.
go back to reference Bhaskara, A., Charikar, M., Chlamtac, E., Feige, U., Vijayaraghavan, A.: Detecting high log-densities: an \({O}(n^{1/4})\) approximation for densest k-subgraph. In: Proceedings of the 42nd Symposium on Theory of Computing, pp. 201–210 (2010) Bhaskara, A., Charikar, M., Chlamtac, E., Feige, U., Vijayaraghavan, A.: Detecting high log-densities: an \({O}(n^{1/4})\) approximation for densest k-subgraph. In: Proceedings of the 42nd Symposium on Theory of Computing, pp. 201–210 (2010)
5.
go back to reference Birnbaum, B., Goldman, K.J.: An improved analysis for a greedy remote-clique algorithm using factor-revealing LPs. Algorithmica 55(1), 42–59 (2009)CrossRefMATHMathSciNet Birnbaum, B., Goldman, K.J.: An improved analysis for a greedy remote-clique algorithm using factor-revealing LPs. Algorithmica 55(1), 42–59 (2009)CrossRefMATHMathSciNet
7.
go back to reference Blum, A., Karger, D.: An õ (n314)-coloring algorithm for 3-colorable graphs. Inf. Process. Lett. 61(1), 49–53 (1997)CrossRefMATH Blum, A., Karger, D.: An õ (n314)-coloring algorithm for 3-colorable graphs. Inf. Process. Lett. 61(1), 49–53 (1997)CrossRefMATH
8.
go back to reference Borodin, A., Irani, S., Raghavan, P., Schieber, B.: Competitive paging with locality of reference. J. Comput. Syst. Sci. 50(2), 244–258 (1995)CrossRefMATHMathSciNet Borodin, A., Irani, S., Raghavan, P., Schieber, B.: Competitive paging with locality of reference. J. Comput. Syst. Sci. 50(2), 244–258 (1995)CrossRefMATHMathSciNet
9.
go back to reference Charikar, M., Raghavachari, B.: The finite capacity dial-a-ride problem. In: Proceedings of the 39th Symposium on Foundations of Computer Science, pp. 458–467 (1998) Charikar, M., Raghavachari, B.: The finite capacity dial-a-ride problem. In: Proceedings of the 39th Symposium on Foundations of Computer Science, pp. 458–467 (1998)
10.
go back to reference Choudhury, A.R., Das, S., Garg, N., Kumar, A.: Rejecting jobs to minimize load and maximum flow-time. In: Proceedings of the 26th Symposium on Discrete Algorithms, pp. 1114–1133 (2015) Choudhury, A.R., Das, S., Garg, N., Kumar, A.: Rejecting jobs to minimize load and maximum flow-time. In: Proceedings of the 26th Symposium on Discrete Algorithms, pp. 1114–1133 (2015)
11.
go back to reference Chudak, F.A., Roughgarden, T., Williamson, D.P.: Approximate k-msts and k-steiner trees via the primal-dual method and lagrangean relaxation. In: Proceedings of the 8th Conference on Integer Programming and Combinatorial Optimization, pp. 60–70 (2001) Chudak, F.A., Roughgarden, T., Williamson, D.P.: Approximate k-msts and k-steiner trees via the primal-dual method and lagrangean relaxation. In: Proceedings of the 8th Conference on Integer Programming and Combinatorial Optimization, pp. 60–70 (2001)
13.
14.
go back to reference Devanur, N.R., Huang, Z.: Primal dual gives almost optimal energy efficient online algorithms. In: Proceedings of the 25th Symposium on Discrete Algorithms (2014) Devanur, N.R., Huang, Z.: Primal dual gives almost optimal energy efficient online algorithms. In: Proceedings of the 25th Symposium on Discrete Algorithms (2014)
15.
go back to reference Emek, Y., Fraigniaud, P., Korman, A., Rosén, A.: Online computation with advice. In: Proceedings of the 36th International Colloquium on Automata, Languages, and Programming, pp. 427–438 (2009) Emek, Y., Fraigniaud, P., Korman, A., Rosén, A.: Online computation with advice. In: Proceedings of the 36th International Colloquium on Automata, Languages, and Programming, pp. 427–438 (2009)
16.
go back to reference Feige, U.: A threshold of ln n for approximating set cover (preliminary version). In: Proceedings of the 28th Symposium on Theory of Computing, pp. 314–318 (1996) Feige, U.: A threshold of ln n for approximating set cover (preliminary version). In: Proceedings of the 28th Symposium on Theory of Computing, pp. 314–318 (1996)
17.
go back to reference Feige, U., Langberg, M.: Approximation algorithms for maximization problems arising in graph partitioning. J. Algorithms 41(2), 174–211 (2001)CrossRefMATHMathSciNet Feige, U., Langberg, M.: Approximation algorithms for maximization problems arising in graph partitioning. J. Algorithms 41(2), 174–211 (2001)CrossRefMATHMathSciNet
19.
go back to reference Frederickson, G.N., Hecht, M.S., Kim, C.E.: Approximation algorithms for some routing problems. In: Proceedings of the 17th Symposium on Foundations of Computer Science, pp. 216–227 (1976) Frederickson, G.N., Hecht, M.S., Kim, C.E.: Approximation algorithms for some routing problems. In: Proceedings of the 17th Symposium on Foundations of Computer Science, pp. 216–227 (1976)
20.
go back to reference Garg, N.: A 3-approximation for the minimum tree spanning k vertices. In: Proceedings of the 37th Symposium on Foundations of Computer Science, pp. 302–309 (1996) Garg, N.: A 3-approximation for the minimum tree spanning k vertices. In: Proceedings of the 37th Symposium on Foundations of Computer Science, pp. 302–309 (1996)
21.
go back to reference Goemans, M.X., Williamson, D.P.: A general approximation technique for constrained forest problems. SIAM J. Comput. 24(2), 296–317 (1995)CrossRefMATHMathSciNet Goemans, M.X., Williamson, D.P.: A general approximation technique for constrained forest problems. SIAM J. Comput. 24(2), 296–317 (1995)CrossRefMATHMathSciNet
23.
24.
go back to reference Hajiaghayi, M.T., Jain, K.: The prize-collecting generalized steiner tree problem via a new approach of primal-dual schema. In: Proceedings of the 17th Symposium on Discrete Algorithm, pp. 631–640 (2006) Hajiaghayi, M.T., Jain, K.: The prize-collecting generalized steiner tree problem via a new approach of primal-dual schema. In: Proceedings of the 17th Symposium on Discrete Algorithm, pp. 631–640 (2006)
25.
go back to reference Im, S., Kulkarni, J., Munagala, K.: Competitive algorithms from competitive equilibria: Non-clairvoyant scheduling under polyhedral constraints. In: Proceedings of the 46th Symposium on Theory of Computing (2014) Im, S., Kulkarni, J., Munagala, K.: Competitive algorithms from competitive equilibria: Non-clairvoyant scheduling under polyhedral constraints. In: Proceedings of the 46th Symposium on Theory of Computing (2014)
26.
go back to reference Im, S., Kulkarni, J., Munagala, K.: Competitive flow time algorithms for polyhedral scheduling. In: Proceedings of the 56th Symposium on Foundations of Computer Science, pp. 506–524 (2015) Im, S., Kulkarni, J., Munagala, K.: Competitive flow time algorithms for polyhedral scheduling. In: Proceedings of the 56th Symposium on Foundations of Computer Science, pp. 506–524 (2015)
27.
go back to reference Im, S., Kulkarni, J., Munagala, K., Pruhs, K.: Selfishmigrate: a scalable algorithm for non-clairvoyantly scheduling heterogeneous processors. In: Proceedings of the 55th Symposium on Foundations of Computer Science (2014) Im, S., Kulkarni, J., Munagala, K., Pruhs, K.: Selfishmigrate: a scalable algorithm for non-clairvoyantly scheduling heterogeneous processors. In: Proceedings of the 55th Symposium on Foundations of Computer Science (2014)
28.
29.
go back to reference Jain, K., Vazirani, V.V.: Approximation algorithms for metric facility location and k-median problems using the primal-dual schema and lagrangian relaxation. J. ACM 48(2), 274–296 (2001)CrossRefMATHMathSciNet Jain, K., Vazirani, V.V.: Approximation algorithms for metric facility location and k-median problems using the primal-dual schema and lagrangian relaxation. J. ACM 48(2), 274–296 (2001)CrossRefMATHMathSciNet
33.
go back to reference Khot, S.: Ruling out ptas for graph min-bisection, dense k-subgraph, and bipartite clique. SIAM J. Comput. 36(4), 1025–1071 (2006)CrossRefMATHMathSciNet Khot, S.: Ruling out ptas for graph min-bisection, dense k-subgraph, and bipartite clique. SIAM J. Comput. 36(4), 1025–1071 (2006)CrossRefMATHMathSciNet
34.
go back to reference Klein, P.N., Young, N.E.: Approximation Algorithms for NP-Hard Optimization Problems. Chapman & Hall, Boca Raton (2010) Klein, P.N., Young, N.E.: Approximation Algorithms for NP-Hard Optimization Problems. Chapman & Hall, Boca Raton (2010)
35.
go back to reference Könemann, J., Parekh, O., Segev, D.: A unified approach to approximating partial covering problems. Algorithmica 59(4), 489–509 (2011)CrossRefMATHMathSciNet Könemann, J., Parekh, O., Segev, D.: A unified approach to approximating partial covering problems. Algorithmica 59(4), 489–509 (2011)CrossRefMATHMathSciNet
37.
go back to reference Lucarelli, G., Thang, N.K., Srivastav, A., Trystram, D.: Online non-preemptive scheduling in a resource augmentation model based on duality. In: Proceedings of the 24th European Symposium on Algorithms (2016) Lucarelli, G., Thang, N.K., Srivastav, A., Trystram, D.: Online non-preemptive scheduling in a resource augmentation model based on duality. In: Proceedings of the 24th European Symposium on Algorithms (2016)
39.
go back to reference Micali, S., Vazirani, V.V.: An \({O}(\sqrt{|V|} |{E}|)\) algorithm for finding maximum matching in general graphs. In: Proceedigs of the 21st Symposium on Foundations of Computer Science, pp. 17–27 (1980) Micali, S., Vazirani, V.V.: An \({O}(\sqrt{|V|} |{E}|)\) algorithm for finding maximum matching in general graphs. In: Proceedigs of the 21st Symposium on Foundations of Computer Science, pp. 17–27 (1980)
41.
go back to reference Orlin, J.B.: Max flows in \({O}(nm)\) time, or better. In: Proceedigns of the 45th ACM Symposium on Theory of Computing, pp. 765–774. ACM (2013) Orlin, J.B.: Max flows in \({O}(nm)\) time, or better. In: Proceedigns of the 45th ACM Symposium on Theory of Computing, pp. 765–774. ACM (2013)
42.
go back to reference Phillips, C.A., Stein, C., Torng, E., Wein, J.: Optimal time-critical scheduling via resource augmentation. Algorithmica 32(2), 163–200 (2002)CrossRefMATHMathSciNet Phillips, C.A., Stein, C., Torng, E., Wein, J.: Optimal time-critical scheduling via resource augmentation. Algorithmica 32(2), 163–200 (2002)CrossRefMATHMathSciNet
43.
go back to reference Segev, D., Segev, G.: Approximate k-steiner forests via the lagrangian relaxation technique with internal preprocessing. Algorithmica 56(4), 529–549 (2010)CrossRefMATHMathSciNet Segev, D., Segev, G.: Approximate k-steiner forests via the lagrangian relaxation technique with internal preprocessing. Algorithmica 56(4), 529–549 (2010)CrossRefMATHMathSciNet
45.
go back to reference Thang, N.K.: Lagrangian duality in online scheduling with resource augmentation and speed scaling. In: Proceedigns of the 21st European Symposium on Algorithms, pp. 755–766 (2013) Thang, N.K.: Lagrangian duality in online scheduling with resource augmentation and speed scaling. In: Proceedigns of the 21st European Symposium on Algorithms, pp. 755–766 (2013)
46.
go back to reference Vaidya, P.M.: A new algorithm for minimizing convex functions over convex sets. In: 1989 30th Annual Symposium on Foundations of Computer Science, pp. 338–343. IEEE (1989) Vaidya, P.M.: A new algorithm for minimizing convex functions over convex sets. In: 1989 30th Annual Symposium on Foundations of Computer Science, pp. 338–343. IEEE (1989)
47.
go back to reference Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2013) Vazirani, V.V.: Approximation Algorithms. Springer, Heidelberg (2013)
49.
go back to reference Williamson, D.P., Shmoys, D.B.: The Design of Approximation Algorithms. Cambridge University Press, Cambridge (2011)CrossRefMATH Williamson, D.P., Shmoys, D.B.: The Design of Approximation Algorithms. Cambridge University Press, Cambridge (2011)CrossRefMATH
Metadata
Title
Approximating k-Forest with Resource Augmentation: A Primal-Dual Approach
Authors
Eric Angel
Nguyen Kim Thang
Shikha Singh
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-71147-8_23

Premium Partner