Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJune 2024
Maximum Weight Independent Set in Graphs with no Long Claws in Quasi-Polynomial Time
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 683–691https://doi.org/10.1145/3618260.3649791We show that the Maximum Weight Independent Set problem (MWIS) can be solved in quasi-polynomial time on H-free graphs (graphs excluding a fixed graph H as an induced subgraph) for every H whose every connected component is a path or a subdivided claw (...
- research-articleJune 2024
Random-Order Contention Resolution via Continuous Induction: Tightness for Bipartite Matching under Vertex Arrivals
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1629–1640https://doi.org/10.1145/3618260.3649788We introduce a new approach for designing Random-order Contention Resolution Schemes (RCRS’s) via exact solution in continuous time. Given a function c(y):[0,1] → [0,1], we show how to select each element which arrives at time y ∈ [0,1] with probability ...
- research-articleJune 2024
Improving the Bit Complexity of Communication for Distributed Convex Optimization
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1130–1140https://doi.org/10.1145/3618260.3649787We consider the communication complexity of some fundamental convex optimization problems in the point-to-point (coordinator) and blackboard communication models. We strengthen known bounds for approximately solving linear regression, p-norm regression (...
- research-articleJune 2024
Prophet Inequalities with Cancellation Costs
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1247–1258https://doi.org/10.1145/3618260.3649786Most of the literature on online algorithms and sequential decision-making focuses on settings with “irrevocable decisions” where the algorithm’s decision upon arrival of the new input is set in stone and can never change in the future. One canonical ...
- research-articleJune 2024
Approximating Maximum Matching Requires Almost Quadratic Time
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 444–454https://doi.org/10.1145/3618260.3649785We study algorithms for estimating the size of maximum matching. This problem has been subject to extensive research. For n-vertex graphs, Bhattacharya, Kiss, and Saranurak [FOCS’23] (BKS) showed that an estimate that is within є n of the optimal ...
-
- research-articleJune 2024
Almost Linear Size Edit Distance Sketch
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 956–967https://doi.org/10.1145/3618260.3649783We design an almost linear-size sketching scheme for computing edit distance up to a given threshold k. The scheme consists of two algorithms, a sketching algorithm and a recovery algorithm. The sketching algorithm depends on the parameter k and takes as ...
- research-articleJune 2024
Dynamic O(Arboricity) Coloring in Polylogarithmic Worst-Case Time
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1184–1191https://doi.org/10.1145/3618260.3649782A recent work by Christiansen, Nowicki, and Rotenberg [STOC’23] provides dynamic algorithms for coloring sparse graphs, concretely as a function of the graph’s arboricity α. They give two randomized algorithms: O(α logα) implicit coloring in poly(logn) ...
- research-articleJune 2024
Prophet Inequalities Require Only a Constant Number of Samples
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 491–502https://doi.org/10.1145/3618260.3649773In a prophet inequality problem, n independent random variables are presented to a gambler one by one. The gambler decides when to stop the sequence and obtains the most recent value as reward. We evaluate a stopping rule by the worst-case ratio between ...
- research-articleJune 2024
Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 24–35https://doi.org/10.1145/3618260.3649771The Parameterized Inapproximability Hypothesis (PIH) asserts that no fixed parameter tractable (FPT) algorithm can distinguish a satisfiable CSP instance, parameterized by the number of variables, from one where every assignment fails to satisfy an ε ...
- research-articleJune 2024
A Dynamic Shortest Paths Toolbox: Low-Congestion Vertex Sparsifiers and Their Applications
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1174–1183https://doi.org/10.1145/3618260.3649767We present a general toolbox, based on new vertex sparsifiers, for designing data structures to maintain shortest paths in graphs undergoing edge insertions and/or deletions. In particular, we obtain the following results:
the first data structure to ...
- research-articleJune 2024
New Tools for Smoothed Analysis: Least Singular Value Bounds for Random Matrices with Dependent Entries
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 375–386https://doi.org/10.1145/3618260.3649765We develop new techniques for proving lower bounds on the least singular value of random matrices with limited randomness. The matrices we consider have entries that are given by polynomials of a few underlying base random variables. This setting ...
- research-articleJune 2024
A Strongly Polynomial Algorithm for Linear Programs with At Most Two Nonzero Entries per Row or Column
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1561–1572https://doi.org/10.1145/3618260.3649764We give a strongly polynomial algorithm for minimum cost generalized flow, and hence for optimizing any linear program with at most two non-zero entries per row, or at most two non-zero entries per column. Primal and dual feasibility were shown by Végh (...
- research-articleJune 2024
O(log log n) Passes Is Optimal for Semi-streaming Maximal Independent Set
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 847–858https://doi.org/10.1145/3618260.3649763In the semi-streaming model for processing massive graphs, an algorithm makes multiple passes over the edges of a given n-vertex graph and is tasked with computing the solution to a problem using O(n · log(n)) space. Semi-streaming algorithms for Maximal ...
- research-articleJune 2024
Optimal Embedding Dimension for Sparse Subspace Embeddings
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1106–1117https://doi.org/10.1145/3618260.3649762A random m× n matrix S is an oblivious subspace embedding (OSE) with parameters є>0, δ∈(0,1/3) and d≤ m≤ n, if for any d-dimensional subspace W⊆ Rn, P( ∀x∈ W (1+є)−1||x||≤ ||Sx||≤ (1+є)||x|| )≥ 1−δ. It is known that the embedding dimension of an OSE must ...
- research-articleJune 2024
Proof of the Density Threshold Conjecture for Pinwheel Scheduling
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1816–1819https://doi.org/10.1145/3618260.3649757In the pinwheel scheduling problem, each task i is associated with a positive integer ai called its period, and we want to (perpetually) schedule one task per day so that each task i is performed at least once every ai days. An obvious necessary ...
- research-articleJune 2024
Minimum Star Partitions of Simple Polygons in Polynomial Time
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 904–910https://doi.org/10.1145/3618260.3649756We devise a polynomial-time algorithm for partitioning a simple polygon P into a minimum number of star-shaped polygons. The question of whether such an algorithm exists has been open for more than four decades [Avis and Toussaint, Pattern Recognit., ...
- research-articleJune 2024
Optimal Multi-pass Lower Bounds for MST in Dynamic Streams
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 835–846https://doi.org/10.1145/3618260.3649755The seminal work of Ahn, Guha, and McGregor in 2012 introduced the graph sketching technique and used it to present the first streaming algorithms for various graph problems over dynamic streams with both insertions and deletions of edges. This includes ...
- research-articleJune 2024
Near-Optimal Mean Estimation with Unknown, Heteroskedastic Variances
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 194–200https://doi.org/10.1145/3618260.3649754Given data drawn from a collection of Gaussian variables with a common mean but different and unknown variances, what is the best algorithm for estimating their common mean? We present an intuitive and efficient algorithm for this task. As different ...
- research-articleJune 2024
Hypergraph Unreliability in Quasi-Polynomial Time
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1700–1711https://doi.org/10.1145/3618260.3649753The hypergraph unreliability problem asks for the probability that a hypergraph gets disconnected when every hyperedge fails independently with a given probability. For graphs, the unreliability problem has been studied over many decades, and multiple ...
- research-articleJune 2024
Understanding the Cluster Linear Program for Correlation Clustering
STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of ComputingPages 1605–1616https://doi.org/10.1145/3618260.3649749In the classic Correlation Clustering problem introduced by Bansal, Blum, and Chawla (FOCS 2002), the input is a complete graph where edges are labeled either + or −, and the goal is to find a partition of the vertices that minimizes the sum of the +...