Algorytmy czasu wielomianowego znane są ze znajdowania generujących zestawów grup permutacji, co jest interesujące, ponieważ możemy następnie przedstawić te grupy zwięźle, nie rezygnując z algorytmów czasu wielomianowego do odpowiedzi na wiele interesujących pytań związanych z tymi grupami.
Czasami jednak możemy być zainteresowani zestawem permutacji, który nie tworzy grupy, więc zestaw ten będzie reprezentowany przez , gdzie to grupa wygenerowana przez zestaw generatorów i to zestaw permutacji, które nie są w , zamiast po prostu .
Czy wykonano jakąkolwiek pracę przy obliczaniu takiego kodowania w postaci pary , być może z dodatkowym, naturalnym celem minimalizacji?
źródło