Abstract
We investigate the complexity of the solvability problem for restricted classes of word equations with and without regular constraints. For general word equations, the solvability problem remains \({{\mathrm{\mathsf {NP}}}}\)-hard, even if the variables on both sides are ordered, and for word equations with regular constraints, the solvability problems remains \({{\mathrm{\mathsf {NP}}}}\)-hard for variable disjoint (i. e., the two sides share no variables) equations with two variables, only one of which is repeated. On the other hand, word equations with only one repeated variable (but an arbitrary number of variables) and at least one non-repeated variable on each side, can be solved in polynomial-time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The use of the term regular in this context has historical reasons: the matching problem has been first investigated in terms of so-called pattern languages, i. e., the set of all words that match a given pattern \(\alpha \in (\varSigma \cup X)^*\), which are regular languages if \(\alpha \) is regular.
- 2.
We will also use minor modifications later on of this reduction in order to conclude corollaries of Theorem 3.
- 3.
In order to prove \({{\mathrm{\mathsf {NP}}}}\)-hardness, a simpler production would suffice, but we need a linear reduction in order to obtain the ETH lower bound.
- 4.
Note that this is just the reduction used by Schaefer [15] in order to reduce 3-\(\textsc {Sat}\) to 1-in-3 3-\(\textsc {Sat}\). We recall it here to observe that this reduction is linear.
- 5.
For the latter case, note that in the reduction of Theorem 14, we can add a non-repeated variable with regular constraint \(\emptyset \) to the left side.
References
Cygan, M., Fomin, F.V., Kowalik, L., Lokshtanov, D., Marx, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Parameterized Algorithms. Springer International Publishing AG, Cham (2015)
Da̧browski, R., Plandowski, W.: Solving two-variable word equations. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 408–419. Springer, Heidelberg (2004)
Fernau, H., Manea, F., Mercaş, R., Schmid, M.L.: Pattern matching with variables: fast algorithms and new hardness results. In: Proceedings of 32nd Symposium on Theoretical Aspects of Computer Science, STACS 2015, Leibniz International Proceedings in Informatics (LIPIcs), vol. 30, pp. 302–315 (2015)
Fernau, H., Schmid, M.L.: Pattern matching with variables: a multivariate complexity analysis. Inf. Comput. 242, 287–305 (2015)
Fernau, H., Schmid, M.L., Villanger, Y.: On the parameterised complexity of string morphism problems. Theory of Computing Systems (2015). http://dx.doi.org/10.1007/s00224-015-9635-3
Impagliazzo, R., Paturi, R., Zane, F.: Which problems have strongly exponential complexity? J. Comput. Syst. Sci. 63, 512–530 (2001)
Jeż, A.: One-variable word equations in linear time. Algorithmica 74, 1–48 (2016)
Jeż, A.: Recompression: a simple and powerful technique for word equations. J. ACM 63(1), 4:1–4:51 (2016)
Kratochvíl, J., Kr̆ivánek, M.: On the computational complexity of codes in graphs. In: Chytil, M.P., Koubek, V., Janiga, L. (eds.) MFCS 1988. LNCS, vol. 324, pp. 396–404. Springer, Heidelberg (1988)
Lothaire, M.: Algebraic Combinatorics on Words. Cambridge University Press, Cambridge (2002)
Makanin, G.: The problem of solvability of equations in a free semigroup. Matematicheskii Sbornik 103, 147–236 (1977)
Plandowski, W.: An efficient algorithm for solving word equations. In: Proceedings of the 38th Annual ACM Symposium on Theory of Computing, STOC 2006, pp. 467–476 (2006)
Reidenbach, D., Schmid, M.L.: Patterns with bounded treewidth. Inf. Comput. 239, 87–99 (2014)
Robson, J.M., Diekert, V.: On quadratic word equations. STACS 1999. LNCS, vol. 1563, pp. 217–226. Springer, Heidelberg (1999)
Schaefer, T.J.: The complexity of satisfiability problems. In: Proceedings of 10th Annual ACM Symposium on Theory of Computing, STOC 1978, pp. 216–226. ACM (1978)
Acknowledgements
We are indebted to Artur Jeż for valuable discussions. Markus L. Schmid gratefully acknowledges partial support for this research from DFG, that in particular enabled his visit at the University of Kiel.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Manea, F., Nowotka, D., Schmid, M.L. (2016). On the Solvability Problem for Restricted Classes of Word Equations. In: Brlek, S., Reutenauer, C. (eds) Developments in Language Theory. DLT 2016. Lecture Notes in Computer Science(), vol 9840. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53132-7_25
Download citation
DOI: https://doi.org/10.1007/978-3-662-53132-7_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-53131-0
Online ISBN: 978-3-662-53132-7
eBook Packages: Computer ScienceComputer Science (R0)