[论文解读] Shattering-Extremal Systems

Shay Moran|arXiv (Cornell University)|Nov 13, 2012

Machine Learning and Algorithms参考文献 19被引用 9

一句话总结

本文对破碎极值（SE）系统进行了全面研究，通过布尔运算符（$ignplus_Y$，$iguplus_Y$）和向下移位操作引入了新的刻画方式，并证明这些操作保持SE结构。研究证明SE系统等价于最大系统，并自然地出现在定向超平面的几何排列和图的定向中，其应用通过基于VC维和Sauer引理的对偶性原理，实现对含路径定向和子图的计数。

ABSTRACT

The Shatters relation and the VC dimension have been investigated since the early seventies. These concepts have found numerous applications in statistics, combinatorics, learning theory and computational geometry. Shattering extremal systems are set-systems with a very rich structure and many different characterizations. The goal of this thesis is to elaborate on the structure of these systems.

研究动机与目标

• 将组合学、学习理论和几何学中对破碎极值（SE）系统的零散刻画统一到一个统一框架中。
• 通过量词转置和布尔对偶性，阐明破碎与强破碎之间的对偶关系。
• 证明SE系统在布尔运算符和向下移位等关键操作下保持不变，从而为已知刻画提供新证明。
• 在定向超平面排列和图的定向中，建立SE系统的几何解释。
• 开发一种基于SE系统性质的组合等式证明机制，尤其关注可达性和连通性。

提出的方法

• 引入破碎与强破碎的新定义，二者仅在量词顺序上不同，揭示其结构对偶性。
• 使用运算符$\bignplus_Y$和$\biguplus_Y$刻画破碎与强破碎，证明其保持SE系统。
• 应用向下移位运算符将系统转换为规范形式，将其过程与无差别排序算法及不动点收敛性联系起来。
• 运用夹逼定理和Sauer引理，将VC维与对偶VC维关联到SE系统中的组合计数。
• 建立SE系统在定向超平面排列和图的定向中的几何解释。
• 利用对偶定理和德摩根定律，证明$\bignplus_Y$与$\biguplus_Y$运算符的可交换性完全刻画了SE系统。

实验结果

研究问题

• RQ1 通过量词转置，破碎与强破碎概念之间有何关系？这会引发何种对偶性？
• RQ2 布尔运算符$\bignplus_Y$与$\biguplus_Y$在保持和刻画SE系统中起什么作用？
• RQ3 能否使用向下移位操作对SE系统进行规范变换？这与排序算法有何关联？
• RQ4 SE系统是否自然地出现在几何和图论语境中，如超平面排列或图的定向中？
• RQ5 是否存在一种较弱形式的破碎极值性，仍能保持关键结构性质？它与运算符可交换性有何关系？

主要发现

• SE系统中破碎与强破碎的等价性，源于其定义中量词顺序的转置，揭示了其内在对偶性。
• $\bignplus_Y$与$\biguplus_Y$运算符保持SE性质，且其可交换性完全刻画了SE系统。
• 向下移位保持SE性质，并为SE系统提供规范形式，其过程与无差别排序算法密切相关。
• SE系统自然出现在定向超平面排列中，其中破碎对应于单元计数，强破碎对应于对偶图中的连通性。
• 对于任意无向图$G=(V,E)$，包含有向$s$-$t$路径的定向数，等于包含无向$s$-$t$路径的子图数，该结果通过SE系统对偶性得以证明。
• 由源点$s$可达其他顶点的系统类在并集与交集下封闭，并构成SE系统的一个非平凡子类。