Synchronizing Heuristics for Weakly Connected Automata with Various Topologies
Since the problem of finding a shortest synchronizing sequence for an automaton is known to be NP-hard, heuristics algorithms are used to find synchronizing sequences. There are several heuristic algorithms in the literature for this purpose. However, even the most efficient heuristic algorithm in the literature has a quadratic complexity in terms of the number of states of the automaton, and therefore can only scale up to a couple of thousands of states. It was also shown before that if an automaton is not strongly connected, then these heuristic algorithms can be used on each strongly connected component separately. This approach speeds up these heuristic algorithms and allows them to scale to much larger number of states easily. In this paper, we investigate the effect of the topology of the automaton on the performance increase obtained by these heuristic algorithms. To this end, we consider various topologies and provide an extensive experimental study on the performance increase obtained on the existing heuristic algorithms. Depending on the size and the number of components, we obtain speed-up values as high as 10000x and more.
KeywordsFinite state automata Synchronizing sequences Strongly connected component
This work was supported by The Scientific and Technological Research Council of Turkey (TUBITAK) [grant number 114E569].
- 1.Cirisci, B., Kahraman, M.K., Yildirimoglu, C.U., Kaya, K., Yenigun, H.: Using structure of automata for faster synchronizing heuristics. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, pp. 544–551 (2018)Google Scholar
- 10.Trahtman, A.N.: Some results of implemented algorithms of synchronization. In: 10th Journees Montoises d’Inform (2004)Google Scholar