Weizmann Logo
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



TR21-157 | 2nd November 2021 21:37

The Complexity of Average-Case Dynamic Subgraph Counting


Authors: Monika Henzinger, Andrea Lincoln, Barna Saha
Publication: 14th November 2021 04:26
Downloads: 632


Statistics of small subgraph counts such as triangles, four-cycles, and $s$-$t$ paths of short lengths reveal important structural properties of the underlying graph. These problems have been widely studied in social network analysis. In most relevant applications, the graphs are not only massive but also change dynamically over time. Most of these problems become hard in the dynamic setting when considering the worst case. In this paper, we ask whether the question of small subgraph counting over dynamic graphs is hard also in the average case.

We consider the simplest possible average case model where the updates follow an \ErdRen~graph: each update selects a pair of vertices $(u,v)$ uniformly at random and flips the existence of the edge $(u,v)$.
We develop new lower bounds and matching algorithms in this model for counting four-cycles, counting triangles through a specified point $s$, or a random queried point, and $st$ paths of length $3$, $4$ and $5$. Our results indicate while computing $st$ paths of length $3$, and $4$ are easy in the average case with $O(1)$ update time (note that they are hard in the worst case), it becomes hard when considering $st$ paths of length $5$.

We introduce new techniques which allow us to get average-case hardness for these graph problems from the worst-case hardness of the Online Matrix vector problem (OMv). Our techniques rely on recent advances in fine-grained average-case complexity. Our techniques advance this literature, giving the ability to prove new lower bounds on average-case dynamic algorithms.

ISSN 1433-8092 | Imprint