[論文レビュー] Minimization for generalized Boolean formulas

Edith Hemaspaandra, Henning Schnoor|arXiv (Cornell University)|Jul 16, 2011

semigroups and automata theory参考文献 30被引用数 13

ひとこと要約

この論文は、ポスト枠組みにおける一般化ブール論理式の最小化に関して、二分岐を確立し、問題が多項式時間で解けるか、あるいはcoNP困難であることを示している。さらに、CNFに類似した論理式のための効率的な最小化アルゴリズムを発展させ、すべての tractable なケースが同定された強力な証拠を提供している。

ABSTRACT

The minimization problem for propositional formulas is an important optimization problem in the second level of the polynomial hierarchy. In general, the problem is Σ2p-complete under Turing reductions, but restricted versions are tractable. We study the complexity of minimization for formulas in two established frameworks for restricted propositional logic: The Post framework allowing arbitrarily nested formulas over a set of Boolean connectors, and the constraint setting, allowing generalizations of CNF formulas. In the Post case, we obtain a dichotomy result: Minimization is solvable in polynomial time or coNP-hard. This result also applies to Boolean circuits. For CNF formulas, we obtain new minimization algorithms for a large class of formulas, and give strong evidence that we have covered all polynomial-time cases.

研究の動機と目的

• 任意のブール結合子を許容するポスト枠組みにおける一般化ブール論理式の最小化の計算複雑性を特定すること。
• CNF論理式の制約に基づく一般化の文脈における論理式最小化の tractable なケースを同定すること。
• ポスト枠組みにおける最小化複雑性の完全な分類を確立し、多項式時間で解ける場合とcoNP困難な場合を区別すること。
• 広範なCNFに類似した論理式のための新しい最小化アルゴリズムを開発し、それらがすべての多項式時間で解けるインスタンスを網羅しているかどうかを評価すること。

提案手法

• 多項式階層の第二レベル（Σ₂^p）に注目し、チューリング還元に基づいて最小化問題を分析すること。
• 二分岐理論を用いて、許可されたブール結合子の集合に基づき、ポスト枠組みにおける最小化問題を分類すること。
• ブール関数の構造的性質とクラウニ理論を用いて、tractable な場合と非 tractable な場合を特徴づけること。
• 特にCNFの一般化を対象とした制約に基づく設定での論理式最小化に特化した新しいアルゴリズム的手法を設計すること。
• 還元と完全性の議論を活用し、同定されたアルゴリズム的クラスが多項式時間解法のすべてを網羅していることを示すこと。
• ブール回路への拡張を図り、同じ二分岐がこの文脈でも成り立つことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 どのブール結合子の集合に対して、一般化された論理式の最小化問題が多項式時間で解けるか？
• RQ2 ポスト枠組みにおける論理式最小化において、tractable と intractable なケースの正確な境界は何か？
• RQ3 広範なCNFに類似した論理式のための効率的な最小化アルゴリズムを開発できるか？ そして、それらのアルゴリズムは、すべての多項式時間で解けるインスタンスを網羅しているのか？
• RQ4 標準的なCNFからより一般的な制約に基づく論理式表現に移行する際、最小化の複雑性はどのように変化するか？
• RQ5 論理式における二分岐結果は、ブール回路へどの程度まで拡張可能か？

主な発見

• ポスト枠組みにおける論理式最小化について、完全な二分岐が確立された：許可されたブール結合子の集合に応じて、問題は多項式時間で解けるか、あるいはcoNP困難である。
• 同じ二分岐がブール回路に対しても成り立つことが示され、複雑性分類が異なる表現形式に対しても安定していることがわかった。
• CNFに類似した論理式に対しては、広範かつ重要なクラスの論理式をカバーする新しい効率的最小化アルゴリズムが開発された。
• 提案されたアルゴリズムが、CNF論理式最小化のすべての多項式時間で解けるケースを網羅しているという強力な証拠が提示された。
• ポスト枠組みにおいて、tractable と intractable な最小化の境界が明確に定義されていることが示された。
• 研究により、一般には最小化問題がΣ₂^p完全のまま保たれることを確認したが、特定の文法的および意味的制約のもとでは tractable になることがわかった。