Monotone 3-Sat-(2,2) is NP-complete

12/17/2019
by   Janosch Döcker, et al.
0

We show that Monotone 3-Sat remains NP-complete if (i) each clause contains exactly three distinct variables, (ii) each clause is unique, i.e., there are no duplicates of the same clause, and (iii), amongst the clauses, each variable appears unnegated exactly twice and negated exactly twice. Darmann and Döcker [6] recently showed that this variant of Monotone 3-Sat is either trivial or NP-complete. In the first part of the paper, we construct an unsatisfiable instance which answers one of their open questions (Challenge 1) and places the problem in the latter category. Then, we adapt gadgets used in the construction to (1) sketch two reductions that establish NP-completeness in a more direct way, and (2), to show that ∀∃ 3-SAT remains Π_2^P-complete for quantified Boolean formulas with the following properties: (a) each clause is monotone (i.e., no clause contains an unnegated and a negated variable) and contains exactly three distinct variables, (b) each universal variable appears exactly once unnegated and exactly once negated, (c) each existential variable appears exactly twice unnegated and exactly twice negated, and (d) the number of universal and existential variables is equal. Furthermore, we show that the variant where (b) is replaced with (b') each universal variable appears exactly twice unnegated and exactly twice negated, and where (a), (c) and (d) are unchanged, is Π_2^P-complete as well. Thereby, we improve upon two recent results by Döcker et al. [8] that establish Π_2^P-completeness of these variants in the non-monotone setting. We also discuss a special case of Monotone 3-Sat-(2,2) that corresponds to a variant of Not-All-Equal Sat, and we show that all such instances are satisfiable.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/14/2019

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy

The complexity of variants of 3-SAT and Not-All-Equal 3-SAT is well stud...
research
08/12/2019

On simplified NP-complete variants of Not-All-Equal 3-Sat and 3-Sat

We consider simplified, monotone versions of Not-All-Equal 3-Sat and 3-S...
research
10/20/2017

Planar 3-SAT with a Clause/Variable Cycle

In a Planar 3-SAT problem, we are given a 3-SAT formula together with it...
research
08/27/2021

Positive Planar Satisfiability Problems under 3-Connectivity Constraints

A 3-SAT problem is called positive and planar if all the literals are po...
research
08/21/2019

Existence and hardness of conveyor belts

An open problem of Manuel Abellanas asks whether every set of disjoint c...
research
12/10/2021

Beyond the Longest Letter-duplicated Subsequence Problem

Given a sequence S of length n, a letter-duplicated subsequence is a sub...
research
06/08/2018

Maximizing the Number of Satisfied L-clauses

The k-SAT problem for Ł-clausal forms has been found to be NP-complete i...

Please sign up or login with your details

Forgot password? Click here to reset