Skip to main content

Tracking Routes in Communication Networks

  • Conference paper
  • First Online:
Structural Information and Communication Complexity (SIROCCO 2019)

Abstract

The minimum tracking set problem is an optimization problem that deals with monitoring communication paths that can be used for exchanging point-to-point messages using as few tracking devices as possible. More precisely, a tracking set of a given graph G and a set of source-destination pairs of vertices, is a subset T of vertices of G such that the vertices in T traversed by any source-destination shortest path P uniquely identify P. The minimum tracking set problem has been introduced in [Banik et al., CIAC 2017] for the case of a single source-destination pair. There, the authors show that the problem is APX-hard and that it can be 2-approximated for the class of planar graphs, even though no hardness result is known for this case. In this paper we focus on the case of multiple source-destination pairs and we present the first \(\widetilde{O}(\sqrt{n})\)-approximation algorithm for general graphs. Moreover, we prove that the problem remains NP-hard even for cubic planar graphs and all pairs \(S \times D\), where S and D are the sets of sources and destinations, respectively. Finally, for the case of a single source-destination pair, we design an (exact) FPT algorithm w.r.t. the maximum number of vertices at the same distance from the source.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Observe that a TS always exists unless \(\mathcal {P}\) contains two pairs of the form (st) and (ts). We then assume that our TS instances never contain such pairs.

  2. 2.

    Observe that it is not possible to reduce the multi-source multi-destination case to the single-pair case by simply adding a super-source and a super-destination connected to all the sources and all the destinations, respectively, as erroneously claimed in [4].

  3. 3.

    The \(O^*\) notation suppresses polynomial multiplicative factors w.r.t. n.

  4. 4.

    Notice that, as a consequence of this definition, the pair \((P_1, P_2)\) in which \(P_1\) and \(P_2\) coincide and consist of the single edge (uv) is independent.

  5. 5.

    When the graph G is clear from context, we may omit the subscript.

  6. 6.

    This means that there may be two paths, one in \(P(s_1,t)\) and the other one in \(P(s_2,t)\) that traverse the same subset of vertices of the tracking set.

References

  1. Bampas, E., Bilò, D., Drovandi, G., Gualà, L., Klasing, R., Proietti, G.: Network verification via routing table queries. J. Comput. Syst. Sci. 81(1), 234–248 (2015)

    Article  MathSciNet  Google Scholar 

  2. Banik, A., Choudhary, P.: Fixed-parameter tractable algorithms for tracking set problems. In: Proceedings of the 4th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2018, pp. 93–104 (2018)

    Chapter  Google Scholar 

  3. Banik, A., Choudhary, P., Lokshtanov, D., Raman, V., Saurabh, S.: A polynomial sized kernel for tracking paths problem. In: Proceedings of the 13th Latin American Symposium on Theoretical Informatics, LATIN 2018, pp. 94–107 (2018)

    Chapter  Google Scholar 

  4. Banik, A., Katz, M.J., Packer, E., Simakov, M.: Tracking paths. In: Proceedings of the 10th International Conference on Algorithms and Complexity, CIAC 2017, pp. 67–79 (2017)

    Google Scholar 

  5. Beerliova, Z., et al.: Network discovery and verification. IEEE J. Sel. Areas Commun. 24(12), 2168–2181 (2006)

    Article  Google Scholar 

  6. Harary, F., Melter, R.A.: On the metric dimension of a graph. Ars Combin. 2(191–195), 1 (1976)

    MATH  Google Scholar 

  7. Khuller, S., Raghavachari, B., Rosenfeld, A.: Landmarks in graphs. Discrete Appl. Math. 70(3), 217–229 (1996)

    Article  MathSciNet  Google Scholar 

  8. Lichtenstein, D.: Planar formulae and their uses. SIAM J. Comput. 11(2), 329–343 (1982)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Stefano Leucci .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bilò, D., Gualà, L., Leucci, S., Proietti, G. (2019). Tracking Routes in Communication Networks. In: Censor-Hillel, K., Flammini, M. (eds) Structural Information and Communication Complexity. SIROCCO 2019. Lecture Notes in Computer Science(), vol 11639. Springer, Cham. https://doi.org/10.1007/978-3-030-24922-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-24922-9_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-24921-2

  • Online ISBN: 978-3-030-24922-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics