Abstract
We study the following separation problem: given \(n\) connected curves and two points \(s\) and \(t\) in the plane, compute the minimum number of curves one needs to retain so that any path connecting \(s\) to \(t\) intersects some of the retained curves. We give the first polynomial \((\fancyscript{O}(n^3))\) time algorithm for the problem, assuming that the curves have reasonable computational properties. The algorithm is based on considering the intersection graph of the curves, defining an appropriate family of closed walks in the intersection graph that satisfies the 3-path-condition, and arguing that a shortest cycle in the family gives an optimal solution. The 3-path-condition has been used mainly in topological graph theory, and thus its use here makes the connection to topology clear. We also show that the generalized version, where several input points are to be separated, is NP-hard for natural families of curves, like segments in two directions or unit circles.
Similar content being viewed by others
References
Agarwal, P.K., Suri, S.: Surface approximation and geometric partitions. SIAM J. Comput. 27(4), 1016–1035 (1998)
Alt, H., Cabello, S., Giannopoulos, P., Knauer, C.: Minimum cell connection and separation in line segment arrangements. CoRR abs/1104.4618 (2011)
Alt, H., Cabello, S., Giannopoulos, P., Knauer, C.: On some connection problems in straight-line segment arrangements. In: Abstracts of the 27th EuroCG, pp. 27–30 (2011)
Bereg, S., Kirkpatrick, D.G.: Approximating barrier resilience in wireless sensor networks. In: Proceedings of 5th ALGOSENSORS, LNCS, vol. 5804, pp. 29–40. Springer, Berlin (2009)
Cabello, S., Demaine, E.D., Rote, G.: Planar embeddings of graphs with specified edge lengths. J. Graph Algorithms Appl. 11(1), 259–276 (2007)
Cabello, S., de Verdière, É.C., Lazarus, F.: Finding shortest non-trivial cycles in directed graphs on surfaces. In: Proceedings of 26th ACM SoCG, pp. 156–165 (2010)
Gibson, M., Kanade, G., Varadarajan, K.: On isolating points using disks. In: Proceedings of 19th ESA, LNCS, vol. 6942, pp. 61–69. Springer, Berlin (2011)
King, J., Krohn, E.: Terrain guarding is NP-hard. SIAM J. Comput. 40(5), 1316–1339 (2011)
Knuth, D.E., Raghunathan, A.: The problem of compatible representatives. SIAM J. Discret. Math. 5(3), 422–427 (1992)
Kumar, S., Lai, T.H., Arora, A.: Barrier coverage with wireless sensors. In: Proceedings of 11th MobiCom, pp. 284–298. ACM, London (2005)
Kumar, S., Lai, T.H., Arora, A.: Barrier coverage with wireless sensors. Wirel. Netw. 13(6), 817–834 (2007)
Lichtenstein, D.: Planar formulae and their uses. SIAM J. Comput. 11(2), 329–343 (1982)
Mohar, B., Thomassen, C.: Graphs on Surfaces, Johns Hopkins Studies in the Mathematical Sciences. John Hopkins University Press, Baltimore (2001)
Mulzer, W., Rote, G.: Minimum-weight triangulation is NP-hard. J. ACM 55(2), 11:1–11:29 (2008)
Penninger, R., Vigan, I.: Point set isolation using unit disks is NP-complete. CoRR abs/1303.2779 (2013)
Thomassen, C.: Embeddings of graphs with no short noncontractible cycles. J. Comb. Theory B 48(2), 155–177 (1990)
Tseng, K.C.R.: Resilience of wireless sensor networks. Master’s thesis, The University Of British Columbia (Vancouver) (2011)
Tseng, K.C.R., Kirkpatrick, D.: On barrier resilience of sensor networks. In: Proceedings of 7th ALGOSENSORS, LNCS, vol. 7111, pp. 130–144. Springer, Berlin (2012)
Acknowledgments
We would like to thank Primož Škraba for related discussions and the referees for their careful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
A preliminary version of this work appeared in the Proceedings of the 29th Annual Symposium on Computational Geometry (SoCG), pp. 379–386, 2013. Research by S. Cabello was partially supported by the Slovenian Research Agency, Program P1-0297, Projects J1-4106 and L7-5459, and within the EUROCORES Programme EUROGIGA (Project GReGAS) of the European Science Foundation. Research by P. Giannopoulos was partially supported by the German Science Foundation (DFG) under Grant Kn 591/3-1 while the author was affiliated with Universität Bayreuth, Bayreuth, Germany.
Rights and permissions
About this article
Cite this article
Cabello, S., Giannopoulos, P. The Complexity of Separating Points in the Plane. Algorithmica 74, 643–663 (2016). https://doi.org/10.1007/s00453-014-9965-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-014-9965-6