[论文解读] A Note on the Inversion Complexity of Boolean Functions in Boolean Formulas

Hiroki Morizumi|ArXiv.org|Nov 5, 2008

Machine Learning and Algorithms参考文献 4被引用 7

一句话总结

该论文确定了布尔公式中布尔函数的反演复杂度，证明了所需的最少非门数量等于任意递增输入向量链中最大递减跳变次数 d(f)。该结果通过归纳分解和非门在输入序列中行为的状态分析，将马尔可夫的电路复杂度定理扩展至公式模型。

ABSTRACT

In this note, we consider the minimum number of NOT operators in a Boolean formula representing a Boolean function. In circuit complexity theory, the minimum number of NOT gates in a Boolean circuit computing a Boolean function $f$ is called the inversion complexity of $f$. In 1958, Markov determined the inversion complexity of every Boolean function and particularly proved that $\lceil \log_2(n+1) ceil$ NOT gates are sufficient to compute any Boolean function on $n$ variables. As far as we know, no result is known for inversion complexity in Boolean formulas, i.e., the minimum number of NOT operators in a Boolean formula representing a Boolean function. The aim of this note is showing that we can determine the inversion complexity of every Boolean function in Boolean formulas by arguments based on the study of circuit complexity.

研究动机与目标

• 确定布尔公式中布尔函数的反演复杂度，其中门的扇出为一。
• 将马尔可夫关于电路中非门复杂度的经典结果扩展至公式模型，该模型将扇出限制为一。
• 解决公式中反演复杂度的开放问题，此前该领域尚无相关研究成果。
• 为以公式表示任意布尔函数所需的最少非门数量建立紧致上界。

提出的方法

• 基于 d(f)，即任意递增输入向量链中最大递减跳变次数，使用归纳法证明非门数量的上界为 d(f)。
• 基于一组保持单调性的向量集 S 定义两个辅助函数 f₁ 和 f₂，以实现递归分解。
• 引入一个阈值函数 fₜ，其在 S 上取值为 1，其余情况为 0，以隔离非单调区域。
• 通过构造 f₁ ∨ (f₂ ∧ ¬fₜ) 的公式，结合 f₁、f₂ 和 fₜ 的公式，并额外使用一个非门。
• 分析非门在输入变化过程中的状态转移（上升/下降），以推导非门数量的下界。
• 应用两个引理：其一表明函数值从 1 降至 0 会使得下降状态非门数量至少增加一个；其二表明在 0 到 0 或 1 到 1 的转移下函数行为非递减。

实验结果

研究问题

• RQ1 以布尔公式表示任意布尔函数所需的最少非门数量是多少？
• RQ2 在扇出受限的条件下，公式中的反演复杂度与一般电路中的反演复杂度有何不同？
• RQ3 d(f) 测度——即输入链中最大递减跳变次数——能否作为公式中反演复杂度的紧致上界？
• RQ4 是否存在一种构造性方法，可为任意布尔函数构建恰好使用 d(f) 个非门的公式？
• RQ5 公式中扇出为一的约束是否从根本上改变了最小非门使用结构，与电路模型相比？

主要发现

• 任何布尔函数 f 在公式中的反演复杂度恰好为 d(f)，即任意递增输入向量链中最大递减跳变次数。
• 通过基于 d(f) 的归纳构造，将 f 分解为单调和阈值组件，实现了非门数量的上界 d(f)。
• 通过追踪输入转移过程中下降状态非门的数量，证明了下界，表明函数值从 1 降至 0 会使计数至少增加一个。
• 该构造确保所用非门总数恰好为 d(f)，从而使上界达到紧致性。
• 该结果将马尔可夫的电路理论界（⌈log₂(d(f)+1)⌉）推广至公式模型，其中复杂度为 d(f) 的线性函数，而非对数函数。
• 该证明依赖于公式（扇出为一）的结构特性，以确保状态转移路径的唯一性，这对下界论证至关重要。