English
Related papers

Related papers: Does Subset Sum Admit Short Proofs?

200 papers

In this article we combine two developments in polynomial optimization. On the one hand, we consider nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the second and the third…

Optimization and Control · Mathematics 2018-06-06 Mareike Dressler , Sadik Iliman , Timo de Wolff

In seeking out an algorithm to test out the capability of the IBM Quantum Experience quantum computer, we were given a review paper covering various algorithms for solving the subset-sum problem, including both classical and quantum…

Emerging Technologies · Computer Science 2019-12-09 David Gunter , Toks Adedoyin

Consider positive integral solutions $x \in \mathbb{Z}^{n+1}$ to the equation $a_0 x_0 + \ldots + a_n x_n = t$. In the so called unbounded subset sum problem, the objective is to decide whether such a solution exists, whereas in the…

Data Structures and Algorithms · Computer Science 2021-08-13 Kim-Manuel Klein

The Subset Sum problem asks whether a given set of $n$ positive integers contains a subset of elements that sum up to a given target $t$. It is an outstanding open question whether the $O^*(2^{n/2})$-time algorithm for Subset Sum by…

Data Structures and Algorithms · Computer Science 2015-08-26 Per Austrin , Mikko Koivisto , Petteri Kaski , Jesper Nederlof

Given a multiset $S$ of $n$ positive integers and a target integer $t$, the Subset Sum problem asks to determine whether there exists a subset of $S$ that sums up to $t$. The current best deterministic algorithm, by Koiliaris and Xu…

Data Structures and Algorithms · Computer Science 2020-01-03 Ce Jin , Hongxun Wu

Computational problem certificates are additional data structures for each output, which can be used by a-possibly randomized-verification algorithm that proves the correctness of each output. In this paper, we give an algorithm that…

Symbolic Computation · Computer Science 2019-12-03 Jean-Guillaume Dumas , Erich Kaltofen , Emmanuel Thomé , Gilles Villard

In this paper, we investigate the computational complexity of the knapsack problem and subset sum problem for the following tropical algebraic structures. We consider the semigroup of square matrices of size $k \times k$ with non-negative…

Combinatorics · Mathematics 2026-05-11 I. M. Buchinskiy , M. V. Kotov , A. V. Treier

Existence of long arithmetic progression in sumsets and subset sums has been studied extensively in the field of additive combinatorics. These additive combinatorics results play a central role in the recent progress of fundamental problems…

Data Structures and Algorithms · Computer Science 2025-04-08 Lin Chen , Yuchen Mao , Guochuan Zhang

Today's propositional satisfiability (SAT) solvers are extremely powerful and can be used as an efficient back-end for solving NP-complete problems. However, many fundamental problems in knowledge representation and reasoning are located at…

Computational Complexity · Computer Science 2016-07-04 Ronald de Haan , Stefan Szeider

Quantum computing is seeking to realize hardware-optimized algorithms for application-related computational tasks. NP (nondeterministic-polynomial-time) is a complexity class containing many important but intractable problems like the…

Quantum Physics · Physics 2021-08-27 Aonan Zhang , Hao Zhan , Junjie Liao , Kaimin Zheng , Tao Jiang , Minghao Mi , Penghui Yao , Lijian Zhang

Kernelization is an important tool in parameterized algorithmics. Given an input instance accompanied by a parameter, the goal is to compute in polynomial time an equivalent instance of the same problem such that the size of the reduced…

Computational Complexity · Computer Science 2018-10-23 Till Fluschnik , George B. Mertzios , André Nichterlein

Assessing non-negativity of multivariate polynomials over the reals, through the computation of {\em certificates of non-negativity}, is a topical issue in polynomial optimization. This is usually tackled through the computation of {\em…

Symbolic Computation · Computer Science 2021-07-27 Victor Magron , Mohab Safey El Din , Trung-Hieu Vu

The main purpose of this paper is to study the NP-complete subset-sum problem, not in the usual context of time-complexity-based classification of the algorithms (exponential/polynomial), but through a new kind of algorithmic classification…

Computational Complexity · Computer Science 2018-11-20 Antonios Syreloglou

The "Subset Sum problem" is a very well-known NP-complete problem. In this work, a top-k variation of the "Subset Sum problem" is considered. This problem has wide application in recommendation systems, where instead of k best objects the k…

Data Structures and Algorithms · Computer Science 2021-08-27 Biswajit Sanyal , Subhashis Majumder , Priya Ranjan Sinha Mahapatra

Problems from metric graph theory like Metric Dimension, Geodetic Set, and Strong Metric Dimension have recently had a strong impact in parameterized complexity by being the first known problems in NP to admit double-exponential lower…

Discrete Mathematics · Computer Science 2024-06-07 Benjamin Bergougnoux , Oscar Defrain , Fionn Mc Inerney

We build a class of polynomial problems with not polynomial certificates. The parameter concerning which are defined efficiency of corresponding algorithms is the number $n$ of elements of the set has used at construction of combinatory…

General Mathematics · Mathematics 2013-02-22 B. S. Kochkarev

Subset-Sum and k-SAT are two of the most extensively studied problems in computer science, and conjectures about their hardness are among the cornerstones of fine-grained complexity. One of the most intriguing open problems in this area is…

Data Structures and Algorithms · Computer Science 2021-02-22 Amir Abboud , Karl Bringmann , Danny Hermelin , Dvir Shabtay

In computational complexity theory, a decision problem is NP-complete when it is both in NP and NP-hard. Although a solution to a NP-complete can be verified quickly, there is no known algorithm to solve it in polynomial time. There exists…

Computational Complexity · Computer Science 2018-03-28 Wenxia Guo , Jin Wang , Majun He , Xiaoqin Ren , Wenhong Tian , Qingxian Wang

As one of the three main pillars of fine-grained complexity theory, the 3SUM problem explains the hardness of many diverse polynomial-time problems via fine-grained reductions. Many of these reductions are either directly based on or…

Computational Complexity · Computer Science 2023-11-30 Nick Fischer , Piotr Kaliciak , Adam Polak

In this paper we suggest analytical methods and associated algorithms for determining the sum of the subsets $X_m$ of the set $X_n$ (subset sum problem). Our algorithm has time complexity $T=O(C_{n}^{k})$ ($k=[m/2]$, which significantly…

Information Theory · Computer Science 2020-05-05 B. Sinchev , A. B. Sinchev , J. Akzhanova , A. M. Mukhanova , Y. Issekeshev