Source author record

Johan Barthélemy

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

ResearcherUnclaimed source record

Computational Complexity physics.geo-ph

Catalog footprint

Research overview

3works

2topics

4close 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.

preprint2016arXiv

Interaction prediction between groundwater and quarry extension using discrete choice models and artificial neural networks

Groundwater and rock are intensively exploited in the world. When a quarry is deepened the water table of the exploited geological formation might be reached. A dewatering system is therefore installed so that the quarry activities can continue, possibly impacting the nearby water catchments. In order to recommend an adequate feasibility study before deepening a quarry, we propose two interaction indices between extractive activity and groundwater resources based on hazard and vulnerability parameters used in the assessment of natural hazards. The levels of each index (low, medium, high, very high) correspond to the potential impact of the quarry on the regional hydrogeology. The first index is based on a discrete choice modelling methodology while the second is relying on an artificial neural network. It is shown that these two complementary approaches (the former being probabilistic while the latter fully deterministic) are able to predict accurately the level of interaction. Their use is finally illustrated by their application on the Boverie quarry and the Tridaine gallery located in Belgium. The indices determine the current interaction level as well as the one resulting from future quarry extensions. The results highlight the very high interaction level of the quarry with the gallery.

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.

Johan Barthélemy

Research overview

Is this your work?

3 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

Interaction prediction between groundwater and quarry extension using discrete choice models and artificial neural networks

See the researcher in context

Building this map preview

Johan Barthélemy

Research overview

Is this your work?

3 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

Interaction prediction between groundwater and quarry extension using discrete choice models and artificial neural networks

See the researcher in context

Building this map preview

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