Skip to main content

2016 | OriginalPaper | Buchkapitel

Public vs. Private Randomness in Simultaneous Multi-party Communication Complexity

verfasst von : Orr Fischer, Rotem Oshman, Uri Zwick

Erschienen in: Structural Information and Communication Complexity

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In simultaneous number-in-hand multi-party communication protocols, we have k players, who each receive a private input, and wish to compute a joint function of their inputs. The players simultaneously each send a single message to a referee, who then outputs the value of the function. The cost of the protocol is the total number of bits sent to the referee.
For two players, it is known that giving the players a public (shared) random string is much more useful than private randomness: public-coin protocols can be unboundedly better than deterministic protocols, while private-coin protocols can only give a quadratic improvement on deterministic protocols.
We extend the two-player gap to multiple players, and show that the private-coin communication complexity of a k-player function f is at least \(\varOmega (\sqrt{D(f)})\) for any \(k \ge 2\). Perhaps surprisingly, this bound is tight: although one might expect the gap between private-coin and deterministic protocols to grow with the number of players, we show that the All-Equality function, where each player receives n bits of input and the players must determine if their inputs are all the same, can be solved by a private-coin protocol with \(\tilde{O}(\sqrt{nk}+k)\) bits. Since All-Equality has deterministic complexity \(\varTheta (nk)\), this shows that sometimes the gap scales only as the square root of the number of players, and consequently the number of bits each player needs to send actually decreases as the number of players increases. We also consider the Exists-Equality function, where we ask whether there is a pair of players that received the same input, and prove a nearly-tight bound of \(\tilde{\varTheta }(k \sqrt{n})\) for it.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
We consider the number-in-hand model, where each player receives a private input, rather than the perhaps more familiar number-on-forehead model, where each player can see the input of all the other players but not its own.
 
2
Another reasonable definition for randomized protocols is to take the maximum over all inputs of the expected total number of bits sent. For two players this is asymptotically equivalent to the definition above [13]. For \(k > 2\) players, the expectation may be smaller than the maximum by a factor of \(\log (k)\).
 
3
The theorem in [14] gives a general construction for any distance up to 1 / 2; here we use distance 1 / 6.
 
Literatur
1.
Zurück zum Zitat Ahn, K.J., Guha, S., McGregor, A.: Graph sketches: sparsification, spanners, and subgraphs. In: Proceedings of the 31st Symposium on Principles of Database Systems, PODS 2012, pp. 5–14 (2012) Ahn, K.J., Guha, S., McGregor, A.: Graph sketches: sparsification, spanners, and subgraphs. In: Proceedings of the 31st Symposium on Principles of Database Systems, PODS 2012, pp. 5–14 (2012)
3.
Zurück zum Zitat Babai, L., Kimmel, P.G.: Randomized simultaneous messages: solution of a problem of yao in communication complexity. In: Proceedings of the 12th Annual IEEE Conference on Computational Complexity, CCC 1997, p. 239. IEEE Computer Society (1997) Babai, L., Kimmel, P.G.: Randomized simultaneous messages: solution of a problem of yao in communication complexity. In: Proceedings of the 12th Annual IEEE Conference on Computational Complexity, CCC 1997, p. 239. IEEE Computer Society (1997)
4.
Zurück zum Zitat Babai, L., Gál, A., Kimmel, P.G., Lokam, S.V.: Communication complexity of simultaneous messages. SIAM J. Comput. 33(1), 137–166 (2004)MathSciNetCrossRefMATH Babai, L., Gál, A., Kimmel, P.G., Lokam, S.V.: Communication complexity of simultaneous messages. SIAM J. Comput. 33(1), 137–166 (2004)MathSciNetCrossRefMATH
5.
Zurück zum Zitat Becker, F., Matamala, M., Nisse, N., Rapaport, I., Suchan, K., Todinca, I.: Adding a referee to an interconnection network: what can(not) be computed in one round. In: 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, pp. 508–514 (2011) Becker, F., Matamala, M., Nisse, N., Rapaport, I., Suchan, K., Todinca, I.: Adding a referee to an interconnection network: what can(not) be computed in one round. In: 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, pp. 508–514 (2011)
6.
Zurück zum Zitat Becker, F., Montealegre, P., Rapaport, I., Todinca, I.: The simultaneous number-in-hand communication model for networks: private coins, public coins and determinism. In: Halldórsson, M.M. (ed.) SIROCCO 2014. LNCS, vol. 8576, pp. 83–95. Springer, Heidelberg (2014). doi:10.1007/978-3-319-09620-9_8 Becker, F., Montealegre, P., Rapaport, I., Todinca, I.: The simultaneous number-in-hand communication model for networks: private coins, public coins and determinism. In: Halldórsson, M.M. (ed.) SIROCCO 2014. LNCS, vol. 8576, pp. 83–95. Springer, Heidelberg (2014). doi:10.​1007/​978-3-319-09620-9_​8
7.
Zurück zum Zitat Bourgain, J., Wigderson, A.: Personal communication (see [3]) Bourgain, J., Wigderson, A.: Personal communication (see [3])
8.
Zurück zum Zitat Chakrabarti, A., Shi, Y., Wirth, A., Yao, A.: Informational complexity and the direct sum problem for simultaneous message complexity. In: Proceedings of the Fourty-Second Annual Symposium on Foundations of Computer Science, FOCS 2001, pp. 270–278 (2001) Chakrabarti, A., Shi, Y., Wirth, A., Yao, A.: Informational complexity and the direct sum problem for simultaneous message complexity. In: Proceedings of the Fourty-Second Annual Symposium on Foundations of Computer Science, FOCS 2001, pp. 270–278 (2001)
9.
Zurück zum Zitat Chandra, A.K., Furst, M.L., Lipton, R.J.: Multi-party protocols. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, STOC 1983, pp. 94–99 (1983) Chandra, A.K., Furst, M.L., Lipton, R.J.: Multi-party protocols. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, STOC 1983, pp. 94–99 (1983)
10.
Zurück zum Zitat Chattopadhyay, A., Radhakrishnan, J., Rudra, A.: Topology matters in communication. In: 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, Philadelphia, PA, USA, 18–21 October 2014, pp. 631–640 (2014) Chattopadhyay, A., Radhakrishnan, J., Rudra, A.: Topology matters in communication. In: 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, Philadelphia, PA, USA, 18–21 October 2014, pp. 631–640 (2014)
11.
Zurück zum Zitat Jain, R., Klauck, H.: New results in the simultaneous message passing model via information theoretic techniques. In: Proceedings of the Twenty-Fourth Annual IEEE Conference on Computational Complexity, CCC 2009, pp. 369–378 (2009) Jain, R., Klauck, H.: New results in the simultaneous message passing model via information theoretic techniques. In: Proceedings of the Twenty-Fourth Annual IEEE Conference on Computational Complexity, CCC 2009, pp. 369–378 (2009)
12.
Zurück zum Zitat Kremer, I., Nisan, N., Ron, D.: On randomized one-round communication complexity. In: Proceedings of the Twenty-seventh Annual ACM Symposium on Theory of Computing, STOC 1995, pp. 596–605 (1995) Kremer, I., Nisan, N., Ron, D.: On randomized one-round communication complexity. In: Proceedings of the Twenty-seventh Annual ACM Symposium on Theory of Computing, STOC 1995, pp. 596–605 (1995)
13.
Zurück zum Zitat Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, Cambridge (1997)CrossRefMATH Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, Cambridge (1997)CrossRefMATH
14.
Zurück zum Zitat MacWilliams, F.J., Sloane, N.J.A.: The Theory of Error Correcting Codes. North-Halland, Amsterdam (1981)MATH MacWilliams, F.J., Sloane, N.J.A.: The Theory of Error Correcting Codes. North-Halland, Amsterdam (1981)MATH
16.
Zurück zum Zitat Newman, I., Szegedy, M.: Public vs. private coin flips in one round communication games (extended abstract). In: Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, STOC 1996, pp. 561–570 (1996) Newman, I., Szegedy, M.: Public vs. private coin flips in one round communication games (extended abstract). In: Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, STOC 1996, pp. 561–570 (1996)
17.
Zurück zum Zitat Weinstein, O., Woodruff, D.P.: The simultaneous communication of disjointness with applications to data streams. In: Halldórsson, M.M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) ICALP 2015. LNCS, vol. 9134, pp. 1082–1093. Springer, Heidelberg (2015). doi:10.1007/978-3-662-47672-7_88 Weinstein, O., Woodruff, D.P.: The simultaneous communication of disjointness with applications to data streams. In: Halldórsson, M.M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) ICALP 2015. LNCS, vol. 9134, pp. 1082–1093. Springer, Heidelberg (2015). doi:10.​1007/​978-3-662-47672-7_​88
18.
Zurück zum Zitat Yao, A.C.-C.: Some complexity questions related to distributive computing (preliminary report). In: Proceedings of the Eleventh Annual ACM Symposium on Theory of Computing, STOC 1979, pp. 209–213 (1979) Yao, A.C.-C.: Some complexity questions related to distributive computing (preliminary report). In: Proceedings of the Eleventh Annual ACM Symposium on Theory of Computing, STOC 1979, pp. 209–213 (1979)
Metadaten
Titel
Public vs. Private Randomness in Simultaneous Multi-party Communication Complexity
verfasst von
Orr Fischer
Rotem Oshman
Uri Zwick
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-48314-6_5

Premium Partner