Skip to main content

Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem

  • Conference paper
  • First Online:
Algorithms for Computational Biology (AlCoB 2018)

Part of the book series: Lecture Notes in Computer Science ((LNBI,volume 10849))

Included in the following conference series:

  • 463 Accesses

Abstract

Recent research has revealed new applications of network control science within bio-medicine, pharmacology, and medical therapeutics. These new insights and new applications generated in turn a rediscovery of some old, unresolved algorithmic questions, this time with a much stronger motivation for their tackling. One of these questions regards the so-called Structural Target Control optimization problem, known in previous literature also as Structural Output Controllability problem. Given a directed network (graph) and a target subset of nodes, the task is to select a small (or the smallest) set of nodes from which the target can be independently controlled, i.e., it can be driven from any given initial configuration to any desired final one, through a finite sequence of input values. In recent work, this problem has been shown to be NP-hard, and several heuristic algorithms were introduced and analyzed, both on randomly generated networks, and on bio-medical ones. In this paper, we show that the Structural Target Controllability problem is fixed parameter tractable when parameterized by the number of target nodes. We also prove that the problem is hard to approximate at a factor better than \(O(\log {n})\).

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.

    It is beyond the goal of this paper to define the topological notion of thin sets; we only give here the intuition that such sets consist of isolated cases that may be easily replaced with nearby favorable cases.

  2. 2.

    We implicitly interchange the usage of \(x_i\) and i for matrix indices.

  3. 3.

    We use the following upper bound for the binomial coefficient \({{n+k} \atopwithdelims ()k} \le {(\frac{e(n+k)}{k})}^k\).

References

  1. Blomen, V.A., et al.: Gene essentiality and synthetic lethality in haploid human cells. Science 350(6264), 1092–1096 (2015). https://doi.org/10.1126/science.aac7557, http://science.sciencemag.org/content/350/6264/1092

    Article  Google Scholar 

  2. Bondy, A., Murty, U.: Graph Theory. Springer, Heidelberg (2011). https://books.google.ro/books?id=HuDFMwZOwcsC

    MATH  Google Scholar 

  3. Czeizler, E., et al.: Structural target controllability of linear networks. IEEE/ACM Trans. Comput. Biol. Bioinform. PP(99), 1 (2018). https://doi.org/10.1109/TCBB.2018.2797271

  4. Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Heidelberg (2012)

    MATH  Google Scholar 

  5. Feige, U.: A threshold of ln n for approximating set cover. J. ACM 45(4), 634–652 (1998). https://doi.org/10.1145/285055.285059

    Article  MathSciNet  MATH  Google Scholar 

  6. Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-29953-X

    Book  MATH  Google Scholar 

  7. Gao, J., Liu, Y.Y., D’Souza, R.M., Barabási, A.L.: Target control of complex networks. Nat. Commun. 5, 5415 (2014). https://doi.org/10.1038/ncomms6415

    Article  Google Scholar 

  8. Guo, W.F., et al.: A novel algorithm for finding optimal driver nodes to target control complex networks and its applications for drug targets identification. BMC Genomics 19(1), 924 (2018). https://doi.org/10.1186/s12864-017-4332-z

    Article  Google Scholar 

  9. Hines, P., Blumsack, S., Sanchez, E.C., Barrows, C.: The topological and electrical structure of power grids. In: 2010 43rd Hawaii International Conference on System Sciences, pp. 1–10, January 2010. https://doi.org/10.1109/HICSS.2010.398

  10. Kalman, R.E.: Mathematical description of linear dynamical systems. J. Soc. Ind. Appl. Math. Ser. A Control 1(2), 152–192 (1963). https://doi.org/10.1137/0301010

    Article  MathSciNet  MATH  Google Scholar 

  11. Kanhaiya, K., Czeizler, E., Gratie, C., Petre, I.: Controlling directed protein interaction networks in cancer. Sci. Rep. 7(1), 10327 (2017). https://doi.org/10.1038/s41598-017-10491-y

  12. Li, A., et al.: The fundamental advantages of temporal networks. Science 358(6366), 1042–1046 (2017). https://doi.org/10.1126/science.aai7488, http://science.sciencemag.org/content/358/6366/1042

    Article  Google Scholar 

  13. Lin, C.: Structural controllability. IEEE Trans. Autom. Control 19, 201–208 (1974)

    Article  MathSciNet  Google Scholar 

  14. Liu, Y.Y., Slotine, J.J., Barabási, A.L.: Controllability of complex networks. Nature 473(7346), 167–173 (2011). https://doi.org/10.1038/nature10011

    Article  Google Scholar 

  15. Murota, K.: Systems Analysis by Graphs and Matroids: Structural Solvability and Controllability. Algorithms and Combinatorics. Springer, Heidelberg (1987). https://books.google.fi/books?id=DkHvAAAAMAAJ

    Book  Google Scholar 

  16. Murota, K., Poljak, S.: Note on a graph-theoretic criterion for structural output controllability. KAM series, discrete mathematics and combinatorics, operations research, mathematical linguistics, Department of Applied Mathematics, Charles University (1989). https://books.google.fi/books?id=5RrPHAAACAAJ

  17. Poljak, S.: On the generic dimension of controllable subspaces. IEEE Trans. Autom. Control 35(3), 367–369 (1990). https://doi.org/10.1109/9.50361

    Article  MathSciNet  MATH  Google Scholar 

  18. Shields, R., Pearson, J.: Structural controllability of multiinput linear systems. IEEE Trans. Autom. Control 21(2), 203–212 (1976). https://doi.org/10.1109/TAC.1976.1101198

    Article  MathSciNet  MATH  Google Scholar 

  19. Uno, T.: Algorithms for enumerating all perfect, maximum and maximal matchings in bipartite graphs. In: Leong, H.W., Imai, H., Jain, S. (eds.) ISAAC 1997. LNCS, vol. 1350, pp. 92–101. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63890-3_11

    Chapter  MATH  Google Scholar 

  20. Vazirani, V.V.: Approximation Algorithms. Springer, New York, Inc. (2001)

    MATH  Google Scholar 

  21. Vinayagam, A., et al.: Controllability analysis of the directed human protein interaction network identifies disease genes and drug targets. Proc. Natl. Acad. Sci. 113(18), 4976–4981 (2016). https://doi.org/10.1073/pnas.1603992113

    Article  Google Scholar 

  22. Wang, T., et al.: Identification and characterization of essential genes in the human genome. Science 350(6264), 1096–1101 (2015). https://doi.org/10.1126/science.aac7041. http://science.sciencemag.org/content/350/6264/1096

    Article  Google Scholar 

  23. Zhan, T., Boutros, M.: Towards a compendium of essential genes - from model organisms to synthetic lethality in cancer cells. Crit. Rev. Biochem. Mol. Biol. 51(2), 74–85 (2016). https://doi.org/10.3109/10409238.2015.1117053, PMID: 26627871

    Article  Google Scholar 

Download references

Acknowledgments

This work was supported by the Academy of Finland through grant 272451, by the Finnish Funding Agency for Innovation through grant 1758/31/2016, by the Romanian National Authority for Scientific Research and Innovation, through the POC grant P 37 257, and by the (Romanian) Ministry of Research and Innovation through the Institutional Research Programme PN 1819, project PN 1819-01-01.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Eugen Czeizler .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Czeizler, E., Popa, A., Popescu, V. (2018). Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem. In: Jansson, J., Martín-Vide, C., Vega-Rodríguez, M. (eds) Algorithms for Computational Biology. AlCoB 2018. Lecture Notes in Computer Science(), vol 10849. Springer, Cham. https://doi.org/10.1007/978-3-319-91938-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91938-6_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91937-9

  • Online ISBN: 978-3-319-91938-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics