[論文レビュー] Pattern Recognition on Oriented Matroids: Three-Tope Committees

Andrey O. Matveev|ArXiv.org|Nov 30, 2008

Advanced Graph Theory Research参考文献 8被引用数 3

ひとこと要約

この論文は、不適合な制約系におけるパターン認識のための組合せ的枠組みとして、単純な向き付きマトロイドにおける三頂点委員会を導入する。凸部分集合のposetとムビウス関数を用いて、このような委員会を列挙する手法を提案し、包含的极大な正部分を持つ三頂点委員会の数について閉形式の公式を導出する。ランク3の例（3つのこのような委員会を有する）により、その妥当性を検証した。

ABSTRACT

A three-tope committee K* for a simple oriented matroid M is a 3-subset of its maximal covectors such that every positive halfspace of M contains at least two topes from K*. We consider three-tope committees as the vertex sets of triangles in graphs associated with the topes and enumerate them making use of the properties of the poset of convex subsets of the ground set of M.

研究の動機と目的

• 不適合なパターン認識問題における抽象的意思決定ルールとして三頂点委員会を形式化すること。
• 制約が矛盾する場合に最適な3メンバーのトープ委員会を特定する課題に対処すること。
• 凸部分集合のposetにおけるコアトムに基づく組合せ的列挙手法を開発すること。
• 包含的极大な正部分を持つ三頂点委員会の数について閉形式の公式を導出すること。

提案手法

• 三頂点委員会を、すべての正半空間がそのうちの少なくとも2つを含む3トープの部分集合として定義する。
• 基底集合の凸部分集合のposet $ L_{\operatorname{conv}}(\mathcal{M}) $ を用いて、有効な委員会を特徴付ける。
• ムビウス関数 $ \mu_P(\cdot,\cdot) $ とコアトム $ P^c $ の概念を適用し、有効な三元組の数を計算する。
• $ D_1 \wedge D_2 = \hat{0} $ を満たす自由凸集合の対 $ D_1, D_2 $ における和集合 $ |[D_1 \vee D_2, \hat{1}]^c| $ を用いて、数え上げを表現する。
• 双対性と対称性を活用：$ \#\mathbf{K}_k^*(\mathcal{M}) = \#\mathbf{K}_{|\mathcal{T}|-k}^*(\mathcal{M}) $ であり、反対委員会を用いて主要な公式を導出する。
• 6要素のランク3の向き付きマトロイドにおいて、凸部分集合の対の明示的列挙を通じて、3つのこのような委員会を計算して公式を検証する。

実験結果

リサーチクエスチョン

• RQ1 単純な向き付きマトロイドにおける三頂点委員会をどのように体系的に列挙できるか？
• RQ2 包含的极大な正部分を持つ三頂点委員会を特徴付ける組合せ的構造は何か？
• RQ3 凸部分集合のposetは、このような委員会の列挙とどのように関係するか？
• RQ4 ムビウス反転と凸部分集合の双対性を用いて、三頂点委員会の数について閉形式の公式を導出できるか？
• RQ5 与えられた向き付きマトロイドにおいて、トープの正部分が最大であるような三頂点委員会の正確な数は何か？

主な発見

• 包含的极大な正部分を持つ三頂点委員会の数は、式 (3.1) に従い、$ \frac{1}{3} \sum_{\{D_1,D_2\} \subset \widehat{L}: \{E-D_1,E-D_2\} \subset \widehat{L}^c, D_1 \wedge D_2 = \hat{0}} |[D_1 \vee D_2, \hat{1}]^c| $ で与えられる。
• 6要素のランク3の向き付きマトロイドの例では、公式により正確に3つのこのような委員会が得られ、明示的列挙により確認された。
• 公式は、和集合 $ D_1 \vee D_2 $ が区間 $[D_1 \vee D_2, \hat{1}]$ 内に単一のコアトムしか持たない自由凸集合の対 $ D_1, D_2 $ を特定することに依存しており、その寄与は1である。
• グラフ $ \boldsymbol{\Gamma}_{\operatorname{max}}^+ $ のサイクル数は、$ 1 + \frac{1}{2} \sum_{D \in \widehat{L}: E-D \in \widehat{L}^c} |[D,\hat{1}]^c| - |\widehat{L}^c| $ として計算され、構造的解析を支持する。
• トープが $ \mathbf{max}^+(\mathcal{T}) $ に属さないものとその対称的対応物を接続して形成されるグラフ $ \boldsymbol{\Gamma} $ は連結であるため、サイクル数の計算が有効であることが保証される。
• 例では、有効な凸集合の対 $ \{D_1,D_2\} $ の9組が9つの寄与をもたらし、それを3で割ることで3つの異なる三頂点委員会が得られた。