3-CNF-SAT描述子代数与P=NP猜想的解决
计算复杂性
2020-01-06 v1
摘要
复杂度类P与NP之间的关系是理论计算机科学领域中一个未解决的问题。在本文中，我们研究了一种基于格性质的描述子方法。本文提出了一种判定任意3-CNF-SAT问题可满足性的新方法。对该精确[非启发式]算法的分析表明，其具有严格有界的指数复杂度。任意3-CNF-SAT解的复杂度以O(2^490)为界。这一过高的估计界是通过一种算法达到的，该算法基于已考虑子句的解集合的最小描述（通过描述子函数）进行工作，而无需探索这些解。欢迎对本文提出任何意见。
引用
@article{arxiv.1609.05709,
title = {A 3-CNF-SAT descriptor algebra and the solution of the P=NP conjecture},
author = {Marcel Rémon and Johan Barthélemy},
journal= {arXiv preprint arXiv:1609.05709},
year = {2020}
}
备注
36 pages, 5 figures