Complexity of unification in free groups and free semi-groups

A. Koscielski, L. Pacholski
Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science  
The exponent of periodicity is an important factor in estimates of complexity of word-unification algorithms. We prove that the exponent of periodicity of a minimal solution of a word equation is at most 22.54n, where n is the length of the equation. Since the best known lower bound is 2°.31n our upper bound is almost optimal and exponentially better than the original bound (6n)za"4 + 2. Thus our result implies exponential improvement of known upper bounds on complexity of word-unification
more » ... ithms. Moreover we give some evidence that, contrary to the common belief, the algorithm deciding satisfiability of equations in free groups, given by Makanin in not primitive recursive. The proofs are only sketched here. More details will be given in the full version. 824 CH2925-6/90/0000/0824$01 .OO 0 1990 IEEE
doi:10.1109/fscs.1990.89605 dblp:conf/focs/KoscielskiP90 fatcat:jncrappatvbtphyzraqdma4r24