Abstract
We study the k-center problem in a kinetic setting: given a set of continuously moving points P in the plane, determine a set of k (moving) disks that cover P at every time step, such that the disks are as small as possible at any point in time. Whereas the optimal solution over time may exhibit discontinuous changes, many practical applications require the solution to be stable: the disks must move smoothly over time. Existing results on this problem require the disks to move with a bounded speed, but this model is very hard to work with. Hence, the results are limited and offer little theoretical insight. Instead, we study the topological stability of k-centers. Topological stability was recently introduced and simply requires the solution to change continuously, but may do so arbitrarily fast. We prove upper and lower bounds on the ratio between the radii of an optimal but unstable solution and the radii of a topologically stable solution—the topological stability ratio—considering various metrics and various optimization criteria. For \(k = 2\) we provide tight bounds, and for small \(k > 2\) we can obtain nontrivial lower and upper bounds. Finally, we provide an algorithm to compute the topological stability ratio in polynomial time for constant k.
W. Meulemans and J. Wulms are (partially) supported by the Netherlands eScience Center (NLeSC) under grant number 027.015.G02. K. Verbeek is supported by the Netherlands Organisation for Scientific Research (NWO) under project no. 639.021.541. A full version of the paper can be found at https://arxiv.org/abs/1810.00794.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Whereas [16] assumes the black-box model, we allow omniscient algorithms, knowing the trajectories of the moving points beforehand. That is, the algorithm may use knowledge of future positions to improve on stability. This gives more power to stable algorithms, potentially decreasing the ratio. However, our bounds do not use this and thus are also bounds under the black-box model.
References
Basch, J., Guibas, L.J., Hershberger, J.: Data structures for mobile data. J. Algorithms 31(1), 1–28 (1999)
de Berg, M., Roeloffzen, M., Speckmann, B.: Kinetic 2-centers in the black-box model. In: Proceedings of 29th Symposium on Computational Geometry, pp. 145–154 (2013)
Chan, T.: More planar two-center algorithms. Comp. Geom. 13(3), 189–198 (1999)
Degener, B., Gehweiler, J., Lammersen, C.: Kinetic facility location. Algorithmica 57(3), 562–584 (2010)
Drezner, Z.: On a modified 1-center problem. Manag. Sci. 27, 838–851 (1981)
Drezner, Z.: On the rectangular p-center problem. Nav. Res. Logist. 34(2), 229–234 (1987)
Durocher, S.: Geometric Facility Location under Continuous Motion. Ph.D. thesis, University of British Columbia (2006)
Durocher, S., Kirkpatrick, D.: Bounded-velocity approximation of mobile Euclidean 2-centres. Int. J. Comput. Geom. Appl. 18(03), 161–183 (2008)
Friedler, S., Mount, D.: Approximation algorithm for the kinetic robust k-center problem. Comput. Geom. 43(6–7), 572–586 (2010)
Gao, J., Guibas, L., Hershberger, J., Zhang, L., Zhu, A.: Discrete mobile centers. Discret. Comput. Geom. 30(1), 45–63 (2003)
Gao, J., Guibas, L., Nguyen, A.: Deformable spanners and applications. Comput. Geom. Theory Appl. 35(1–2), 2–19 (2006)
Hershberger, J.: Finding the upper envelope of n line segments in \(o(n \log n)\) time. Inf. Process. Lett. 33(4), 169–174 (1989)
Hoffmann, M.: A simple linear algorithm for computing rectangular 3-centers. In: Proceedings of 11th Canadian Conference on Computational Geometry, pp. 72–75 (1999)
Hwang, R., Lee, R., Chang, R.: The slab dividing approach to solve the Euclidean p-center problem. Algorithmica 9, 1–22 (1993)
Megiddo, N., Supowit, K.: On the complexity of some common geometric location problems. SIAM J. Comput. 13(1), 182–196 (1984)
Meulemans, W., Speckmann, B., Verbeek, K., Wulms, J.: A framework for algorithm stability and its application to kinetic Euclidean MSTs. In: Bender, M.A., Farach-Colton, M., Mosteiro, M.A. (eds.) LATIN 2018. LNCS, vol. 10807, pp. 805–819. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-77404-6_58
Nussbaum, D.: Rectilinear p-piercing problems. In: Proceedings of 1997 Symposium on Symbolic and Algebraic Computation, pp. 316–323 (1997)
Segal, M.: On piercing sets of axis-parallel rectangles and rings. In: Burkard, R., Woeginger, G. (eds.) ESA 1997. LNCS, vol. 1284, pp. 430–442. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63397-9_33
Sharir, M., Welzl, E.: Rectilinear and polygonal p-piercing and p-center problems. In: Proceedings of 12th Symposium on Computational Geometry, pp. 122–132 (1996)
Sylvester, J.: A question in the geometry of situation. Q. J. Math. 1, 79 (1857)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Hoog v.d., I., van Kreveld, M., Meulemans, W., Verbeek, K., Wulms, J. (2019). Topological Stability of Kinetic k-centers. In: Das, G., Mandal, P., Mukhopadhyaya, K., Nakano, Si. (eds) WALCOM: Algorithms and Computation. WALCOM 2019. Lecture Notes in Computer Science(), vol 11355. Springer, Cham. https://doi.org/10.1007/978-3-030-10564-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-10564-8_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-10563-1
Online ISBN: 978-3-030-10564-8
eBook Packages: Computer ScienceComputer Science (R0)