메뉴 건너뛰기




Volumn , Issue , 2006, Pages 53-101

Parallel Branch and Cut

Author keywords

Algorithms SYMPHONY and ALPS; Branch and cut algorithm and mixed integer linear programs (MILPs); Parallelizing branch and cut

Indexed keywords


EID: 38449101871     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/9780470053928.ch3     Document Type: Chapter
Times cited : (17)

References (70)
  • 1
    • 0015973448 scopus 로고
    • Practical solution of large scale mixed integer programming problems with UMPIRE
    • J.J.H. Forrest, J.P.H. Hirst, and J.A. Tomlin. Practical solution of large scale mixed integer programming problems with UMPIRE. Manag. Sci., 20:736-773 (1974).
    • (1974) Manag. Sci. , vol.20 , pp. 736-773
    • Forrest, J.J.H.1    Hirst, J.P.H.2    Tomlin, J.A.3
  • 2
    • 0042124545 scopus 로고
    • Investigation of some branch and bound strategies for the solution of mixed integer linear programs
    • G. Mitra. Investigation of some branch and bound strategies for the solution of mixed integer linear programs. Math. Prog., 4:155-170 (1973).
    • (1973) Math. Prog. , vol.4 , pp. 155-170
    • Mitra, G.1
  • 3
    • 0001851118 scopus 로고
    • Experiments in mixed-integer linear programming
    • M. Bénichou et al. Experiments in mixed-integer linear programming. Math. Prog. 1:76-94 (1971).
    • (1971) Math. Prog. , vol.1 , pp. 76-94
    • Bénichou, M.1
  • 4
    • 0001332760 scopus 로고    scopus 로고
    • A computational study of search strategies in mixed integer programming
    • J.T. Linderoth and M.W.P. Savelsbergh. A computational study of search strategies in mixed integer programming. INFORMS J. Comput., 11:173-187 (1999).
    • (1999) INFORMS J. Comput. , vol.11 , pp. 173-187
    • Linderoth, J.T.1    Savelsbergh, M.W.P.2
  • 5
    • 0026124209 scopus 로고
    • A Branch-and-Cut Algorithm for the Resolution of Large-Scale Traveling Salesman Problems
    • M. Padberg and G. Rinaldi. A Branch-and-Cut Algorithm for the Resolution of Large-Scale Traveling Salesman Problems. SIAM Rev., 33:60+ (1991).
    • (1991) SIAM Rev. , vol.33 , pp. 60
    • Padberg, M.1    Rinaldi, G.2
  • 6
    • 0003586442 scopus 로고
    • Integer and Combinatorial Optimization
    • John Wiley & Sons, Inc., New York
    • G.L. Nemhauser and L.A. Wolsey. Integer and Combinatorial Optimization, John Wiley & Sons, Inc., New York, 1988.
    • (1988)
    • Nemhauser, G.L.1    Wolsey, L.A.2
  • 7
    • 51249185617 scopus 로고
    • The ellipsoid method and its consequences in combinatorial optimization
    • M. Grötschel, L. Lovász, and A. Schrijver. The ellipsoid method and its consequences in combinatorial optimization. Combinatorica, 1:169-197 (1981).
    • (1981) Combinatorica , vol.1 , pp. 169-197
    • Grötschel, M.1    Lovász, L.2    Schrijver, A.3
  • 8
    • 85101463362 scopus 로고
    • Integer and Combinatorial Optimization
    • 1st ed. John Wiley & Sons, Inc.
    • G.L. Nemhauser and L.A. Wolsey. Integer and Combinatorial Optimization. 1st ed. John Wiley & Sons, Inc., 1988.
    • (1988)
    • Nemhauser, G.L.1    Wolsey, L.A.2
  • 9
    • 84888586936 scopus 로고    scopus 로고
    • SYMPHONY Version 4.0 User's Manual
    • Technical Report 03T-006, Lehigh University Industrial and Systems Engineering
    • T.K. Ralphs. SYMPHONY Version 4.0 User's Manual. Technical Report 03T-006, Lehigh University Industrial and Systems Engineering, 2003.
    • (2003)
    • Ralphs, T.K.1
  • 10
    • 84877863742 scopus 로고    scopus 로고
    • Parallel Branch and Cut and Its Application to the Traveling Salesman Problem
    • Ph.D. thesis, Cornell University, May
    • L. Ladányi. Parallel Branch and Cut and Its Application to the Traveling Salesman Problem. Ph.D. thesis, Cornell University, May 1996.
    • (1996)
    • Ladányi, L.1
  • 11
    • 0002957863 scopus 로고
    • Experiments in mixed-integer linear programming using pseudocosts
    • J.M. Gauthier and G. Ribière. Experiments in mixed-integer linear programming using pseudocosts. Math. Prog., 12:26-47 (1977).
    • (1977) Math. Prog. , vol.12 , pp. 26-47
    • Gauthier, J.M.1    Ribière, G.2
  • 13
    • 0003704679 scopus 로고
    • Parallel Algorithms and Arcitectures
    • International Thomson Computer Press, Boston, MA
    • M. Cosnard and D. Trystram. Parallel Algorithms and Arcitectures. International Thomson Computer Press, Boston, MA, 1995.
    • (1995)
    • Cosnard, M.1    Trystram, D.2
  • 14
    • 33751310051 scopus 로고    scopus 로고
    • Engineering a beowulf-style compute cluster
    • Available at
    • R.G. Brown. Engineering a beowulf-style compute cluster. Available at http://www.phy.duke.edu/~rgb/Beowulf/Beowulf_book/Beowulf_book/, 2004.
    • (2004)
    • Brown, R.G.1
  • 15
    • 0003635251 scopus 로고
    • PVM: Parallel Virtual Machine
    • The MIT Press, Cambridge, MA
    • A. Geist et al. PVM: Parallel Virtual Machine. The MIT Press, Cambridge, MA, 1994.
    • (1994)
    • Geist, A.1
  • 16
    • 0004217970 scopus 로고    scopus 로고
    • Using MPI
    • 2nd ed., MIT Press, Cambridge, MA
    • W. Gropp, E. Lusk, and A. Skjellum. Using MPI. 2nd ed., MIT Press, Cambridge, MA, 1999.
    • (1999)
    • Gropp, W.1    Lusk, E.2    Skjellum, A.3
  • 17
    • 0038207671 scopus 로고
    • Asynchronous parallel branch and bound and anomolies
    • Report EUR-CS-95-05, Erasmus University, Rotterdam
    • A. de Bruin, G.A.P. Kindervater, and H.W.J.M. Trienekens. Asynchronous parallel branch and bound and anomolies. Report EUR-CS-95-05, Erasmus University, Rotterdam, 1995.
    • (1995)
    • De Bruin, A.1    Kindervater, G.A.P.2    Trienekens, H.W.J.M.3
  • 19
    • 85060036181 scopus 로고
    • Validity of the single-processor approach to achieving large-scale computing capabilities
    • AFIPS Press
    • G.M. Amdahl. Validity of the single-processor approach to achieving large-scale computing capabilities. AFIPS Conference Proceedings, AFIPS Press, 1967, pp. 483-485.
    • (1967) AFIPS Conference Proceedings , pp. 483-485
    • Amdahl, G.M.1
  • 20
    • 3543092493 scopus 로고
    • Analyzing scalability of parallel algorithms and architectures
    • Sept
    • V. Kumar and A. Gupta. Analyzing scalability of parallel algorithms and architectures. J. Parallel Distributed Comput., 22:379-391 (Sept. 1994).
    • (1994) J. Parallel Distributed Comput. , vol.22 , pp. 379-391
    • Kumar, V.1    Gupta, A.2
  • 21
    • 0000318628 scopus 로고
    • Parallel search algorithms for discrete optimization problems
    • A.Y. Grama and V. Kumar. Parallel search algorithms for discrete optimization problems. ORSA J. Comput., 7:365-385 (1995).
    • (1995) ORSA J. Comput. , vol.7 , pp. 365-385
    • Grama, A.Y.1    Kumar, V.2
  • 22
    • 0024012163 scopus 로고
    • Reevaluating Amdahl's Law
    • J.L. Gustafson. Reevaluating Amdahl's Law. Commun. ACM, 31:532-533 (1988).
    • (1988) Commun. ACM , vol.31 , pp. 532-533
    • Gustafson, J.L.1
  • 23
    • 0023457850 scopus 로고
    • Parallel depth-first search, part II: Analysis
    • V. Kumar and V.N. Rao. Parallel depth-first search, part II: Analysis. Int. J. Parallel Prog., 16:501-519 (1987).
    • (1987) Int. J. Parallel Prog. , vol.16 , pp. 501-519
    • Kumar, V.1    Rao, V.N.2
  • 24
    • 0038207664 scopus 로고
    • Towards a taxonomy of parallel branch and bound algorithms
    • Technical Report EUR-CS-92-01, Department of Computer Science, Erasmus University
    • H.W.J.M. Trienekens and A. de Bruin. Towards a taxonomy of parallel branch and bound algorithms. Technical Report EUR-CS-92-01, Department of Computer Science, Erasmus University, 1992.
    • (1992)
    • Trienekens, H.W.J.M.1    De Bruin, A.2
  • 25
    • 0001173632 scopus 로고
    • An automatic method for solving discrete programming problems
    • A.H. Land and A.G. Doig. An automatic method for solving discrete programming problems. Econometrica, 28:497-520 (1960).
    • (1960) Econometrica , vol.28 , pp. 497-520
    • Land, A.H.1    Doig, A.G.2
  • 26
    • 0002896163 scopus 로고
    • Branch-and-bound methods: General formulation and properties
    • L.G. Mitten. Branch-and-bound methods: General formulation and properties. Oper. Res., 18:24-34 (1970).
    • (1970) Oper. Res. , vol.18 , pp. 24-34
    • Mitten, L.G.1
  • 27
    • 84889611205 scopus 로고    scopus 로고
    • bonsaiG 2.8, Available at
    • L. Hafer. bonsaiG 2.8, 2004. Available at http://www.cs.sfu.ca/~lou/BonsaiG/dwnldreq.html.
    • (2004)
    • Hafer, L.1
  • 28
    • 84861891051 scopus 로고    scopus 로고
    • CBC
    • Available at
    • J. Forrest. CBC, 2004. Available at http://www.coin-or.org/.
    • (2004)
    • Forrest, J.1
  • 29
    • 84889616609 scopus 로고    scopus 로고
    • GLPK 4.2, Available at
    • A. Makhorin. GLPK 4.2, 2004. Available at htpp://www.gnu.org/software/glpk/glpk.htmol.
    • (2004)
    • Makhorin, A.1
  • 30
    • 84889611472 scopus 로고    scopus 로고
    • lp_solve 5.1, Available at
    • M. Berkelaar. lp_solve 5.1, 2004. Available at http://groups.yahoo.com/group/lp_solve/.
    • (2004)
    • Berkelaar, M.1
  • 32
    • 33749318104 scopus 로고    scopus 로고
    • SYMPHONY Version 5.0 user's manual
    • Technical Report 04-T011, Lehigh University Industrial and Systems Engineering
    • T.K. Ralphs. SYMPHONY Version 5.0 user's manual. Technical Report 04-T011, Lehigh University Industrial and Systems Engineering, 2004.
    • (2004)
    • Ralphs, T.K.1
  • 34
    • 0012541221 scopus 로고    scopus 로고
    • COIN/BCP User's Manual
    • Available at
    • T.K. Ralphs and L. Ladányi. COIN/BCP User's Manual, 2001. Available at http://www.coin-or.org.
    • (2001)
    • Ralphs, T.K.1    Ladányi, L.2
  • 35
    • 0342571667 scopus 로고    scopus 로고
    • The ABACUS system for branch and cut and price algorithms in integer programming and combinatorial optimization
    • M. Jünger and S. Thienel. The ABACUS system for branch and cut and price algorithms in integer programming and combinatorial optimization. Software Practice Exp., 30:1325-1352 (2001).
    • (2001) Software Practice Exp. , vol.30 , pp. 1325-1352
    • Jünger, M.1    Thienel, S.2
  • 36
    • 0001387820 scopus 로고    scopus 로고
    • On the solution of traveling salesman problems. Documenta Mathematica
    • D. Applegate, R. Bixby, V. Chvátal, and W. Cook. On the solution of traveling salesman problems. Documenta Mathematica, Extra Volume Proceedings ICM III (1998) 1998, pp. 645-656.
    • (1998) Extra Volume Proceedings ICM , vol.III , pp. 645-656
    • Applegate, D.1    Bixby, R.2    Chvátal, V.3    Cook, W.4
  • 37
    • 36348942008 scopus 로고    scopus 로고
    • CONCORDE TSP solver
    • Available at
    • D. Applegate, R. Bixby, V. Chvátal, and W. Cook. CONCORDE TSP solver. Available at http://www.tsp.gatech.edu/concorde.html.
    • Applegate, D.1    Bixby, R.2    Chvátal, V.3    Cook, W.4
  • 39
    • 0042359405 scopus 로고    scopus 로고
    • Building a parallel branch and bound library
    • Lecture Notes in Computer Science 1054, Springer, Berlin
    • M. Benchouche et al. Building a parallel branch and bound library. In Solving Combinatorial Optimization Problems in Parallel, Lecture Notes in Computer Science 1054, Springer, Berlin, 1996, p. 201.
    • (1996) Solving Combinatorial Optimization Problems in Parallel , pp. 201
    • Benchouche, M.1
  • 40
    • 27844479261 scopus 로고    scopus 로고
    • Portable Parallel Branch and Bound Library User Manual: Library Version 2.0
    • Department of Computer Science, University of Paderborn
    • S. Tschoke and T. Polzer. Portable Parallel Branch and Bound Library User Manual: Library Version 2.0. Department of Computer Science, University of Paderborn.
    • Tschoke, S.1    Polzer, T.2
  • 41
    • 0038546365 scopus 로고    scopus 로고
    • PICO: An object-oriented framework for parallel branch and bound
    • Technical Report RRR 40-2000, Rutgers University
    • J. Eckstein, C.A. Phillips, and W.E. Hart. PICO: An object-oriented framework for parallel branch and bound. Technical Report RRR 40-2000, Rutgers University, 2000.
    • (2000)
    • Eckstein, J.1    Phillips, C.A.2    Hart, W.E.3
  • 42
    • 0038546359 scopus 로고    scopus 로고
    • Topics in Parallel Integer Optimization
    • Ph.D. thesis, School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA
    • J. Linderoth. Topics in Parallel Integer Optimization. Ph.D. thesis, School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, 1998.
    • (1998)
    • Linderoth, J.1
  • 43
    • 0035618984 scopus 로고    scopus 로고
    • Fatcop: A fault tolerant condor-pvm mixed integer programming solver
    • Q. Chen and M. Ferris. Fatcop: A fault tolerant condor-pvm mixed integer programming solver. SIAM J. Opn., 11(4):1019-1036 (2001).
    • (2001) SIAM J. Opn. , vol.11 , Issue.4 , pp. 1019-1036
    • Chen, Q.1    Ferris, M.2
  • 44
    • 0004139889 scopus 로고
    • Linear Programming. W.H
    • Freeman and Company, New York
    • V. Chvátal. Linear Programming. W.H. Freeman and Company, New York, 1983.
    • (1983)
    • Chvátal, V.1
  • 45
    • 0028550919 scopus 로고
    • Parallel branch and bound algorithms: Survey and synthesis
    • B. Gendron and T.G. Crainic. Parallel branch and bound algorithms: Survey and synthesis. Oper. Res., 42:1042-1066 (1994).
    • (1994) Oper. Res. , vol.42 , pp. 1042-1066
    • Gendron, B.1    Crainic, T.G.2
  • 46
    • 0343168007 scopus 로고    scopus 로고
    • Branch-and-bound parallelization strategies applied to a depot location and container fleet management problem
    • B. Borbeau, T.G. Crainic, and B. Gendron. Branch-and-bound parallelization strategies applied to a depot location and container fleet management problem. Parallel Comput., 26:27-46 (2000).
    • (2000) Parallel Comput. , vol.26 , pp. 27-46
    • Borbeau, B.1    Crainic, T.G.2    Gendron, B.3
  • 47
    • 0015973448 scopus 로고
    • Practical solution of large scale mixed integer programming pr oblems with UMPIRE
    • J.J.H. Forrest, J.P.H. Hirst, and J.A. Tomlin. Practical solution of large scale mixed integer programming pr oblems with UMPIRE. Manag. Sci., 20:736-773 (1974).
    • (1974) Manag. Sci. , vol.20 , pp. 736-773
    • Forrest, J.J.H.1    Hirst, J.P.H.2    Tomlin, J.A.3
  • 48
    • 0032181511 scopus 로고    scopus 로고
    • Data-parallel load balancing strategies
    • C. Fonlupt, P. Marquet, and J. Dekeyser. Data-parallel load balancing strategies. Parallel Comput., 24(11):1665-1684 (1998).
    • (1998) Parallel Comput. , vol.24 , Issue.11 , pp. 1665-1684
    • Fonlupt, C.1    Marquet, P.2    Dekeyser, J.3
  • 51
    • 84888613371 scopus 로고
    • Can parallel branch and bound without communication be effective?
    • May
    • P.S. Laursen. Can parallel branch and bound without communication be effective? SIAM J. Op., 4:33-33 (May, 1994).
    • (1994) SIAM J. Op. , vol.4 , pp. 33-33
    • Laursen, P.S.1
  • 52
    • 84888602659 scopus 로고    scopus 로고
    • Tree shaped computations as a model for parallel applications
    • P. Sanders. Tree shaped computations as a model for parallel applications, 1998. In ALV198 workshop on afflication balancing pp. 123-123.
    • (1998) ALV198 workshop on afflication balancing , pp. 123-123
    • Sanders, P.1
  • 53
    • 84949516058 scopus 로고
    • A load balancing strategy for prioritized execution of tasks
    • Newport Beach, CA., April
    • A. Sinha and L.V. Kalé. A load balancing strategy for prioritized execution of tasks. Seventh International Parallel Processing Symposium, Newport Beach, CA., April 1993, pp. 230-237.
    • (1993) Seventh International Parallel Processing Symposium , pp. 230-237
    • Sinha, A.1    Kalé, L.V.2
  • 54
    • 0042349985 scopus 로고
    • Parallel Branch and Cut for Vehicle Routing
    • Ph.D. thesis, Cornell University
    • T.K. Ralphs. Parallel Branch and Cut for Vehicle Routing. Ph.D. thesis, Cornell University, 1995.
    • (1995)
    • Ralphs, T.K.1
  • 55
    • 21144446740 scopus 로고    scopus 로고
    • COIN-OR: Computational Infrastructure for Operations Research
    • Available at
    • COIN-OR: Computational Infrastructure for Operations Research, 2004. Available at http://www.coin-or.org.
    • (2004)
  • 56
    • 84889629315 scopus 로고    scopus 로고
    • SYMPHONY 5.0, Available at
    • T.K. Ralphs. SYMPHONY 5.0, 2004. Available at http://www.branchandcut.org/SYMPHONY/.
    • (2004)
    • Ralphs, T.K.1
  • 57
    • 3543117775 scopus 로고    scopus 로고
    • A library hierarchy for implementing scalable parallel search algorithms
    • T.K. Ralphs, L. Ladányi, and M.J. Saltzman. A library hierarchy for implementing scalable parallel search algorithms. J. Supercomput., 28:215-234 (2004).
    • (2004) J. Supercomput. , vol.28 , pp. 215-234
    • Ralphs, T.K.1    Ladányi, L.2    Saltzman, M.J.3
  • 59
    • 3543117775 scopus 로고    scopus 로고
    • A library hierarchy for implementing scalable parallel search algorithms
    • T.K. Ralphs, L. Ladányi, and M.J. Saltzman. A library hierarchy for implementing scalable parallel search algorithms. J. Supercomput., 28:215-234 (2004).
    • (2004) J. Supercomput. , vol.28 , pp. 215-234
    • Ralphs, T.K.1    Ladányi, L.2    Saltzman, M.J.3
  • 60
    • 0038207664 scopus 로고
    • Towards a taxonomy of parallel branch and bound algorithms
    • Report EUR-CS-92-01, Erasmus University, Rotterdam
    • H.W.J.M. Trienekens and A. de Bruin. Towards a taxonomy of parallel branch and bound algorithms. Report EUR-CS-92-01, Erasmus University, Rotterdam, 1992.
    • (1992)
    • Trienekens, H.W.J.M.1    De Bruin, A.2
  • 61
    • 0002027106 scopus 로고    scopus 로고
    • An updated mixed integer programming library: MIPLIB 3.0
    • R.E. Bixby, S. Ceria, C.M. McZeal, and M.W.P. Savelsbergh. An updated mixed integer programming library: MIPLIB 3.0. Optima, 58:12-15 (1998).
    • (1998) Optima , vol.58 , pp. 12-15
    • Bixby, R.E.1    Ceria, S.2    McZeal, C.M.3    Savelsbergh, M.W.P.4
  • 63
    • 84889627454 scopus 로고    scopus 로고
    • MIP instances
    • Available at
    • J.T. Linderoth. MIP instances, 2004. Available at http://coral.ie.Lehigh.edu/mip-instances.
    • (2004)
    • Linderoth, J.T.1
  • 64
    • 0001953950 scopus 로고
    • The truck dispatching problem
    • G.B. Danzig and R.H. Ramser. The truck dispatching problem. Manag. Sci., 6:80-91 (1959).
    • (1959) Manag. Sci. , vol.6 , pp. 80-91
    • Danzig, G.B.1    Ramser, R.H.2
  • 65
    • 84889625470 scopus 로고    scopus 로고
    • Library of vehicle routing problem instances
    • Available at
    • T.K. Ralphs. Library of vehicle routing problem instances. Available at http://branchandcut.org/VRP/data.
    • Ralphs, T.K.1
  • 66
    • 84889621613 scopus 로고    scopus 로고
    • Symphony vehicle routing problem solver
    • Available at
    • T.K. Ralphs. Symphony vehicle routing problem solver. Available at http://branchandcut.org/vap/
    • Ralphs, T.K.1
  • 67
    • 0037541117 scopus 로고    scopus 로고
    • Parallel branch and cut for capacitated vehicle routing
    • T.K. Ralphs. Parallel branch and cut for capacitated vehicle routing. Parallel Comput., 29:607-629 (2003).
    • (2003) Parallel Comput. , vol.29 , pp. 607-629
    • Ralphs, T.K.1
  • 68
    • 0347752780 scopus 로고    scopus 로고
    • Parallel Branch and Cut for Set Partitioning
    • Ph.D. thesis, Department of Operations Research and Industrial Engineering, Cornell University
    • M. Esö. Parallel Branch and Cut for Set Partitioning. Ph.D. thesis, Department of Operations Research and Industrial Engineering, Cornell University, 1999.
    • (1999)
    • Esö, M.1
  • 69
    • 84889614336 scopus 로고    scopus 로고
    • Symphony set partitioning problem solver
    • Available at
    • M. Esö and T.K. Ralphs. Symphony set partitioning problem solver. Available at http://branchandcut.org/spp/
    • Esö, M.1    Ralphs, T.K.2
  • 70
    • 0038546359 scopus 로고    scopus 로고
    • Topics in Parallel Integer Optimization
    • Ph.D. thesis, Georgia Institute of Technology
    • J.T. Linderoth. Topics in Parallel Integer Optimization. Ph.D. thesis, Georgia Institute of Technology, 1998.
    • (1998)
    • Linderoth, J.T.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.