English
Related papers

Related papers: Solving $k$-SUM using few linear queries

200 papers

We consider the well-studied partial sums problem in succint space where one is to maintain an array of n k-bit integers subject to updates such that partial sums queries can be efficiently answered. We present two succint versions of the…

Data Structures and Algorithms · Computer Science 2017-06-01 Philip Bille , Anders Roy Christiansen , Nicola Prezza , Frederik Rye Skjoldjensen

The k-Tree algorithm [Wagner 02] is a non-trivial algorithm for the average-case k-SUM problem that has found widespread use in cryptanalysis. Its input consists of k lists, each containing n integers from a range of size m. Wagner's…

Cryptography and Security · Computer Science 2024-10-14 Haoxing Lin , Prashant Nalini Vasudevan

In the last three decades, the $k$-SUM hypothesis has emerged as a satisfying explanation of long-standing time barriers for a variety of algorithmic problems. Yet to this day, the literature knows of only few proven consequences of a…

Computational Complexity · Computer Science 2025-02-10 Geri Gokaj , Marvin Künnemann

In the classical Subset Sum problem we are given a set $X$ and a target $t$, and the task is to decide whether there exists a subset of $X$ which sums to $t$. A recent line of research has resulted in $\tilde{O}(t)$-time algorithms, which…

Data Structures and Algorithms · Computer Science 2023-04-25 Karl Bringmann , Vasileios Nakos

We give an O(sqrt n log n)-query quantum algorithm for evaluating size-n AND-OR formulas. Its running time is poly-logarithmically greater after efficient preprocessing. Unlike previous approaches, the algorithm is based on a quantum walk…

Quantum Physics · Physics 2011-10-11 Ben W. Reichardt

In this work, we show the first worst-case to average-case reduction for the classical $k$-SUM problem. A $k$-SUM instance is a collection of $m$ integers, and the goal of the $k$-SUM problem is to find a subset of $k$ elements that sums to…

Computational Complexity · Computer Science 2020-11-12 Zvika Brakerski , Noah Stephens-Davidowitz , Vinod Vaikuntanathan

It has recently been shown that starting with a classical query algorithm (decision tree) and a guessing algorithm that tries to predict the query answers, we can design a quantum algorithm with query complexity $O(\sqrt{GT})$ where $T$ is…

Quantum Physics · Physics 2022-10-18 Salman Beigi , Leila Taghavi , Artin Tajdini

We study a generalized binary search problem on the line and general trees. On the line (e.g., a sorted array), binary search finds a target node in $O(\log n)$ queries in the worst case, where $n$ is the number of nodes. In situations with…

Data Structures and Algorithms · Computer Science 2024-06-19 Agustín Caracci , Christoph Dürr , José Verschae

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

We consider online algorithms for the $k$-server problem on trees. Chrobak and Larmore proposed a $k$-competitive algorithm for this problem that has the optimal competitive ratio. However, a naive implementation of their algorithm has…

Data Structures and Algorithms · Computer Science 2021-07-29 Ruslan Kapralov , Kamil Khadiev , Joshua Mokut , Yixin Shen , Maxim Yagafarov

We consider online algorithms for the $k$-server problem on trees of size $n$. Chrobak and Larmore proposed a $k$-competitive algorithm for this problem that has the optimal competitive ratio. However, the existing implementations have…

Data Structures and Algorithms · Computer Science 2024-04-05 Kamil Khadiev , Maxim Yagafarov

We prove that some exact geometric pattern matching problems reduce in linear time to $k$-SUM when the pattern has a fixed size $k$. This holds in the real RAM model for searching for a similar copy of a set of $k\geq 3$ points within a set…

Computational Geometry · Computer Science 2020-03-27 Boris Aronov , Jean Cardinal

Given a set $P$ of $n$ points in $\mathbb{R}^2$ and an input line $\gamma$ in $\mathbb{R}^2$, we present an algorithm that runs in optimal $\Theta(n\log n)$ time and $\Theta(n)$ space to solve a restricted version of the $1$-Steiner tree…

Computational Geometry · Computer Science 2023-06-16 Prosenjit Bose , Anthony D'Angelo , Stephane Durocher

An out-tree $T$ is an oriented tree with only one vertex of in-degree zero. A vertex $x$ of $T$ is internal if its out-degree is positive. We design randomized and deterministic algorithms for deciding whether an input digraph contains a…

Data Structures and Algorithms · Computer Science 2009-03-06 Nathann Cohen , Fedor V. Fomin , Gregory Gutin , Eun Jung Kim , Saket Saurabh , Anders Yeo

Given a set of $n$ points in the Euclidean plane, the $k$-MinSumRadius problem asks to cover this point set using $k$ disks with the objective of minimizing the sum of the radii of the disks. After a long line of research on related…

Computational Geometry · Computer Science 2024-09-13 Mikkel Abrahamsen , Sarita de Berg , Lucas Meijer , André Nusser , Leonidas Theocharous

In the \emph{$k$-Diameter-Optimally Augmenting Tree Problem} we are given a tree $T$ of $n$ vertices as input. The tree is embedded in an unknown \emph{metric} space and we have unlimited access to an oracle that, given two distinct…

Data Structures and Algorithms · Computer Science 2023-05-30 Davide Bilò , Luciano Gualà , Stefano Leucci , Luca Pepè Sciarria

Given two rooted, ordered, and labeled trees $P$ and $T$ the tree inclusion problem is to determine if $P$ can be obtained from $T$ by deleting nodes in $T$. This problem has recently been recognized as an important query primitive in XML…

Data Structures and Algorithms · Computer Science 2011-01-19 Philip Bille , Inge Li Goertz

Direct sum theorems state that the cost of solving $k$ instances of a problem is at least $\Omega(k)$ times the cost of solving a single instance. We prove the first such results in the randomised parity decision tree model. We show that a…

Computational Complexity · Computer Science 2025-06-03 Tyler Besselman , Mika Göös , Siyao Guo , Gilbert Maystre , Weiqiang Yuan

The Planar Steiner Tree problem is one of the most fundamental NP-complete problems as it models many network design problems. Recall that an instance of this problem consists of a graph with edge weights, and a subset of vertices (often…

Data Structures and Algorithms · Computer Science 2018-11-19 Sándor Kisfaludi-Bak , Jesper Nederlof , Erik Jan van Leeuwen

Consider the following "local" cut-detection problem in a directed graph: We are given a seed vertex $x$ and need to remove at most $k$ edges so that at most $\nu$ edges can be reached from $x$ (a "local" cut) or output $\bot$ to indicate…

Data Structures and Algorithms · Computer Science 2019-11-01 Sebastian Forster , Danupon Nanongkai , Thatchaphol Saranurak , Liu Yang , Sorrachai Yingchareonthawornchai