English
Related papers

Related papers: The problematic nature of potentially polynomial-t…

200 papers

Checking two probabilistic automata for equivalence has been shown to be a key problem for efficiently establishing various behavioural and anonymity properties of probabilistic systems. In recent experiments a randomised equivalence test…

Formal Languages and Automata Theory · Computer Science 2012-01-09 Stefan Kiefer , Andrzej S. Murawski , Joël Ouaknine , Björn Wachter , James Worrell

Article presents the compatibility matrix method and illustrates it with the application to P vs NP problem. The method is a generalization of descriptive geometry: in the method, we draft problems and solve them utilizing the image…

Computational Complexity · Computer Science 2012-05-08 Sergey Gubin

In this article, we discuss the question of whether P equals NP, we do not follow the line of research of many researchers, which is to try to find such a problem Q, and the problem Q belongs to the class of NP-complete, if the problem Q is…

Computational Complexity · Computer Science 2024-03-26 Jian-Gang Tang

A major problem in evaluating stochastic local search algorithms for NP-complete problems is the need for a systematic generation of hard test instances having previously known properties of the optimal solutions. On the basis of…

Disordered Systems and Neural Networks · Physics 2009-11-07 W. Barthel , A. K. Hartmann , M. Leone , F. Ricci-Tersenghi , M. Weigt , R. Zecchina

Assuming that P is not equal to NP, the worst-case run time of any algorithm solving an NP-complete problem must be super-polynomial. But what is the fastest run time we can get? Before one can even hope to approach this question, a more…

Data Structures and Algorithms · Computer Science 2026-01-09 Jesper Nederlof

Co-clustering, that is, partitioning a numerical matrix into homogeneous submatrices, has many applications ranging from bioinformatics to election analysis. Many interesting variants of co-clustering are NP-hard. We focus on the basic…

Discrete Mathematics · Computer Science 2019-06-17 Laurent Bulteau , Vincent Froese , Sepp Hartung , Rolf Niedermeier

In real-time systems, in addition to the functional correctness recurrent tasks must fulfill timing constraints to ensure the correct behavior of the system. Partitioned scheduling is widely used in real-time systems, i.e., the tasks are…

Data Structures and Algorithms · Computer Science 2018-09-13 Jian-Jia Chen , Nikhil Bansal , Samarjit Chakraborty , Georg von der Brüggen

Despite remarkable achievements in its practical tractability, the notorious class of NP-complete problems has been escaping all attempts to find a worst-case polynomial time-bound solution algorithms for any of them. The vast majority of…

Computational Complexity · Computer Science 2017-05-05 Stefan Rass

An action of a group on a vector space partitions the latter into a set of orbits. We consider three natural and useful algorithmic "isomorphism" or "classification" problems, namely, orbit equality, orbit closure intersection, and orbit…

Data Structures and Algorithms · Computer Science 2021-10-22 Peter Bürgisser , M. Levent Doğan , Visu Makam , Michael Walter , Avi Wigderson

People solve different problems and know that some of them are simple, some are complex and some insoluble. The main goal of this work is to develop a mathematical theory of algorithmic complexity for problems. This theory is aimed at…

Computational Complexity · Computer Science 2008-07-08 Mark Burgin

In the last decades, many efforts have focused on analyzing typical-case hardness in optimization and inference problems. Some recent work has pointed out that polynomial algorithms exist, running with a time that grows more than linearly…

Disordered Systems and Neural Networks · Physics 2026-03-05 M. C. Angelini , M. Avila-González , F. D'Amico , D. Machado , R. Mulet , F. Ricci-Tersenghi

We introduce the strongly NP-complete pagination problem, an extension of BIN PACKING where packing together two items may make them occupy less volume than the sum of their individual sizes. To achieve this property, an item is defined as…

Data Structures and Algorithms · Computer Science 2017-09-06 Aristide Grange , Imed Kacem , Sébastien Martin

Mixed-integer optimisation problems can be computationally challenging. Here, we introduce and analyse two efficient algorithms with a specific sequential design that are aimed at dealing with sampled problems within this class. At each…

Optimization and Control · Mathematics 2023-03-07 Mohammadreza Chamanbaz , Roland Bouffanais

The efficiency of exact subset sum problem algorithms which compute individual subset sums is defined as $e=min(T/z, 1)$, where $z$ is the number of subset sums computed. $e$ is related to these algorithms' computational complexity. This…

Data Structures and Algorithms · Computer Science 2024-09-18 Nick Dawes

Until now, Computer Scientists have concerned themselves with identifying efficient algorithms for solving the general case of some problem -- that is finding one which performs well when the size of the input tends to infinity. In this…

Computational Complexity · Computer Science 2026-04-21 Mircea-Adrian Digulescu

In this paper we discusses the relationship between the known classes P and NP. We show that the difficulties in solving problem "P versus NP" have methodological in nature. An algorithm for solving any problem is sensitive to even small…

Discrete Mathematics · Computer Science 2016-03-03 Anatoly D. Plotnikov

We report the first steps in creating an optical computing system. This system may solve NP-Hard problems by utilizing a setup of exponential sized masks. This is exponential space complexity but the production of those masks is done with a…

Emerging Technologies · Computer Science 2015-06-04 Eyal Cohen , Shlomi Dolev , Sergey Frenkel , Boris Kryzhanovsky , Alexandr Palagushkin , Michael Rosenblit , Victor Zakharov

Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled by evolutionary algorithms that use a representation which…

Neural and Evolutionary Computing · Computer Science 2013-01-18 Benjamin Doerr , Anton Eremeev , Frank Neumann , Madeleine Theile , Christian Thyssen

We give a high precision polynomial-time approximation scheme for the supremum of any honest n-variate (n+2)-nomial with a constant term, allowing real exponents as well as real coefficients. Our complexity bounds count field operations and…

Algebraic Geometry · Mathematics 2010-11-09 Philippe Pebay , J. Maurice Rojas , David C. Thompson

By considering a discrete tape where each cell corresponds to an integer, thus to a possible sum, a pseudo-polynomial solution can be given to subset sum problem, which is an NP-complete problem and a cornerstone application for this study,…

Computational Complexity · Computer Science 2024-01-08 Yigit Oktar