Abstract
Two strings are Simon’s \(\sim _k\)-congruent if they have the same set of subsequences of length at most k. We study the Simon’s congruence closure of a string, which is regular by definition. Given a string w over an alphabet \(\varSigma \), we present an efficient DFA construction that accepts all \(\sim _k\)-congruent strings with respect to w. We also present lower bounds for the state complexity of the Simon’s congruence closure. Finally, we design a polynomial-time algorithm that answers the following open problem: “given a string w over a fixed-sized alphabet, an integer k and a (regular or context-free) language L, decide whether there exists a string \(v \in L\) such that \(w \sim _k v\).” The problem is NP-complete for a variable-sized alphabet.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Barker, L., Fleischmann, P., Harwardt, K., Manea, F., Nowotka, D.: Scattered factor-universality of words. In: Jonoska, N., Savchuk, D. (eds.) DLT 2020. LNCS, vol. 12086, pp. 14–28. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-48516-0_2
Cho, D., Goč, D., Han, Y., Ko, S., Palioudakis, A., Salomaa, K.: State complexity of permutation on finite languages over a binary alphabet. Theor. Comput. Sci. 682, 67–78 (2017)
Fleischer, L., Kufleitner, M.: Testing Simon’s congruence. In: 43rd International Symposium on Mathematical Foundations of Computer Science, pp. 62:1–62:13 (2018)
Freydenberger, D.D., Gawrychowski, P., Karhumäki, J., Manea, F., Rytter, W.: Testing k-binomial equivalence. Multidisciplinary Creativity: homage to Gheorghe Paun on his 65th birthday, pp. 239–248 (2015)
Garel, E.: Minimal separators of two words. In: Apostolico, A., Crochemore, M., Galil, Z., Manber, U. (eds.) CPM 1993. LNCS, vol. 684, pp. 35–53. Springer, Heidelberg (1993). https://doi.org/10.1007/BFb0029795
Gawrychowski, P., Kosche, M., Koß, T., Manea, F., Siemer, S.: Efficiently testing simon’s congruence. In: 38th International Symposium on Theoretical Aspects of Computer Science, vol. 187, pp. 34:1–34:18 (2021)
Hébrard, J.: An algorithm for distinguishing efficiently bit-strings by their subsequences. Theor. Comput. Sci. 82(1), 35–49 (1991)
Hoffmann, S.: State complexity of permutation and related decision problems on alphabetical pattern constraints. In: Maneth, S. (ed.) CIAA 2021. LNCS, vol. 12803, pp. 115–126. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-79121-6_10
Karandikar, P., Kufleitner, M., Schnoebelen, P.: On the index of simon’s congruence for piecewise testability. Inf. Process. Lett. 115(4), 515–519 (2015)
Lejeune, M., Rigo, M., Rosenfeld, M.: The binomial equivalence classes of finite words. Int. J. Algebra Comput. 30(07), 1375–1397 (2020)
Schwentick, T., Thérien, D., Vollmer, H.: Partially-ordered two-way automata: a new characterization of DA. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds.) DLT 2001. LNCS, vol. 2295, pp. 239–250. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-46011-X_20
Simon, I.: Piecewise testable events. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol. 33, pp. 214–222. Springer, Heidelberg (1975). https://doi.org/10.1007/3-540-07407-4_23
Weis, P., Immerman, N.: Structure theorem and strict alternation hierarchy for FO\(^{2}\) on words. Logical Meth. Comput. Sci. 5(3), 1–23 (2009)
Wood, D.: Theory of Computation. Harper & Row, New York (1987)
Yu, S., Zhuang, Q., Salomaa, K.: The state complexities of some basic operations on regular languages. Theor. Comput. Sci. 125(2), 315–328 (1994)
Acknowledgments
We wish to thank the referees for letting us know related references and providing valuable suggestions that improve the presentation of the paper. This research was supported by the NRF grant funded by MIST (NRF-2020R1A4A3079947).
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 IFIP International Federation for Information Processing
About this paper
Cite this paper
Kim, S., Han, YS., Ko, SK., Salomaa, K. (2022). On Simon’s Congruence Closure of a String. In: Han, YS., Vaszil, G. (eds) Descriptional Complexity of Formal Systems. DCFS 2022. Lecture Notes in Computer Science, vol 13439. Springer, Cham. https://doi.org/10.1007/978-3-031-13257-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-031-13257-5_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-13256-8
Online ISBN: 978-3-031-13257-5
eBook Packages: Computer ScienceComputer Science (R0)