Abstract:We employ techniques from group theory to show that, in many cases, counting problems on graphs are almost as hard to solve in a small number of instances as they are in all instances. Specifically, we show the following results. 1. Goldreich (2020) asks if, for every constant $\delta < 1 / 2$, there is an $\tilde{O} \left( n^2 \right)$-time randomized reduction from computing the number of $k$-cliques modulo $2$ with a success probability of greater than $2 / 3$ to computing the number of $k$-cliques modulo $2$ with an error probability of at most $\delta$. In this work, we show that for almost all choices of the $\delta 2^{n \choose 2}$ corrupt answers within the average-case solver, we have a reduction taking $\tilde{O} \left( n^2 \right)$-time and tolerating an error probability of $\delta$ in the average-case solver for any constant $\delta < 1 / 2$. By "almost all", we mean that if we choose, with equal probability, any subset $S \subset \{0,1\}^{n \choose 2}$ with $|S| = \delta2^{n \choose 2}$, then with a probability of $1-2^{-\Omega \left( n^2 \right)}$, we can use an average-case solver corrupt on $S$ to obtain a probabilistic algorithm. 2. Inspired by the work of Goldreich and Rothblum in FOCS 2018 to take the weighted versions of the graph counting problems, we prove that if the RETH is true, then for a prime $p = \Theta \left( 2^n \right)$, the problem of counting the number of unique Hamiltonian cycles modulo $p$ on $n$-vertex directed multigraphs and the problem of counting the number of unique half-cliques modulo $p$ on $n$-vertex undirected multigraphs, both require exponential time to compute correctly on even a $1 / 2^{n/\log n}$-fraction of instances. Meanwhile, simply printing $0$ on all inputs is correct on at least a $\Omega \left( 1 / 2^n \right)$-fraction of instances.

Strong cliques in diamond-free graphs

Bisimplicial separators

On graphs without a C4 or a diamond

Efficient maximal cliques enumeration in weakly closed graphs

Fairness-aware Maximal Clique in Large Graphs: Concepts and Algorithms

Mining Large Quasi-cliques with Quality Guarantees from Vertex Neighborhoods

Clique-cutsets beyond chordal graphs

Finding Cliques in Social Networks: A New Distribution-Free Model

Structure of (bull, diamond)-free graphs and its applications

Bounds on the Clique and the Independence Number for Certain Classes of Graphs

Maximal Defective Clique Enumeration

Infinite Cliques in Simple and Stable Graphs

Hard Optimization Problems have Soft Edges

Deterministic near-optimal distributed listing of cliques

On three domination-based identification problems in block graphs

Counting Subgraphs in Somewhere Dense Graphs

Hardness Amplification via Group Theory

Minimal separators in graph classes defined by small forbidden induced subgraphs

Efficient Maximum Fair Clique Search over Large Networks

Maximal Cliques in Scale-Free Random Graphs