English
Related papers

Related papers: When Does Sparsity Help for k-Independent Set in H…

200 papers

In this work, we consider the problem of sampling a $k$-clique in a graph from an almost uniform distribution in sublinear time in the general graph query model. Specifically the algorithm should output each $k$-clique with probability…

Data Structures and Algorithms · Computer Science 2020-12-09 Talya Eden , Dana Ron , Will Rosenbaum

In a recent breakthrough, Kelley and Meka (FOCS 2023) obtained a strong upper bound on the density of sets of integers without nontrivial three-term arithmetic progressions. In this work, we extend their result, establishing similar bounds…

Combinatorics · Mathematics 2025-02-13 Yuval Filmus , Hamed Hatami , Kaave Hosseini , Esty Kelman

The fundamental theorem of Tur\'{a}n from Extremal Graph Theory determines the exact bound on the number of edges $t_r(n)$ in an $n$-vertex graph that does not contain a clique of size $r+1$. We establish an interesting link between…

Data Structures and Algorithms · Computer Science 2023-07-17 Fedor V. Fomin , Petr A. Golovach , Danil Sagunov , Kirill Simonov

We give nearly optimal bounds on the sample complexity of $(\widetilde{\Omega}(\epsilon),\epsilon)$-tolerant testing the $\rho$-independent set property in the dense graph setting. In particular, we give an algorithm that inspects a random…

Data Structures and Algorithms · Computer Science 2025-03-28 Cameron Seth

Sparsity-based methods are widely used in machine learning, statistics, and signal processing. There is now a rich class of structured sparsity approaches that expand the modeling power of the sparsity paradigm and incorporate constraints…

Data Structures and Algorithms · Computer Science 2017-12-22 Aleksander Mądry , Slobodan Mitrović , Ludwig Schmidt

We present several sparsification lower and upper bounds for classic problems in graph theory and logic. For the problems 4-Coloring, (Directed) Hamiltonian Cycle, and (Connected) Dominating Set, we prove that there is no polynomial-time…

Computational Complexity · Computer Science 2015-09-25 Bart M. P. Jansen , Astrid Pieterse

In the {\sc Min-Sum 2-Clustering} problem, we are given a graph and a parameter $k$, and the goal is to determine if there exists a 2-partition of the vertex set such that the total conflict number is at most $k$, where the conflict number…

Data Structures and Algorithms · Computer Science 2014-04-11 Bang Ye Wu , Li-Hsuan Chen

Local search is a widely-employed strategy for finding good solutions to Traveling Salesman Problem. We analyze the problem of determining whether the weight of a given cycle can be decreased by a popular $k$-opt move. Earlier work has…

Data Structures and Algorithms · Computer Science 2019-09-04 Édouard Bonnet , Yoichi Iwata , Bart M. P. Jansen , Łukasz Kowalik

We investigate whether an n-vertex instance (G,k) of Treewidth, asking whether the graph G has treewidth at most k, can efficiently be made sparse without changing its answer. By giving a special form of OR-cross-composition, we prove that…

Computational Complexity · Computer Science 2013-08-19 Bart M. P. Jansen

We consider the problem of approximately solving constraint satisfaction problems with arity $k > 2$ ($k$-CSPs) on instances satisfying certain expansion properties, when viewed as hypergraphs. Random instances of $k$-CSPs, which are also…

Data Structures and Algorithms · Computer Science 2019-07-19 Vedat Levi Alev , Fernando Granha Jeronimo , Madhur Tulsiani

We investigate how the complexity of Euclidean TSP for point sets $P$ inside the strip $(-\infty,+\infty)\times [0,\delta]$ depends on the strip width $\delta$. We obtain two main results. First, for the case where the points have distinct…

Computational Geometry · Computer Science 2024-04-08 Henk Alkema , Mark de Berg , Remco van der Hofstad , Sándor Kisfaludi-Bak

Typestate systems ensure many desirable properties of imperative programs, including initialization of object fields and correct use of stateful library interfaces. Abstract sets with cardinality constraints naturally generalize typestate…

Programming Languages · Computer Science 2013-02-14 Bruno Marnette , Viktor Kuncak , Martin Rinard

We present two new combinatorial tools for the design of parameterized algorithms. The first is a simple linear time randomized algorithm that given as input a $d$-degenerate graph $G$ and an integer $k$, outputs an independent set $Y$,…

Data Structures and Algorithms · Computer Science 2017-05-04 Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Roohani Sharma , Meirav Zehavi

We provide an algorithm that, given an $n$-vertex $m$-edge Eulerian graph with polynomially bounded weights, computes an $\breve{O}(n\log^{2} n \cdot \varepsilon^{-2})$-edge $\varepsilon$-approximate Eulerian sparsifier with high…

Data Structures and Algorithms · Computer Science 2024-08-20 Arun Jambulapati , Sushant Sachdeva , Aaron Sidford , Kevin Tian , Yibin Zhao

We study computational-statistical gaps for improper learning in sparse linear regression. More specifically, given $n$ samples from a $k$-sparse linear model in dimension $d$, we ask what is the minimum sample complexity to efficiently (in…

Machine Learning · Computer Science 2024-06-26 Rares-Darius Buhai , Jingqiu Ding , Stefan Tiegel

The transversal hypergraph problem is the task of enumerating the minimal hitting sets of a hypergraph. It is a long-standing open question whether this can be done in output-polynomial time. For hypergraphs whose solutions have bounded…

Data Structures and Algorithms · Computer Science 2021-10-25 Thomas Bläsius , Tobias Friedrich , Julius Lischeid , Kitty Meeks , Martin Schirneck

The Lottery Ticket Hypothesis (LTH) posits that within overparametrized neural networks, there exist sparse subnetworks that are capable of matching the performance of the original model when trained in isolation from the original…

Quantum Physics · Physics 2026-01-29 Brandon Barton , Juan Carrasquilla , Christopher Roth , Agnes Valenti

We consider the minimal k-grouping problem: given a graph G=(V,E) and a constant k, partition G into subgraphs of diameter no greater than k, such that the union of any two subgraphs has diameter greater than k. We give a silent…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-26 Ajoy K. Datta , Lawrence L. Larmore , Toshimitsu Masuzawa , Yuichi Sudo

This paper establishes a statistical versus computational trade-off for solving a basic high-dimensional machine learning problem via a basic convex relaxation method. Specifically, we consider the {\em Sparse Principal Component Analysis}…

Machine Learning · Computer Science 2015-10-20 Tengyu Ma , Avi Wigderson

The maximum independent set problem is one of the most important problems in graph algorithms and has been extensively studied in the line of research on the worst-case analysis of exact algorithms for NP-hard problems. In the weighted…

Data Structures and Algorithms · Computer Science 2021-08-31 Sen Huang , Mingyu Xiao , Xiaoyu Chen