グラフ内の誘導線形森林に対するカロ-ウェイ境界

グラフGには、頂点vの次数d(v)に依存する下界を持つ誘導線形森林が存在する。