理,応用数学,幾何学,S95MM08,野上 享仁 緒言 線型空間の有限部分集合の一次独立な部分集合の全体と、 グラフの閉路を含まない部分グラフの全体は、ある共通の性質をもつ。 この性質を抽象化して得られる概念をマトロイドと呼ぶ。 以下ではマトロイドに関して学習してきたことを、 特にグラフ理論との関係に重点を置いて報告する。 その応用として、マトロイドを数え上げるコンピュータプログラムについても述べる。 概要 始めにグラフの用語を定義する。 次にマトロイドの定義を与える。 最後にマトロイドを数え上げるための コンピュータプログラムについて述べる。 なお以下で、有限集合$A$の個数を$|A|$と書く。 グラフ理論に関する準備 ここではWilsonの教科書に基づいて、 グラフの用語や基礎的な概念を導入する。 グラフの定義、頂点集合と辺集合 散歩道、小道、道 連結グラフ 閉路とカットセット 木と林