English
Related papers

Related papers: A class of problems of NP to be worth to search an…

200 papers

In this paper we consider the Hamilton cycle problem in the rectangular meshes with at most two faulty nodes.We prove that this problem is solvable in polynomial time with a corresponding algorithm. We provided an entirely new approach to…

Combinatorics · Mathematics 2025-01-22 Yingtai Xie

We are lifting classical problems from single instances to regular sets of instances. The task of finding a positive instance of the combinatorial problem $P$ in a potentially infinite given regular set is equivalent to the so called…

Formal Languages and Automata Theory · Computer Science 2020-07-17 Petra Wolf

We prove that P != NP by proving the existence of a class of functions we call Tau, each of whose members satisfies the conditions of one-way functions. Each member of Tau is a function computable in polynomial time, with negligible…

Computational Complexity · Computer Science 2016-10-18 Javier A. Arroyo-Figueroa

We investigate the computational complexity of deciding whether a given univariate integer polynomial p(x) has a factor q(x) satisfying specific additional constraints. When the only constraint imposed on q(x) is to have a degree smaller…

Computational Complexity · Computer Science 2022-10-14 Alberto Dennunzio , Enrico Formenti , Luciano Margara

Algorithms for solving the linear classification problem have a long history, dating back at least to 1936 with linear discriminant analysis. For linearly separable data, many algorithms can obtain the exact solution to the corresponding…

Machine Learning · Computer Science 2026-01-28 Xi He , Max A. Little

This paper proposes a thought experiment to search for efficient bounded algorithms of NPC problems by machine enumeration. The key contributions are: -- On Universal Turing Machines, a program's time complexity should be characterized as:…

Computational Complexity · Computer Science 2012-10-09 YuQian Zhou

We say that a function is rare-case hard against a given class of algorithms (the adversary) if all algorithms in the class can compute the function only on an $o(1)$-fraction of instances of size $n$ for large enough $n$. Starting from any…

Computational Complexity · Computer Science 2025-02-11 Tejas Nareddy , Abhishek Mishra

Decades of research on the 0-1 knapsack problem led to very efficient algorithms that are able to quickly solve large problem instances to optimality. This prompted researchers to also investigate whether relatively small problem instances…

Data Structures and Algorithms · Computer Science 2022-11-18 Jorik Jooken , Pieter Leyman , Patrick De Causmaecker

We analyze the bit complexity of efficient algorithms for fundamental optimization problems, such as linear regression, $p$-norm regression, and linear programming (LP). State-of-the-art algorithms are iterative, and in terms of the number…

Data Structures and Algorithms · Computer Science 2023-04-06 Mehrdad Ghadiri , Richard Peng , Santosh S. Vempala

In this paper we study the complexity of the problems: given a loop, described by linear constraints over a finite set of variables, is there a linear or lexicographical-linear ranking function for this loop? While existence of such…

Programming Languages · Computer Science 2025-09-30 Amir M. Ben-Amram , Samir Genaim

We describe simple algebraic and combinatorial characterisations of finite relational core structures admitting finitely many obstructions. As a consequence, we show that it is decidable to determine whether a constraint satisfaction…

Logic in Computer Science · Computer Science 2015-07-01 Benoit Larose , Cynthia Loten , Claude Tardif

In complexity theory, there exists a famous unsolved problem whether NP can be P or not. In this paper, we discuss this aspect in SAT (satisfiability) problem, and it is shown that the SAT can be solved in plynomial time by means of quantum…

Quantum Physics · Physics 2008-11-26 Masanori Ohya , Natsuki Masuda

In the well-known complexity class NP are combinatorial problems, whose optimization counterparts are important for many practical settings. These problems typically consider full knowledge about the input. In practical settings, however,…

Computational Complexity · Computer Science 2025-11-24 Christoph Grüne

Approximation algorithms for classical constraint satisfaction problems are one of the main research areas in theoretical computer science. Here we define a natural approximation version of the QMA-complete local Hamiltonian problem and…

Quantum Physics · Physics 2016-10-25 Sevag Gharibian , Julia Kempe

This paper deals with the problem of finding, for a given graph and a given natural number k, a subgraph of k nodes with a maximum number of edges. This problem is known as the k-cluster problem and it is NP-hard on general graphs as well…

Data Structures and Algorithms · Computer Science 2011-11-09 George B. Mertzios

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

We introduce and study a novel generalization of the classical Knapsack Problem (KP), called the Colored Knapsack Problem (CKP). In this problem, the items are partitioned into classes of colors and the packed items need to be ordered such…

Optimization and Control · Mathematics 2026-02-13 Fabio Ciccarelli , Alexander Helber , Erik Mühmer

Optimization is fundamental in many areas of science, from computer science and information theory to engineering and statistical physics, as well as to biology or social sciences. It typically involves a large number of variables and a…

Statistical Mechanics · Physics 2009-07-08 Lenka Zdeborová

A previously developed quantum search algorithm for solving 1-SAT problems in a single step is generalized to apply to a range of highly constrained k-SAT problems. We identify a bound on the number of clauses in satisfiability problems for…

Artificial Intelligence · Computer Science 2011-05-30 T. Hogg

In this paper we develop a classification of real functions based on growth rates of repeated iteration. We show how functions are naturally distinguishable when considering inverses of repeated iterations. For example, $n+2\to 2n\to 2^n\to…

Classical Analysis and ODEs · Mathematics 2024-09-11 Titus Hilberdink