English
Related papers

Related papers: Solving NP-complete problems with delayed signals:…

200 papers

This paper addresses the challenging numerical simulation of nonlinear hybrid stochastic functional differential equations with infinite delays. We first propose an explicit scheme using space and time truncation, requiring only finite…

Numerical Analysis · Mathematics 2025-12-23 Guozhen Li , Xiaoyue Li , Xuerong Mao

We suggest a new optical solution for solving the YES/NO version of the Exact Cover problem by using the massive parallelism of light. The idea is to build an optical device which can generate all possible solutions of the problem and then…

Hardware Architecture · Computer Science 2009-02-07 Mihai Oltean , Oana Muntean

Ion transport, often described by the Poisson--Nernst--Planck (PNP) equations, is ubiquitous in electrochemical devices and many biological processes of significance. In this work, we develop conservative, positivity-preserving, energy…

Numerical Analysis · Mathematics 2020-07-15 Jie Ding , Zhongming Wang , Shenggao Zhou

In this paper we study the hardness of the syndrome decoding problem over finite rings endowed with the Lee metric. We first prove that the decisional version of the problem is NP-complete, by a reduction from the $3$-dimensional matching…

Information Theory · Computer Science 2022-04-04 Violetta Weger , Karan Khathuria , Anna-Lena Horlemann , Massimo Battaglioni , Paolo Santini , Edoardo Persichetti

The linearity inherent in quantum mechanics limits current quantum hardware from directly solving nonlinear systems governed by nonlinear differential equations. One can opt for linearization frameworks such as Carleman linearization, which…

Quantum Physics · Physics 2026-02-10 Tayyab Ali

We investigate algorithmic control of a large swarm of mobile particles (such as robots, sensors, or building material) that move in a 2D workspace using a global input signal (such as gravity or a magnetic field). We show that a maze of…

Emerging Technologies · Computer Science 2017-12-05 Aaron T. Becker , Erik D. Demaine , Sándor P. Fekete , Jarrett Lonsforda , Rose Morris-Wright

When solving the Hamiltonian path problem it seems natural to be given additional precedence constraints for the order in which the vertices are visited. For example one could decide whether a Hamiltonian path exists for a fixed starting…

Discrete Mathematics · Computer Science 2025-02-28 Jesse Beisegel , Fabienne Ratajczak , Robert Scheffler

The classes Delay-FPT and Total-FPT recently have been introduced into parameterized complexity in order to capture the notion of efficiently solvable parameterized enumeration problems. In this paper we focus on ordered enumeration and…

Computational Complexity · Computer Science 2013-10-08 Nadia Creignou , Raïda Ktari , Arne Meier , Julian-Steffen Müller , Frédéric Olive , Heribert Vollmer

The Hidden Subset Sum Problem (HSSP) is a significant NP-complete problem in number theory and combinatorics, with applications in cryptography and AI privacy. For the $(n,k)$-complete HSSP, where a target multiset must be recovered from…

Combinatorics · Mathematics 2025-02-25 Lixia Luo , Changheng Li , Qiongxiu Li

Coverage path planning in a generic known environment is shown to be NP-hard. When the environment is unknown, it becomes more challenging as the robot is required to rely on its online map information built during coverage for planning its…

Robotics · Computer Science 2021-10-19 Javad Heydari , Olimpiya Saha , Viswanath Ganapathy

A linearized numerical scheme is proposed to solve the nonlinear time fractional parabolic problems with time delay. The scheme is based on the standard Galerkin finite element method in the spatial direction, the fractional Crank-Nicolson…

Numerical Analysis · Mathematics 2021-09-10 Lili Li , Mianfu She , Yuanling Niu

Numerical calculus algorithms which estimate derivatives and integrals from data series acquired either via measurements or by sampling functions are essential in scientific computing. To date, a few quantum algorithms have been developed…

Quantum Physics · Physics 2026-03-23 Jordan Cioni , Fabio Semperlotti

Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results rely on reductions from a handful of undecidable problems,…

Optimization-based solvers play a central role in a wide range of signal processing and communication tasks. However, their applicability in latency-sensitive systems is limited by the sequential nature of iterative methods and the high…

Signal Processing · Electrical Eng. & Systems 2026-03-12 Dvir Avrahami , Amit Milstein , Caroline Chaux , Tirza Routtenberg , Nir Shlezinger

The subset sum problem is a typical NP-complete problem that is hard to solve efficiently in time due to the intrinsic superpolynomial-scaling property. Increasing the problem size results in a vast amount of time consuming in…

Emerging Technologies · Computer Science 2020-02-13 Xiao-Yun Xu , Xuan-Lun Huang , Zhan-Ming Li , Jun Gao , Zhi-Qiang Jiao , Yao Wang , Ruo-Jing Ren , H. P. Zhang , Xian-Min Jin

Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain, quantified formulas have been much less investigated. We…

Logic in Computer Science · Computer Science 2018-07-24 Soonho Kong , Armando Solar-Lezama , Sicun Gao

We study geometric variations of the discriminating code problem. In the \emph{discrete version} of the problem, a finite set of points $P$ and a finite set of objects $S$ are given in $\mathbb{R}^d$. The objective is to choose a subset…

Computational Geometry · Computer Science 2023-06-30 Sanjana Dey , Florent Foucaud , Subhas C Nandy , Arunabha Sen

Inverse problems are concerned with the reconstruction of unknown physical quantities using indirect measurements and are fundamental across diverse fields such as medical imaging, remote sensing, and material sciences. These problems serve…

Numerical Analysis · Mathematics 2025-06-16 Carola-Bibiane Schönlieb , Zakhar Shumaylov

Proposals for quantum computing devices are many and varied. They each have unique noise processes that make none of them fully reliable at this time. There are several error correction/avoidance techniques which are valuable for reducing…

Quantum Physics · Physics 2015-06-26 Mark S. Byrd , Daniel A. Lidar

While feasibility and obtaining a solution of a given network coding problem are well studied, the decoding procedure and complexity have not garnered much attention. We consider the decoding problem in a network wherein the sources…

Information Theory · Computer Science 2015-10-14 Anindya Gupta , B. Sundar Rajan