Assertion: algorithm's operation | /r/HasProperty | performed on vertex
Facets:
value: w outside the partial mst
type: TEMPORAL
Source sentences:
text: Every time a vertex v is chosen and added to the MST, a decrease-key operation is performed on all vertices w outside the partial MST such that v is connected to w, setting the key to the minimum of its previous value and the edge cost of (v,w).