131b82f2371f2ee2.tex
1: \begin{abstract}
2: Given a system of equations in a ``random'' finitely generated
3: subgroup of the
4: braid group, we show how to find a small ordered list of elements
5: in the subgroup, which contains a solution to the equations with a
6: significant probability. Moreover, with a significant probability,
7: the solution will be the first in the list.
8: This gives a probabilistic solution to: The conjugacy
9: problem, the group membership problem, the shortest presentation
10: of an element, and other combinatorial group-theoretic problems in
11: random subgroups of the braid group.
12: 
13: We use a memory-based extension of the standard length-based approach,
14: which in principle can be applied to any group admitting an efficient,
15: reasonably behaving length function.
16: \end{abstract}
17: