P versus NP

Frank Vega
2020 Zenodo  
$P$ versus $NP$ is considered as one of the most important open problems in computer science. This consists in knowing the answer of the following question: Is $P$ equal to $NP$? It was essentially mentioned in 1955 from a letter written by John Nash to the United States National Security Agency. However, a precise statement of the $P$ versus $NP$ problem was introduced independently by Stephen Cook and Leonid Levin. Since that date, all efforts to find a proof for this problem have failed. To
more » ... em have failed. To attack the $P$ versus $NP$ question the concept of $\textit{coNP-completeness}$ has been very useful. A well-known $\textit{coNP-complete}$ problem is $3UNSAT$. In $3UNSAT$, it is asked whether a given Boolean formula $\phi$ in $3CNF$ is unsatisfiable. In this paper, we consider the problem of computing the sum of the weighted densities of states of a Boolean formula in $3CNF$. Given a Boolean formula $\phi$, the density of states $n(E)$ counts the number of truth assignments that leave exactly $E$ clauses unsatisfied in $\phi$. The weighted density of states $m(E)$ is equal to $E \times n(E)$. The sum of the weighted densities of states of a Boolean formula in $3CNF$ with $m$ clauses is equal to $\sum_{E = 0}^{m} m(E)$. We prove that we can calculate the sum of the weighted densities of states in polynomial time. Diophantine equations of the form $\sum_{i = 0}^{m} a_{i} \times x_{i} = c$ are solvable in polynomial time for arbitrary values of $m$. We can apply this Diophantine equation such that $c$ is the value of the sum of the weighted densities of states from a Boolean formula $\phi$ in $3CNF$, $a_{i} \times x_{i}$ is the value of each term $E \times n(E)$, where $n(E)$ corresponds to the unknown value of $x_{i}$. Hence, we only need to check that $\sum_{i = 1}^{m} a_{i} \times x_{i} = c$ has all its solutions when $\forall \ 1 \leq i \leq m: x_{i} > 0$ such that $\sum_{i = 1}^{m} x_{i} \geq 2^{n}$ is always true, where $n$ is the number of variables in $\phi$. Certainly, if the Boolean formula $\phi$ has $n$ variab [...]
doi:10.5281/zenodo.4033042 fatcat:2yh5qflfrbdeflxl7ccukjd4am