Assertion: graph | /r/HasAspect | nontrivial automorphism
Facets:
Source sentences:
text: The graph automorphism problem is the problem of testing whether a graph has a nontrivial automorphism.