Skip to main content

2018 | OriginalPaper | Buchkapitel

Two Rounds Are Enough for Reconstructing Any Graph (Class) in the Congested Clique Model

verfasst von : Pedro Montealegre, Sebastian Perez-Salazar, Ivan Rapaport, Ioan Todinca

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 this paper we study the reconstruction problem in the congested clique model. In the reconstruction problem nodes are asked to recover all the edges of the input graph G. Formally, given a class of graphs \(\mathcal G\), the problem is defined as follows: if \(G \notin {\mathcal G}\), then every node must reject; on the other hand, if \(G \in {\mathcal G}\), then every node must end up knowing all the edges of G. It is not difficult to see that the cost Rb of any algorithm that solves this problem (even with public coins) is at least \(\varOmega (\log |{\mathcal {G}}_n|/n)\), where \({\mathcal {G}}_n\) is the subclass of all n-node labeled graphs in \(\mathcal G\), R is the number of rounds and b is the bandwidth.
We prove here that the lower bound above is in fact tight and that it is possible to achieve it with only \(R=2\) rounds and private coins. More precisely, we exhibit (i) a one-round algorithm that achieves this bound for hereditary graph classes; and (ii) a two-round algorithm that achieves this bound for arbitrary graph classes. Later, we show that the bound \(\varOmega (\log |{\mathcal {G}}_n|/n)\) cannot be achieved in one round for arbitrary graph classes, and we give tight algorithms for that case.
From (i) we recover all known results concerning the reconstruction of graph classes in one round and bandwidth \(\mathcal {O}(\log n)\): forests, planar graphs, cographs, etc. But we also get new one-round algorithms for other hereditary graph classes such as unit-disc graphs, interval graphs, etc. From (ii), we can conclude that any problem restricted to a class of graphs of size \(2^{\mathcal {O}(n\log n)}\) can be solved in the congested clique model in two rounds, with bandwidth \(\mathcal {O}(\log n)\). Moreover, our general two-round algorithm is valid for any set of labeled graphs, not only for graph classes.

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!

Literatur
1.
Zurück zum Zitat Beame, P., Koutris, P., Suciu, D.: Communication steps for parallel query processing. J. ACM 64(6), Article 40 (2017) Beame, P., Koutris, P., Suciu, D.: Communication steps for parallel query processing. J. ACM 64(6), Article 40 (2017)
2.
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: 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: IPDPS 2011, pp. 508–514 (2011)
3.
Zurück zum Zitat Brandstädt, A., Le, V.B., Spinrad, J.P.: Graph Classes: A Survey. SIAM, Philadelphia (1999)CrossRef Brandstädt, A., Le, V.B., Spinrad, J.P.: Graph Classes: A Survey. SIAM, Philadelphia (1999)CrossRef
4.
Zurück zum Zitat Censor-Hillel, K., Kaski, P., Korhonen, J. H., Lenzen, C., Paz, A., Suomela, J.: Algebraic methods in the congested clique. In: PODC 2015, pp. 143–152 (2015) Censor-Hillel, K., Kaski, P., Korhonen, J. H., Lenzen, C., Paz, A., Suomela, J.: Algebraic methods in the congested clique. In: PODC 2015, pp. 143–152 (2015)
5.
Zurück zum Zitat Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51(1), 107–113 (2008)CrossRef Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51(1), 107–113 (2008)CrossRef
6.
Zurück zum Zitat Drucker, A., Kuhn, F., Oshman, R.: On the power of the congested clique model. In: PODC 2014, pp. 367–376 (2014) Drucker, A., Kuhn, F., Oshman, R.: On the power of the congested clique model. In: PODC 2014, pp. 367–376 (2014)
7.
Zurück zum Zitat Garey, M.R., Johnson, D.S.: Computers and Intractability. W H Freeman, New York (2002) Garey, M.R., Johnson, D.S.: Computers and Intractability. W H Freeman, New York (2002)
8.
Zurück zum Zitat Ghaffari, M.: An improved distributed algorithm for maximal independent set. In: SODA 2016, pp. 270–277 (2016) Ghaffari, M.: An improved distributed algorithm for maximal independent set. In: SODA 2016, pp. 270–277 (2016)
9.
Zurück zum Zitat Ghaffari, M., Parter, M.: MST in log-star rounds of congested clique. In: PODC 2016, pp. 19–28 (2016) Ghaffari, M., Parter, M.: MST in log-star rounds of congested clique. In: PODC 2016, pp. 19–28 (2016)
10.
Zurück zum Zitat Ghaffari, M.: Distributed MIS via all-to-all communication. In: PODC 2017, pp. 141–149 (2017) Ghaffari, M.: Distributed MIS via all-to-all communication. In: PODC 2017, pp. 141–149 (2017)
11.
Zurück zum Zitat Hegeman, J.W., Pandurangan, G., Pemmaraju, S.V., Sardeshmukh, V., Scquizzato, M.: Toward optimal bounds in the congested clique: graph connectivity and MST. In: PODC 2015, pp. 91–100 (2015) Hegeman, J.W., Pandurangan, G., Pemmaraju, S.V., Sardeshmukh, V., Scquizzato, M.: Toward optimal bounds in the congested clique: graph connectivity and MST. In: PODC 2015, pp. 91–100 (2015)
12.
Zurück zum Zitat Hegeman, J.W., Pemmaraju, S.V.: Lessons from the congested clique applied to MapReduce. In: SIROCCO 2014, pp. 149–164 (2014) Hegeman, J.W., Pemmaraju, S.V.: Lessons from the congested clique applied to MapReduce. In: SIROCCO 2014, pp. 149–164 (2014)
14.
Zurück zum Zitat Jurdzinski, T., Nowicki, K.: MST in O(1) rounds of the congested clique. In: SODA 2018, pp. 2620–2632 (2018) Jurdzinski, T., Nowicki, K.: MST in O(1) rounds of the congested clique. In: SODA 2018, pp. 2620–2632 (2018)
16.
Zurück zum Zitat Karloff, H., Suri, S., Vassilvitskii, S.: A model of computation for MapReduce. In: SODA 2010, pp. 938–948 (2010)CrossRef Karloff, H., Suri, S., Vassilvitskii, S.: A model of computation for MapReduce. In: SODA 2010, pp. 938–948 (2010)CrossRef
17.
Zurück zum Zitat Klauck, H., Nanongkai, D., Pandurangan, G., Robinson, P.: Distributed computation of large-scale graph problems. In: SODA 2015, pp. 391–410 (2015) Klauck, H., Nanongkai, D., Pandurangan, G., Robinson, P.: Distributed computation of large-scale graph problems. In: SODA 2015, pp. 391–410 (2015)
18.
Zurück zum Zitat Lenzen, C.: Optimal deterministic routing and sorting on the congested clique. In: PODC 2013, pp. 42–50 (2013) Lenzen, C.: Optimal deterministic routing and sorting on the congested clique. In: PODC 2013, pp. 42–50 (2013)
19.
Zurück zum Zitat Lidl, R., Niederreiter, H.: Introduction to Finite Fields and Their Applications. Cambridge University Press, Cambridge (1994)CrossRef Lidl, R., Niederreiter, H.: Introduction to Finite Fields and Their Applications. Cambridge University Press, Cambridge (1994)CrossRef
20.
Zurück zum Zitat Lotker, Z., Patt-Shamir, B., Pavlov, E., Peleg, D.: Minimum-weight spanning tree construction in O (\(\log \log n\)) communication rounds. SIAM J. Comput. 35(1), 120–131 (2005)MathSciNetCrossRef Lotker, Z., Patt-Shamir, B., Pavlov, E., Peleg, D.: Minimum-weight spanning tree construction in O (\(\log \log n\)) communication rounds. SIAM J. Comput. 35(1), 120–131 (2005)MathSciNetCrossRef
21.
Zurück zum Zitat Malewicz, G., et al.: Pregel: a system for large-scale graph processing. In: SIGMOD 2010, pp. 135–146 (2010) Malewicz, G., et al.: Pregel: a system for large-scale graph processing. In: SIGMOD 2010, pp. 135–146 (2010)
22.
Zurück zum Zitat Montealegre, P., Todinca, I.: Brief announcement: deterministic graph connectivity in the broadcast congested clique. In: PODC 2016, pp. 245–247 (2016) Montealegre, P., Todinca, I.: Brief announcement: deterministic graph connectivity in the broadcast congested clique. In: PODC 2016, pp. 245–247 (2016)
23.
Zurück zum Zitat Reed, I.S., Solomon, G.: Polynomial codes over certain finite fields. J. Soc. Ind. Appl. Math. 8(2), 300–304 (1960)MathSciNetCrossRef Reed, I.S., Solomon, G.: Polynomial codes over certain finite fields. J. Soc. Ind. Appl. Math. 8(2), 300–304 (1960)MathSciNetCrossRef
24.
Zurück zum Zitat Scheinerman, E.R., Zito, J.: On the size of hereditary classes of graphs. J. Comb. Theory, Ser. B 61(1), 16–39 (1994)MathSciNetCrossRef Scheinerman, E.R., Zito, J.: On the size of hereditary classes of graphs. J. Comb. Theory, Ser. B 61(1), 16–39 (1994)MathSciNetCrossRef
25.
Zurück zum Zitat Schwartz, J.T.: Fast probabilistic algorithms for verification of polynomial identities. J. ACM 27(4), 701–717 (1980)MathSciNetCrossRef Schwartz, J.T.: Fast probabilistic algorithms for verification of polynomial identities. J. ACM 27(4), 701–717 (1980)MathSciNetCrossRef
26.
Zurück zum Zitat White, T.: Hadoop: The definitive guide. O’Reilly Media Inc., Sebastopol (2012) White, T.: Hadoop: The definitive guide. O’Reilly Media Inc., Sebastopol (2012)
Metadaten
Titel
Two Rounds Are Enough for Reconstructing Any Graph (Class) in the Congested Clique Model
verfasst von
Pedro Montealegre
Sebastian Perez-Salazar
Ivan Rapaport
Ioan Todinca
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-030-01325-7_15