中文
相关论文

相关论文: Finding Solutions to NP Problems: Philosophical Di…

200 篇论文

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…

数据结构与算法 · 计算机科学 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…

神经与进化计算 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

量子物理 · 物理学 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…

计算复杂性 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

量子物理 · 物理学 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…

计算复杂性 · 计算机科学 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,…

人工智能 · 计算机科学 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…

神经与进化计算 · 计算机科学 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…

量子物理 · 物理学 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…

数据结构与算法 · 计算机科学 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,…

计算复杂性 · 计算机科学 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…

人工智能 · 计算机科学 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…

神经与进化计算 · 计算机科学 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.…

神经与进化计算 · 计算机科学 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…

量子物理 · 物理学 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…