Abstract:The class of graphs that do not contain a path on $k$ nodes as an induced subgraph ($P_k$-free graphs) has rich applications in the theory of graph algorithms. This paper explores the problem of deciding $P_k$-freeness from the viewpoint of distributed computing. For specific small values of $k$, we present the \textit{first} $\mathsf{CONGEST}$ algorithms specified for $P_k$-freeness, utilizing structural properties of $P_k$-free graphs in a novel way. Specifically, we show that $P_k$-freeness can be decided in $\tilde{O}(1)$ rounds for $k=4$ in the $\mathsf{broadcast\;CONGEST}$ model, and in $\tilde{O}(n)$ rounds for $k=5$ in the $\mathsf{CONGEST}$ model, where $n$ is the number of nodes in the network and $\tilde{O}(\cdot)$ hides a $\mathrm{polylog}(n)$ factor. These results significantly improve the previous $O(n^{2-2/(3k+2)})$ upper bounds by Eden et al. (Dist.~Comp.~2022). We also construct a local certification of $P_5$-freeness with certificates of size $\tilde{O}(n)$. This is nearly optimal, given our $\Omega(n^{1-o(1)})$ lower bound on certificate size, and marks a significant advancement as no nontrivial bounds for proof-labeling schemes of $P_5$-freeness were previously known. For general $k$, we establish the first $\mathsf{CONGEST}$ lower bound, which is of the form $n^{2-1/\Theta(k)}$. The $n^{1/\Theta(k)}$ factor is unavoidable, in view of the $O(n^{2-2/(3k+2)})$ upper bound mentioned above. Additionally, our approach yields the \textit{first} superlinear lower bound on certificate size for local certification. This partially answers the conjecture on the optimal certificate size of $P_k$-freeness, asked by Bousquet et al. (<a class="link-https" data-arxiv-id="2402.12148" href="https://arxiv.org/abs/2402.12148">arXiv:2402.12148</a>). Finally, we propose a novel variant of the problem called ordered $P_k$ detection, and show a linear lower bound and its nontrivial connection to distributed subgraph detection.

Even-Cycle Detection in the Randomized and Quantum CONGEST Model

On the Power of Threshold-Based Algorithms for Detecting Cycles in the CONGEST Model

Faster Cycle Detection in the Congested Clique

Distributed Complexity of $P_k$-freeness: Decision and Certification

Superfast Coloring in CONGEST via Efficient Color Sampling

Deterministic near-optimal distributed listing of cliques

Distributed Deterministic Exact Minimum Weight Cycle and Multi Source Shortest Paths in Near Linear Rounds in CONGEST model

Fast Coloring Despite Congested Relays

Towards singular optimality in the presence of local initial knowledge

Sublinear-Time Quantum Computation of the Diameter in CONGEST Networks

Triangle Finding and Listing in CONGEST Networks

Minimum Cost Flow in the CONGEST Model

Sublinear-time Sampling of Spanning Trees in the Congested Clique

Distributed CONGEST Algorithm for Finding Hamiltonian Paths in Dirac Graphs and Generalizations

Information Percolation and Cutoff for the Random-Cluster Model

Testing $C_k$-freeness in bounded-arboricity graphs

Efficient Distributed Decomposition and Routing Algorithms in Minor-Free Networks and Their Applications

Non-Stochastic CDF Estimation Using Threshold Queries

Low-degree phase transitions for detecting a planted clique in sublinear time

Quantum Complexity of Weighted Diameter and Radius in CONGEST Networks