Pattern Recognition and the Whitehead Minimization Problem door Alexey Miasnikov