[論文レビュー] Gap Preserving Reductions Between Reconfiguration Problems

Naoto Ohsaka|arXiv (Cornell University)|Dec 8, 2022

Optimization and Packing Problems被引用数 3

ひとこと要約

この論文は、再構成不可能性近似仮説（RIH）の下で、再構成問題の最適化変種の近似がPSPACE困難であることを、新しいギャップ保存還元を用いて確立している。『アルファベットスクエアリング』を導入し、拡張グラフと拡張マッチング補題を活用して、近似ギャップを維持したまま次数削減を実現し、限定的発生回数を伴うMaxmin 3-SAT再構成がRIHの下で近似がPSPACE困難であることを証明した。応用対象はNCL、独立集合、クリーク、頂点被覆、2-SAT再構成を含む。

ABSTRACT

Combinatorial reconfiguration is a growing research field studying problems on the transformability between a pair of solutions of a search problem. We consider the approximability of optimization variants of reconfiguration problems; e.g., for a Boolean formula $φ$ and two satisfying truth assignments $σ_{\sf s}$ and $σ_{\sf t}$ for $φ$, Maxmin SAT Reconfiguration requires to maximize the minimum fraction of satisfied clauses of $φ$ during transformation from $σ_{\sf s}$ to $σ_{\sf t}$. Solving such optimization variants approximately, we may obtain a reconfiguration sequence comprising almost-satisfying truth assignments. In this study, we prove a series of gap-preserving reductions to give evidence that a host of reconfiguration problems are PSPACE-hard to approximate, under some plausible assumption. Our starting point is a new working hypothesis called the Reconfiguration Inapproximability Hypothesis (RIH), which asserts that a gap version of Maxmin CSP Reconfiguration is PSPACE-hard. This hypothesis may be thought of as a reconfiguration analogue of the PCP theorem. Our main result is PSPACE-hardness of approximating Maxmin $3$-SAT Reconfiguration of bounded occurrence under RIH. The crux of its proof is a gap-preserving reduction from Maxmin Binary CSP Reconfiguration to itself of bounded degree. Because a simple application of the degree reduction technique using expander graphs due to Papadimitriou and Yannakakis does not preserve the perfect completeness, we modify the alphabet as if each vertex could take a pair of values simultaneously. To accomplish the soundness requirement, we further apply an explicit family of near-Ramanujan graphs and the expander mixing lemma. As an application of the main result, we demonstrate that under RIH, optimization variants of popular reconfiguration problems are PSPACE-hard to approximate.

研究の動機と目的

• SAT再構成のような意思決定問題の一般化である再構成問題の最適化変種の近似不可能性結果を確立すること。
• これらの最適化変種が妥当な仮定の下でPSPACE困難に近似可能でない証拠を提供すること。
• 従来の次数削減手法に限界がある再構成設定において、『アルファベットスクエアリング』という新技術を開発して、それを克服すること。
• Nondeterministic Constraint Logic やグラフベースの再構成問題を含む広範な再構成問題クラスへの近似不可能性結果の拡張すること。
• PSPACEがNPに置き換えられる場合、すべての近似不可能性結果が条件なしにNP困難であることを示すこと。

提案手法

• 再構成不可能性近似仮説（RIH）を導入し、Maxmin CSP再構成のギャップ版がPSPACE困難であると仮定する。
• 『アルファベットスクエアリング』と呼ばれる新技術を用いて、Maxmin 2値CSP再構成から自身へのギャップ保存還元を実現し、同時に割り当てペアを模倣する。
• 拡張グラフと拡張マッチング補題を用いて、次数削減中に整合性を維持し、従来の手法で見られる完全性の喪失を回避する。
• 3-SATからMax 2-SATへのKarpスタイル還元を用いて、2-SAT再構成への近似不可能性を移転する。
• 元の論理式の充足割り当てを、2-CNFの目的式において7/10の割合で充足する割り当てに変換し、ギャップ構造を保持する。
• 中間の再構成シーケンスを構築し、節の充足数を分析することで、ギャップ保存還元における完全性と整合性を証明する。

実験結果

リサーチクエスチョン

• RQ1 限定的発生回数を伴うMaxmin 3-SAT再構成は、再構成不可能性近似仮説（RIH）の下で近似がPSPACE困難であるか？
• RQ2 従来の手法が完全性の喪失により失敗する状況において、再構成問題の次数削減が近似ギャップを保持できるか？
• RQ3 ギャップ保存還元フレームワークは、独立集合やクリーク再構成などの他の再構成問題にどの程度一般化可能か？
• RQ4 Maxmin 2-SAT再構成の近似不可能性は、RIHの下でMaxmin 3-SAT再構成の近似不可能性から導かれるか？
• RQ5 PSPACE困難性がNP困難性に置き換えられる場合、結果を条件なしのNP困難性に強化できるか？

主な発見

• 限定的発生回数を伴うMaxmin 3-SAT再構成は、再構成不可能性近似仮説（RIH）の下で近似がPSPACE困難である。
• 本論文は、古典的な拡張グラフベース手法の限界を克服するため、再構成問題におけるギャップ保存次数削減を可能にする新技術『アルファベットスクエアリング』を導入した。
• 拡張マッチング補題と明示的な近ラマヌジャン拡張グラフ族を用いることで、整合性が維持され、充足されていない割り当てが節の充足を不自然に増加させない。
• Maxmin E3-SAT(B)再構成からMaxmin 2-SAT(4B)再構成へのギャップ保存還元を構築し、2-SAT再構成がRIHの下で定数要因以内に近似がPSPACE困難であることを示した。
• PSPACE困難性がNP困難性に置き換えられる場合、すべての近似不可能性結果が条件なしにNP困難であることが保証され、より強い基盤的結果が得られた。
• このフレームワークは広く適用可能であり、Nondeterministic Constraint Logic、独立集合、クリーク、頂点被覆、2-SAT再構成の最適化変種がRIHの下で近似がPSPACE困難であることを証明した。