English
Related papers

Related papers: Hardness Amplification via Group Theory

200 papers

A random 2-cell embedding of a connected graph $G$ in some orientable surface is obtained by choosing a random local rotation around each vertex. Under this setup, the number of faces or the genus of the corresponding 2-cell embedding…

Combinatorics · Mathematics 2025-04-11 Jesse Campion Loth , Kevin Halasz , Tomáš Masařík , Bojan Mohar , Robert Šámal

The problem of subgraph counting asks for the number of occurrences of a pattern graph $H$ as a subgraph of a host graph $G$ and is known to be computationally challenging: it is $\#W[1]$-hard even when $H$ is restricted to simple…

Data Structures and Algorithms · Computer Science 2026-03-27 Christine Awofeso , Patrick Greaves , Oded Lachish , Felix Reidl

A number of recent papers -- e.g. Brandt et al. (STOC 2016), Chang et al. (FOCS 2016), Ghaffari & Su (SODA 2017), Brandt et al. (PODC 2017), and Chang & Pettie (FOCS 2017) -- have advanced our understanding of one of the most fundamental…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-06 Alkida Balliu , Juho Hirvonen , Janne H. Korhonen , Tuomo Lempiäinen , Dennis Olivetti , Jukka Suomela

We study the fine-grained complexity of evaluating Boolean Conjunctive Queries and their generalization to sum-of-product problems over an arbitrary semiring. For these problems, we present a general semiring-oblivious reduction from the…

Databases · Computer Science 2023-05-11 Austen Z. Fan , Paraschos Koutris , Hangdong Zhao

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

NP-complete problems should be hard on some instances but those may be extremely rare. On generic instances many such problems, especially related to random graphs, have been proven easy. We show the intractability of random instances of a…

Computational Complexity · Computer Science 2018-10-25 Leonid A. Levin , Ramarathnam Venkatesan

Clique counts reveal important properties about the structure of massive graphs, especially social networks. The simple setting of just 3-cliques (triangles) has received much attention from the research community. For larger cliques (even,…

Social and Information Networks · Computer Science 2018-08-29 Shweta Jain , C. Seshadhri

In the graph clustering problem with a planted solution, the input is a graph on $n$ vertices partitioned into $k$ clusters, and the task is to infer the clusters from graph structure. A standard assumption is that clusters induce…

Data Structures and Algorithms · Computer Science 2025-11-24 Hendrik Fichtenberger , Michael Kapralov , Ekaterina Kochetkova , Silvio Lattanzi , Davide Mazzali , Weronika Wrzos-Kaminska

We study a Faulty Congested Clique model, in which an adversary may fail nodes in the network throughout the computation. We show that any task of $O(n\log{n})$-bit input per node can be solved in roughly $n$ rounds, where $n$ is the size…

Data Structures and Algorithms · Computer Science 2025-09-10 Keren Censor-Hillel , Pedro Soto

Grouping the nodes of a graph into clusters is a standard technique for studying networks. We study a problem where we are given a directed network and are asked to partition the graph into a sequence of coherent groups. We assume that…

Social and Information Networks · Computer Science 2025-12-08 Iiro Kumpulainen , Nikolaj Tatti

We consider parameterised subgraph-counting problems of the following form: given a graph G, how many k-tuples of its vertices have a given property? A number of such problems are known to be #W[1]-complete; here we substantially generalise…

Computational Complexity · Computer Science 2014-09-26 Mark Jerrum , Kitty Meeks

Group testing is a well-known search problem that consists in detecting of $s$ defective members of a set of $t$ samples by carrying out tests on properly chosen subsets of samples. In classical group testing the goal is to find all…

Information Theory · Computer Science 2019-05-01 Ilya Vorobyev

We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…

Number Theory · Mathematics 2026-02-20 Koen de Boer , Alice Pellet-Mary , Benjamin Wesolowski

A solution to a problem of Erd\H{o}s, Rubin and Taylor is obtained by showing that if a graph $G$ is $(a:b)$-choosable, and $c/d > a/b$, then $G$ is not necessarily $(c:d)$-choosable. The simplest case of another problem, stated by the same…

Discrete Mathematics · Computer Science 2008-02-18 Shai Gutner

In the group-testing literature, efficient algorithms have been developed to minimize the number of tests required to identify all minimal "defective" sub-groups embedded within a larger group, using deterministic group splitting with a…

Discrete Mathematics · Computer Science 2020-10-20 Laurence A. Clarfeld , Margaret J. Eppstein

Understanding the role of randomness when solving locally checkable labeling (LCL) problems in the LOCAL model has been one of the top priorities in the research on distributed graph algorithms in recent years. For LCL problems in…

Data Structures and Algorithms · Computer Science 2025-10-27 Sebastian Brandt , Fabian Kuhn , Zahra Parsaeian

In network analysis and graph mining, closeness centrality is a popular measure to infer the importance of a vertex. Computing closeness efficiently for individual vertices received considerable attention. The NP-hard problem of group…

Data Structures and Algorithms · Computer Science 2019-11-11 Eugenio Angriman , Alexander van der Grinten , Henning Meyerhenke

Many graph problems are locally checkable: a solution is globally feasible if it looks valid in all constant-radius neighborhoods. This idea is formalized in the concept of locally checkable labelings (LCLs), introduced by Naor and…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-12 Alkida Balliu , Juho Hirvonen , Christoph Lenzen , Dennis Olivetti , Jukka Suomela

In the $k$-cut problem, we want to find the lowest-weight set of edges whose deletion breaks a given (multi)graph into $k$ connected components. Algorithms of Karger \& Stein can solve this in roughly $O(n^{2k})$ time. On the other hand,…

Data Structures and Algorithms · Computer Science 2023-10-13 Anupam Gupta , David G. Harris , Euiwoong Lee , Jason Li

We study the computational complexity of estimating local observables for Gibbs distributions. A simple combinatorial example is the average size of an independent set in a graph. In a recent work, we established NP-hardness of…

Computational Complexity · Computer Science 2022-06-24 Andreas Galanis , Daniel Stefankovic , Eric Vigoda