貪欲法 マトロイド FFFをEEEの冪集合の部分集合とする。 (i) ∅∈F\empty \in F∅∈F (ii) (downward-closed) すべてのA\dash⊂A∈FA^{\dash} \sub A \in FA\dash⊂A∈Fについて、A\dash∈FA^{\dash} \in FA\dash∈F (iii) (exchange property) すべてのX,Y∈Fwhere\absX>\absYX,Y \in F where \abs{X} \gt \abs{Y}X,Y∈Fwhere\absX>\absYについて、あるxxxが存在して、x∈XYandY\unionx∈Fx \in X \\ Y and Y \union {x} \in Fx∈XYandY\unionx∈F 例 最小全域木