Back to SYMPHONY Home Page
Next:
Design Approach
Up:
SYMPHONY 5.0 User's Manual
Previous:
User Callback Functions
Design Overview
Subsections
Design Approach
An Object-oriented Approach
Data Structures and Storage
Variables
Constraints
Search Tree
Modular Implementation
The Master Module
The Tree Manager Module
The Linear Programming Module
The Cut Generator Module
The Cut Pool Module
Algorithm Summary
Details of the Implementation
The Master Module
Initial Solve
Solve from Warm Start
Modifying Parameters.
Modifying Problem Data.
Bicriteria Solve
The Linear Programming Module
The LP Engine
Managing the LP Relaxation
Branching
The Tree Manager Module
Managing the Search Tree
Search Chains and Diving
The Two-Phase Algorithm
The Cut Generator Module
The Cut Pool Module
Maintaining and Scanning the Pool
Using Multiple Pools
Parallelizing BCP
Parallel Configurations
Inter-process Communication
Fault Tolerance
Ted Ralphs
2004-11-11