English

All instances of MONOTONE 3-SAT-(3,1) are satisfiable

Computational Complexity 2023-12-11 v2

Abstract

The satisfiability problem is NP-complete but there are subclasses where all the instances are satisfiable. For this, restrictions on the shape of the formula are made. Darman and D\"ocker show that the subclass MONOTONE 33-SAT-(kk,1) with k5k \geq 5 proves to be NP-complete and pose the open question whether instances of MONOTONE 33-SAT-(3,1) are satisfiable. This paper shows that all instances of MONOTONE 33-SAT-(3,1) are satisfiable using the new concept of a color-structures.

Keywords

Cite

@article{arxiv.2311.06563,
  title  = {All instances of MONOTONE 3-SAT-(3,1) are satisfiable},
  author = {Hannah Van Santvliet and Ronald de Haan},
  journal= {arXiv preprint arXiv:2311.06563},
  year   = {2023}
}

Comments

14 pages, 10 figures