Los algoritmos de tiempo polinómico son conocidos por encontrar conjuntos generadores de grupos de permutación, lo cual es interesante ya que podemos representar esos grupos de manera sucinta sin renunciar a los algoritmos de tiempo polinómico para responder muchas preguntas interesantes relacionadas con estos grupos.
Sin embargo, a veces podemos estar interesados en un conjunto de permutaciones que no forme un grupo, por lo que ese conjunto estaría representado por , donde es el grupo generado por un establece de generadores y es un conjunto de permutaciones que no están en , en lugar de simplemente .R = ⟨ S ⟩ ∖ T ⟨ S ⟩ S T⟨ S ⟩
¿Se ha realizado algún trabajo para calcular una codificación de este tipo en forma de un par , posiblemente con el objetivo natural adicional de minimizar?| S | + | T |
fuente