3SAT 的三个完备确定性多项式算法
计算复杂性
2019-12-16 v6
摘要
提出了三个用于确定 3SAT 布尔满意性表达式是否存在满足赋值的算法。 presented 一种用于确定是否存在满足赋值的算法，其中存在时会返回一个满足赋值。这些算法都是确定性的且具有多项式时间复杂度。用于确定存在性的算法在每个情况下都完备，因为它们会为不存在满足赋值的实例生成不满足性证书，同时也会为存在满足赋值的实例生成满足性证书。
引用
@article{arxiv.cs/0205064,
title = {Three complete deterministic polynomial algorithms for 3SAT},
author = {Charles Sauerbier},
journal= {arXiv preprint arXiv:cs/0205064},
year = {2019}
}
备注
18 Pages; 7 Figures; Paper is a revision, correction, and expansion 2002 version; Example using prior algorithm version failure case in appendices