English
Related papers

Related papers: Making the long code shorter, with applications to…

200 papers

We give a new general approach for designing exact exponential-time algorithms for subset problems. In a subset problem the input implicitly describes a family of sets over a universe of size n and the task is to determine whether the…

Data Structures and Algorithms · Computer Science 2015-12-08 Fedor V. Fomin , Serge Gaspers , Daniel Lokshtanov , Saket Saurabh

The game of \emph{Cops and Robber} is usually played on a graph, where a group of cops attempt to catch a robber moving along the edges of the graph. The \emph{cop number} of a graph is the minimum number of cops required to win the game.…

Combinatorics · Mathematics 2024-04-29 Joshua Erde , Mihyun Kang , Florian Lehner , Bojan Mohar , Dominik Schmid

The lottery ticket hypothesis conjectures the existence of sparse subnetworks of large randomly initialized deep neural networks that can be successfully trained in isolation. Recent work has experimentally observed that some of these…

Machine Learning · Computer Science 2022-03-17 Rebekka Burkholz , Nilanjana Laha , Rajarshi Mukherjee , Alkis Gotovos

We present an explicit and efficient algebraic construction of capacity-achieving list decodable codes with both constant alphabet and constant list sizes. More specifically, for any $R \in (0,1)$ and $\epsilon>0$, we give an algebraic…

Computational Complexity · Computer Science 2021-06-11 Zeyu Guo , Noga Ron-Zewi

We initiate the study of approximating the largest induced expander in a given graph $G$. Given a $\Delta$-regular graph $G$ with $n$ vertices, the goal is to find the set with the largest induced expansion of size at least $\delta \cdot…

Data Structures and Algorithms · Computer Science 2015-11-10 Shayan Oveis Gharan , Alireza Rezaei

The first part of this report describes the following result that, logarithmic approximation factor for hard capacitated set cover can be achieved from Wolsey's work [9], using a simpler and more intuitive analysis. We further show in our…

Data Structures and Algorithms · Computer Science 2016-12-12 Rahil Sharma

Extended Han-Zhang codes are a class of linear codes where each code is either a non-generalized Reed-Solomon (non-GRS) maximum distance separable (MDS) code or a near MDS (NMDS) code. They have important applications in communication,…

Information Theory · Computer Science 2026-01-09 Yang Li , Zhenliang Lu , San Ling , Shixin Zhu , Kwok Yan Lam

This paper defines a general class of cooperative games for which the nucleolus is efficiently computable. This class includes new members for which the complexity of computing their nucleolus was not previously known. We show that when the…

Computer Science and Game Theory · Computer Science 2020-10-01 Jochen Koenemann , Justin Toth

We develop value iteration-based algorithms to solve in a unified manner different classes of combinatorial zero-sum games with mean-payoff type rewards. These algorithms rely on an oracle, evaluating the dynamic programming operator up to…

Computer Science and Game Theory · Computer Science 2024-11-12 Xavier Allamigeon , Stéphane Gaubert , Ricardo D. Katz , Mateusz Skomra

We show that every language in NP has a PCP verifier that tosses $O(\log n)$ random coins, has perfect completeness, and a soundness error of at most $1/\text{poly}(n)$, while making at most $O(\text{poly}\log\log n)$ queries into a proof…

Computational Complexity · Computer Science 2018-10-09 Irit Dinur , Prahladh Harsha , Guy Kindler

This paper extends and generalizes the well-known cut-matching game framework and provides a novel cut-strategy that produces constant-hop expanders. Constant-hop expanders are a significant strengthening of regular expanders with the…

Data Structures and Algorithms · Computer Science 2024-10-29 Bernhard Haeupler , Jonas Huebotter , Mohsen Ghaffari

In this paper, we resolve the computational complexity of a number of outstanding open problems with practical applications. Here is the list of problems we show to be PPAD-complete, along with the domains of practical significance:…

Computational Complexity · Computer Science 2009-04-10 Shiva Kintali , Laura J. Poplawski , Rajmohan Rajaraman , Ravi Sundaram , Shang-Hua Teng

For matrix games we study how small nonzero probability must be used in optimal strategies. We show that for nxn win-lose-draw games (i.e. (-1,0,1) matrix games) nonzero probabilities smaller than n^{-O(n)} are never needed. We also…

Discrete Mathematics · Computer Science 2012-06-12 Kristoffer Arnsfelt Hansen , Rasmus Ibsen-Jensen , Vladimir V. Podolskii , Elias Tsigaridas

Recently it has been proven that simple GP systems can efficiently evolve a conjunction of $n$ variables if they are equipped with the minimal required components. In this paper, we make a considerable step forward by analysing the…

Neural and Evolutionary Computing · Computer Science 2023-10-09 Benjamin Doerr , Andrei Lissovoi , Pietro S. Oliveto

The vertex cover problem is one of the most important and intensively studied combinatorial optimization problems. Khot and Regev (2003) proved that the problem is NP-hard to approximate within a factor $2 - \epsilon$, assuming the Unique…

Computational Complexity · Computer Science 2015-11-30 Abbas Bazzi , Samuel Fiorini , Sebastian Pokutta , Ola Svensson

Compiling Bell games under cryptographic assumptions replaces the need for physical separation, allowing nonlocality to be probed with a single untrusted device. While Kalai et al. (STOC'23) showed that this compilation preserves quantum…

Effective resistances are ubiquitous in graph algorithms and network analysis. In this work, we study sublinear time algorithms to approximate the effective resistance of an adjacent pair $s$ and $t$. We consider the classical adjacency…

Data Structures and Algorithms · Computer Science 2023-07-06 Dongrun Cai , Xue Chen , Pan Peng

Despite there being significant work on developing spectral, and metric embedding based approximation algorithms for hypergraph generalizations of conductance, little is known regarding the approximability of hypergraph partitioning…

Data Structures and Algorithms · Computer Science 2023-07-27 Antares Chen , Lorenzo Orecchia , Erasmo Tani

Calculating the diameter of an undirected graph requires quadratic running time under the Strong Exponential Time Hypothesis and this barrier works even against any approximation better than 3/2. For planar graphs with positive edge…

Data Structures and Algorithms · Computer Science 2025-07-08 Michał Włodarczyk

We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary outcomes. We introduce a ``constraint graph" associated to…