[논문 리뷰] Gap Preserving Reductions Between Reconfiguration Problems

Naoto Ohsaka|arXiv (Cornell University)|2022. 12. 08.

Optimization and Packing Problems인용 수 3

한 줄 요약

이 논문은 재구성 문제의 최적화 변형을 근사하는 데 있어 재구성 불가근사 가설(RIH) 하에 PSPACE-난이도를 증명한다. 새로운 갭 보존 감소 기법을 사용하여 이를 달성한다. '알파벳 제곱화' 기법을 도입하고, 확산 그래프와 확산 그래프 레미의 정리를 활용하여 degree 감소 동안 갭을 유지함으로써, 고도수 발생이 제한된 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-난이도로 근사 가능한지에 대한 증거를 제공한다.
• 기존의 degree 감소 기법의 한계를 극복하기 위해 '알파벳 제곱화'라는 새로운 기법을 개발한다.
• 비결정성 제약 논리(NCL) 및 그래프 기반 재구성 문제를 포함한 광범위한 재구성 문제 클래스로 근사 불가능성 결과를 확장한다.
• 모든 근사 불가능성 결과가 PSPACE 대신 NP로 대체될 경우 무조건적인 NP-난이도로 성립함을 보여준다.

제안 방법

• 재구성 불가근사 가설(RIH)을 도입하여, Maxmin CSP 재구성의 갭 형태가 PSPACE-난이도임을 가정한다.
• 기존의 '알파벳 제곱화' 기법을 사용하여, Maxmin 이진 CSP 재구성 문제에서 자기 자신으로의 갭 보존 감소를 수행함으로써, 유한한 차수를 갖는 문제로 변환한다. 이는 동시에 할당되는 쌍을 시뮬레이션한다.
• 확산 그래프와 확산 그래프 레미의 정리를 적용하여 degree 감소 과정 중에서도 타당성을 유지함으로써, 이전 방법에서 관찰된 완전성 손실을 방지한다.
• 3-SAT에서 Max 2-SAT로의 Karp 스타일 감소를 통해 2-SAT 재구성 문제로 근사 불가능성 전이.
• 원래 공식의 만족할 수 있는 할당을 2-CNF 목표에서 7/10 비율의 만족할 수 있는 할당으로 매핑하는 변환을 사용하여 갭 구조를 유지한다.
• 중간 단계의 재구성 시퀀스를 구성하고, 절의 만족 수를 분석하여 갭 보존 감소의 완전성과 타당성을 증명한다.

실험 결과

연구 질문

• RQ1 고도수 발생이 제한된 Maxmin 3-SAT 재구성 문제의 근사는 재구성 불가근사 가설(RIH) 하에 PSPACE-난이도인가?
• RQ2 기존 기법이 완전성 손실로 인해 실패할 경우, 재구성 문제에서 degree 감소가 근사 갭을 유지할 수 있는가?
• RQ3 갭 보존 감소 프레임워크는 독립집합 또는 클리크 재구성 문제와 같은 다른 재구성 문제로 얼마나 광범위하게 일반화될 수 있는가?
• RQ4 Maxmin 2-SAT 재구성 문제의 근사 불가능성이 RIH 하에 Maxmin 3-SAT 재구성 문제의 근사 불가능성으로 유도되는가?
• RQ5 PSPACE-난이도 대신 NP-난이도로 대체될 경우 결과를 무조건적인 NP-난이도로 강화할 수 있는가?

주요 결과

• 고도수 발생이 제한된 Maxmin 3-SAT 재구성 문제의 근사는 재구성 불가근사 가설(RIH) 하에 PSPACE-난이도이다.
• 논문은 재구성 문제에서 갭 보존 degree 감소를 가능하게 하는 새로운 기법인 '알파벳 제곱화'를 도입한다. 이는 기존의 확산 기반 방법의 한계를 극복한다.
• 확산 그래프 레미의 정리와 명시적인 근사 라마누잔 확산 그래프 가족을 통해 감소의 타당성이 유지되며, 이는 만족하지 못하는 할당이 절의 만족도를 인위적으로 높이지 않도록 보장한다.
• Maxmin E3-SAT(B) 재구성 문제에서 Maxmin 2-SAT(4B) 재구성 문제로의 갭 보존 감소를 구성함으로써, 2-SAT 재구성 문제가 RIH 하에 상수 요인 내에서 근사 가능한 것이 PSPACE-난이도임을 보여준다.
• 모든 근사 불가능성 결과는 'PSPACE-난이도' 대신 'NP-난이도'로 대체될 경우 무조건적인 NP-난이도로 성립하며, 더 강력한 기초 결과를 제공한다.
• 이 프레임워크는 광범위하게 적용 가능하며, Nondeterministic Constraint Logic, 독립집합, 클리크, 정점 커버, 2-SAT 재구성 문제의 최적화 변형에 대해 RIH 하에 PSPACE-난이도 근사 불가능성을 증명한다.