Showing 1–8 of 8 results for author: Barrón-Romero, C

The fast parallel algorithm for CNF SAT without algebra

Authors: Carlos Barrón-Romero

Abstract: A novel parallel algorithm for solving the classical Decision Boolean Satisfiability problem with clauses in conjunctive normal form is depicted. My approach for solving SAT is without using algebra or other computational search strategies such as branch and bound, back-forward, tree representation, etc. The method is based on the special class of SAT problems, Simple SAT (SSAT). The algorithm's d… ▽ More A novel parallel algorithm for solving the classical Decision Boolean Satisfiability problem with clauses in conjunctive normal form is depicted. My approach for solving SAT is without using algebra or other computational search strategies such as branch and bound, back-forward, tree representation, etc. The method is based on the special class of SAT problems, Simple SAT (SSAT). The algorithm's design includes parallel execution, object oriented, and short termination as my previous versions but it keep track of the tested unsatisfactory binary values to improve the efficiency and to favor short termination. The resulting algorithm is linear with respect to the number of clauses plus a process data on the partial solutions of the subproblems SSAT of an arbitrary SAT and it is bounded by $2^{n}$ iterations where $n$ is the number of logical variables. The novelty for the solution of arbitrary SAT problems is a linear algorithm, such its complexity is less or equal than the algorithms of the state of the art for solving SAT. △ Less

Submitted 14 April, 2018; v1 submitted 17 January, 2017; originally announced January 2017.

Comments: Published in COMTEL 2017 (http://www.comtel.pe/memoriacomtel/COMTEL2017.pdf). See in http://academicos.azc.uam.mx/cbr/

MSC Class: 68Q25; 68W10; 68P05 ACM Class: F.1.1; F.2.2; F.4.1; G.1.0

Discrete Optimal Global Convergence of an Evolutionary Algorithm for Clusters under the Potential of Lennard Jones

Authors: Carlos Barrón-Romero

Abstract: A review of the properties that bond the particles under Lennard Jones Potential allow to states properties and conditions for building evolutive algorithms using the CB lattice with other different lattices. The new lattice is called CB lattice and it is based on small cubes. A set of propositions states convergence and optimal conditions over the CB lattice for an evolutionary algorithm. The evo… ▽ More A review of the properties that bond the particles under Lennard Jones Potential allow to states properties and conditions for building evolutive algorithms using the CB lattice with other different lattices. The new lattice is called CB lattice and it is based on small cubes. A set of propositions states convergence and optimal conditions over the CB lattice for an evolutionary algorithm. The evolutionary algorithm is a reload version of previous genetic algorithms based in phenotypes. The novelty using CB lattice, together with the other lattices, and ad-hoc cluster segmentation and enumeration, is to allow the combination of genotype (DNA coding for cluster using their particle's number) and phenotype (geometrical shapes using particle's coordinates in 3D). A parallel version of an evolutionary algorithm for determining the global optimality is depicted. The results presented are from a standalone program for a personal computer of the evolutionary algorithm, which can estimate all putative optimal Lennard Jones Clusters from 13 to 1612 particles. The novelty are the theoretical results for the evolutionary algorithm's efficiency, the strategies with phenotype or genotype, and the classification of the clusters based in an ad-hoc geometric algorithm for segmenting a cluster into its nucleus and layers. Also, the standalone program is not only capable to replicate the optimal Lennard Jones clusters in The Cambridge Cluster Database (CCD), but to find new ones. △ Less

Submitted 3 January, 2017; v1 submitted 2 January, 2017; originally announced January 2017.

MSC Class: 65Y05 65K05 ACM Class: G.1.0

Complexity and Stop Conditions for NP as General Assignment Problems, the Travel Salesman Problem in $\mathbb{R}^2$, Knight Tour Problem and Boolean Satisfiability Problem

Authors: Carlos Barrón-Romero

Abstract: This paper presents stop conditions for solving General Assignment Problems (GAP), in particular for Travel Salesman Problem in an Euclidian 2D space the well known condition Jordan's simple curve and opposite condition for the Knight Tour Problem. The Jordan's simple curve condition means that a optimal trajectory must be simple curve, i.e., without crossing but for Knight Tour Problem we use the… ▽ More This paper presents stop conditions for solving General Assignment Problems (GAP), in particular for Travel Salesman Problem in an Euclidian 2D space the well known condition Jordan's simple curve and opposite condition for the Knight Tour Problem. The Jordan's simple curve condition means that a optimal trajectory must be simple curve, i.e., without crossing but for Knight Tour Problem we use the contrary, the feasible trajectory must have crossing in all cities of the tour. The paper presents the algorithms, examples and some results come from Concorde's Home page. Several problem are studied to depict their properties. A classical decision problem SAT is studied in detail. △ Less

Submitted 7 March, 2016; originally announced October 2016.

A novel algorithm for solving the Decision Boolean Satisfiability Problem without algebra

Authors: Carlos Barrón-Romero

Abstract: This paper depicts an algorithm for solving the Decision Boolean Satisfiability Problem using the binary numerical properties of a Special Decision Satisfiability Problem, parallel execution, object oriented, and short termination. The two operations: expansion and simplification are used to explains why using algebra grows the resolution steps. It is proved that its complexity has an upper bound… ▽ More This paper depicts an algorithm for solving the Decision Boolean Satisfiability Problem using the binary numerical properties of a Special Decision Satisfiability Problem, parallel execution, object oriented, and short termination. The two operations: expansion and simplification are used to explains why using algebra grows the resolution steps. It is proved that its complexity has an upper bound of $2^{n-1}$ where $n$ is the number of logical variables of the given problem. △ Less

Submitted 14 April, 2018; v1 submitted 27 April, 2016; originally announced May 2016.

Comments: arXiv admin note: text overlap with arXiv:1602.06867 Published in COMTEL 2016 (http://www.comtel.pe/memoriacomtel/COMTEL2016.pdf) See in http://academicos.azc.uam.mx/cbr/

MSC Class: 68Q10; 68Q12; 68Q19; 68Q25 ACM Class: F.1.1; F.1.2

Lower bound for the Complexity of the Boolean Satisfiability Problem

Authors: Carlos Barrón-Romero

Abstract: This paper depicts algorithms for solving the decision Boolean Satisfiability Problem. An extreme problem is formulated to analyze the complexity of algorithms and the complexity for solving it. A novel and easy reformulation as a lottery for an extreme case is presented to determine a stable complexity around $2^n$. The reformulation point out that the decision Boolean Satisfiability Problem can… ▽ More This paper depicts algorithms for solving the decision Boolean Satisfiability Problem. An extreme problem is formulated to analyze the complexity of algorithms and the complexity for solving it. A novel and easy reformulation as a lottery for an extreme case is presented to determine a stable complexity around $2^n$. The reformulation point out that the decision Boolean Satisfiability Problem can only be solved in exponential time. This implies there is not an efficient algorithm for the NP Class. △ Less

Submitted 13 April, 2016; v1 submitted 19 February, 2016; originally announced February 2016.

Comments: arXiv admin note: text overlap with arXiv:1510.02682

MSC Class: 68Q10; 68Q12; 68Q19; 68Q25

Classical and Quantum Algorithms for the Boolean Satisfiability Problem

Authors: Carlos Barrón-Romero

Abstract: This paper presents a complete algorithmic study of the decision Boolean Satisfiability Problem under the classical computation and quantum computation theories. The paper depicts deterministic and probabilistic algorithms, propositions of their properties and the main result is that the problem has not an efficient algorithm (NP is not P). Novel quantum algorithms and propositions depict that the… ▽ More This paper presents a complete algorithmic study of the decision Boolean Satisfiability Problem under the classical computation and quantum computation theories. The paper depicts deterministic and probabilistic algorithms, propositions of their properties and the main result is that the problem has not an efficient algorithm (NP is not P). Novel quantum algorithms and propositions depict that the complexity by quantum computation approach for solving the Boolean Satisfiability Problem or any NP problem is lineal time. △ Less

Submitted 18 February, 2016; v1 submitted 6 October, 2015; originally announced October 2015.

MSC Class: 68Q10; 68Q12; 68Q19; 68Q25 ACM Class: F.2.2

The Complexity of Euclidian 2 Dimension Travelling Salesman Problem versus General Assign Problem, NP is not P

Authors: Carlos Barron-Romero

Abstract: This paper presents the differences between two NP problems. It focuses in the Euclidian 2 Dimension Travelling Salesman Problems and General Assign Problems. The main results are the triangle reduction to verify the solution in polynomial time for the former and for the later the solution to the Noted Conjecture of the NP-Class, NP is not P. This paper presents the differences between two NP problems. It focuses in the Euclidian 2 Dimension Travelling Salesman Problems and General Assign Problems. The main results are the triangle reduction to verify the solution in polynomial time for the former and for the later the solution to the Noted Conjecture of the NP-Class, NP is not P. △ Less

Submitted 30 December, 2010; originally announced January 2011.

ACM Class: F.4.1; F.1.3

The Complexity Of The NP-Class

Authors: Carlos Barron-Romero

Abstract: This paper presents a novel and straight formulation, and gives a complete insight towards the understanding of the complexity of the problems of the so called NP-Class. In particular, this paper focuses in the Searching of the Optimal Geometrical Structures and the Travelling Salesman Problems. The main results are the polynomial reduction procedure and the solution to the Noted Conjecture of the… ▽ More This paper presents a novel and straight formulation, and gives a complete insight towards the understanding of the complexity of the problems of the so called NP-Class. In particular, this paper focuses in the Searching of the Optimal Geometrical Structures and the Travelling Salesman Problems. The main results are the polynomial reduction procedure and the solution to the Noted Conjecture of the NP-Class. △ Less

Submitted 11 June, 2010; originally announced June 2010.