[论文解读] Pattern Recognition on Oriented Matroids: Three-Tope Committees

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

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

一句话总结

本文在简单定向拟阵中引入三顶点委员会作为模式识别的组合框架，特别适用于不可行约束系统。提出一种基于凸子集格与莫比乌斯函数的枚举方法，推导出具有包含极大正部分的三顶点委员会数量的闭式公式，并通过一个秩为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元子集，使得每个正半空间至少包含其中两个。
• 利用基集的凸子集格 $ 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 凸子集格如何与这类委员会的枚举相关联？
• RQ4 能否利用莫比乌斯反演与凸集对偶性，推导出三顶点委员会数量的闭式公式？
• RQ5 给定定向拟阵中，其顶点具有最大正部分的三顶点委员会的确切数量是多少？

主要发现

• 具有包含极大正部分的三顶点委员会数量由公式 $ \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| $ 给出，如公式 (3.1) 所述。
• 在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} $ 是连通的，确保了环秩数计算的有效性。
• 该示例确认，9个有效的凸集对 $ \{D_1,D_2\} $ 共贡献9次，除以3后得到3个不同的三顶点委员会。