デルタマトロイド

【でるたまとろいど (delta-matroid)】

有限集合 $N\,$ において, 部分集合の対称差を取る二項演算を$\triangle \,$ で表す. 部分集合族 ${\mathcal {F}}\,$ が, 以下の (D0)--(D1) を満たすとき, $(N,{\mathcal {F}})\,$ をデルタマトロイドという.

(D0)

${\mathcal {F}}\neq \emptyset \,$.

(D1)

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle F,B\in{\mathcal F}\,} ,構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle i\in F\triangle B\Rightarrow\exists j\in F\triangle B\,} : $F\triangle \{i,j\}\in {\mathcal {F}}\,$.

デルタマトロイドの実行可能集合族 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle {\mathcal F}\,} 上では, 貪欲アルゴリズムによって線形目的関数の最適化が可能である.