独立集合族

提供: ORWiki
ナビゲーションに移動 検索に移動

【どくりつしゅうごうぞく (independent set family)】

有限集合 とその部分集合族 が以下の (I0)-(I2) を満たすとき, をマトロイドと呼び, の独立集合族と呼ぶ.

(I0) .
(I1) .
(I2) , : .