Skip to main content

2020 | OriginalPaper | Buchkapitel

A Criterion of Optimality of Some Parallelization Scheme for Backtrack Search Problem in Binary Trees

verfasst von : Roman Kolpakov, Mikhail Posypkin

Erschienen in: Optimization and Applications

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

The backtracking is a basic combinatorial search algorithm. As many other deterministic methods it suffers from the high complexity. Fortunately the high performance computing can efficiently cope with this issue. It was observed that the structure of the search tree can dramatically affect the efficiency of a parallel search. We study the complexity of a frontal autonomous scheme for the backtrack search parallelization. In this approach several independent cores perform a number of first steps of the backtrack search. After that each core takes one sub-problem and solves it completely. Then the results are merged to select the best solution. To study the impact of the tree structure on the performance of the frontal autonomous scheme we formalize the notion of a perfectly scalable problem and prove a criterion for a search tree to fit to this class.

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
By the length of a path we mean the number of edges contained in the path.
 
Literatur
1.
Zurück zum Zitat Barnett, M., Shuler, L., van De Geijn, R., Gupta, S., Payne, D.G., Watts, J.: Interprocessor collective communication library (intercom). In: Proceedings of IEEE Scalable High Performance Computing Conference, pp. 357–364. IEEE (1994) Barnett, M., Shuler, L., van De Geijn, R., Gupta, S., Payne, D.G., Watts, J.: Interprocessor collective communication library (intercom). In: Proceedings of IEEE Scalable High Performance Computing Conference, pp. 357–364. IEEE (1994)
2.
Zurück zum Zitat Bhatt, S., Greenberg, D., Leighton, T., Liu, P.: Tight bounds for on-line tree embeddings. SIAM J. Comput. 29(2), 474–491 (1999)MathSciNetCrossRef Bhatt, S., Greenberg, D., Leighton, T., Liu, P.: Tight bounds for on-line tree embeddings. SIAM J. Comput. 29(2), 474–491 (1999)MathSciNetCrossRef
3.
Zurück zum Zitat Evtushenko, Y., Posypkin, M., Sigal, I.: A framework for parallel large-scale global optimization. Comput. Sci. Res. Dev. 23(3–4), 211–215 (2009)CrossRef Evtushenko, Y., Posypkin, M., Sigal, I.: A framework for parallel large-scale global optimization. Comput. Sci. Res. Dev. 23(3–4), 211–215 (2009)CrossRef
4.
Zurück zum Zitat Herley, K.T., Pietracaprina, A., Pucci, G.: Deterministic parallel backtrack search. Theoret. Comput. Sci. 270(1–2), 309–324 (2002)MathSciNetCrossRef Herley, K.T., Pietracaprina, A., Pucci, G.: Deterministic parallel backtrack search. Theoret. Comput. Sci. 270(1–2), 309–324 (2002)MathSciNetCrossRef
5.
Zurück zum Zitat Karp, R.M., Zhang, Y.: Randomized parallel algorithms for backtrack search and branch-and-bound computation. J. ACM (JACM) 40(3), 765–789 (1993)MathSciNetCrossRef Karp, R.M., Zhang, Y.: Randomized parallel algorithms for backtrack search and branch-and-bound computation. J. ACM (JACM) 40(3), 765–789 (1993)MathSciNetCrossRef
6.
Zurück zum Zitat Knuth, D.E.: Art of Computer Programming, volume 2: Seminumerical Algorithms. Addison-Wesley Professional, Boston (2014) Knuth, D.E.: Art of Computer Programming, volume 2: Seminumerical Algorithms. Addison-Wesley Professional, Boston (2014)
7.
Zurück zum Zitat Kolpakov, R., Posypkin, M.: Estimating the computational complexity of one variant of parallel realization of the branch-and-bound method for the knapsack problem. J. Comput. Syst. Sci. Int. 50(5), 756 (2011)MathSciNetCrossRef Kolpakov, R., Posypkin, M.: Estimating the computational complexity of one variant of parallel realization of the branch-and-bound method for the knapsack problem. J. Comput. Syst. Sci. Int. 50(5), 756 (2011)MathSciNetCrossRef
8.
Zurück zum Zitat Kolpakov, R., Posypkin, M.: The lower bound on complexity of parallel branch-and-bound algorithm for subset sum problem. In: AIP Conference Proceedings, vol. 1776, p. 050008. AIP Publishing (2016) Kolpakov, R., Posypkin, M.: The lower bound on complexity of parallel branch-and-bound algorithm for subset sum problem. In: AIP Conference Proceedings, vol. 1776, p. 050008. AIP Publishing (2016)
9.
Zurück zum Zitat Kolpakov, R.M., Posypkin, M.A., Sigal, I.K.: On a lower bound on the computational complexity of a parallel implementation of the branch-and-bound method. Autom. Remote Control 71(10), 2152–2161 (2010)MathSciNetCrossRef Kolpakov, R.M., Posypkin, M.A., Sigal, I.K.: On a lower bound on the computational complexity of a parallel implementation of the branch-and-bound method. Autom. Remote Control 71(10), 2152–2161 (2010)MathSciNetCrossRef
10.
Zurück zum Zitat Pietracaprina, A., Pucci, G., Silvestri, F., Vandin, F.: Space-efficient parallel algorithms for combinatorial search problems. J. Parallel Distrib. Comput. 76, 58–65 (2015)CrossRef Pietracaprina, A., Pucci, G., Silvestri, F., Vandin, F.: Space-efficient parallel algorithms for combinatorial search problems. J. Parallel Distrib. Comput. 76, 58–65 (2015)CrossRef
11.
Zurück zum Zitat Sergeyev, Y., Grishagin, V.: Parallel asynchronous global search and the nested optimization scheme. J. Comput. Anal. Appl. 3(2), 123–145 (2001)MathSciNetMATH Sergeyev, Y., Grishagin, V.: Parallel asynchronous global search and the nested optimization scheme. J. Comput. Anal. Appl. 3(2), 123–145 (2001)MathSciNetMATH
12.
Zurück zum Zitat Strongin, R., Sergeyev, Y.: Global multidimensional optimization on parallel computer. Parallel Comput. 18(11), 1259–1273 (1992)MathSciNetCrossRef Strongin, R., Sergeyev, Y.: Global multidimensional optimization on parallel computer. Parallel Comput. 18(11), 1259–1273 (1992)MathSciNetCrossRef
13.
Zurück zum Zitat Wu, I.C., Kung, H.T.: Communication complexity for parallel divide-and-conquer. In: 32nd Annual Symposium on Foundations of Computer Science, 1991 Proceedings, pp. 151–162. IEEE (1991) Wu, I.C., Kung, H.T.: Communication complexity for parallel divide-and-conquer. In: 32nd Annual Symposium on Foundations of Computer Science, 1991 Proceedings, pp. 151–162. IEEE (1991)
Metadaten
Titel
A Criterion of Optimality of Some Parallelization Scheme for Backtrack Search Problem in Binary Trees
verfasst von
Roman Kolpakov
Mikhail Posypkin
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-38603-0_33