Abstract
In 2011, Liu, et al. investigated the structural controllability of directed networks. They proved that the minimum number of input signals, driver nodes, can be determined by seeking a maximum matching in the directed network. Thus, the algorithm for seeking a maximum matching is the key to solving the structural controllability problem of directed networks. In this study, the authors provide algebraic expressions for matchings and maximum matchings proposed by Liu, et al. (2011) via a new matrix product called semi-tensor product, based on which the corresponding algorithms are established to seek matchings and maximum matchings in digraphs, which make determining the number of driver nodes tractable in computer. In addition, according to the proposed algorithm, the authors also construct an algorithm to distinguish critical arcs, redundant arcs and ordinary arcs of the directed network, which plays an important role in studying the robust control problem. An example of a small network from Liu’s paper is used for algorithm verification.
Similar content being viewed by others
References
Lin C T, Structural controllability, IEEE Transactions on Automatic Control, 1974, 19(3): 201–208.
Liu Y, Slotine J J, and Barabási A, Controllability of complex networks, Nature, 2011, 473(7346): 167–173.
Edmonds J, Maximum matching and a polyhedron with (0, 1) vertices, Res. Nat. Bur. Standards, 1965, 69(1–2): 125–130.
Yu S S, Zhong S, and Hu S H, Matching algorithms for general graphs based on depth-first search, Computer Engineering and Science, 2008, 30: 45–48.
Madry A, Navigating central path with electrical flows: From flows to matchings, and back, Foundations of Computer Science, 2013, 253–262.
Yuan Z Z, Zhao C, Di Z R, et al., Exact controllability of complex networks, Nature Communications, 2013, 4: 2447.
Olshevsky A, Minimum input selection for structural controllability, Proceedings of the American Control Conference, 2015, 2218–2223.
Yin H L and Zhang S Y, Minimum structural controllability problems of complex networks, Physica A: Statistical Mechanics and Its Applications, 2016, 443: 467–476.
Bai T, Li S Y, Zou Y Y, et al., Block-based minimum input design for the structural controllability of complex networks, Automatica, 2019, 107: 68–76.
Cheng D Z, Qi H S, and Zhao Y, An Introduction to Semi-Tensor Product of Matrices and Its Applications, Word Scientific, Beijing, 2012.
Wang Y Z, Zhang C H, and Liu Z B, A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems, Automatica, 2012, 48(7): 1227–1236.
Meng M and Feng J E, A matrix approach to hypergraph stable set and coloring problems with its application to storing problem, Journal of Applied Mathematics, 2014, 2014(3): 1–9.
Xu M and Wang Y, Robust graph coloring based on the matrix semi-tensor product with application to examination timetabling, Control Theory and Technology, 2014, 12(2): 187–197.
Liu Z B and Wu Y Q, L(p, q)-label coloring problem via the semi-tensor product method, Proceedings of the 2020 39th Chinese Control Conference (CCC), Shenyang, 2020.
Zhong J, Lu J Q, Huang C, et al., Finding graph minimum stable set and core via semi-tensor product approach, Neurocomputing, 2016, 174: 588–596.
Yan Y Y, Yue J M, Chen Z Q, et al., Algebraic expression and construction of control sets of graphs using semi-tensor product of matrices, IEEE Access, 2019, 7: 113440–113451.
Liu X Y and Zhu J D, On potential equations of finite games, Automatica, 2016, 68: 245–253.
Guo P L and Wang Y Z, The computation of Nash equilibrium in fashion games via semi-tensor product method, Journal of Systems Science & Complexity, 2016, 29(4): 881–896.
Chen L, Networked evolutionary model of snow-drift game based on semi-tensor product, Journal of Applied Mathematics and Physics, 2019, 7(3): 726–737.
Dou W H, Li H T, and Alsaadi F E, Semi-tensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata, Mathematical Problems in Engineering, 2019, 2019: 1–7.
Yue J M, Yan Y Y, and Chen Z Q, Three matrix conditions for the reduction of finite automata based on the theory of semi-tensor product of matrices, Science China Information Sciences, 2020, 63(2): 1–3.
Lu J Q, Li M L, Liu Y, et al., Nonsingularity of Grain-like cascade FSRs via semi-tensor product, Science China Information Sciences, 2018, 61(1): 1–12.
Wang X Y and Gao S, Image encryption algorithm for synchronously updating Boolean networks based on matrix semi-tensor product theory, Information Sciences, 2020, 507: 16–36.
Wang B and Feng J E, On detectability of probabilistic Boolean networks, Information Sciences, 2019, 483: 383–395.
Meng M, James L, Feng J E, et al., Stability and stabilization of Boolean networks with stochastic delays, IEEE Transactions on Automatic Control, 2019, 64(2): 790–796.
Kong X S, Wang S L, Li H T, et al., New developments in control design techniques of logical control networks, Frontiers of Information Technology and Electronic Engineering, 2020, 21: 220–233.
Wen W Y, Hong Y K, Fang Y M, et al. A visually secure image encryption scheme based on semi-tensor product compressed sensing, Signal Processing, 2020, 173: 107580.
Liu Y C and Zhang W, Boolean Methodology, Shanghai Technology Literature, Shanghai, 1993.
Bondy J A and Murty U S R, Graph Theory, Springer, New York, 2008.
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was supported by the National Natural Science Foundation of China under Grant Nos. 61573288, 12071370, U1803263, 71973103 and Key Programs in Shaanxi Province of China under Grant No. 2021JZ-12.
This paper was recommended for publication by Editor QI Hongsheng.
Rights and permissions
About this article
Cite this article
Fan, N., Zhang, L., Zhang, S. et al. Matching Algorithms of Minimum Input Selection for Structural Controllability Based on Semi-Tensor Product of Matrices. J Syst Sci Complex 35, 1808–1823 (2022). https://doi.org/10.1007/s11424-022-1178-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11424-022-1178-5