Assertion: algorithm | /r/HasProperty | given an incident edge
Facets:
Source sentences:
text: However, this can be further generalized as follows: given an undirected, positively weighted graph and a target vertex, the algorithm learns upon querying a vertex that it is equal to the target, or it is given an incident edge that is on the shortest path from the queried vertex to the target.