A4 Refereed article in a conference publication

Distributed Testing of Excluded Subgraphs




AuthorsPierre Fraigniaud, Ivan Rapaport, Ville Salo, Ioan Todinca

EditorsGavoille C., Ilcinkas D

Conference nameInternational Symposium on Distributed Computing

Publishing placeBerlin, Heidelberg

Publication year2016

Book title Distributed Computing. DISC 2016

Series titleLecture Notes in Computer Science

First page 342

Last page356

ISBN978-3-662-53425-0

eISBN978-3-662-53426-7

DOIhttps://doi.org/10.1007/978-3-662-53426-7_25

Web address http://link.springer.com/chapter/10.1007/978-3-662-53426-7_25

Self-archived copy’s web addresshttps://arxiv.org/abs/1605.03719


Abstract

We study property testing in the context of distributed computing, under the classical CONGEST model. It is known that testing whether a graph is triangle-free can be done in a constant number of rounds, where the constant depends on how far the input graph is from being triangle-free. We show that, for every connected 4-node graph H, testing whether a graph is H-free can be done in a constant number of rounds too. The constant also depends on how far the input graph is from being H-free, and the dependence is identical to the one in the case of testing triangle-freeness. Hence, in particular, testing whether a graph is K4-free, and testing whether a graph is C4-free can be done in a constant number of rounds (where Kk denotes the k-node clique, and Ck denotes the k-node cycle). On the other hand, we show that testing Kk-freeness and Ck-freeness for k≥5 appear to be much harder. Specifically, we investigate two natural types of generic algorithms for testing H-freeness, called DFS tester and BFS tester. The latter captures the previously known algorithm to test the presence of triangles, while the former captures our generic algorithm to test the presence of a 4-node graph pattern H. We prove that both DFS and BFS testers fail to test Kk-freeness and Ck-freeness in a constant number of rounds for k≥5.


Downloadable publication

This is an electronic reprint of the original article.
This reprint may differ from the original in pagination and typographic detail. Please cite the original version.





Last updated on 2024-26-11 at 21:55