research-article

A Colored Path Problem and Its Applications

Authors:

Iyad KanjAuthors Info & Claims

ACM Transactions on Algorithms (TALG), Volume 16, Issue 4

Article No.: 47, Pages 1 - 48

https://doi.org/10.1145/3396573

Published: 21 June 2020 Publication History

Abstract

Given a set of obstacles and two points in the plane, is there a path between the two points that does not cross more than k different obstacles? Equivalently, can we remove k obstacles so that there is an obstacle-free path between the two designated points? This is a fundamental NP-hard problem that has undergone a tremendous amount of research work. The problem can be formulated and generalized into the following graph problem: Given a planar graph G whose vertices are colored by color sets, two designated vertices s, t ∈ V(G), and k ∈ N, is there an s-t path in G that uses at most k colors? If each obstacle is connected, then the resulting graph satisfies the color-connectivity property, namely that each color induces a connected subgraph.

We study the complexity and design algorithms for the above graph problem with an eye on its geometric applications. We prove a set of hardness results, including a result showing that the color-connectivity property is crucial for any hope for fixed-parameter tractable (FPT) algorithms. We also show that our hardness results translate to the geometric instances of the problem.

We then focus on graphs satisfying the color-connectivity property. We design an FPT algorithm for this problem parameterized by both k and the treewidth of the graph and extend this result further to obtain an FPT algorithm for the parameterization by both k and the length of the path. The latter result implies and explains previous FPT results for various obstacle shapes.

References

[1]

H. Alt, S. Cabello, P. Giannopoulos, and C. Knauer. 2017. Minimum cell connection in line segment arrangements. Int. J. Comput. Geom. Appl. 27, 3 (2017), 159--176.

[2]

S. Bereg and D. Kirkpatrick. 2009. Approximating barrier resilience in wireless sensor networks. In Proceedings of the International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS’09). 29--40.

[3]

R. Carr, S. Doddi, G. Konjevod, and M. Marathe. 2000. On the red-blue set cover problem. In Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA’00). 345--353.

[4]

D. Chan and D. Kirkpatrick. 2014. Multi-path algorithms for minimum-colour path problems with applications to approximating barrier resilience. Theor. Comput. Sci. 553 (2014), 74--90.

Digital Library

[5]

R. Chang and S. Leu. 1997. The minimum labeling spanning trees. Inf. Process. Lett. 63, 5 (1997), 277--282.

Digital Library

[6]

D. Chen and H. Wang. 2015. Computing shortest paths among curved obstacles in the plane. ACM Trans. Algor. 11, 4 (2015), 26:1--26:46.

[7]

Y. Chen, J. Flum, and M. Grohe. 2005. Machine-based methods in parameterized complexity theory. Theor. Comput. Sci. 339, 2--3 (2005), 167--199.

Digital Library

[8]

Y. Chen, M. Grohe, and M. Grüber. 2006. On parameterized approximability. In Proceedings of the International Workshop on Paramerterized and Exact Computations (IWPEC’06). 109--120.

[9]

H. de Fraysseix, J. Pach, and R. Pollack. 1988. Small sets supporting Fáry embeddings of planar graphs. In Proceedings of the Annual ACM Symposium on Theory of Computing (STOC’88). ACM, 426--433.

[10]

Hubert de Fraysseix, János Pach, and Richard Pollack. 1990. How to draw a planar graph on a grid. Combinatorica 10, 1 (1990), 41--51.

[11]

R. Diestel. 2012. Graph Theory (4th ed.). Springer.

[12]

R. Downey and M. Fellows. 2013. Fundamentals of Parameterized Complexity. Springer, Berlin.

[13]

E. Eiben, J. Gemmell, I. Kanj, and A. Youngdahl. 2018. Improved results for minimum constraint removal. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI’18). AAAI Press.

[14]

L. Erickson and S. LaValle. 2013. A simple, but NP-hard, motion planning problem. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI’13). AAAI Press.

[15]

I. Fáry. 1948. On straight line representation of planar graphs. Acta Univ. Sezeged. 11 (1948), 229--233.

[16]

M. Garey and D. Johnson. 1979. Computers and Intractability. W. H. Freeman.

[17]

A. Gorbenko and V. Popov. 2015. The discrete minimum constraint removal motion planning problem. In Proceedings of the American Institute of Physics, Vol. 1648. AIP Press.

[18]

R. L. Graham, D. E. Knuth, and O. Patashnik. 1994. Concrete Mathematics—A Foundation for Computer Science (2nd ed.). Addison-Wesley.

[19]

S. Hartung and R. Niedermeier. 2013. Incremental list coloring of graphs parameterized by conservation. Theor. Comput. Sci. 494 (2013), 86--98.

Digital Library

[20]

K. Hauser. 2014. The minimum constraint removal problem with three robotics applications. Int. J. Robot. Res. 33, 1 (2014), 5--17.

Digital Library

[21]

J. Hershberger, N. Kumar, and S. Suri. 2017. Shortest paths in the plane with obstacle violations. In Proceedings of the European Symposium on Algorithms (LIPIcs), Vol. 87. 49:1--49:14.

[22]

J. Hershberger and S. Suri. 1999. An optimal algorithm for euclidean shortest paths in the plane. SIAM J. Comput. 28, 6 (1999), 2215--2256.

Digital Library

[23]

I. Hicks. 2005. Planar branch decompositions I: The ratcatcher. INFORMS J. Comput. 17, 4 (2005), 402--412.

Digital Library

[24]

D. Johnson and M. Szegedy. 1999. What are the least tractable instances of max independent set? In Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA’99). ACM/SIAM, 927--928.

[25]

I. Katsikarelis. 2013. Computing bounded-width tree and branch decompositions of k-outerplanar graphs. CoRR abs/1301.5896 (2013). http://arxiv.org/abs/1301.5896

[26]

T. Kloks. 1994. Treewidth, Computations and Approximations. Lecture Notes in Computer Science, Vol. 842. Springer.

[27]

M. Korman, M. Lüffler, R. Silveira, and D. Strash. 2018. On the complexity of barrier resilience for fat regions and bounded ply. Comput. Geom. 72 (2018), 34--51.

[28]

S. Kumar, T.H. Lai, and A. Arora. 2005. Barrier coverage with wireless sensors. In Proceedings of the Annual International Conference on Mobile Computing and Networking (MOBICOM’05). ACM, 284--298.

[29]

D. Marx. 2013. Completely inapproximable monotone and antimonotone parameterized problems. J. Comput. Syst. Sci. 79, 1 (2013), 144--151.

Digital Library

[30]

N. Robertson and P. Seymour. 1984. Graph minors. III. Planar tree-width. J. Combin. Theory Ser. B 36, 1 (1984), 49--64.

[31]

P. Seymour and R. Thomas. 1994. Call routing and the ratcatcher. Combinatorica 14, 2 (1994), 217--241.

[32]

K. Tseng and D. Kirkpatrick. 2012. On barrier resilience of sensor networks. In Proceedings of the International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS’12). 130--144.

[33]

S. Voss, R. Cerulli, A. Fink, and M. Gentili. 2005. Applications of the pilot method to hard modifications of the minimum spanning tree problem. In Proceedings of the 18th MINI EURO Conference on VNS.

[34]

S. Yang. 2012. Some Path Planning Algorithms in Computational Geometry and Air Traffic Management. Ph.D. Dissertation. University of New Yort at Stony Brook.

[35]

S. Yuan, S. Varma, and J. Jue. 2005. Minimum-color path problems for reliability in mesh networks. In Proceedings of the IEEE International Conference on Computer Communications (INFOCOM’05). 2658--2669.

Cited By

Marx DSankar GSchepper P(2024)Anti-factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard)Algorithmica10.1007/s00453-024-01265-w87:1(22-88)Online publication date: 15-Oct-2024
https://doi.org/10.1007/s00453-024-01265-w
de Andrade RCastelo ESaraiva R(2023)Valid inequalities for the k-Color Shortest Path ProblemEuropean Journal of Operational Research10.1016/j.ejor.2023.12.014Online publication date: Dec-2023
https://doi.org/10.1016/j.ejor.2023.12.014
Kumar NLokshtanov DSaurabh SSuri SMarx D(2021)A constant factor approximation for navigating through connected obstacles in the planeProceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3458064.3458116(822-839)Online publication date: 10-Jan-2021
https://dl.acm.org/doi/10.5555/3458064.3458116

Index Terms

A Colored Path Problem and Its Applications
1. Theory of computation
  1. Design and analysis of algorithms
    1. Graph algorithms analysis
    2. Parameterized complexity and exact algorithms
      1. Fixed parameter tractability
      2. W hierarchy

Recommendations

The complexity of the L(p,q) -labeling problem for bipartite planar graphs of small degree

Given a simple graph G, by an L(p,q)-labeling of G we mean a function c that assigns nonnegative integers to its vertices in such a way that if two vertices u, v are adjacent then |c(u)-c(v)|>=p, and if they are at distance 2 then |c(u)-c(v)|>=q. The L(...
On clique numbers of colored mixed graphs
Abstract
An ( m , n )-colored mixed graph, or simply, an ( m , n )-graph is a graph having m different types of arcs and n different types of edges. A homomorphism of an ( m , n )-graph G to another ( m , n )-graph H is a vertex mapping that preserves ...
Analogues of Cliques for (m, n)-Colored Mixed Graphs

An (m, n)-colored mixed graph is a mixed graph with arcs assigned one of m different colors and edges one of n different colors. A homomorphism of an (m, n)-colored mixed graph G to an (m, n)-colored mixed graph H is a vertex mapping such that if uv is ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Algorithms

ACM Transactions on Algorithms Volume 16, Issue 4

October 2020

404 pages

ISSN:1549-6325

EISSN:1549-6333

DOI:10.1145/3407674

Editor:
Aravind Srinivasan
University of Maryland, USA

Issue’s Table of Contents

Copyright © 2020 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 June 2020

Online AM: 07 May 2020

Accepted: 01 April 2020

Revised: 01 October 2019

Received: 01 January 2018

Published in TALG Volume 16, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
247
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)2

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Marx DSankar GSchepper P(2024)Anti-factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard)Algorithmica10.1007/s00453-024-01265-w87:1(22-88)Online publication date: 15-Oct-2024
https://doi.org/10.1007/s00453-024-01265-w
de Andrade RCastelo ESaraiva R(2023)Valid inequalities for the k-Color Shortest Path ProblemEuropean Journal of Operational Research10.1016/j.ejor.2023.12.014Online publication date: Dec-2023
https://doi.org/10.1016/j.ejor.2023.12.014
Kumar NLokshtanov DSaurabh SSuri SMarx D(2021)A constant factor approximation for navigating through connected obstacles in the planeProceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3458064.3458116(822-839)Online publication date: 10-Jan-2021
https://dl.acm.org/doi/10.5555/3458064.3458116

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Media

Figures

Other

Tables

View Issue’s Table of Contents