on implementing a parallel integer solver using optimization services
DESCRIPTION
On Implementing a Parallel Integer Solver Using Optimization Services. Jun Ma Huanyuan (Wayne) Sheng Joint work with Sanjay Mehrotra. Outline. Brief Introduction Impact Generalized MIP Solver Optimization Services (OS) - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/1.jpg)
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
On Implementing a Parallel Integer Solver
Using Optimization Services
Jun Ma
Huanyuan (Wayne) Sheng
Joint work with
Sanjay Mehrotra
![Page 2: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/2.jpg)
2
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
Outline
• Brief Introduction– Impact Generalized MIP Solver – Optimization Services (OS)
• Distributed Parallel For Integer Programming Using OS
• Conclusion
![Page 3: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/3.jpg)
3
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
IntroductionImpact GMIP Solver
• IMPACT -- Integrated Mathematical Programming Advanced Computational Tools
• Features– Generalized Mixed Integer Nonlinear Solver (GMIP).– Generalized Hyperplanes based Branch and Bound.– Standalone Solver and Remote Solver Service.– Unified NATIVE Interface with Optimization Services.
![Page 4: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/4.jpg)
4
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
Impact GMIP Solver Features Algorithms
• Research Focus– Mixed Integer Nonlinear Programming– Parallel computing for MINLP
• Algorithm Studies– Heuristics for generalized branch and bound
methods – Optimization Services based distributed parallel,
e.g. communications, load balance handling.
![Page 5: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/5.jpg)
5
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
Impact GMIP Solver Features Algorithms
RootNode
Proper BranchingHyperplane
being u
Leftchild
RightChild
Add u
lT xu 1 l
T xu
Growing Left Growing Right
Generate Children Generate Children
• Starting Node
![Page 6: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/6.jpg)
6
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
Impact GMIP Solver Features Algorithms
• Subsequent Node
ParentNode(Left)
Proper BranchingHyperplane
being u prime
Leftchild
RightChild
Add new u prime
lT xu ''
Growing Left Growing Right
Generate Children Generate Children
SiblingNode
1 lT xu
1'' lT xu
![Page 7: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/7.jpg)
7
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
Impact GMIP Solver Features Algorithms
• Generate Proper Branching Hyperplanes
– Basis Reduction Based (Mehrotra and Li)• LLL• GBR (Generalized Basis Reduction)
– Heuristics (ongoing)
![Page 8: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/8.jpg)
8
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
GenerateNodes
Instance
Number OfNodes > 100
N
NodeQueue
Y
DistributedSystem
DistributedSystem
DistributedSystem
End
![Page 9: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/9.jpg)
9
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
![Page 10: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/10.jpg)
10
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
IMPACT GMIP Parallelization over Distributed Optimization Services
ImpactGMIP
OShL
OShL
OShL
OShL
OShL - hookup
CommunicationgetJobID (String OSoL)
solve (String OSiL, String OSoL)
send (String OSiL, String OSoL)
retrieve (String OSoL)
kill (String OSoL)
knock (String OSpL, String OSoL)
OSiL - instance
OSoL - option
Representation
OSrL - result
OSpL - process
Nodes (OSiL Integer)
OSServer
(Linux)
OSServer
(WinXP)
OSServer
(Mac OS)
Lindo
CPLEX
IMPACT
Call back
(OSrL)
![Page 11: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/11.jpg)
11
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006
Conclusion
• Introduced the Generalized MIP and showed it is friendliness for Parallelization
• Showed Optimization Services has a general and high extendable design fit for many derived researches
![Page 12: On Implementing a Parallel Integer Solver Using Optimization Services](https://reader035.vdocuments.net/reader035/viewer/2022081503/56814702550346895db43ddc/html5/thumbnails/12.jpg)
12
Jun Ma, Sanjay Mehrotra and Huanyuan ShengImpact Solver for Optimization Services, November 8, 2006