Assertion: edge contraction | /r/HasProperty | operation
Facets:
value: in graph theory
type: OTHER
Source sentences:
text: In graph theory, an edge contraction is an operation which removes an edge from a graph while simultaneously merging the two vertices that it previously joined.