English
Related papers

Related papers: New separation theorems and sub-exponential time a…

200 papers

An important goal in algorithm design is determining the best running time for solving a problem (approximately). For some problems, we know the optimal running time, assuming certain conditional lower bounds. In this work, we study the…

Data Structures and Algorithms · Computer Science 2024-03-04 Moritz Buchem , Paul Deuker , Andreas Wiese

We call a graph $G$ separable if a balanced separator can be computed for $G$ of size $O(n^c)$ with $c<1$. Many real-world graphs are separable such as graphs of bounded genus, graphs of constant treewidth, and graphs excluding a fixed…

Data Structures and Algorithms · Computer Science 2025-04-29 Michael Elberfeld , Frank Kammer , Johannes Meintrup

De Berg et al. in [SICOMP 2020] gave an algorithmic framework for subexponential algorithms on geometric graphs with tight (up to ETH) running times. This framework is based on dynamic programming on graphs of weighted treewidth resulting…

Data Structures and Algorithms · Computer Science 2021-07-15 Fedor V. Fomin , Petr A. Golovach , Tanmay Inamdar , Saket Saurabh

The Set Packing problem is, given a collection of sets $\mathcal{S}$ over a ground set $\mathcal{U}$, to find a maximum collection of sets that are pairwise disjoint. The problem is among the most fundamental NP-hard optimization problems…

Computational Complexity · Computer Science 2023-02-28 Ameet Gadekar

We give the first polynomial-time algorithm to estimate the mean of a $d$-variate probability distribution with bounded covariance from $\tilde{O}(d)$ independent samples subject to pure differential privacy. Prior algorithms for this…

Data Structures and Algorithms · Computer Science 2022-06-06 Samuel B. Hopkins , Gautam Kamath , Mahbod Majid

We consider the following multi-component sparse PCA problem: given a set of data points, we seek to extract a small number of sparse components with disjoint supports that jointly capture the maximum possible variance. These components can…

We study the Maximum Independent Set of Rectangles (MISR) problem: given a set of $n$ axis-parallel rectangles, find a largest-cardinality subset of the rectangles, such that no two of them overlap. MISR is a basic geometric optimization…

Data Structures and Algorithms · Computer Science 2016-08-02 Julia Chuzhoy , Alina Ene

A (unit) disk graph is the intersection graph of closed (unit) disks in the plane. Almost three decades ago, an elegant polynomial-time algorithm was found for \textsc{Maximum Clique} on unit disk graphs [Clark, Colbourn, Johnson; Discrete…

Computational Geometry · Computer Science 2018-03-01 Édouard Bonnet , Panos Giannopoulos , Eun Jung Kim , Paweł Rzążewski , Florian Sikora

We study polynomial-time approximation algorithms for (edge/vertex) Sparsest Cut and Small Set Expansion in terms of $k$, the number of edges or vertices cut in the optimal solution. Our main results are $\mathcal{O}(\text{polylog}\,…

Data Structures and Algorithms · Computer Science 2024-03-15 Aditya Anand , Euiwoong Lee , Jason Li , Thatchaphol Saranurak

$\newcommand{\floor}[1]{\left\lfloor {#1} \right\rfloor} \renewcommand{\Re}{\mathbb{R}}$ Tverberg's theorem states that a set of $n$ points in $\Re^d$ can be partitioned into $\floor{n/(d+1)}$ sets with a common intersection. A point in…

Computational Geometry · Computer Science 2023-05-03 Sariel Har-Peled , Timothy Zhou

In the Strip Packing problem (SP), we are given a vertical half-strip $[0,W]\times[0,\infty)$ and a set of $n$ axis-aligned rectangles of width at most $W$. The goal is to find a non-overlapping packing of all rectangles into the strip such…

Data Structures and Algorithms · Computer Science 2022-05-09 Arindam Khan , Aditya Lonkar , Arnab Maiti , Amatya Sharma , Andreas Wiese

Alon, Seymour, and Thomas generalized Lipton and Tarjan's planar separator theorem and showed that a $K_h$-minor free graph with $n$ vertices has a separator of size at most $h^{3/2}\sqrt n$. They gave an algorithm that, given a graph $G$…

Discrete Mathematics · Computer Science 2011-07-08 Christian Wulff-Nilsen

Let $\mathcal{C}$ and $\mathcal{D}$ be hereditary graph classes. Consider the following problem: given a graph $G\in\mathcal{D}$, find a largest, in terms of the number of vertices, induced subgraph of $G$ that belongs to $\mathcal{C}$. We…

Computational Complexity · Computer Science 2019-10-03 Jana Novotná , Karolina Okrasa , Michał Pilipczuk , Paweł Rzążewski , Erik Jan van Leeuwen , Bartosz Walczak

We revisit the classic 0-1-Knapsack problem, in which we are given $n$ items with their weights and profits as well as a weight budget $W$, and the goal is to find a subset of items of total weight at most $W$ that maximizes the total…

Data Structures and Algorithms · Computer Science 2023-10-24 Karl Bringmann , Alejandro Cassis

The split feasibility problem is to find an element in the intersection of a closed set $C$ and the linear preimage of another closed set $D$, assuming the projections onto $C$ and $D$ are easy to compute. This class of problems arises…

Optimization and Control · Mathematics 2020-11-05 Chen Chen , Ting Kei Pong , Lulin Tan , Liaoyuan Zeng

We give a bi-criteria approximation algorithm for the Minimum Nonuniform Partitioning problem, recently introduced by Krauthgamer, Naor, Schwartz and Talwar (2014). In this problem, we are given a graph $G=(V,E)$ on $n$ vertices and $k$…

Data Structures and Algorithms · Computer Science 2014-04-29 Konstantin Makarychev , Yury Makarychev

We use exponential start time clustering to design faster and more work-efficient parallel graph algorithms involving distances. Previous algorithms usually rely on graph decomposition routines with strict restrictions on the diameters of…

Data Structures and Algorithms · Computer Science 2015-06-25 Gary L. Miller , Richard Peng , Adrian Vladu , Shen Chen Xu

Given a set $P$ of $n$ points and a set $S$ of $m$ weighted disks in the plane, the disk coverage problem asks for a subset of disks of minimum total weight that cover all points of $P$. The problem is NP-hard. In this paper, we consider a…

Computational Geometry · Computer Science 2021-05-03 Logan Pedersen , Haitao Wang

The local search framework for obtaining PTASs for NP-hard geometric optimization problems was introduced, independently, by Chan and Har-Peled (2009) and Mustafa and Ray (2010). In this paper, we generalize the framework by extending its…

Computational Geometry · Computer Science 2012-09-25 Rom Aschner , Matthew J. Katz , Gila Morgenstern , Yelena Yuditsky

We consider the fair allocation of indivisible items to several agents with additional conflict constraints. These are represented by a conflict graph where each item corresponds to a vertex of the graph and edges in the graph represent…

Discrete Mathematics · Computer Science 2023-08-21 Nina Chiarelli , Matjaž Krnc , Martin Milanič , Ulrich Pferschy , Joachim Schauer