Skip to main content

2017 | OriginalPaper | Buchkapitel

Fast Distributed Approximation for Max-Cut

verfasst von : Keren Censor-Hillel, Rina Levy, Hadas Shachnai

Erschienen in: Algorithms for Sensor Systems

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Finding a maximum cut is a fundamental task in many computational settings, with a central application in wireless networks. Surprisingly, Max-Cut has been insufficiently studied in the classic distributed settings, where vertices communicate by synchronously sending messages to their neighbors according to the underlying graph, known as the \(\mathcal {LOCAL}\) or \(\mathcal {CONGEST}\) models. We amend this by obtaining almost optimal algorithms for Max-Cut on a wide class of graphs in these models. In particular, for any \(\epsilon > 0\), we develop randomized approximation algorithms achieving a ratio of \((1-\varepsilon )\) to the optimum for Max-Cut on bipartite graphs in the \(\mathcal {CONGEST}\) model, and on general graphs in the \(\mathcal {LOCAL}\) model.
We further present efficient deterministic algorithms, including a 1/3-approximation for Max-Dicut in our models, thus improving the best known (randomized) ratio of 1/4. Our algorithms make non-trivial use of the greedy approach of Buchbinder et al. (SIAM Journal Computing 44:1384–1402, 2015) for maximizing an unconstrained (non-monotone) submodular function, which may be of independent interest.

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
Max-Cut naturally arises also in VLSI [9], statistical physics [4] and machine learning [47].
 
2
In Max-Dicut we seek the maximum size edge-set crossing from S to \(\bar{S}\).
 
3
Due to space constraints, some of the results are omitted. A detailed version of this paper can be found in [8].
 
4
This assumption is needed only for the \((\varDelta +1)\)-coloring algorithm [6] used in Sect. 4; it can be omitted (see [6]), increasing the running time by a constant factor.
 
5
Our algorithm can be viewed as one phase of the distributed algorithm presented by Elkin et al. in [12] with some necessary changes.
 
6
This can be done by running a BFS in parallel from all vertices. Each vertex propagates the information from the root with lowest id it knows so far, and joins its tree. Thus, at the end of the process, we have a BFS tree rooted at the vertex with the lowest id.
 
Literatur
2.
Zurück zum Zitat Åstrand, M., Suomela, J.: Fast distributed approximation algorithms for vertex cover and set cover in anonymous networks. In: Proceedings of the Twenty-Second Annual ACM Symposium on Parallelism in Algorithms and Architectures, pp. 294–302. ACM (2010) Åstrand, M., Suomela, J.: Fast distributed approximation algorithms for vertex cover and set cover in anonymous networks. In: Proceedings of the Twenty-Second Annual ACM Symposium on Parallelism in Algorithms and Architectures, pp. 294–302. ACM (2010)
3.
Zurück zum Zitat Bar-Yehuda, R., Censor-Hillel, K., Schwartzman, G.: A distributed (2+\(\epsilon \))-approximation for vertex cover in O(log\(\varDelta \)/\(\epsilon \) log log \(\varDelta \)) rounds. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, 25–28 July 2016, pp. 3–8 (2016) Bar-Yehuda, R., Censor-Hillel, K., Schwartzman, G.: A distributed (2+\(\epsilon \))-approximation for vertex cover in O(log\(\varDelta \)/\(\epsilon \) log log \(\varDelta \)) rounds. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, 25–28 July 2016, pp. 3–8 (2016)
4.
Zurück zum Zitat Barahona, F., Grötschel, M., Jünger, M., Reinelt, G.: An application of combinatorial optimization to statistical physics and circuit layout design. Oper. Res. 36(3), 493–513 (1988)CrossRefMATH Barahona, F., Grötschel, M., Jünger, M., Reinelt, G.: An application of combinatorial optimization to statistical physics and circuit layout design. Oper. Res. 36(3), 493–513 (1988)CrossRefMATH
6.
Zurück zum Zitat Barenboim, L.: Deterministic (\(\delta \)+ 1)-coloring in sublinear (in \(\delta \)) time in static, dynamic and faulty networks. In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, pp. 345–354. ACM (2015) Barenboim, L.: Deterministic (\(\delta \)+ 1)-coloring in sublinear (in \(\delta \)) time in static, dynamic and faulty networks. In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, pp. 345–354. ACM (2015)
7.
Zurück zum Zitat Buchbinder, N., Feldman, M., Naor, J., Schwartz, R.: A tight linear time (1/2)-approximation for unconstrained submodular maximization. SIAM J. Comput. 44(5), 1384–1402 (2015)MathSciNetCrossRefMATH Buchbinder, N., Feldman, M., Naor, J., Schwartz, R.: A tight linear time (1/2)-approximation for unconstrained submodular maximization. SIAM J. Comput. 44(5), 1384–1402 (2015)MathSciNetCrossRefMATH
9.
Zurück zum Zitat Chang, K., Du, D.C.: Efficient algorithms for layer assignment problem. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 6(1), 67–78 (1987)CrossRef Chang, K., Du, D.C.: Efficient algorithms for layer assignment problem. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 6(1), 67–78 (1987)CrossRef
10.
Zurück zum Zitat Chin, K.W., Soh, S., Meng, C.: Novel scheduling algorithms for concurrent transmit/receive wireless mesh networks. Comput. Netw. 56(4), 1200–1214 (2012)CrossRef Chin, K.W., Soh, S., Meng, C.: Novel scheduling algorithms for concurrent transmit/receive wireless mesh networks. Comput. Netw. 56(4), 1200–1214 (2012)CrossRef
11.
Zurück zum Zitat Elkin, M.: Distributed approximation: a survey. ACM SIGACT News 35(4), 40–57 (2004)CrossRef Elkin, M.: Distributed approximation: a survey. ACM SIGACT News 35(4), 40–57 (2004)CrossRef
12.
Zurück zum Zitat Elkin, M., Neiman, O.: Distributed strong diameter network decomposition. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, pp. 211–216. ACM (2016) Elkin, M., Neiman, O.: Distributed strong diameter network decomposition. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, pp. 211–216. ACM (2016)
13.
Zurück zum Zitat Elkin, M., Neiman, O.: Efficient algorithms for constructing very sparse spanners and emulators. In: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, 16–19 January, pp. 652–669 (2017) Elkin, M., Neiman, O.: Efficient algorithms for constructing very sparse spanners and emulators. In: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, 16–19 January, pp. 652–669 (2017)
14.
Zurück zum Zitat Feige, U., Mirrokni, V.S., Vondrák, J.: Maximizing non-monotone submodular functions. SIAM J. Comput. 40(4), 1133–1153 (2011)MathSciNetCrossRefMATH Feige, U., Mirrokni, V.S., Vondrák, J.: Maximizing non-monotone submodular functions. SIAM J. Comput. 40(4), 1133–1153 (2011)MathSciNetCrossRefMATH
15.
Zurück zum Zitat Garey, M.R., Johnson, D.S., Stockmeyer, L.: Some simplified NP-complete graph problems. Theoret. Comput. Sci. 1(3), 237–267 (1976)MathSciNetCrossRefMATH Garey, M.R., Johnson, D.S., Stockmeyer, L.: Some simplified NP-complete graph problems. Theoret. Comput. Sci. 1(3), 237–267 (1976)MathSciNetCrossRefMATH
17.
Zurück zum Zitat Goemans, M.X., Williamson, D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. ACM 42(6), 1115–1145 (1995)MathSciNetCrossRefMATH Goemans, M.X., Williamson, D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. ACM 42(6), 1115–1145 (1995)MathSciNetCrossRefMATH
18.
21.
Zurück zum Zitat Henzinger, M., Krinninger, S., Nanongkai, D.: A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. In: Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, pp. 489–498. ACM (2016) Henzinger, M., Krinninger, S., Nanongkai, D.: A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. In: Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, pp. 489–498. ACM (2016)
22.
Zurück zum Zitat Hirvonen, J., Rybicki, J., Schmid, S., Suomela, J.: Large cuts with local algorithms on triangle-free graphs. arXiv preprint arXiv:1402.2543 (2014) Hirvonen, J., Rybicki, J., Schmid, S., Suomela, J.: Large cuts with local algorithms on triangle-free graphs. arXiv preprint arXiv:​1402.​2543 (2014)
23.
Zurück zum Zitat Kale, S., Seshadhri, C.: Combinatorial approximation algorithms for maxcut using random walks. arXiv preprint arXiv:1008.3938 (2010) Kale, S., Seshadhri, C.: Combinatorial approximation algorithms for maxcut using random walks. arXiv preprint arXiv:​1008.​3938 (2010)
24.
Zurück zum Zitat Kapralov, M., Khanna, S., Sudan, M.: Streaming lower bounds for approximating max-cut. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1263–1282. SIAM (2015) Kapralov, M., Khanna, S., Sudan, M.: Streaming lower bounds for approximating max-cut. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1263–1282. SIAM (2015)
26.
Zurück zum Zitat Khot, S., Kindler, G., Mossel, E., O’Donnell, R.: Optimal inapproximability results for max-cut and other 2-variable CSPs? SIAM J. Comput. 37(1), 319–357 (2007)MathSciNetCrossRefMATH Khot, S., Kindler, G., Mossel, E., O’Donnell, R.: Optimal inapproximability results for max-cut and other 2-variable CSPs? SIAM J. Comput. 37(1), 319–357 (2007)MathSciNetCrossRefMATH
27.
Zurück zum Zitat Komurlu, C., Bilgic, M.: Active inference and dynamic Gaussian Bayesian networks for battery optimization in wireless sensor networks. In: AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA (2016) Komurlu, C., Bilgic, M.: Active inference and dynamic Gaussian Bayesian networks for battery optimization in wireless sensor networks. In: AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA (2016)
28.
Zurück zum Zitat Kuhn, F., Moscibroda, T.: Distributed approximation of capacitated dominating sets. Theory Comput. Syst. 47(4), 811–836 (2010)MathSciNetCrossRefMATH Kuhn, F., Moscibroda, T.: Distributed approximation of capacitated dominating sets. Theory Comput. Syst. 47(4), 811–836 (2010)MathSciNetCrossRefMATH
29.
Zurück zum Zitat Kuhn, F., Moscibroda, T., Wattenhofer, R.: Local computation: lower and upper bounds. J. ACM (JACM) 63(2), 17 (2016)MathSciNetCrossRef Kuhn, F., Moscibroda, T., Wattenhofer, R.: Local computation: lower and upper bounds. J. ACM (JACM) 63(2), 17 (2016)MathSciNetCrossRef
30.
Zurück zum Zitat Lenzen, C., Pignolet, Y.A., Wattenhofer, R.: Distributed minimum dominating set approximations in restricted families of graphs. Distrib. Comput. 26(2), 119–137 (2013)CrossRefMATH Lenzen, C., Pignolet, Y.A., Wattenhofer, R.: Distributed minimum dominating set approximations in restricted families of graphs. Distrib. Comput. 26(2), 119–137 (2013)CrossRefMATH
32.
Zurück zum Zitat Lotker, Z., Patt-Shamir, B., Pettie, S.: Improved distributed approximate matching. In: Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures, pp. 129–136. ACM (2008) Lotker, Z., Patt-Shamir, B., Pettie, S.: Improved distributed approximate matching. In: Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures, pp. 129–136. ACM (2008)
34.
Zurück zum Zitat Miller, G.L., Peng, R., Xu, S.C.: Parallel graph decompositions using random shifts. In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Parallelism in Algorithms and Architectures, pp. 196–203. ACM (2013) Miller, G.L., Peng, R., Xu, S.C.: Parallel graph decompositions using random shifts. In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Parallelism in Algorithms and Architectures, pp. 196–203. ACM (2013)
35.
Zurück zum Zitat Mirrokni, V., Zadimoghaddam, M.: Randomized composable core-sets for distributed submodular maximization. In: Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, pp. 153–162. ACM (2015) Mirrokni, V., Zadimoghaddam, M.: Randomized composable core-sets for distributed submodular maximization. In: Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, pp. 153–162. ACM (2015)
36.
Zurück zum Zitat Mirzasoleiman, B., Karbasi, A., Sarkar, R., Krause, A.: Distributed submodular maximization: identifying representative elements in massive data. In: Advances in Neural Information Processing Systems, pp. 2049–2057 (2013) Mirzasoleiman, B., Karbasi, A., Sarkar, R., Krause, A.: Distributed submodular maximization: identifying representative elements in massive data. In: Advances in Neural Information Processing Systems, pp. 2049–2057 (2013)
37.
Zurück zum Zitat Mitzenmacher, M., Upfal, E.: Probability and Computing: Randomized Algorithms and Probabilistic Analysis. Cambridge University Press, Cambridge (2005) Mitzenmacher, M., Upfal, E.: Probability and Computing: Randomized Algorithms and Probabilistic Analysis. Cambridge University Press, Cambridge (2005)
38.
Zurück zum Zitat Motwani, R., Raghavan, P.: Randomized Algorithms. Chapman & Hall/CRC, London (2010) Motwani, R., Raghavan, P.: Randomized Algorithms. Chapman & Hall/CRC, London (2010)
39.
Zurück zum Zitat Nanongkai, D.: Distributed approximation algorithms for weighted shortest paths. In: Proceedings of the 46th Annual ACM Symposium on Theory of Computing, pp. 565–573. ACM (2014) Nanongkai, D.: Distributed approximation algorithms for weighted shortest paths. In: Proceedings of the 46th Annual ACM Symposium on Theory of Computing, pp. 565–573. ACM (2014)
40.
Zurück zum Zitat Papadimitriou, C., Yannakakis, M.: Optimization, approximation, and complexity classes. In: Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, pp. 229–234. ACM (1988) Papadimitriou, C., Yannakakis, M.: Optimization, approximation, and complexity classes. In: Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, pp. 229–234. ACM (1988)
41.
Zurück zum Zitat Peleg, D.: Distributed Computing. SIAM Monographs on Discrete Mathematics and Applications, vol. 5 (2000) Peleg, D.: Distributed Computing. SIAM Monographs on Discrete Mathematics and Applications, vol. 5 (2000)
44.
Zurück zum Zitat Tangwongsan, K.: Efficient parallel approximation algorithms. Ph.D. thesis, School of Computer Science, Carnegie Mellon University (2011) Tangwongsan, K.: Efficient parallel approximation algorithms. Ph.D. thesis, School of Computer Science, Carnegie Mellon University (2011)
46.
Zurück zum Zitat Trevisan, L., Sorkin, G.B., Sudan, M., Williamson, D.P.: Gadgets, approximation, and linear programming. SIAM J. Comput. 29(6), 2074–2097 (2000)MathSciNetCrossRefMATH Trevisan, L., Sorkin, G.B., Sudan, M., Williamson, D.P.: Gadgets, approximation, and linear programming. SIAM J. Comput. 29(6), 2074–2097 (2000)MathSciNetCrossRefMATH
47.
Zurück zum Zitat Wang, J., Jebara, T., Chang, S.F.: Semi-supervised learning using greedy max-cut. J. Mach. Learn. Res. 14(Mar), 771–800 (2013) Wang, J., Jebara, T., Chang, S.F.: Semi-supervised learning using greedy max-cut. J. Mach. Learn. Res. 14(Mar), 771–800 (2013)
48.
Zurück zum Zitat Wang, L., Chin, K., Soh, S.: Joint routing and scheduling in multi-Tx/Rx wireless mesh networks with random demands. Comput. Netw. 98, 44–56 (2016)CrossRef Wang, L., Chin, K., Soh, S.: Joint routing and scheduling in multi-Tx/Rx wireless mesh networks with random demands. Comput. Netw. 98, 44–56 (2016)CrossRef
49.
Zurück zum Zitat Wang, W., Liu, B., Yang, M., Luo, J., Shen, X.: Max-cut based overlapping channel assignment for 802.11 multi-radio wireless mesh networks. In: 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), pp. 662–667 (2013) Wang, W., Liu, B., Yang, M., Luo, J., Shen, X.: Max-cut based overlapping channel assignment for 802.11 multi-radio wireless mesh networks. In: 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), pp. 662–667 (2013)
50.
Zurück zum Zitat Xu, Y., Chin, K., Raad, R., Soh, S.: A novel distributed max-weight link scheduler for multi-transmit/receive wireless mesh networks. IEEE Trans. Veh. Technol. 65(11), 9345–9357 (2016)CrossRef Xu, Y., Chin, K., Raad, R., Soh, S.: A novel distributed max-weight link scheduler for multi-transmit/receive wireless mesh networks. IEEE Trans. Veh. Technol. 65(11), 9345–9357 (2016)CrossRef
51.
Zurück zum Zitat Xue, G., He, Q., Zhu, H., He, T., Liu, Y.: Sociality-aware access point selection in enterprise wireless LANs. IEEE Trans. Parallel Distrib. Syst. 24(10), 2069–2078 (2013)CrossRef Xue, G., He, Q., Zhu, H., He, T., Liu, Y.: Sociality-aware access point selection in enterprise wireless LANs. IEEE Trans. Parallel Distrib. Syst. 24(10), 2069–2078 (2013)CrossRef
Metadaten
Titel
Fast Distributed Approximation for Max-Cut
verfasst von
Keren Censor-Hillel
Rina Levy
Hadas Shachnai
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-72751-6_4

Premium Partner