pith. sign in

arxiv: 1302.3481 · v2 · pith:VKFWWCAMnew · submitted 2013-02-14 · 💻 cs.FL · cs.DS· cs.LO

One-variable word equations in linear time

classification 💻 cs.FL cs.DScs.LO
keywords timecaseequationsvariablewordappearancesgeneralrunning
0
0 comments X
read the original abstract

In this paper we consider word equations with one variable (and arbitrary many appearances of it). A recent technique of recompression, which is applicable to general word equations, is shown to be suitable also in this case. While in general case it is non-deterministic, it determinises in case of one variable and the obtained running time is O(n + #_X log n), where #_X is the number of appearances of the variable in the equation. This matches the previously-best algorithm due to D\k{a}browski and Plandowski. Then, using a couple of heuristics as well as more detailed time analysis the running time is lowered to O(n) in RAM model. Unfortunately no new properties of solutions are shown.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.