[論文レビュー] A relation between additive and multiplicative complexity of Boolean functions

I. S. Sergeev|arXiv (Cornell University)|Mar 18, 2013

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

ひとこと要約

この論文は、{⊕, ∧, 1} の基本集合上で計算されるブール関数の総（加法的）複雑度について、その乗法的複雑度を用いた漸近的タイトな境界を確立する。1960年代初頭のネチポルックの結果を再解釈することにより、乗法的複雑度 $ M = \Omega(n) $ を持つ任意のブール関数は、総複雑度 $ (1/2 + o(1))M(M + 2n)/\log_2 M $ で実装可能であり、これは低次の項を除いて最適である。

ABSTRACT

In the present note we prove an asymptotically tight relation between additive and multiplicative complexity of Boolean functions with respect to implementation by circuits over the basis {+,*,1}.

研究の動機と目的

• ブール関数の加法的複雑度と乗法的複雑度の間のタイトな漸近的関係を確立すること。
• 有限半群、特にブールの場合に、標準的な総複雑度の上界を改善できるかどうかという未解決の問題を解消すること。
• 極値的性質を用いて導出された複雑度境界の最適性を示すこと。
• ネチポルックの初期の回路複雑度に関するあまり知られていない結果を、現代のブール関数複雑度解析に適用可能かつアクセス可能な形にすること。

提案手法

• ブール関数を計算する問題を、ブール半群上の行列を介した線形作用素の実装問題に再定式化する。
• ブール行列 A の「アクティブ・スクエア」S(A) を、各行の各1の位置からその行内で log₂m 位置以内の1の数として定義し、関連する計算範囲を捉える。
• 再帰的グループ化技術を適用：変数を s ≈ log₂m − 3 log₂ log₂m のサイズの小さなグループに分割し、各グループ内ですべての可能な和を計算する。
• 得られた中間的な和を新たな変数とし、行列を高さ p ≈ m/log²m の水平セクションに分割して独立処理を行う。
• セクションの各行を、1を持つ列をペアにしてペアの和を計算し、その後奇数番目の項と組み合わせて加法的コストを低減する。
• アクティブ・スクエアの構造と効率的なグループ化を活用して、総加法的複雑度を S(A)/(2 log₂m) + o((m+n)²/log m) で上界付ける。

実験結果

リサーチクエスチョン

• RQ1 乗法的複雑度が与えられたブール関数の加法的複雑度に対する、最もタイトな上界は何か？
• RQ2 有限半群、特にブールの場合に、標準的な O(M(M + n)) の総複雑度の上界を改善できるか？
• RQ3 導出された境界は漸近的に最適であり、ブール関数の極値的組合的性質を用いてこれを証明できるか？
• RQ4 ネチポルックの古典的な線形回路複雑度に関する結果を、ブール関数複雑度における新しい境界を導出するためにどの程度応用できるか？

主な発見

• n 変数の任意のブール関数について、乗法的複雑度 $ M = \Omega(n) $ であれば、総加法的複雑度は $ (1/2 + o(1))M(M + 2n)/\log_2 M $ 未満に抑えられ、これは漸近的にタイトである。
• この境界は最適である。なぜなら、n 変数のほとんどすべてのブール関数は乗法的複雑度 $ \sim 2^{n/2} $ と総複雑度 $ \sim 2^n / n $ を持ち、導出された式の漸近的成長と一致するからである。
• この結果は、1960年代にネチポルックが線形回路複雑度について行った研究の直接的帰結であるが、文献では長らく無視されてきた。
• アクティブ・スクエア法は、線形作用素の行列表現における局所性を活用することで、加法的複雑度を構造的に上界付ける有効な手法を提供する。
• この境界は、標準的な O(M(M + n)) の境界を $ \log M $ の要因で改善しており、有限半群（例えばブール半群）が無限のものよりもより良い複雑度のトレードオフを許容することを示している。
• 変数のグループ化と行単位のセクション分割に基づく証明技法により、乗法的および加法的複雑度の最適なトレードオフが達成されている。