skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: SCIP-Jack—a solver for STP and variants with parallelization extensions

Abstract

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 problem-specific. 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-of-the-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.

Authors:
; ; ; ;
Publication Date:
Research Org.:
Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States). Oak Ridge Leadership Computing Facility (OLCF)
Sponsoring Org.:
USDOE Office of Science (SC)
OSTI Identifier:
1567539
Resource Type:
Journal Article
Journal Name:
Mathematical Programming Computation
Additional Journal Information:
Journal Volume: 9; Journal Issue: 2; Journal ID: ISSN 1867-2949
Publisher:
Springer
Country of Publication:
United States
Language:
English
Subject:
90C10; 90C27

Citation Formats

Gamrath, Gerald, Koch, Thorsten, Maher, Stephen J., Rehfeldt, Daniel, and Shinano, Yuji. SCIP-Jack—a solver for STP and variants with parallelization extensions. United States: N. p., 2016. Web. doi:10.1007/s12532-016-0114-x.
Gamrath, Gerald, Koch, Thorsten, Maher, Stephen J., Rehfeldt, Daniel, & Shinano, Yuji. SCIP-Jack—a solver for STP and variants with parallelization extensions. United States. https://doi.org/10.1007/s12532-016-0114-x
Gamrath, Gerald, Koch, Thorsten, Maher, Stephen J., Rehfeldt, Daniel, and Shinano, Yuji. 2016. "SCIP-Jack—a solver for STP and variants with parallelization extensions". United States. https://doi.org/10.1007/s12532-016-0114-x.
@article{osti_1567539,
title = {SCIP-Jack—a solver for STP and variants with parallelization extensions},
author = {Gamrath, Gerald and Koch, Thorsten and Maher, Stephen J. and Rehfeldt, Daniel and Shinano, Yuji},
abstractNote = {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 problem-specific. 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-of-the-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.},
doi = {10.1007/s12532-016-0114-x},
url = {https://www.osti.gov/biblio/1567539}, journal = {Mathematical Programming Computation},
issn = {1867-2949},
number = 2,
volume = 9,
place = {United States},
year = {Fri Dec 02 00:00:00 EST 2016},
month = {Fri Dec 02 00:00:00 EST 2016}
}

Works referenced in this record:

Reducibility among Combinatorial Problems
book, January 1972


Phylogenetic analysis of multiprobe fluorescence in situ hybridization data from tumor cell populations
journal, June 2013


Identifying functional modules in protein-protein interaction networks: an integrated exact approach
journal, June 2008


SCIP: solving constraint integer programs
journal, January 2009


An algorithm for the steiner problem in graphs
journal, April 1984


A dual ascent approach for steiner tree problems on a directed graph
journal, October 1984


A Hybrid GRASP with Perturbations for the Steiner Problem in Graphs
journal, August 2002


An SST-based algorithm for the steiner problem in graphs
journal, January 1989


The Rectilinear Steiner Tree Problem is $NP$-Complete
journal, June 1977


On Steiner’s Problem with Rectilinear Distance
journal, March 1966


On the Exact Location of Steiner Points in General Dimension
journal, February 1992


Solving group Steiner problems as Steiner problems
journal, April 2004


New Reduction Techniques for the Group Steiner Tree Problem
journal, January 2007


Solving Open MIP Instances with ParaSCIP on Supercomputers Using up to 80,000 Cores
conference, May 2016