Assertion: graph | /r/HasProperty | graceful
Facets:
Source sentences:
text: Thus, a graph G = (V, E) is graceful if and only if there exists an injection that induces a bijection from E to the positive integers up to |E|.