Abstract
The one-in-three SAT problem is known to be NP-complete even in the absence of negated variables [T.J. Schaefer, The complexity of satisfiability problems, in: Proceedings of the 10th Annual ACM Symposium on Theory of Computing, ACM, New York, 1978, pp. 216–226], a variant known as positive (or monotone) one-in-three SAT. In this note, we use clausal graphs to investigate a further restriction: k -bounded positive one-in-three SAT ( k BP one-in-three SAT), in which each variable occurs in no more than k clauses. We show that for k = 2 , k BP one-in-three SAT is in the polynomial complexity class P , while for all k > 2 , it is NP-complete, providing another way of exploring the boundary between classes P and NP.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.