English
Related papers

Related papers: A Polynomial-Time Algorithm for Special Cases of t…

200 papers

The All-Pairs Shortest Paths (APSP) is a foundational problem in theoretical computer science. Approximating APSP in undirected unweighted graphs has been studied for many years, beginning with the work of Dor, Halperin and Zwick…

Data Structures and Algorithms · Computer Science 2025-11-10 Ce Jin , Yael Kirkpatrick , Michał Stawarz , Virginia Vassilevska Williams

Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. The…

Computational Complexity · Computer Science 2020-10-05 Dmitriy Zhuk

Let $P$ be a set of $m$ points in ${\mathbb R}^2$, let $\Sigma$ be a set of $n$ semi-algebraic sets of constant complexity in ${\mathbb R}^2$, let $(S,+)$ be a semigroup, and let $w: P \rightarrow S$ be a weight function on the points of…

Computational Geometry · Computer Science 2024-09-17 Pankaj K. Agarwal , Esther Ezra , Micha Sharir

We give a highly efficient "semi-agnostic" algorithm for learning univariate probability distributions that are well approximated by piecewise polynomial density functions. Let $p$ be an arbitrary distribution over an interval $I$ which is…

Machine Learning · Computer Science 2013-05-15 Siu-On Chan , Ilias Diakonikolas , Rocco A. Servedio , Xiaorui Sun

This paper presents a new combinatorial optimisation task, the Subset Sum Matching Problem (SSMP), which is an abstraction of common financial applications such as trades reconciliation. We present three algorithms, two suboptimal and one…

Artificial Intelligence · Computer Science 2025-08-27 Yufei Wu , Manuel R. Torres , Parisa Zehtabi , Alberto Pozanco Lancho , Michael Cashmore , Daniel Borrajo , Manuela Veloso

The problem of high-dimensional path-dependent optimal stopping (OS) is important to multiple academic communities and applications. Modern OS tasks often have a large number of decision epochs, and complicated non-Markovian dynamics,…

Probability · Mathematics 2024-05-16 David A. Goldberg , Yilun Chen

Sign-Perturbed Sum (SPS) is a powerful finite-sample system identification algorithm which can construct confidence regions for the true data generating system with exact coverage probabilities, for any finite sample size. SPS was developed…

Machine Learning · Statistics 2024-01-30 Szabolcs Szentpéteri , Balázs Csanád Csáji

In this paper we give a polynomial-time quantum algorithm for computing orders of solvable groups. Several other problems, such as testing membership in solvable groups, testing equality of subgroups in a given solvable group, and testing…

Quantum Physics · Physics 2007-05-23 John Watrous

Given a pattern $p = s_1x_1s_2x_2\cdots s_{r-1}x_{r-1}s_r$ such that $x_1,x_2,\ldots,x_{r-1}\in\{x,\overset{{}_{\leftarrow}}{x}\}$, where $x$ is a variable and $\overset{{}_{\leftarrow}}{x}$ its reversal, and $s_1,s_2,\ldots,s_r$ are…

Data Structures and Algorithms · Computer Science 2017-07-19 Dmitry Kosolobov , Florin Manea , Dirk Nowotka

In this article, we consider the Euclidean dispersion problems. Let $P=\{p_{1}, p_{2}, \ldots, p_{n}\}$ be a set of $n$ points in $\mathbb{R}^2$. For each point $p \in P$ and $S \subseteq P$, we define $cost_{\gamma}(p,S)$ as the sum of…

Computational Geometry · Computer Science 2021-05-20 Pawan K. Mishra , Gautam K. Das

The Subset Sum problem, which asks whether a set of $n$ integers has a subset summing to a target $t$, is a fundamental NP-complete problem in cryptography and combinatorial optimization. The classical meet-in-the-middle (MIM) algorithm of…

Data Structures and Algorithms · Computer Science 2025-12-04 Jesus Salas

We initiate the study of fine-grained completeness theorems for exact and approximate optimization in the polynomial-time regime. Inspired by the first completeness results for decision problems in P (Gao, Impagliazzo, Kolokolova, Williams,…

Data Structures and Algorithms · Computer Science 2021-07-06 Karl Bringmann , Alejandro Cassis , Nick Fischer , Marvin Künnemann

The paper deals with finite-state Markov decision processes (MDPs) with integer weights assigned to each state-action pair. New algorithms are presented to classify end components according to their limiting behavior with respect to the…

Logic in Computer Science · Computer Science 2018-05-01 Christel Baier , Nathalie Bertrand , Clemens Dubslaff , Daniel Gburek , Ocan Sankur

Quantum Signal Processing (QSP) and Quantum Singular Value Transformation (QSVT) currently stand as the most efficient techniques for implementing functions of block encoded matrices, a central task that lies at the heart of most prominent…

Quantum Physics · Physics 2024-01-22 Danial Motlagh , Nathan Wiebe

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

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

We show that one can approximate the least fixed point solution for a multivariate system of monotone probabilistic max(min) polynomial equations, referred to as maxPPSs (and minPPSs, respectively), in time polynomial in both the encoding…

Computational Complexity · Computer Science 2012-02-24 Kousha Etessami , Alistair Stewart , Mihalis Yannakakis

Efficiency of intrinsic operator techniques (using only products and ranks of tensor operators) is first evidenced by condensed proofs of already known $\bigtriangledown$-triangle sum rules of su(2)/su$_q$(2). {\em A new compact}…

Mathematical Physics · Physics 2008-11-14 Lionel Bréhamet

In the field of constraint satisfaction problems (CSP), promise CSPs are an exciting new direction of study. In a promise CSP, each constraint comes in two forms: "strict" and "weak," and in the associated decision problem one must…

Data Structures and Algorithms · Computer Science 2020-12-03 Joshua Brakensiek , Venkatesan Guruswami , Marcin Wrochna , Stanislav Živný

A randomized algorithm for a search problem is *pseudodeterministic* if it produces a fixed canonical solution to the search problem with high probability. In their seminal work on the topic, Gat and Goldwasser posed as their main open…

Computational Complexity · Computer Science 2025-12-05 Lijie Chen , Zhenjian Lu , Igor C. Oliveira , Hanlin Ren , Rahul Santhanam