Graph

Graph Cover

A cover of a graph $G$ is a set of vertices $C$ such that every edge of $G$ has at least one endpoint in $C$.

Used in Graph Matching.