Algoritmo de Whitehead

---

El algoritmo de Whitehead es un algoritmo matemático en la teoría de grupos para resolver el problema de equivalencia automórfica en el grupo libre de rango finito F _n . El algoritmo se basa en un artículo clásico de 1936 de JHC Whitehead . ^[1] Todavía se desconoce (excepto para el caso n  = 2) si el algoritmo de Whitehead tiene complejidad de tiempo polinomial .

Sea un grupo libre de rango con base libre . El problema del automorfismo , o el problema de la equivalencia automórfica para preguntas, dadas dos palabras libremente reducidas, si existe un automorfismo tal que .${\displaystyle F_{n}=F(x_{1},\puntos,x_{n})}$${\ estilo de visualización n \ geq 2}$${\displaystyle X=\{x_{1},\puntos,x_{n}\}}$${\ estilo de visualización F_ {n}}$${\displaystyle w,w'\in F_{n}}$ ${\ estilo de visualización \ varphi \ en \ nombre de operador {Aut} (F_ {n})}$${\ estilo de visualización \ varphi (w) = w'}$

---