One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9840)

Abstract

We prove connections between one-unknown word equations and three-unknown constant-free word equations, and use them to prove that the number of equations in an independent system of three-unknown constant-free equations is at most logarithmic with respect to the length of the shortest equation in the system. We also study two well-known conjectures. The first conjecture claims that there is a constant c such that every one-unknown equation has either infinitely many solutions or at most c. The second conjecture claims that there is a constant c such that every independent system of three-unknown constant-free equations with a nonperiodic solution is of size at most c. We prove that the first conjecture implies the second one, possibly for a different constant.

Keywords

Combinatorics on words Word equations Independent systems 

References

  1. 1.
    Albert, M.H., Lawrence, J.: A proof of Ehrenfeucht’s conjecture. Theoret. Comput. Sci. 41(1), 121–123 (1985)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Budkina, L.G., Markov, A.A.: \(F\)-semigroups with three generators. Mat. Zametki 14, 267–277 (1973)MathSciNetMATHGoogle Scholar
  3. 3.
    Culik, K., Karhumäki, J.: Systems of equations over a free monoid and Ehrenfeucht’s conjecture. Discrete Math. 43(2–3), 139–153 (1983)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Da̧browski, R., Plandowski, W.: On word equations in one variable. Algorithmica 60(4), 819–828 (2011)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Eyono Obono, S., Goralcik, P., Maksimenko, M.: Efficient solving of the word equations in one variable. In: Privara, I., Ružička, P., Rovan, B. (eds.) MFCS 1994. LNCS, vol. 841, pp. 336–341. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  6. 6.
    Guba, V.S.: Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems. Mat. Zametki 40(3), 321–324 (1986)MathSciNetMATHGoogle Scholar
  7. 7.
    Harju, T., Nowotka, D.: On the independence of equations in three variables. Theoret. Comput. Sci. 307(1), 139–172 (2003)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Holub, Š., Žemlička, J.: Algebraic properties of word equations. J. Algebra 434, 283–301 (2015)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Jez, A.: One-variable word equations in linear time. Algorithmica 74(1), 1–48 (2016)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Karhumäki, J., Plandowski, W.: On the defect effect of many identities in free semigroups. In: Paun, G. (ed.) Mathematical Aspects of Natural and Formal Languages, pp. 225–232. World Scientific (1994)Google Scholar
  11. 11.
    Karhumäki, J., Saarela, A.: On maximal chains of systems of word equations. Proc. Steklov Inst. Math. 274, 116–123 (2011)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Laine, M., Plandowski, W.: Word equations with one unknown. Int. J. Found. Comput. Sci. 22(2), 345–375 (2011)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Saarela, A.: On the complexity of Hmelevskii’s theorem and satisfiability of three unknown equations. In: Diekert, V., Nowotka, D. (eds.) DLT 2009. LNCS, vol. 5583, pp. 443–453. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  14. 14.
    Saarela, A.: Systems of word equations, polynomials and linear algebra: a new approach. Eur. J. Comb. 47, 1–14 (2015)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Spehner, J.C.: Quelques problémes d’extension, de conjugaison et de présentation des sous-monoïdes d’un monoïde libre. Ph.D. thesis, Univ. Paris (1976)Google Scholar
  16. 16.
    Spehner, J.C.: Les systemes entiers d’équations sur un alphabet de 3 variables. In: Semigroups, pp. 342–357 (1986)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  1. 1.Department of Computer ScienceKiel UniversityKielGermany
  2. 2.Department of Mathematics and StatisticsUniversity of TurkuTurkuFinland

Personalised recommendations