Source author record

Marcel Rémon

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Computational Complexity

Catalog footprint

Research overview

2works

1topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Hard 3-CNF-SAT problems are in $P$ -- A first step in proving $NP=P$

The relationship between the complexity classes $P$ and $NP$ is an unsolved question in the field of theoretical computer science. In the first part of this paper, a lattice framework is proposed to handle the 3-CNF-SAT problems, known to be in $NP$ . In the second section, we define a multi-linear descriptor function ${\cal H}_φ$ for any 3-CNF-SAT problem $φ$ of size $n$ , in the sense that ${\cal H}_φ: \{0,1\}^n \rightarrow \{0,1\}^n$ is such that $Im \; {\cal H}_φ$ is the set of all the solutions of $φ$ . A new merge operation ${\cal H}_φ\bigwedge {\cal H}_ψ$ is defined, where $ψ$ is a single 3-CNF clause. Given ${\cal H}_φ$ [but this can be of exponential complexity], the complexity needed for the computation of $Im \; {\cal H}_φ$ , the set of all solutions, is shown to be polynomial for hard 3-CNF-SAT problems, i.e. the one with few ( $\leq 2^k$ ) or no solutions. The third part uses the relation between ${\cal H}_φ$ and the indicator function $\mathbb{1}_{{\cal S}_φ}$ for the set of solutions, to develop a greedy polynomial algorithm to solve hard 3-CNF-SAT problems.

preprint2016arXiv

A 3-CNF-SAT descriptor algebra and the solution of the P=NP conjecture

The relationship between the complexity classes P and NP is an unsolved question in the field of theoretical computer science. In this paper, we investigate a descriptor approach based on lattice properties. This paper proposes a new way to decide the satisfiability of any 3-CNF-SAT problem. The analysis of this exact [non heuristical] algorithm shows a strictly bounded exponential complexity. The complexity of any 3-CNF-SAT solution is bounded by O(2^490). This over-estimated bound is reached by an algorithm working on the smallest description (via descriptor functions) of the evolving set of solutions in function of the already considered clauses, without exploring these solutions. Any remark about this paper is warmly welcome.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Marcel Rémon

Research overview

Is this your work?

2 publications

Hard 3-CNF-SAT problems are in $P$ -- A first step in proving $NP=P$

A 3-CNF-SAT descriptor algebra and the solution of the P=NP conjecture

See the researcher in context

Building this map preview

Marcel Rémon

Research overview

Is this your work?

2 publications

Hard 3-CNF-SAT problems are in PPP -- A first step in proving NP=PNP=PNP=P

A 3-CNF-SAT descriptor algebra and the solution of the P=NP conjecture

See the researcher in context

Building this map preview

Hard 3-CNF-SAT problems are in $P$ -- A first step in proving $NP=P$