SCIP-Jack - A massively parallel STP solver

In this article we describe the impact from embedding a 15 year old model for solving the Steiner tree problem in graphs in a state-of-the-art MIP-Framework, making the result run in a massively parallel environment and extending the model to solve as many variants as possible. We end up with a high-perfomance solver that is capable of solving previously unsolved instances and, in contrast to its predecessor, is freely available for academic research.

[1]  Thorsten Koch,et al.  How Many Steiner Terminals Can You Connect in 20 Years , 2013 .

[2]  David M. Warme,et al.  Exact Algorithms for Plane Steiner Tree Problems: A Computational Study , 2000 .

[3]  Tobias Polzin,et al.  Algorithms for the Steiner problem in networks , 2003 .

[4]  Michael Jünger,et al.  Facets of Combinatorial Optimization , 2013 .

[5]  Nahit Emanet,et al.  The Rectilinear Steiner Tree Problem , 2010 .

[6]  Martin Zachariasen,et al.  Rectilinear group Steiner trees and applications in VLSI design , 2003, Math. Program..

[7]  Tobias Achterberg,et al.  Constraint integer programming , 2007 .

[8]  Thorsten Koch,et al.  Solving Steiner tree problems in graphs to optimality , 1998, Networks.

[9]  Timo Berthold,et al.  Hybrid Branching , 2009, CPAIOR.

[10]  Thorsten Koch,et al.  Progress in Academic Computational Integer Programming , 2013 .

[11]  Roland Wunderling,et al.  Paralleler und objektorientierter Simplex-Algorithmus , 1996 .

[12]  Raymond E. Miller,et al.  Complexity of Computer Computations , 1972 .

[13]  Stefan Voß,et al.  Solving group Steiner problems as Steiner problems , 2004, Eur. J. Oper. Res..

[14]  T. Koch,et al.  SteinLib: An Updated Library on Steiner Tree Problems in Graphs , 2001 .

[15]  D. Du,et al.  Advances in Steiner trees , 2000 .

[16]  Russell Schwartz,et al.  Phylogenetic analysis of multiprobe fluorescence in situ hybridization data from tumor cell populations , 2013, Bioinform..

[17]  Tobias Müller,et al.  Identifying functional modules in protein–protein interaction networks: an integrated exact approach , 2008, ISMB.

[18]  M. Hanan,et al.  On Steiner’s Problem with Rectilinear Distance , 1966 .

[19]  Timothy Law Snyder,et al.  On the Exact Location of Steiner Points in General Dimension , 1992, SIAM J. Comput..

[20]  Gabriel Wittum,et al.  Competence in High Performance Computing 2010 , 2012, Springer Berlin Heidelberg.

[21]  Tobias Achterberg,et al.  SCIP: solving constraint integer programs , 2009, Math. Program. Comput..

[22]  Renato F. Werneck,et al.  Fast Local Search for Steiner Trees in Graphs , 2010, ALENEX.

[23]  Thorsten Koch,et al.  ParaSCIP: A Parallel Extension of SCIP , 2010, CHPC.

[24]  David S. Johnson,et al.  The Rectilinear Steiner Tree Problem is NP Complete , 1977, SIAM Journal of Applied Mathematics.