English
Related papers

Related papers: Tight (S)ETH-based Lower Bounds for Pseudopolynomi…

200 papers

We present new, faster pseudopolynomial time algorithms for the $k$-Subset Sum problem, defined as follows: given a set $Z$ of $n$ positive integers and $k$ targets $t_1, \ldots, t_k$, determine whether there exist $k$ disjoint subsets…

Data Structures and Algorithms · Computer Science 2022-01-04 Antonis Antonopoulos , Aris Pagourtzis , Stavros Petsalakis , Manolis Vasilakis

We show that any submodular minimization (SM) problem defined on a linear constraint set with constraints having up to two variables per inequality, are 2-approximable in polynomial time. If the constraints are monotone (the two variables…

Discrete Mathematics · Computer Science 2017-05-01 Dorit S. Hochbaum

We present a packing-based approximation algorithm for the $k$-Set Cover problem. We introduce a new local search-based $k$-set packing heuristic, and call it Restricted $k$-Set Packing. We analyze its tight approximation ratio via a…

Data Structures and Algorithms · Computer Science 2015-03-03 Martin Furer , Huiwen Yu

We study a robust extensible bin packing problem with budgeted uncertainty, under a budgeted uncertainty model where item sizes are defined to lie in the intersection of a box with a one-norm ball. We propose a scenario generation algorithm…

Discrete Mathematics · Computer Science 2025-10-29 Noam Goldberg , Michael Poss , Yariv Marmor

We present a pseudopolynomial-time algorithm for the Knapsack problem that has running time $\widetilde{O}(n + t\sqrt{p_{\max}})$, where $n$ is the number of items, $t$ is the knapsack capacity, and $p_{\max}$ is the maximum item profit.…

Data Structures and Algorithms · Computer Science 2024-07-02 Karl Bringmann , Anita Dürr , Adam Polak

Cutwidth is a widely studied parameter that quantifies how well a graph can be decomposed along small edge-cuts. It complements pathwidth, which captures decomposition by small vertex separators, and it is well-known that cutwidth…

Data Structures and Algorithms · Computer Science 2025-02-25 Narek Bojikian , Vera Chekan , Stefan Kratsch

For a fixed graph property $\Phi$ and integer $k \geq 1$, consider the problem of counting the induced $k$-vertex subgraphs satisfying $\Phi$ in an input graph $G$. This problem can be solved by brute-force in time $O(n^{k})$. Under ETH, we…

Computational Complexity · Computer Science 2025-12-11 Radu Curticapean , Daniel Neuen

In Polyamorous Scheduling, we are given an edge-weighted graph and must find a periodic schedule of matchings in this graph which minimizes the maximal weighted waiting time between consecutive occurrences of the same edge. This NP-hard…

Data Structures and Algorithms · Computer Science 2024-11-12 Yuriy Biktairov , Leszek Gąsieniec , Wanchote Po Jiamjitrak , Namrata , Benjamin Smith , Sebastian Wild

Given a hierarchical plan (or schedule) with uncertain task times, we propose a deterministic polynomial (time and memory) algorithm for estimating the probability that its meets a deadline, or, alternately, that its {\em makespan} is less…

Artificial Intelligence · Computer Science 2017-12-27 Liat Cohen , Solomon Eyal Shimony , Gera Weiss

Planar graphs are known to allow subexponential algorithms running in time $2^{O(\sqrt n)}$ or $2^{O(\sqrt n \log n)}$ for most of the paradigmatic problems, while the brute-force time $2^{\Theta(n)}$ is very likely to be asymptotically…

Computational Geometry · Computer Science 2018-10-12 Édouard Bonnet , Paweł Rzążewski

Given a simple graph $G$ and an integer $k$, the goal of $k$-Clique problem is to decide if $G$ contains a complete subgraph of size $k$. We say an algorithm approximates $k$-Clique within a factor $g(k)$ if it can find a clique of size at…

Computational Complexity · Computer Science 2022-08-04 Bingkai Lin , Xuandi Ren , Yican Sun , Xiuhan Wang

We study the classic set cover problem from the perspective of sub-linear algorithms. Given access to a collection of $m$ sets over $n$ elements in the query model, we show that sub-linear algorithms derived from existing techniques have…

Data Structures and Algorithms · Computer Science 2019-02-12 Piotr Indyk , Sepideh Mahabadi , Ronitt Rubinfeld , Ali Vakilian , Anak Yodpinyanee

It is well-know that deciding consistency for normal answer set programs (ASP) is NP-complete, thus, as hard as the satisfaction problem for classical propositional logic (SAT). The best algorithms to solve these problems take exponential…

Logic in Computer Science · Computer Science 2020-07-10 Markus Hecher , Jorge Fandinno

We study connectivity problems from a fine-grained parameterized perspective. Cygan et al. (TALG 2022) obtained algorithms with single-exponential running time $\alpha^{tw} n^{O(1)}$ for connectivity problems parameterized by treewidth…

Data Structures and Algorithms · Computer Science 2023-03-01 Falko Hegerfeld , Stefan Kratsch

We prove new hardness results for fundamental lattice problems under the Exponential Time Hypothesis (ETH). Building on a recent breakthrough by Bitansky et al.\ \cite{BHIRW24}, who gave a polynomial-time reduction from $\mathsf{3SAT}$ to…

Computational Complexity · Computer Science 2026-04-22 Divesh Aggarwal , Rishav Gupta , Aditya Morolia , Chuanqi Zhang

The All-Pairs Max-Flow problem has gained significant popularity in the last two decades, and many results are known regarding its fine-grained complexity. Despite this, wide gaps remain in our understanding of the time complexity for…

Data Structures and Algorithms · Computer Science 2024-11-12 Ohad Trabelsi

The problem of scheduling non-simultaneously released jobs with due dates on a single machine with the objective to minimize the maximum job lateness is known to be strongly NP-hard. Here we consider an extended model in which the…

Optimization and Control · Mathematics 2023-06-16 Nodari Vakhania , Frank Werner , Alejandro Reynoso

We present a series of almost settled inapproximability results for three fundamental problems. The first in our series is the subexponential-time inapproximability of the maximum independent set problem, a question studied in the area of…

Computational Complexity · Computer Science 2013-08-20 Parinya Chalermsook , Bundit Laekhanukit , Danupon Nanongkai

Motivated by applications in machine learning, such as subset selection and data summarization, we consider the problem of maximizing a monotone submodular function subject to mixed packing and covering constraints. We present a tight…

Data Structures and Algorithms · Computer Science 2018-12-20 Eyal Mizrachi , Roy Schwartz , Joachim Spoerhase , Sumedha Uniyal

The goal of this paper is to set a constraint programming framework to solve lot-sizing problems. More specifically, we consider a single-item lot-sizing problem with time-varying lower and upper bounds for production and inventory. The…

Optimization and Control · Mathematics 2019-07-05 Grigori German , Hadrien Cambazard , Jean-Philippe Gayon , Bernard Penz