English
Related papers

Related papers: Finding Solutions to NP Problems: Philosophical Di…

200 papers

We consider worst case time bounds for NP-complete problems including 3-SAT, 3-coloring, 3-edge-coloring, and 3-list-coloring. Our algorithms are based on a constraint satisfaction (CSP) formulation of these problems; 3-SAT is equivalent to…

Data Structures and Algorithms · Computer Science 2007-05-23 David Eppstein

Quality-Diversity (QD) algorithms are a new type of Evolutionary Algorithms (EAs), aiming to find a set of high-performing, yet diverse solutions. They have found many successful applications in reinforcement learning and robotics, helping…

Neural and Evolutionary Computing · Computer Science 2024-05-07 Chao Qian , Ke Xue , Ren-Jian Wang

Presentation of a Method for determining whether a problem 3Sat has solution, and if yes to find one, in time max O(n^15). Is thus proved that the problem 3Sat is fully resolved in polynomial time and therefore that it is in P, by the work…

Computational Complexity · Computer Science 2010-09-14 Luigi Salemi

The constraint satisfaction problems k-SAT and Quantum k-SAT (k-QSAT) are canonical NP-complete and QMA_1-complete problems (for k>=3), respectively, where QMA_1 is a quantum generalization of NP with one-sided error. Whereas k-SAT has been…

Quantum Physics · Physics 2021-04-01 Marco Aldi , Niel de Beaudrap , Sevag Gharibian , Seyran Saeedi

The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynomial-time reductions between NP-problems is a key concept for…

Computational Complexity · Computer Science 2022-12-23 Hans-Jörg Kreowski , Sabine Kuske , Aaron Lye , Aljoscha Windhorst

Qualitative numerical planning is classical planning extended with non-negative real variables that can be increased or decreased "qualitatively", i.e., by positive indeterminate amounts. While deterministic planning with numerical…

Artificial Intelligence · Computer Science 2020-11-30 Blai Bonet , Hector Geffner

Theoretical complexity is a vital subfield of computer science that enables us to mathematically investigate computation and answer many interesting queries about the nature of computational problems. It provides theoretical tools to assess…

Computational Complexity · Computer Science 2021-12-23 Mohamed Ghanem , Dauod Siniora

Quantum search is a quantum mechanical technique for searching N possibilities in only sqrt(N) steps. This has been proved to be the best possible algorithm for the exhuastive search problem in the sense the number of queries it requires…

Quantum Physics · Physics 2009-11-07 Lov K. Grover

Grover's algorithm can solve NP-complete problems on quantum computers faster than all the known algorithms on classical computers. However, Grover's algorithm still needs exponential time. Due to the BBBV theorem, Grover's algorithm is…

Computational Complexity · Computer Science 2024-10-15 Reiner Czerwinski

We analyze to what extent the random SAT and Max-SAT problems differ in their properties. Our findings suggest that for random $k$-CNF with ratio in a certain range, Max-SAT can be solved by any SAT algorithm with subexponential slowdown,…

Artificial Intelligence · Computer Science 2018-11-05 Sixue Liu , Gerard de Melo

A canonical feature of the constraint satisfaction problems in NP is approximation hardness, where in the worst case, finding sufficient-quality approximate solutions is exponentially hard for all known methods. Fundamentally, the lack of…

Understanding the behaviour of heuristic search methods is a challenge. This even holds for simple local search methods such as 2-OPT for the Traveling Salesperson problem. In this paper, we present a general framework that is able to…

Neural and Evolutionary Computing · Computer Science 2020-06-01 Wanru Gao , Samadhi Nallaperuma , Frank Neumann

NP-hard problems are not believed to be exactly solvable through general polynomial time algorithms. Hybrid quantum-classical algorithms to address such combinatorial problems have been of great interest in the past few years. Such…

Quantum Physics · Physics 2024-01-15 Yagnik Chatterjee , Eric Bourreau , Marko J. Rančić

We introduce the problem of finding a satisfying assignment to a CNF formula that must further belong to a prescribed input subspace. Equivalent formulations of the problem include finding a point outside a union of subspaces (the…

Data Structures and Algorithms · Computer Science 2021-08-16 Vikraman Arvind , Venkatesan Guruswami

Quantum computers are widely believed have an advantage over classical computers, and some have even published some empirical evidence that this is the case. However, these publications do not include a rigorous proof of this advantage,…

Computational Complexity · Computer Science 2022-09-22 Jonah Librande

Quadratic Assignment Problem (QAP) is an NP-hard combinatorial optimization problem, therefore, solving the QAP requires applying one or more of the meta-heuristic algorithms. This paper presents a comparative study between Meta-heuristic…

Artificial Intelligence · Computer Science 2014-07-21 Gamal Abd El-Nasser A. Said , Abeer M. Mahmoud , El-Sayed M. El-Horbaty

The range of applications of traditional optimization methods are limited by the features of the object variables, and of both the objective and the constraint functions. In contrast, population-based algorithms whose optimization…

Neural and Evolutionary Computing · Computer Science 2021-01-27 Mauro S. Innocente , Johann Sienz

Many real-world optimization problems occur in environments that change dynamically or involve stochastic components. Evolutionary algorithms and other bio-inspired algorithms have been widely applied to dynamic and stochastic problems.…

Neural and Evolutionary Computing · Computer Science 2020-01-30 Vahid Roostapour , Mojgan Pourhassan , Frank Neumann

We propose an innovative Parallel Quantum Local Search (PQLS) methodology that leverages the capabilities of small-scale quantum computers to efficiently address complex combinatorial optimization problems. Traditional Quantum Local Search…

Quantum Physics · Physics 2024-06-11 Chen-Yu Liu , Kuan-Cheng Chen

Solving linear systems of equations is ubiquitous in all areas of science and engineering. With rapidly growing data sets, such a task can be intractable for classical computers, as the best known classical algorithms require a time…

‹ Prev 1 4 5 6 7 8 10 Next ›