[論文レビュー] Essential arity gap of Boolean functions

Slavcho Shtrakov|ArXiv.org|Aug 28, 2008

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

ひとこと要約

この論文は、最大の本質的変数数ギャップ（ギャップ = 2）を持つブール関数を調査し、完全論理積標準形（FCNF）を用いて証明を簡略化し、組合せ的特徴付けを導出する。n ≥ 4 のとき、ギャップ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）を持つブール関数を特徴付ける。
• コーシェイロとレトネン（2008）の、変数数ギャップ2の関数に関する主要な結果の証明を、ゼガルキン多項式の代わりに完全論理積標準形（FCNF）を用いて簡略化する。
• 変数数ギャップ2のブール関数の正確な組合せ的数え上げを、本質的変数の数に応じて導出する。
• 関数の構造的性質と変数依存関係に基づいて、ギャップ2の関数を完全に分類する。

提案手法

• すべての項にすべての変数が現れる形のブール関数の表現として、完全論理積標準形（FCNF）を用いる。
• 本質的変数の定義と識別マイナーを適用して、変数の同一化が本質的変数数に与える影響を分析する。
• 本質的変数数に関する帰納的推論を用いて、ギャップ2の関数を分類する。
• 奇数重み最小項（Od₂ⁿ）と偶数重み最小項（Ev₂ⁿ）の構造を用いて、f = xₙ⁰·g ⊕ xₙ¹·h を満たす関数gとhを特徴付ける。
• 本質的変数数に応じた場合分けを解析することで、ギャップ2の関数数の再帰的および閉形式表現を導出する。
• 組合せ的恒等式を用いて、すべての変数数におけるこのような関数の合計数を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 本質的変数数ギャップ2のブール関数の完全な構造的特徴付けは何か？
• RQ2 ゼガルキン多項式の代わりにFCNFを用いることで、ギャップ2の関数分類の証明をどのように簡略化できるか？
• RQ3 n変数におけるギャップ2のブール関数の正確な数は、本質的変数の数に応じてどのように変化するか？
• RQ4 nのどの値に対して、ギャップ2の関数数が安定化するか、または予測可能な組合せ的パターンを示すか？
• RQ5 すべての変数数nまでの合計関数数について、再帰的または閉形式の公式を導出できるか？

主な発見

• n ≥ 4 のとき、変数数nでギャップ2かつ本質的変数数nのブール関数はちょうど2つであり、それぞれが完全な奇数重み最小項関数および完全な偶数重み最小項関数に対応する。
• n変数におけるギャップ2のブール関数の総数は、次の公式で与えられる：hₙ = 3·(n choose 2) + 5·(n choose 3) + 2ⁿ⁺¹ - 2n - 2。
• n = 2 のとき、ギャップ2の関数は6つある。n = 3 のとき、そのような関数は28個ある。
• ギャップ2で本質的変数数m（2 ≤ m ≤ n）の関数は、m個の変数への依存関係とそのFCNF表現の構造によって完全に特徴付けられる。
• ギャップ2で本質的変数数mの関数の数は、4 ≤ m ≤ n のとき 2·(n choose m)、m = 3 のとき 10·(n choose 3)、m = 2 のとき 6·(n choose 2) である。
• 本結果は、かつてゼガルキン多項式を用いて得られたコーシェイロとレトネンの結果を確認・簡略化し、FCNFを用いることでより明確で組合せ的に直感的な枠組みを提供する。