An algorithm for 3-SAT problems
Data Structures and Algorithms
2017-08-01 v4
Abstract
This paper presents an algorithm for 3-SAT problems. First, logical formulas are transformed into elementary algebraic formulas. Second, complex trigonometric functions are assigned to the variables in the elementary algebraic formulas, and the sums of the formulas are calculated. The algorithm outputs the number of satisfying assignments. The computational complexity of the algorithm is probably polynomial.
Cite
@article{arxiv.1604.03462,
title = {An algorithm for 3-SAT problems},
author = {Hiroshi Tsukimoto},
journal= {arXiv preprint arXiv:1604.03462},
year = {2017}
}
Comments
30 pages; typos corrected