Abstract
Let \(T=(V,E)\) be a tree with associated costs on its subtrees. A minmax k-partition of T is a partition into k subtrees, minimizing the maximum cost of a subtree over all possible partitions. In the centered version of the problem, the cost of a subtree is defined as the minimum cost of “servicing” that subtree using a center located within it. The problem motivating this work was the sink-evacuation problem on trees, i.e., finding a collection of k-sinks that minimize the time required by a confluent dynamic network flow to evacuate all supplies to sinks. This paper provides the first polynomial-time algorithm for solving this problem, running in \(O\Bigl ( \max (k \log k,\log n) k^2 n \log ^4 n\Bigr )\) time. The technique developed can be used to solve any Minmax Centered k-Partitioning problem on trees in which the servicing costs satisfy some very general conditions. Solutions can be found for both the discrete case, in which centers must be on vertices, and the continuous case, in which centers may also be placed on edges. The technique developed also improves previous results for solving the sink evacuation problem on a tree, given the location of the sinks in advance.
Similar content being viewed by others
Notes
Confluent flows occur naturally in problems other than evacuations, e.g., packet forwarding and railway scheduling [14].
Because the sinks are predefined, they never move and path monotonicity is superfluous.
It thus needs to check each edge in the tree twice; once in each direction.
(u, v) could have been checked immediately. The deferment is introduced to simplify the later use of parametric searching in Sect. 5.
The version of parametric searching used here is specialized for the case in which the feasibility test \({\mathcal {B}}\) can only determine whether \({\mathcal {T}}^* \le {\mathcal {T}}\) but not whether \({\mathcal {T}}^* ={\mathcal {T}}.\) See [1, p. 415] for more details.
References
Agarwal, P.K., Sharir, M.: Efficient algorithms for geometric optimization. ACM Comput. Surv. (CSUR) 30(4), 412–458 (1998)
Agasi, E., Becker, R.I., Perl, Y.: A shifting algorithm for constrained min-max partition on trees. Discret. Appl. Math. 45(1), 1–28 (1993)
Aronson, J.E.: A survey of dynamic network flows. Ann. Oper. Res. 20(1), 1–66 (1989)
Becker, R.I., Perl, Y.: Shifting algorithms for tree partitioning with general weighting functions. J. Algorithms 4(2), 101–120 (1983)
Becker, R.I., Perl, Y.: The shifting algorithm technique for the partitioning of trees. Discret. Appl. Math. 62(1–3), 15–34 (1995)
Becker, R.I., Perl, Y., Schach, S.R.: A shifting algorithm for min-max tree partitioning. J. ACM (JACM) 29(1), 58–67 (1982)
Bhattacharya, B., Golin, M. J., Higashikawa, Y., Kameda, T., Katoh, N.: Improved algorithms for computing k-sink on dynamic flow path networks. In: Proceedings of WADS’17, pp. 133–144. Springer (2017)
Bhattacharya, B., Kameda, T.: Improved algorithms for computing minmax regret sinks on dynamic path and tree networks. Theoret. Comput. Sci. 607, 411–425 (2015)
Chen, D., Golin, M.J.: Sink evacuation on trees with dynamic confluent flows. In: 27th International Symposium on Algorithms and Computation (ISAAC 2016). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2016)
Chen, D.Z., Li, J., Wang, H.: Efficient algorithms for the one-dimensional k-center problem. Theoret. Comput. Sci. 592, 135–142 (2015)
Chen, J., Kleinberg, R.D., Lovász, L., Rajaraman, R., Sundaram, R., Vetta, A.: (Almost) Tight bounds and existence theorems for single-commodity confluent flows. J. ACM 54(4), 16-es (2007)
Chen, J., Rajaraman, R., Sundaram, R.: Meet and merge: approximation algorithms for confluent flows. J. Comput. Syst. Sci. 72(3), 468–489 (2006)
Cole, R.: Slowing down sorting networks to obtain faster sorting algorithms. J. ACM (JACM) 4(1), 200–208 (1978)
Dressler, D., Strehler, M.: Capacitated confluent flows: complexity and algorithms. In: 7th International Conference on Algorithms and Complexity (CIAC’10), pp. 347–358 (2010)
Fleischer, L., Skutella, M.: Quickest flows over time. SIAM J. Comput. 36(6), 1600–1630 (2007)
Fleischer, L., Tardos, É.: Efficient continuous-time dynamic network flow algorithms. Oper. Res. Lett. 23(3), 71–80 (1998)
Ford, L.R., Fulkerson, D.R.: Constructing maximal dynamic flows from static flows. Oper. Res. 6(3), 419–433 (1958)
Frederickson, G.N.: Parametric search and locating supply centers in trees. In: Proceedings of the Second Workshop on Algorithms and Data Structures (WADS’91), pp. 299–319. Springer (1991)
Garey, M.R., Johnson, D.S: Computers and intractability: a guide to the theory of NP-completeness. W.H. Freeman and Company, New York (1979)
Golin, M., Khodabande, H., Qin, B.: Non-approximability and polylogarithmic approximations of the single-sink unsplittable and confluent dynamic flow problems. In: Proceedings of the 27th International Symposium on Algorithms and Computation (ISAAC’16) (2017)
Higashikawa, Y., Golin, M.J., Katoh, N.: Minimax regret sink location problem in dynamic tree networks with uniform capacity. In: Proceedings of the 8’th International Workshop on Algorithms and Computation (WALCOM’2014), pp. 125–137 (2014)
Higashikawa, Y.: Studies on the space exploration and the sink location under incomplete information towards applications to evacuation planning. PhD thesis, Kyoto University (2014)
Hoppe, B., Tardos, É.: The quickest transshipment problem. Math. Oper. Res. 25(1), 36–62 (2000)
Kamiyama, N., Katoh, N., Takizawa, A.: Theoretical and practical issues of evacuation planning in urban areas. In: The Eighth Hellenic European Research on Computer Mathematics and its Applications Conference (HERCMA2007), pp. 49–50 (2007)
Kariv, O., Hakimi, S.L.: An algorithmic approach to network location problems. i: The p-centers. SIAM J. Appl. Math. 37(3), 513–538 (1979)
Lari, I., Puerto, J., Ricca, F., Scozzari, A.: Algorithms for uniform centered partitions of trees. Electron. Notes Discrete Math. 55, 37–40 (2016)
Lari, I., Ricca, F., Puerto, J., Scozzari, A.: Partitioning a graph into connected components with fixed centers and optimizing cost-based objective functions or equipartition criteria. Networks 67(1), 69–81 (2015)
Mamada, S., Makino, K.: An evacuation problem in tree dynamic networks with multiple exits. In: Tatsuo, A., Shigeru, Y., Kazuhi, M. (eds.) Systems & Human Science-For Safety, Security, and Dependability; Selected Papers of the 1st International Symposium SSR2003, pp. 517–526. Elsevier B.V. (2005)
Mamada, S., Uno, T., Makino, K., Fujishige, S.: A tree partitioning problem arising from an evacuation problem in tree dynamic networks. J. Oper. Res. Soc. Jpn 48(3), 196–206 (2005)
Mamada, S., Uno, T., Makino, K., Fujishige, S.: An \(O(n \log ^2 n) \)algorithm for the optimal sink location problem in dynamic tree networks. Discret. Appl. Math. 154(2387–2401), 251–264 (2006)
Megiddo, N.: Combinatorial optimization with rational objective functions. Math. Oper. Res. 4(4), 414–424 (1979)
Megiddo, N., Tamir, A.: New results on the complexity of p-centre problems. SIAM J. Comput. 12(4), 751–758 (1983)
Megiddo, N., Tamir, A., Zemel, E., Chandrasekaran, R.: An \(O(n \log ^2n)\) algorithm for the k’th longest path in a tree with applications to location problems. SIAM J. Comput. 10(2), 328–337 (1981)
Pascoal, M.M.B., Captivo, M.E.V., Clímaco, J.C.N.: A comprehensive survey on the quickest path problem. Ann. Oper. Res. 147(1), 5–21 (2006)
Perl, Y., Vishkin, U.: Efficient implementation of a shifting algorithm. Discret. Appl. Math. 12(1), 71–80 (1985)
Shepherd, F.B., Vetta, A.: The inapproximability of maximum single-sink unsplittable, priority and confluent flow problems. Theor. Comput. 13(20), 1–25 (2017)
Skutella, M.: An introduction to network flows over time. In: William, C., László, L., Jens, V. (eds.) Research Trends in Combinatorial Optimization, pp. 451–482. Springer (2009)
Wang, H., Zhang, J.: An \({O}(n\log n)\)-time algorithm for the \(k\)-center problem in trees. SIAM J. Comput. 50(2), 602–635 (2021)
Acknowledgements
The work of both authors was partially supported by Hong Kong RGC CERG Grant 16208415. The authors would also like to thank Professor Tsunehiko Kameda and the anonymous referees for their comments and suggestions which identified an error in an earlier version of Sect. 3.5, and also helped improve the earlier drafts of this paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This paper is an expanded and corrected version of Chen and Golin [9].
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Chen, D., Golin, M. Minmax Centered k-Partitioning of Trees and Applications to Sink Evacuation with Dynamic Confluent Flows. Algorithmica 85, 1948–2000 (2023). https://doi.org/10.1007/s00453-022-01083-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-022-01083-y