「独立集合族」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
("独立集合族" を保護しました。 [edit=sysop:move=sysop])
 
9行目: 9行目:
 
<math>I\cup\{j\}\in{\mathcal I}\,</math>.</td></tr>
 
<math>I\cup\{j\}\in{\mathcal I}\,</math>.</td></tr>
 
</table>
 
</table>
 +
 +
[[Category:グラフ・ネットワーク|どくりつしゅうごうぞく]]

2008年11月13日 (木) 12:59時点における最新版

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

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

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