The Steiner tree problem in graphs is a classical problem that commonly arises in practical applications as one of many variants. While often a strong relationship between different Steiner tree problem variants can be observed, solution approaches employed so far have been prevalently problemspecific. In contrast, this paper introduces a general-purpose solver that can be used to solve both the classical Steiner tree problem and many of its variants without modification. This versatility is achieved by transforming various problem variants into a general form and solving them by using a state-ofthe-art MIP-framework. The result is a high-performance solver that can be employed in massively parallel environments and is capable of solving previously unsolved instances.
The
SCIP
Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework
SCIP
. The focus of this paper is on the role of the
SCIP
Optimization Suite in supporting research.
SCIP
’s main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of
SCIP
’s application as a research tool and as a platform for further developments. Further, the paper gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon
SCIP
.
We report on the selection process leading to the sixth version of the Mixed Integer Programming Library, MIPLIB 2017. Selected from an initial pool of 5721 instances, the new MIPLIB 2017 collection consists of 1065 instances. A subset of 240 instances was specially selected for benchmarking solver performance. For the first time, these sets were compiled using a data-driven selection process supported by the solution of a sequence of mixed integer optimization problems, which encode requirements on diversity and balancedness with respect to instance features and performance data.
13To attain the highest performance of energy supply systems, it is necessary to 14 rationally determine types, capacities, and numbers of equipment in consideration of 15 their operational strategies corresponding to seasonal and hourly variations in energy 16 demands. In the combinatorial optimization method based on the mixed-integer linear 17 programming (MILP), integer variables are used to express the selection, numbers, and 18 on/off status of operation of equipment, and the number of these variables increases 19 with those of equipment and periods for variations in energy demands, and affects the 20 computation efficiency significantly. In this paper, a MILP method utilizing the 21 hierarchical relationship between design and operation variables is proposed to solve the
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.