[論文レビュー] Approximating minimum representations of key Horn functions

Kristóf Bérczi, Endre Boros+3 more|arXiv (Cornell University)|Nov 13, 2018

Coding theory and cryptography被引用数 1

ひとこと要約

本稿では、節数および総リテラル数に関して、最初の対数的要因近似アルゴリズムを提示し、最大ボディサイズ k の観点から非線形近似境界を達成する。このアプローチは有向ハイパーグラフ構造と有限射影平面に基づく新規構成を活用し、強力な近似不能性下界を確立し、この文脈において最小重み強連結部分グラフ問題の多項式時間アルゴリズムが Ω(n/12) よりも良い近似比を達成できないことを証明する。

ABSTRACT

Horn functions form a subclass of Boolean functions and appear in many different areas of computer science and mathematics as a general tool to describe implications and dependencies. Finding minimum sized representations for such functions with respect to most commonly used measures is a computationally hard problem that remains hard even for the important subclass of key Horn functions. In this paper we provide logarithmic factor approximation algorithms for key Horn functions with respect to all measures studied in the literature for which the problem is known to be hard.

研究の動機と目的

• 複数のサイズ測度に関して、最小サイズ表現を求める NP 困難問題に対処すること。
• 節数 (C) および総リテラル数 (L) の近似アルゴリズムを開発すること。これらは、制限付きホーンクラスですら NP 困難であることが知られている。
• 最大ボディサイズ k に関して非線形近似比を達成すること。これにより、従来の線形またはそれ以上の境界を改善する。
• 有限射影空間を用いた反例構成により、タイトな近似不能性境界を確立すること。
• 標準的手法（最小重み強連結部分グラフ近似）がエッジ最小ホーン表現に対して良い解をもたらさない理由を示すこと。

提案手法

• キーホーン関数を有向ハイパーグラフとして形式化し、最小化問題を最小同値部分ハイパーグラフの探索としてモデル化する。
• 有限射影幾何 PG(d, q) を用いた構成により、循環的対称性と一意な部分空間を持つインスタンスの族を生成する。
• ボディ集合 B = X ∪ {D + i | i ∈ Zn} を定義する。ここで X は {0, 1, ..., d−1} を含む一意な (d−1)-次元部分空間であり、D = {0, 1, ..., d} である。
• すべてのボディを X にカバーするには少なくとも n · q^{d−1} 様の辺が必要であることを証明し、最小重み強連結部分グラフ (mwscs) の下界を確立する。
• |Φ|_C ≤ 3n となる有効なホーン CNF 表現 Φ を構築し、最適解が 3n 節以下であることを示す。
• 比 mwscs / OPT ≥ n/12 を用いて、この設定において多項式時間アルゴリズムが Ω(n/12) よりも良い近似比を達成できないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 最大ボディサイズ k に関して非線形近似境界を達成するキーホーン関数最小化のための近似アルゴリズムを設計することは可能か？
• RQ2 キーホーン CNF の節数および総リテラル数測度の両方に対して、対数的近似要因を達成することは可能か？
• RQ3 なぜ最小重み強連結部分グラフに基づく標準的手法はエッジ最小ホーン表現に対して失敗するのか？
• RQ4 有限射影平面のどのような構造的性質を活用して、ホーン最小化のための困難なインスタンスを構築できるか？
• RQ5 キーホーン関数の文脈において、最小重み強連結部分グラフ問題の最良の可能な近似比は何か？

主な発見

• 本稿では、節数 (C) を最小化するアルゴリズムと、総リテラル数 (L) を最小化するアルゴリズムの2つを提示し、両方とも最大ボディサイズ k に関して対数的近似境界を達成する。
• 近似比は O(log k) であり、これは k に関して非線形であり、NP 困難なホーン最小化問題における最初のこのような保証である。
• 著者らは、有限射影平面に基づく構成を用いて、ボディグラフにおける最小重み強連結部分グラフ (mwscs) 問題が、P = NP でない限り Ω(n/12) よりも良い要因で近似できないことを証明した。
• 構成では、PG(d, q) 内の {0, 1, ..., d−1} を含む一意な (d−1)-次元部分空間 X を用い、d ∉ X であるようにすることで、構造的独自性と困難性を保証する。
• |Φ|_C ≤ 3n となる有効なホーン CNF 表現 Φ が構築され、mwscs の下界は n · q^{d−1} である。q = 2 かつ d > 1 のとき、比は n/12 以上となる。
• 結果として、mwscs 問題の多項式時間近似はエッジ最小ホーン表現に対して良い解をもたらさないことが示され、有限射影幾何に基づく反例によって裏付けられた。