1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise
arxiv(2023)
摘要
The 1-in-3 and Not-All-Equal satisfiability problems for Boolean CNF formulas
are two well-known NP-hard problems. In contrast, the promise 1-in-3 vs.
Not-All-Equal problem can be solved in polynomial time. In the present work, we
investigate this constraint satisfaction problem in a regime where the promise
is weakened from either side by a rainbow-free structure, and establish a
complexity dichotomy for the resulting class of computational problems.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要