Assertion: efficient algorithm | /r/HasProperty | known for symmetric group
Facets:
Source sentences:
text: However, no efficient algorithms are known for the symmetric group, which would give an efficient algorithm for graph isomorphism and the dihedral group, which would solve certain lattice problems.