从概率视角出发的CNF-SAT新方法
计算机科学中的逻辑
2021-04-26 v1 综合物理
摘要
下文提出一种利用概率论方法判断逻辑（CNF）公式可满足与否的新方法。此外，我们将介绍一种在某些情形下加速（CNF-SAT）标准解的算法。已知任意（CNF）公式的求解时间复杂度为，其中n为（CNF）公式中不同文字的数量。在我们的方法中，将从概率视角出发采用一种增强方法，其并不会总是随不同文字数量呈指数增长。这将提高在许多情形下判断大型公式是否可满足的几率。另外，我们将指出应用概率论概念与公理于逻辑所衍生出的一些有前景的性质，这可能引发关于逻辑公式可满足性的更多见解。
引用
@article{arxiv.2104.11233,
title = {A New Approach to CNF-SAT From a Probabilistic Point of View},
author = {Hazem J. Alkhatib and Majd N. Bohssas and Rawad H. Hatem and Odey N. Kassam Alhennawi},
journal= {arXiv preprint arXiv:2104.11233},
year = {2021}
}