被覆 (グラフ理論における)

【ひふく (cover)】

$G = (V, A)$ を無向グラフとする.  頂点集合 $U \subseteq V$ に対して, 任意の枝 $a \in A$ の少なくとも一方の端点が $U$ に含まれるとき, $U$ を $G$ の被覆と呼ぶ.  点被覆, 頂点被覆 (node cover, vertex cover) とも呼ばれる.  2部グラフにおいては最大マッチングと最小被覆の要素数が等しい, ということが知られている.