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 -SAT-(,1) with proves to be NP-complete and pose the open question whether instances of MONOTONE -SAT-(3,1) are satisfiable. This paper shows that all instances of MONOTONE -SAT-(3,1) are satisfiable using the new concept of a color-structures.
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