1-in-3 与 Not-All-Equal：一个破损承诺的二分性

Lorenzo Ciardo; Marcin Kozik; Andrei Krokhin; Tamio-Vesa Nakajima; Stanislav Živný

doi:10.1145/3719007

1-in-3 与 Not-All-Equal：一个破损承诺的二分性

计算复杂性 2025-05-09 v3 离散数学数据结构与算法

作者: Lorenzo Ciardo , Marcin Kozik , Andrei Krokhin , Tamio-Vesa Nakajima , Stanislav Živný

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

布尔 CNF 公式的 1-in-3 与 Not-All-Equal 可满足性问题是两个著名的 NP-hard 问题。相比之下，承诺 1-in-3 vs. Not-All-Equal 问题可在多项式时间内求解。在本工作中，我们研究这一约束满足问题在承诺从任一侧被无彩虹结构削弱的 regime 下的情况，并针对由此产生的计算问题类建立了复杂性二分。

关键词

约束满足问题 1-in-3 可满足性 Not-All-Equal 可满足性承诺问题复杂性二分无彩虹结构

引用

@article{arxiv.2302.03456,
  title  = {1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise},
  author = {Lorenzo Ciardo and Marcin Kozik and Andrei Krokhin and Tamio-Vesa Nakajima and Stanislav Živný},
  journal= {arXiv preprint arXiv:2302.03456},
  year   = {2025}
}

备注

Full version of a LICS 2024 paper

1-in-3 与 Not-All-Equal：一个破损承诺的二分性

摘要

关键词

引用

备注

相关论文