5 research outputs found
A Hybrid Search Algorithm for the Whitehead Minimization Problem
The Whitehead Minimization problem is a problem of finding elements of the
minimal length in the automorphic orbit of a given element of a free group. The
classical algorithm of Whitehead that solves the problem depends exponentially
on the group rank. Moreover, it can be easily shown that exponential blowout
occurs when a word of minimal length has been reached and, therefore, is
inevitable except for some trivial cases.
In this paper we introduce a deterministic Hybrid search algorithm and its
stochastic variation for solving the Whitehead minimization problem. Both
algorithms use search heuristics that allow one to find a length-reducing
automorphism in polynomial time on most inputs and significantly improve the
reduction procedure. The stochastic version of the algorithm employs a
probabilistic system that decides in polynomial time whether or not a word is
minimal. The stochastic algorithm is very robust. It has never happened that a
non-minimal element has been claimed to be minimal
On the complexity of the Whitehead minimization problem
The Whitehead minimization problem consists in finding a minimum size element
in the automorphic orbit of a word, a cyclic word or a finitely generated
subgroup in a finite rank free group. We give the first fully polynomial
algorithm to solve this problem, that is, an algorithm that is polynomial both
in the length of the input word and in the rank of the free group. Earlier
algorithms had an exponential dependency in the rank of the free group. It
follows that the primitivity problem -- to decide whether a word is an element
of some basis of the free group -- and the free factor problem can also be
solved in polynomial time.Comment: v.2: Corrected minor typos and mistakes, improved the proof of the
main technical lemma (Statement 2.4); added a section of open problems. 30
page