TY - GEN

T1 - On the multiparty communication complexity of testing triangle-freeness

AU - Fischer, Orr

AU - Gershtein, Shay

AU - Oshman, Rotem

N1 - Publisher Copyright:
© 2017 Association for Computing Machinery.

PY - 2017/7/26

Y1 - 2017/7/26

N2 - In this paper we initiate the study of property testing in multi-party communication complexity, focusing on testing triangle-freeness in graphs. We consider the coordinator model, where we have k players receiving private inputs, and a coordinator who receives no input; the coordinator can communicate with all the players, but the players cannot communicate with each other. In this model, we ask: if an input graph is divided between the players, with each player receiving some of the edges, how many bits do the players and the coordinator need to exchange to determine if the graph is triangle-free, or far from triangle-free? We are especially interested in simultaneous communication protocols, where there is only one communication round. For general communication protocols,we show that Õ (k(nd)1/4+k2) bits are sufficient to test triangle-freeness in graphs of size n with average degree d. We also give a simultaneous protocol using Õ (k√n) bits when d = O(√n) and Õ(k(nd)1/3) when d = Ω(√n). We show that for average degree d = O(1), our simultaneous protocol is asymptotically optimal up to logarithmic factors. For higher degrees, we are not able to give lower bounds on testing triangle-freeness, but we give evidence that the problem is hard by showing that finding an edge that participates in a triangle is hard, even when promised that the graph is far from triangle-free.

AB - In this paper we initiate the study of property testing in multi-party communication complexity, focusing on testing triangle-freeness in graphs. We consider the coordinator model, where we have k players receiving private inputs, and a coordinator who receives no input; the coordinator can communicate with all the players, but the players cannot communicate with each other. In this model, we ask: if an input graph is divided between the players, with each player receiving some of the edges, how many bits do the players and the coordinator need to exchange to determine if the graph is triangle-free, or far from triangle-free? We are especially interested in simultaneous communication protocols, where there is only one communication round. For general communication protocols,we show that Õ (k(nd)1/4+k2) bits are sufficient to test triangle-freeness in graphs of size n with average degree d. We also give a simultaneous protocol using Õ (k√n) bits when d = O(√n) and Õ(k(nd)1/3) when d = Ω(√n). We show that for average degree d = O(1), our simultaneous protocol is asymptotically optimal up to logarithmic factors. For higher degrees, we are not able to give lower bounds on testing triangle-freeness, but we give evidence that the problem is hard by showing that finding an edge that participates in a triangle is hard, even when promised that the graph is far from triangle-free.

UR - http://www.scopus.com/inward/record.url?scp=85027856137&partnerID=8YFLogxK

U2 - 10.1145/3087801.3087821

DO - 10.1145/3087801.3087821

M3 - פרסום בספר כנס

AN - SCOPUS:85027856137

T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

SP - 111

EP - 120

BT - PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing

PB - Association for Computing Machinery

Y2 - 25 July 2017 through 27 July 2017

ER -