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 $\varphi$ and two satisfying truth assignments $\sigma_{\sf s}$ and $\sigma_{\sf t}$ for $\varphi$, Maxmin SAT Reconfiguration requires to maximize the minimum fraction of satisfied clauses of $\varphi$ during transformation from $\sigma_{\sf s}$ to $\sigma_{\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.

Probabilistic Autoreductions

Autoreducibility of NP-Complete Sets

Nonuniform Reductions and NP-Completeness

On the Complexity of Proving Polyhedral Reductions

Polynomial-time kernel reductions

A Complete Attribute Reduction Algorithm in Rough Set Theory

Reductions to the set of random strings: The resource-bounded case

Introenumerability, autoreducibility, and randomness

Approaches to Knowledge Reductions in Inconsistent Decision Tables

Probabilistically Checkable Reconfiguration Proofs and Inapproximability of Reconfiguration Problems

The Algorithm on Knowledge Reduction in Incomplete Information Systems.

Reducibility among NP-Hard graph problems and boundary classes

On the Complexity of Recoverable Robust Optimization in the Polynomial Hierarchy

Quantum Polynomial Hierarchies: Karp-Lipton, error reduction, and lower bounds

Gap Preserving Reductions Between Reconfiguration Problems

Irreducibility over the Max-Min Semiring

On numerical characterizations of the topological reduction of incomplete information systems based on evidence theory

DRAT and Propagation Redundancy Proofs Without New Variables

Improved Parallel Derandomization via Finite Automata with Applications

Minimum Cost Attribute Reduction in Incomplete Systems under Decision-Theoretic Rough Set Model

Knowledge Reduction in Real Decision Formal Contexts