MONOTONE 3-SAT-(3,1) 的所有实例均可满足
计算复杂性
2023-12-11 v2
摘要
可满足性问题是 NP 完全的，但存在所有实例均可满足的子类。为此，对公式的形式施加了限制。Darman 和 Döcker 证明了子类 MONOTONE -SAT-(,1) 在 时是 NP 完全的，并提出了 MONOTONE -SAT-(3,1) 的实例是否可满足这一开放问题。本文利用颜色结构（color-structures）这一新概念，证明了 MONOTONE -SAT-(3,1) 的所有实例均可满足。
引用
@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}
}
备注
14 pages, 10 figures