Assertion: graph's vertex | /r/HasProperty | explored by the algorithm
Facets:
Source sentences:
text: Thus, it is usually necessary to remember which vertices have already been explored by the algorithm, so that vertices are revisited as infrequently as possible (or in the worst case, to prevent the traversal from continuing indefinitely).