Document Open Access Logo

A Tropical Approach to the Compositional Piecewise Complexity of Words and Compressed Words

Authors Philippe Schnoebelen , J. Veron, Isa Vialard

PDF

File

Thumbnail PDF
PDF
LIPIcs.ICALP.2025.171.pdf
  • Filesize: 0.94 MB
  • 19 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Formal languages and automata theory
Keywords
  • Tropical semiring
  • Subwords and subsequences
  • piecewise complexity
  • SLP-compressed words

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

We express the piecewise complexity of words using tools and concepts from tropical algebra. This allows us to define a notion of piecewise signature of a word that has size log(n)m^{O(1)} where m is the alphabet size and n is the length of the word. The piecewise signature of a concatenation can be computed from the signatures of its components, allowing a polynomial-time algorithm for computing the piecewise complexity of SLP-compressed words.

Cite As Get BibTex

Philippe Schnoebelen, J. Veron, and Isa Vialard. A Tropical Approach to the Compositional Piecewise Complexity of Words and Compressed Words. In 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 334, pp. 171:1-171:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ICALP.2025.171

Author Details

Philippe Schnoebelen
  • Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, Gif-sur-Yvette, France
J. Veron
  • Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, Gif-sur-Yvette, France
Isa Vialard
  • Max Planck Institute for Software Systems, Saarland Informatics Campus, Saarbrücken, Germany

Acknowledgements

Work started while the third author was at Univ. Paris-Saclay.

References

  1. L. Barker, P. Fleischmann, K. Harwardt, F. Manea, and D. Nowotka. Scattered factor-universality of words. In Proc. DLT 2020, volume 12086 of Lecture Notes in Computer Science, pages 14-28. Springer, 2020. URL: https://doi.org/10.1007/978-3-030-48516-0_2.
  2. M. Bojańczyk, L. Segoufin, and H. Straubing. Piecewise testable tree languages. Logical Methods in Comp. Science, 8(3), 2012. URL: https://doi.org/10.2168/LMCS-8(3:26)2012.
  3. P. Butkovič. Max-algebra: the linear algebra of combinatorics? Linear Algebra and its Applications, 367:313-335, 2003. URL: https://doi.org/10.1016/S0024-3795(02)00655-9.
  4. O. Carton and M. Pouzet. Simon’s theorem for scattered words. In Proc. DLT 2018, volume 11088 of Lecture Notes in Computer Science, pages 182-193. Springer, 2018. URL: https://doi.org/10.1007/978-3-319-98654-8_15.
  5. J. D. Day, P. Fleischmann, M. Kosche, T. Koß, F. Manea, and S. Siemer. The edit distance to k-subsequence universality. In Proc. STACS 2021, volume 187 of Leibniz International Proceedings in Informatics, pages 25:1-25:19. Leibniz-Zentrum für Informatik, 2021. URL: https://doi.org/10.4230/LIPIcs.STACS.2021.25.
  6. V. Diekert, P. Gastin, and M. Kufleitner. A survey on small fragments of first-order logic over finite words. Int. J. Foundations of Computer Science, 19(3):513-548, 2008. URL: https://doi.org/10.1142/S0129054108005802.
  7. M. Droste, W. Kuich, and H. Vogler, editors. Handbook of Weighted Automata. Monographs in Theoretical Computer Science. Springer, 2009. Google Scholar
  8. L. Fleischer and M. Kufleitner. Testing Simon’s congruence. In Proc. MFCS 2018, volume 117 of Leibniz International Proceedings in Informatics, pages 62:1-62:13. Leibniz-Zentrum für Informatik, 2018. URL: https://doi.org/10.4230/LIPIcs.MFCS.2018.62.
  9. S. Gaubert and Max Plus. Methods and applications of (max, +) linear algebra. In Proc. STACS '97, volume 1200 of Lecture Notes in Computer Science, pages 261-282. Springer, 1997. URL: https://doi.org/10.1007/BFb0023465.
  10. P. Gawrychowski, M. Kosche, T. Koß, F. Manea, and S. Siemer. Efficiently testing Simon’s congruence. In Proc. STACS 2021, volume 187 of Leibniz International Proceedings in Informatics, pages 34:1-34:18. Leibniz-Zentrum für Informatik, 2021. URL: https://doi.org/10.4230/LIPIcs.STACS.2021.34.
  11. J. Goubault-Larrecq and S. Schmitz. Deciding piecewise testable separability for regular tree languages. In Proc. ICALP 2016, volume 55 of Leibniz International Proceedings in Informatics, pages 97:1-97:15. Leibniz-Zentrum für Informatik, 2016. URL: https://doi.org/10.4230/LIPIcs.ICALP.2016.97.
  12. S. Halfon, Ph. Schnoebelen, and G. Zetzsche. Decidability, complexity, and expressiveness of first-order logic over the subword ordering. In Proc. LICS 2017, pages 1-12. IEEE Comp. Soc. Press, 2017. URL: https://doi.org/10.1109/LICS.2017.8005141.
  13. B. Heidergott, G. J. Olsder, and J. van der Woude. Max Plus at Work. Modelling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and its Applications. Princeton Series in Applied Mathematics. Princeton University Press, 2006. Google Scholar
  14. P. Karandikar, M. Kufleitner, and Ph. Schnoebelen. On the index of Simon’s congruence for piecewise testability. Information Processing Letters, 115(4):515-519, 2015. URL: https://doi.org/10.1016/j.ipl.2014.11.008.
  15. P. Karandikar and Ph. Schnoebelen. The height of piecewise-testable languages and the complexity of the logic of subwords. Logical Methods in Comp. Science, 15(2), 2019. URL: https://doi.org/10.23638/LMCS-15(2:6)2019.
  16. V. I. Levenshtein. Efficient reconstruction of sequences from their subsequences or supersequences. Journal of Combinatorial Theory, Series A, 93(2):310-332, 2001. URL: https://doi.org/10.1006/jcta.2000.3081.
  17. M. Lohrey. Algorithmics on SLP-compressed strings: A survey. Groups Complexity Cryptology, 4(2):241-299, 2012. URL: https://doi.org/10.1515/gcc-2012-0016.
  18. S. Lombardy and J. Mairesse. Max-plus automata. In Jean-Éric Pin, editor, Handbook of Automata Theory. Volume I: Theoretical Foundations, chapter 5, pages 151-188. EMS Press, 2021. URL: https://doi.org/10.4171/Automata-1/5.
  19. D. G. Northcott. Multilinear Algebra. Cambridge Univ. Press, 1984. Google Scholar
  20. P. P. Pach. Normal forms under Simon’s congruence. Semigroup Forum, 97:251-267, 2018. URL: https://doi.org/10.1007/s00233-017-9910-5.
  21. J.-É. Pin. The influence of Imre Simon’s work in the theory of automata, languages and semigroups. Semigroup Forum, 98(1-8), 2019. URL: https://doi.org/10.1007/s00233-019-09999-8.
  22. J.-É. Pin, J. M. Taylor, and M. Atiyah. Tropical semirings. In J. Gunawardena, editor, Idempotency, pages 50-69. Cambridge Univ. Press, 1998. URL: https://doi.org/10.1017/CBO9780511662508.004.
  23. M. Praveen, Ph. Schnoebelen, J. Veron, and I. Vialard. On the piecewise complexity of words and periodic words. In Proc. SOFSEM 2024, volume 14519 of Lecture Notes in Computer Science, pages 456-470. Springer, 2024. URL: https://doi.org/10.1007/978-3-031-52113-3_32.
  24. J. Sakarovitch and I. Simon. Subwords. In M. Lothaire, editor, Combinatorics on Words, volume 17 of Encyclopedia of Mathematics and Its Applications, chapter 6, pages 105-142. Cambridge Univ. Press, 1983. Google Scholar
  25. Ph. Schnoebelen and J. Veron. On arch factorization and subword universality for words and compressed words. In Proc. WORDS 2023, volume 13899 of Lecture Notes in Computer Science, pages 274-287. Springer, 2023. URL: https://doi.org/10.1007/978-3-031-33180-0_21.
  26. Ph. Schnoebelen and I. Vialard. On the piecewise complexity of words. Acta Informatica, 62(1), 2025. URL: https://doi.org/10.1007/s00236-025-00480-4.
  27. I. Simon. Hierarchies of Events with Dot-Depth One. PhD thesis, University of Waterloo, Dept. Applied Analysis and Computer Science, 1972. URL: http://maveric.uwaterloo.ca/reports/1972_Simon_PhD.pdf.
  28. I. Simon. Piecewise testable events. In Proc. 2nd GI Conf. on Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, pages 214-222. Springer, 1975. URL: https://doi.org/10.1007/3-540-07407-4_23.
  29. I. Simon. Limited subsets of a free monoid. In Proc. FOCS '78, pages 143-150. IEEE Comp. Soc. Press, 1978. URL: https://doi.org/10.1109/SFCS.1978.21.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact