[论文解读] Partitioning in the space of antimonotonic functions

Patrick De Causmaecker, Stefan De Wannemacker|arXiv (Cornell University)|Mar 15, 2011

Advanced Algebra and Logic参考文献 1被引用 3

一句话总结

本文提出了一种在反单调布尔函数空间中对区间进行代数分解的新方法，利用偏序关系和一种新的外部乘积算子，将格分解为来自低维子空间的不相交区间的并集。主要贡献是一个递归框架，可推导出新的Dedekind数递归公式，并为单调与反单调函数设计出输出多项式时间的枚举算法。

ABSTRACT

This paper studies partitions in the space of antimonotonic boolean functions on sets of n elements. The antimonotonic functions are the antichains of the partially ordered set of subsets. We analyse and characterise a natural partial ordering on this set. We study the inter- vals according to this ordering. We show how intervals of antimonotonic functions, and a fortiori the whole space of antimonotonic functions can be partitioned as disjoint unions of certain classes of intervals. These in- tervals are uniquely determined by antimonotonic functions on smaller sets. This leads to recursive enumeration algorithms and new recursion relations. Using various decompositions, we derive new recursion formu- lae for the number of antimonotonic functions and hence for the number of monotonic functions (i.e. the Dedekind number).

研究动机与目标

• 开发一种系统化的代数框架，用于划分反单调布尔函数的空间。
• 刻画反单调函数上的自然偏序关系，并在该序中定义区间。
• 通过将区间分解为低维分量，推导出Dedekind数的新递归关系。
• 设计基于输出多项式时间复杂度的反单调函数递归枚举算法。
• 将该分解方法推广至完全分配格，以杨氏格为例进行说明。

提出的方法

• 基于接受集的包含关系，引入反单调函数上的偏序关系，将区间定义为可比边界之间的函数集合。
• 定义一种新的外部乘积算子 ×，用于将不同子空间中的区间组合起来，从而实现高维区间的分解。
• 使用 base(α) 和 top(α) 算子识别区间类的规范代表元，确保划分中各部分的不相交性。
• 应用两个分解定理：一个基于函数内部的集合，另一个基于基集的划分，以生成区间分解。
• 证明均匀跨度区间和一般区间均可表示为不相交子区间的并集，每个子区间均与低维反单调函数相关联。
• 通过递归计数分解后区间的元素，利用反链的格结构，推导出Dedekind数的递归公式。

实验结果

研究问题

• RQ1 如何基于自然偏序关系，系统地将反单调函数的空间划分为不相交的区间？
• RQ2 反单调函数的何种结构性质使其能够基于更小集合上的区间实现递归分解？
• RQ3 该分解是否能导出Dedekind数的新递归关系？Dedekind数用于计数单调布尔函数。
• RQ4 使用所提出的区间分解枚举所有反单调函数的计算复杂度如何？
• RQ5 外部乘积算子 × 如何在完全分配格中实现区间的规范且不相交的分解？

主要发现

• 本文确立了反单调函数的区间可被划分为不相交的子区间，每个子区间均由更小集合上的反单调函数唯一确定。
• 定义了一种新的外部乘积算子 ×，可基于顶函数与底函数，将区间分解为规范且不重叠的组成部分。
• 该分解导出了反单调函数数量的新递归公式，从而也导出了Dedekind数的新公式，据作者所知，这是首次提出。
• 区间分解使得能够设计出在输出多项式时间内运行的递归枚举算法，并提供了可运行的实现代码。
• 该框架可推广至完全分配格，并以杨氏格为例进行说明，展示了整个非空杨氏图的无限格可表示为区间的不相交并集。
• 划分中不相交性的证明依赖于性质：若 γ ≤ α×β，则必有 γ ∧ top(α) ≤ α，从而确保元素被唯一分配至各组件。