English
Related papers

Related papers: A polynomially solvable case of the pooling proble…

200 papers

We demonstrate that any logical problem can be solved by Bayesian inference. In this approach, the distinction between complexity classes vanishes. The method is illustrated by solving the 3-SAT problem in polynomial time. Beyond this,…

Computational Complexity · Computer Science 2020-02-05 Michel Feldmann

We give a specific method to solve with quadratic complexity the linear systems arising in known algorithms to deal with the sign determination problem. In particular, this enable us to improve the complexity bound for sign determination in…

Algebraic Geometry · Mathematics 2009-12-01 Daniel Perrucci

This article presents a general solution to the problem of computational complexity. First, it gives a historical introduction to the problem since the revival of the foundational problems of mathematics at the end of the 19th century.…

Computational Complexity · Computer Science 2023-12-25 Rami Zaidan

Nonconvex optimization problems with an L1-constraint are ubiquitous, and are found in many application domains including: optimal control of hybrid systems, machine learning and statistics, and operations research. This paper shows that…

Optimization and Control · Mathematics 2017-09-27 Yonatan Mintz , Anil Aswani

This paper solves the open problem on the sharp bound for the number of isolated solutions in $\mathbf{R}_*^n$ to the real system of $n$ polynomial equations in $n$ variables, i.e., the real $n$ by $n$ fewnomial system. For an unmixed…

Algebraic Geometry · Mathematics 2010-10-06 Sheng-Ming Ma

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…

Computational Complexity · Computer Science 2010-09-14 Luigi Salemi

We introduce a problem class we call Polynomial Constraint Satisfaction Problems, or PCSP. Where the usual CSPs from computer science and optimization have real-valued score functions, and partition functions from physics have monomials,…

Discrete Mathematics · Computer Science 2010-01-14 Alexander D. Scott , Gregory B. Sorkin

We prove that the constructive weighted coalitional manipulation problem for the Schulze voting rule can be solved in polynomial time for an unbounded number of candidates and an unbounded number of manipulators.

Computer Science and Game Theory · Computer Science 2020-07-31 Julian Müller , Sven Kosub

A computer which has access to a closed timelike curve, and can thereby send the results of calculations into its own past, can exploit this to solve difficult computational problems efficiently. I give a specific demonstration of this for…

General Relativity and Quantum Cosmology · Physics 2022-02-04 Todd A. Brun

We consider the routing flow shop problem with two machines on an asymmetric network. For this problem we discuss properties of an optimal schedule and present a polynomial time algorithm assuming the number of nodes of the network to be…

Discrete Mathematics · Computer Science 2020-05-14 Ilya Chernykh , Alexander Kononov , Sergey Sevastyanov

We extend classical methods of computational complexity to the realm of distributed computing, where they sometimes prove more effective than in their original context. Our focus is on decision problems in the LOCAL model, a setting in…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-08 Fabian Reiter

The minimum common string partition problem is an NP-hard combinatorial optimization problem with applications in computational biology. In this work we propose the first integer linear programming model for solving this problem. Moreover,…

Artificial Intelligence · Computer Science 2014-05-23 Christian Blum , José A. Lozano , Pedro Pinacho Davidson

This paper settles the computational complexity of the problem of integrating a polynomial function f over a rational simplex. We prove that the problem is NP-hard for arbitrary polynomials via a generalization of a theorem of Motzkin and…

Metric Geometry · Mathematics 2013-06-27 Velleda Baldoni , Nicole Berline , Jesus De Loera , Matthias Köppe , Michèle Vergne

A variant of the well-known Set Covering Problem is studied in this paper, where subsets of a collection have to be selected, and pairwise conflicts among subsets of items exist. The selection of each subset has a cost, and the inclusion of…

Optimization and Control · Mathematics 2025-04-22 Roberto Montemanni , Derek H. Smith

The complexity of a computational problem is traditionally quantified based on the hardness of its worst case. This approach has many advantages and has led to a deep and beautiful theory. However, from the practical perspective, this…

Computational Complexity · Computer Science 2012-05-23 Yonatan Bilu , Amit Daniely , Nati Linial , Michael Saks

We consider discrete bilevel optimization problems where the follower solves an integer program with a fixed number of variables. Using recent results in parametric integer programming, we present polynomial time algorithms for pure and…

Optimization and Control · Mathematics 2017-01-03 Matthias Köppe , Maurice Queyranne , Christopher Thomas Ryan

A method for converting the geometrical problem of rectangle packing to an algebraic problem of solving a system of polynomial equations is described.

Combinatorics · Mathematics 2007-05-23 Baris Altunkaynak

A popular approach in combinatorial optimization is to model problems as integer linear programs. Ideally, the relaxed linear program would have only integer solutions, which happens for instance when the constraint matrix is totally…

Data Structures and Algorithms · Computer Science 2009-09-29 Christoph Durr , Mathilde Hurand

We revisit the coalition structure generation problem in which the goal is to partition the players into exhaustive and disjoint coalitions so as to maximize the social welfare. One of our key results is a general polynomial-time algorithm…

Computer Science and Game Theory · Computer Science 2011-06-21 Haris Aziz , Bart de Keijzer

We present a heuristic algorithm for solving the problem of scheduling plans of tasks. The plans are ordered vectors of tasks, and tasks are basic operations carried out by resources. Plans are tied by temporal, precedence and resource…

Artificial Intelligence · Computer Science 2021-02-09 Davide Andrea Guastella