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