There is a newer version of this record available.

Preprint Open Access

$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. It is one of the seven Millennium Prize Problems selected by the Clay Mathematics Institute to carry a US 1,000,000 prize for the first correct solution. Another major complexity class is $\textit{P-Sel}$. $\textit{P-Sel}$ is the class of decision problems for which there is a polynomial time algorithm (called a selector) with the following property: Whenever it's given two instances, a "yes" and a "no" instance, the algorithm can always decide which is the "yes" instance. It is known that if $NP$ is contained in $\textit{P-Sel}$, then $P = NP$.

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_{i = 0}^{m} m(i)$. We prove that we can calculate the sum of the weighted densities of states in polynomial time. The lowest value of $E$ with a non-zero density (i.e. $min_{E}\{E|n(E) > 0\}$) is the solution of the corresponding $\textit{MAX-SAT}$ problem.

The minimum lowest value with a non-zero density from the two formulas $\phi_{1}$ and $\phi_{2}$ is equal to the minimum value between $E_{1}$ and $E_{2}$, where $E_{i}$ is the lowest value with a non-zero density of $\phi_{i}$ for $i \in \{1, 2\}$. Given two Boolean formulas $\phi_{1}$ and $\phi_{2}$ in $3CNF$ with $n$ variables and $m$ clauses, the combinatorial optimization problem $\textit{SELECTOR-3SAT}$ consists in selecting the formula which has the minimum lowest value with a non-zero density, where every clause from $\phi_{1}$ and $\phi_{2}$ can be unsatisfied for some truth assignment. We assume that the formula with the minimum lowest value with a non-zero density has the minimum sum of the weighted densities of states. In this way, we solve $\textit{SELECTOR-3SAT}$ with an exact polynomial time algorithm. We claim that this might be a possible selector for $3SAT$ and thus, $P = NP$.

Files
(460.2 kB)

Name | Size | |
---|---|---|

manuscript.pdf
md5:4f4c81f4120e7969099399ec8d057a13 |
460.2 kB | Download |

1,726

921

views

downloads

All versions | This version | |
---|---|---|

Views | 1,726 | 6 |

Downloads | 921 | 5 |

Data volume | 400.7 MB | 2.3 MB |

Unique views | 1,049 | 6 |

Unique downloads | 725 | 5 |