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.

The Complexity of Kings

From Donkeys to Kings in Tournaments

A King in every two consecutive tournaments

On the communication complexity of finding a king in a tournament

Randomized and quantum query complexities of finding a king in a tournament

Kings and Kernels in Semicomplete Compositions

Domination by kings is oddly even

Kings and serfs in oriented graphs

Fine-Grained Complexity of Multiple Domination and Dominating Patterns in Sparse Graphs

Chickens and Dukes

Query Complexity of Tournament Solutions

A new connectivity bound for a tournament to be highly linked

More on the complexity of defensive domination in graphs

Heroes in oriented complete multipartite graphs

Tournament completions of bipartite tournaments and their augmented directed cycles

Tournament transitivity of graphs

Common Kings of a Chain of Cycles in a Strong Tournament

Isomorphism for Tournaments of Small Twin Width

On determinants of tournaments and $\mathcal{D}_k$

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