English
Related papers

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

200 papers

Computational models of human language often involve combinatorial problems. For instance, a probabilistic parser may marginalize over exponentially many trees to make predictions. Algorithms for such problems often employ dynamic…

Computation and Language · Computer Science 2021-09-16 Tim Vieira , Ryan Cotterell , Jason Eisner

A quantum algorithm is a set of instructions for a quantum computer, however, unlike algorithms in classical computer science their results cannot be guaranteed. A quantum system can undergo two types of operation, measurement and quantum…

Data Structures and Algorithms · Computer Science 2007-05-30 Eva Borbely

We present a method, which we shall call the probabilistic evolutionary process, based on the probabilistic nature of quantum theory to offer a possible solution to the problem of time in quantum cosmology. It offers an alternative for…

General Relativity and Quantum Cosmology · Physics 2009-05-06 N. Khosravi , H. R. Sepangi

Pursuing invariant prediction from heterogeneous environments opens the door to learning causality in a purely data-driven way and has several applications in causal discovery and robust transfer learning. However, existing methods such as…

Statistics Theory · Mathematics 2025-01-30 Yihong Gu , Cong Fang , Yang Xu , Zijian Guo , Jianqing Fan

Optimization problems pervade essentially every scientific discipline and industry. Many such problems require finding a solution that maximizes the number of constraints satisfied. Often, these problems are particularly difficult to solve…

Artificial Intelligence · Computer Science 2017-10-26 Fabio L. Traversa , Pietro Cicotti , Forrest Sheldon , Massimiliano Di Ventra

It is well-known (cf. K.-Pudl\'ak 1989) that a polynomial time algorithm finding tautologies hard for a propositional proof system $P$ exists iff $P$ is not optimal. Such an algorithm takes $1^{(k)}$ and outputs a tautology $\tau_k$ of size…

Logic · Mathematics 2016-04-26 Jan Krajicek

The P=?NP problem is philosophically solved by showing P is equal to NP in the random access with unit multiply (MRAM) model. It is shown that the MRAM model empirically best models computation hardness. The P=?NP problem is shown to be a…

General Literature · Computer Science 2016-03-22 Steven Meyer

The study of quantum computation has been motivated by the hope of finding efficient quantum algorithms for solving classically hard problems. In this context, quantum algorithms by local adiabatic evolution have been shown to solve an…

Quantum Physics · Physics 2009-11-10 Jérémie Roland , Nicolas J. Cerf

We present an algorithm for the generalized search problem (searching $k$ marked items among $N$ items) based on a continuous Hamiltonian and exploiting resonance. This resonant algorithm has the same time complexity $O(\sqrt{N/k})$ as the…

Quantum Physics · Physics 2022-02-01 Frank Wilczek , Hong-Ye Hu , Biao Wu

Evolutionary computation techniques have mostly been used to solve various optimization and learning problems successfully. Evolutionary algorithm is more effective to gain optimal solution(s) to solve complex problems than traditional…

Neural and Evolutionary Computing · Computer Science 2013-03-05 Moslema Jahan , M. M. A. Hashem , Gazi Abdullah Shahriar

Solving linear systems of equations is a common problem that arises both on its own and as a subroutine in more complex problems: given a matrix A and a vector b, find a vector x such that Ax=b. We consider the case where one doesn't need…

Quantum Physics · Physics 2009-10-08 Aram W. Harrow , Avinatan Hassidim , Seth Lloyd

Simulating quantum circuits using classical computers lets us analyse the inner workings of quantum algorithms. The most complete type of simulation, strong simulation, is believed to be generally inefficient. Nevertheless, several…

Quantum Physics · Physics 2013-02-25 T. H. Johnson , J. D. Biamonte , S. R. Clark , D. Jaksch

We wish to minimize the resources used for network coding while achieving the desired throughput in a multicast scenario. We employ evolutionary approaches, based on a genetic algorithm, that avoid the computational complexity that makes…

Networking and Internet Architecture · Computer Science 2016-11-15 Minkyu Kim , Muriel Medard , Varun Aggarwal , Una-May O'Reilly , Wonsik Kim , Chang Wook Ahn , Michelle Effros

Propositional satisfiability (SAT) solvers, which typically operate using conjunctive normal form (CNF), have been successfully applied in many domains. However, in some application areas such as circuit verification, bounded model…

Logic in Computer Science · Computer Science 2013-11-19 Tero Laitinen , Tommi Junttila , Ilkka Niemelä

Constraint Satisfaction Problem on finite sets is known to be NP-complete in general but certain restrictions on the constraint language can ensure tractability. It was proved that if a constraint language has a weak near unanimity…

Computational Complexity · Computer Science 2019-03-07 Dmitriy Zhuk

The quantum search algorithm consists of an alternating sequence of selective inversions and diffusion type operations, as a result of which it can find a target state in an unsorted database of size N in only sqrt(N) queries. This paper…

Quantum Physics · Physics 2013-05-29 Lov K. Grover

In this paper, we provide a deterministic polynomial time algorithm that determines satisfiability of 3-SAT. The complexity analysis for the algorithm takes into account no efficiency and yet provides a low enough bound, that efficient…

Data Structures and Algorithms · Computer Science 2020-07-02 Ortho Flint , Asanka Wickramasinghe , Jason Brasse , Christopher Fowler

An evolution equation, arising in the study of the Dynamical Systems Method (DSM) for solving equations with monotone operators, is studied in this paper. The evolution equation is a continuous analog of the regularized Newton method for…

Mathematical Physics · Physics 2009-09-04 N. S. Hoang , A. G. Ramm

In this work, we present a multi-layer quantum search method that generates an exponential speedup of the standard Grover's algorithm. As direct applications, any NP problems can be solved efficiently on a quantum circuit with only…

Quantum Physics · Physics 2020-04-28 Shan Jin , Xiaoting Wang , Bo Li

Evolutionary algorithms (EA) have been widely accepted as efficient solvers for complex real world optimization problems, including engineering optimization. However, real world optimization problems often involve uncertain environment…

Neural and Evolutionary Computing · Computer Science 2016-11-17 Maumita Bhattacharya , R. Islam , A. Mahmood
‹ Prev 1 8 9 10 Next ›