Flow-augmentation III: Complexity dichotomy for Boolean CSPs parameterized by the number of unsatisfied constraints

by   Eun Jung Kim, et al.

We study the parameterized problem of satisfying “almost all” constraints of a given formula F over a fixed, finite Boolean constraint language Γ, with or without weights. More precisely, for each finite Boolean constraint language Γ, we consider the following two problems. In Min SAT(Γ), the input is a formula F over Γ and an integer k, and the task is to find an assignment α V(F) →{0,1} that satisfies all but at most k constraints of F, or determine that no such assignment exists. In Weighted Min SAT(Γ), the input additionally contains a weight function w F →ℤ_+ and an integer W, and the task is to find an assignment α such that (1) α satisfies all but at most k constraints of F, and (2) the total weight of the violated constraints is at most W. We give a complete dichotomy for the fixed-parameter tractability of these problems: We show that for every Boolean constraint language Γ, either Weighted Min SAT(Γ) is FPT; or Weighted Min SAT(Γ) is W[1]-hard but Min SAT(Γ) is FPT; or Min SAT(Γ) is W[1]-hard. This generalizes recent work of Kim et al. (SODA 2021) which did not consider weighted problems, and only considered languages Γ that cannot express implications (u → v) (as is used to, e.g., model digraph cut problems). Our result generalizes and subsumes multiple previous results, including the FPT algorithms for Weighted Almost 2-SAT, weighted and unweighted ℓ-Chain SAT, and Coupled Min-Cut, as well as weighted and directed versions of the latter. The main tool used in our algorithms is the recently developed method of directed flow-augmentation (Kim et al., STOC 2022).


page 1

page 2

page 3

page 4


Solving hard cut problems via flow-augmentation

We present a new technique for designing FPT algorithms for graph cut pr...

Directed flow-augmentation

We show a flow-augmentation algorithm in directed graphs: There exists a...

Parameterized Complexity of Weighted Multicut in Trees

The Edge Multicut problem is a classical cut problem where given an undi...

The complexity of promise SAT on non-Boolean domains

While 3-SAT is NP-hard, 2-SAT is solvable in polynomial time. Austrin, G...

Solving Routing Problems via Important Cuts

We introduce a novel approach of using important cuts which allowed us t...

On the Parallel Parameterized Complexity of MaxSAT Variants

In the maximum satisfiability problem (MAX-SAT) we are given a propositi...

CSPs with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations

We study the complexity of Boolean constraint satisfaction problems (CSP...

Please sign up or login with your details

Forgot password? Click here to reset