[论文解读] Essential arity gap of Boolean functions

Slavcho Shtrakov|ArXiv.org|Aug 28, 2008

Coding theory and cryptography参考文献 4被引用 8

一句话总结

本文研究了具有最大本质变量数差距（差距 = 2）的布尔函数，使用全合取范式（FCNF）简化证明并推导组合特征。研究结果表明，当 n ≥ 4 时，n 个变量上恰好存在 2 个本质变量数为 n 且差距为 2 的布尔函数，并给出了所有变量数不超过 n 的此类函数总数的闭式公式。

ABSTRACT

We investigate the Boolean functions with essential arity gap 2. We use Full Conjunctive Normal Forms instead of Zhegalkin's polynomials, which allow us to simplify the proofs and to obtain several combinatorial results, concerning the Boolean functions with a given arity gap.

研究动机与目标

• 对具有最大可能本质变量数差距（已知为 2）的布尔函数进行特征刻画。
• 使用全合取范式（FCNF）而非 Zhegalkin 多项式，简化 Couceiro 和 Lehtonen（2008）关于差距为 2 的函数的关键结果的证明。
• 推导出根据本质变量数而定的、本质变量数差距为 2 的布尔函数的精确组合计数。
• 根据其函数结构和变量依赖关系，对差距为 2 的函数进行完整分类。

提出的方法

• 使用全合取范式（FCNF）作为布尔函数的表示形式，其中所有变量均出现在每个短语中。
• 应用本质变量的定义及识别极小化（identification minors）方法，分析变量合并对本质变量数的影响。
• 通过本质变量数的归纳推理，对差距为 2 的函数进行分类。
• 利用奇权重和偶权重最小项（Od₂ⁿ 和 Ev₂ⁿ）的结构，对满足 f = xₙ⁰·g ⊕ xₙ¹·h 的函数 g 和 h 进行特征刻画。
• 通过基于本质变量数的分情况分析，推导出差距为 2 的函数数量的递推关系和闭式表达式。
• 应用组合恒等式，简化所有变量数下此类函数的总数。

实验结果

研究问题

• RQ1 本质变量数差距为 2 的布尔函数的完整结构特征是什么？
• RQ2 如何使用 FCNF 而非 Zhegalkin 多项式，简化对差距为 2 的函数分类结果的证明？
• RQ3 在 n 个变量上，本质变量数差距为 2 的布尔函数的确切数量是多少，取决于本质变量数？
• RQ4 对于哪些 n 值，差距为 2 的函数数量会稳定或呈现可预测的组合模式？
• RQ5 能否推导出所有变量数不超过 n 的差距为 2 的布尔函数总数的递归或闭式公式？

主要发现

• 当 n ≥ 4 时，在 n 个变量上恰好存在 2 个本质变量数为 n 且差距为 2 的布尔函数，分别对应于全奇权重和全偶权重最小项函数。
• 在 n 个变量上，本质变量数差距为 2 的布尔函数总数由公式 hₙ = 3·(n choose 2) + 5·(n choose 3) + 2ⁿ⁺¹ - 2n - 2 给出。
• 当 n = 2 时，有 6 个差距为 2 的函数；当 n = 3 时，有 28 个此类函数。
• 本质变量数为 m（其中 2 ≤ m ≤ n）且差距为 2 的函数，完全由其对 m 个变量的依赖关系及其 FCNF 表示结构决定。
• 本质变量数为 m 且差距为 2 的函数数量为：当 4 ≤ m ≤ n 时为 2·(n choose m)，当 m = 3 时为 10·(n choose 3)，当 m = 2 时为 6·(n choose 2)。
• 该结果确认并简化了 Couceiro 和 Lehtonen 使用 Zhegalkin 多项式所得的早期发现，现通过 FCNF 提供了更清晰且更具组合直观性的框架。