Reconfiguration of Satisfying Assignments and Subset Sums: Easy to Find, Hard to Connect

05/10/2018
by   Jean Cardinal, et al.
0

We consider the computational complexity of reconfiguration problems, in which one is given two combinatorial configurations satisfying some constraints, and is asked to transform one into the other using elementary transformations, while satisfying the constraints at all times. Such problems appear naturally in many contexts, such as model checking, motion planning, enumeration and sampling, and recreational mathematics. We provide hardness results for problems in this family, in which the constraints and operations are particularly simple. More precisely, we prove the PSPACE-completeness of the following decision problems: ∙ Given two satisfying assignments to a planar monotone instance of Not-All-Equal 3-SAT, can one assignment be transformed into the other by single variable `flips' (assignment changes), preserving satisfiability at every step? ∙ Given two subsets of a set S of integers with the same sum, can one subset be transformed into the other by adding or removing at most three elements of S at a time, such that the intermediate subsets also have the same sum? ∙ Given two points in {0,1}^n contained in a polytope P specified by a constant number of linear inequalities, is there a path in the n-hypercube connecting the two points and contained in P? These problems can be interpreted as reconfiguration analogues of standard problems in NP. Interestingly, the instances of the NP problems that appear as input to the reconfiguration problems in our reductions can be shown to lie in P. In particular, the elements of S and the coefficients of the inequalities defining P can be restricted to have logarithmic bit-length.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/27/2018

Complexity of Reconfiguration Problems for Constraint Satisfaction

Constraint satisfaction problem (CSP) is a well-studied combinatorial se...
research
02/28/2020

Are You Satisfied by This Partial Assignment?

Many procedures for SAT and SAT-related problems – in particular for tho...
research
11/04/2020

A Multistage View on 2-Satisfiability

We study q-SAT in the multistage model, focusing on the linear-time solv...
research
07/06/2021

MAJORITY-3SAT (and Related Problems) in Polynomial Time

Majority-SAT is the problem of determining whether an input n-variable f...
research
02/04/2022

A Framework for Loop and Path Puzzle Satisfiability NP-Hardness Results

Building on the results published in arxiv:2004.12849 we present a gener...
research
12/08/2022

Gap Preserving Reductions between Reconfiguration Problems

Combinatorial reconfiguration is a growing research field studying probl...

Please sign up or login with your details

Forgot password? Click here to reset