[論文レビュー] Best-case and Worst-case Sparsifiability of Boolean CSPs

Butti, Silvia, Živný, Stanislav|arXiv (Cornell University)|Sep 17, 2018

Constraint Satisfaction and Optimization被引用数 5

ひとこと要約

この論文は、ブール論理制約充足問題（CSP）におけるスパarsificationの可能性を包括的に特徴づけ、非自明なスパarsificationが可能な条件を同定する。非自明なスパarsificationに耐えるのは、変数の否定を除いてORに等価な制約のみであり、素数の冪を法とする整数環上の1次多項式による線形スパarsificationのための線形代数的条件を確立する。主な貢献は、対称ブールCSPおよび3項以下のCSPにおけるスパarsificationの完全分類である。

ABSTRACT

A cut epsilon-sparsifier of a weighted graph G is a re-weighted subgraph of G of (quasi)linear size that preserves the size of all cuts up to a multiplicative factor of epsilon. Since their introduction by Benczúr and Karger [STOC'96], cut sparsifiers have proved extremely influential and found various applications. Going beyond cut sparsifiers, Filtser and Krauthgamer [SIDMA'17] gave a precise classification of which binary Boolean CSPs are sparsifiable. In this paper, we extend their result to binary CSPs on arbitrary finite domains.

研究の動機と目的

• どのブールCSPに対して非自明な多項式時間スパarsificationが可能かを特定すること。
• 線形スパarsification（O(n)個の制約）を許容する制約言語を同定すること。
• 対称ブールCSPおよび3項以下のCSPにおける最適スパarsificationサイズを特徴づけること。
• 低次の多項式表現がスパarsificationに果たす役割に関する未解決の問題を解消すること。

提案手法

• バランス型演算と制約関係における最小no-goodを研究するために普遍代数と関係的解析を用いる。
• 整数環 Z/p^kZ 上の線形代数を適用し、制約が1次多項式によって表現可能であるための必要十分条件を導出する。
• 錐定義可能性（cone-definability）を用いて制約言語と2-OR関係を関連づけ、構造的還元を可能にする。
• 証拠（witness）とno-goodの概念を用いて、関係を保存するバランス型演算が存在しないことを分析する。
• 重みの合同関係（mod m）を用いて、関係内での可能な証拠に制約を課す。
• 構造的結果と多項式表現理論を組み合わせ、スパarsificationサイズのタイトな境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのブールCSPが非自明なスパarsification（k-項制約に対して o(n^k) 個の制約に削減可能）を許容するか？
• RQ2 制約言語が線形スパarsification（O(n)個の制約）を許容する正確な条件は何か？
• RQ3 対称ブールCSPのスパarsificationは、その制約言語にどのように依存するか？
• RQ4 与えられた制約言語から2-OR関係が錐定義可能か？そしてこれはスパarsificationにどのような意味を持つか？
• RQ5 3項以下の制約を持つブールCSPの最適スパarsificationサイズは何か？

主な発見

• 非自明なスパarsificationを許容しない唯一のブールCSPは、変数の否定を除いてk-項OR制約を含むものであり、これはΩ(n^k)個の制約を強制する。
• 対称ブールCSPにおいて、線形スパarsificationが可能なのは、制約言語が本質的にk-項ORである関係を含まない場合に限る。
• 制約言語が線形スパarsificationを許容するのは、各制約がある素数の冪 p^k に対する Z/p^kZ 上の1次多項式で表現可能な場合に限る。
• 3項以下の制約を持つブールCSPにおいて、最適スパarsificationサイズは、制約言語で表現可能な最大のOR関係によって決定される。
• 2-OR関係が制約言語から錐定義可能であるのは、その言語に、どのバランス型演算でも保存されない2項の最小no-goodが存在する場合に限る。
• 本論文は、関係 R がバランス型演算 f に関して証拠 w を持つならば、特定の条件下で w の重みは R のタプルの重みと同じ合同関係（mod m）を満たすことを証明している。