[论文解读] On composition-closed classes of Boolean functions

Tamás Waldhauser|SZTE Publicatio Repozitórium (University of Szeged)|Feb 21, 2011

Advanced Algebra and Logic被引用 4

一句话总结

本文刻画了布尔函数的所有复合封闭等式类——即在函数复合、变量置换、变量合并及引入虚变量下封闭的类——且不依赖于投影。研究证明，布尔函数上的此类类的格具有连续统基数，并提供了完整的结构描述，通过引入非克隆类扩展了佩斯特格，关键结果包括对区间和幂等类骨架的分析。

ABSTRACT

We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification (diagonalization) of variables and under introduction of inessential variables (cylindrification), but they do not necessarily contain projections. Thus the lattice formed by these classes is an extension of the Post lattice. The cardinality of this lattice is continuum, yet it is possible to describe its structure to some extent.

研究动机与目标

• 通过研究在复合下封闭但不一定包含投影的等式类，扩展佩斯特对布尔克隆的分类。
• 分析布尔域上复合封闭等式类的格结构，该结构推广了克隆和迭代代数。
• 确定该扩展格的基数和内部结构，表明尽管是佩斯特格的自然推广，其基数仍为连续统。
• 通过幂等类的骨架刻画格中的区间，特别关注无穷和有限元数情形。
• 利用关系约束和拟序，对无投影幂等类的格给出完整描述。

提出的方法

• 引入复合封闭等式类，即在函数复合、变量置换、变量合并（对角化）和柱化（引入无意义变量）下封闭的函数类。
• 定义此类类的格 $Δ$，并证明其作为具有连续统基数的完全格，扩展了佩斯特格。
• 使用“骨架”概念——从函数在0处的原像集导出的矩阵，最多含 $k$ 行且无重复列——对区间 $\mathbf{I}(W^k)$ 中的幂等类进行分类。
• 通过证明不同幂等类具有不同骨架，利用变量合并和虚变量插入技术重构函数，证明区间 $\mathbf{I}(W^k)$ 的有限性。
• 应用关系约束定义对偶类如 $\mathcal{D}^k$（即 $\mathcal{B}^k$ 的对偶），并通过无穷约束族刻画 $\mathbf{I}(W^\infty)$。
• 采用拟序 $\sqsubseteq$ 比较类并研究 $\mathbf{I}(W^\infty)$ 的结构，旨在获得区间大小的渐近和显式描述。

实验结果

研究问题

• RQ1 复合封闭等式类的布尔函数格的完整结构是什么？它如何扩展佩斯特格？
• RQ2 如何利用组合不变量（如骨架）对复合封闭等式类中的幂等类进行分类与区分？
• RQ3 此类类的格的基数是多少？它与可数克隆格有何不同？
• RQ4 能否通过关系约束和函数方程显式描述区间 $\mathbf{I}(W^k)$ 和 $\mathbf{I}(W^\infty)$？
• RQ5 变量置换、合并和柱化操作如何影响克隆之外的函数类的闭包与分类？

主要发现

• 布尔函数的复合封闭等式类的格具有连续统基数，与可数的佩斯特克隆格形成对比。
• 每个 $\mathbf{I}(W^k)$ 中的幂等类均由其骨架唯一确定——即从0的原像集导出的有限矩阵，最多含 $k$ 行且无重复列。
• 对每个有限 $k$，区间 $\mathbf{I}(W^k)$ 是有限的，因为受行数和列数的限制，可能的骨架数量有限。
• 类 $\mathcal{D}^k$（即 $\mathcal{B}^k$ 的对偶）由关系约束 $(\{0,1\}^k \setminus \{\mathbf{0}\}, \{0,1\}^k \setminus \{\mathbf{1}\})$ 定义（$k$ 有限时），而 $k=\infty$ 时则由所有此类约束定义。
• 所有复合封闭等式类的格 $\mathbf{I}$ 通过将佩斯特格与无投影类的格结合得到，其与各克隆 $\mathcal{C}$ 的区间 $\mathbf{I}(\mathcal{C})$ 相关联。