-
Enabling Research through the SCIP Optimization Suite 8.0
Authors:
Ksenia Bestuzheva,
Mathieu Besançon,
Wei-Kun Chen,
Antonia Chmiela,
Tim Donkiewicz,
Jasper van Doornmalen,
Leon Eifler,
Oliver Gaul,
Gerald Gamrath,
Ambros Gleixner,
Leona Gottwald,
Christoph Graczyk,
Katrin Halbig,
Alexander Hoen,
Christopher Hojny,
Rolf van der Hulst,
Thorsten Koch,
Marco Lübbecke,
Stephen J. Maher,
Frederic Matter,
Erik Mühmer,
Benjamin Müller,
Marc E. Pfetsch,
Daniel Rehfeldt,
Steffan Schlein
, et al. (10 additional authors not shown)
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
The SCIP Optimization Suite 8.0
Authors:
Ksenia Bestuzheva,
Mathieu Besançon,
Wei-Kun Chen,
Antonia Chmiela,
Tim Donkiewicz,
Jasper van Doornmalen,
Leon Eifler,
Oliver Gaul,
Gerald Gamrath,
Ambros Gleixner,
Leona Gottwald,
Christoph Graczyk,
Katrin Halbig,
Alexander Hoen,
Christopher Hojny,
Rolf van der Hulst,
Thorsten Koch,
Marco Lübbecke,
Stephen J. Maher,
Frederic Matter,
Erik Mühmer,
Benjamin Müller,
Marc E. Pfetsch,
Daniel Rehfeldt,
Steffan Schlein
, et al. (10 additional authors not shown)
Abstract:
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin…
▽ More
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin type for cut selection, and a complete rework of the way nonlinear constraints are handled. Additionally, SCIP 8.0 now supports interfaces for Julia as well as Matlab. Further, UG now includes a unified framework to parallelize all solvers, a utility to analyze computational experiments has been added to GCG, dual solutions can be postsolved by PaPILO, new heuristics and presolving methods were added to SCIP-SDP, and additional problem classes and major performance improvements are available in SCIP-Jack.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Assessing the Effectiveness of (Parallel) Branch-and-bound Algorithms
Authors:
Stephen J. Maher,
Ted K. Ralphs,
Yuji Shinano
Abstract:
Empirical studies are fundamental in assessing the effectiveness of implementations of branch-and-bound algorithms. The complexity of such implementations makes empirical study difficult for a wide variety of reasons. Various attempts have been made to develop and codify a set of standard techniques for the assessment of optimization algorithms and their software implementations; however, most pre…
▽ More
Empirical studies are fundamental in assessing the effectiveness of implementations of branch-and-bound algorithms. The complexity of such implementations makes empirical study difficult for a wide variety of reasons. Various attempts have been made to develop and codify a set of standard techniques for the assessment of optimization algorithms and their software implementations; however, most previous work has been focused on classical sequential algorithms. Since parallel computation has become increasingly mainstream, it is necessary to re-examine and modernize these practices. In this paper, we propose a framework for assessment based on the notion that \emph{resource consumption} is at the heart of what we generally refer to as the "effectiveness" of an implementation. The proposed framework carefully distinguishes between an implementation's baseline efficiency, the efficacy with which it utilizes a fixed allocation of resources, and its scalability, a measure of how the efficiency changes as resources (typically additional computing cores) are added or removed. Efficiency is typically applied to sequential implementations, whereas scalability is applied to parallel implementations. Efficiency and scalability are both important contributors in determining the overall effectiveness of a given parallel implementation, but the goal of improved efficiency is often at odds with the goal of improved scalability. Within the proposed framework, we review the challenges to effective evaluation and discuss the strengths and weaknesses of existing methods of assessment.
△ Less
Submitted 18 April, 2021;
originally announced April 2021.
-
SOFIA - HIRMES: Looking forward to the HIgh-Resolution Mid-infrarEd Spectrometer
Authors:
Samuel N. Richards,
Samuel H. Moseley,
Gordon Stacey,
Matthew Greenhouse,
Alexander Kutyrev,
Richard Arendt,
Hristo Atanasoff,
Stuart Banks,
Regis P. Brekosky,
Ari-David Brown,
Berhanu Bulcha,
Tony Cazeau,
Michael Choi,
Felipe Colazo,
Chuck Engler,
Theodore Hadjimichael,
James Hays-Wehle,
Chuck Henderson,
Wen-Ting Hsieh,
Jeffrey Huang,
Iver Jenstrom,
Jim Kellogg,
Mark Kimball,
Attila Kovacs,
Steve Leiter
, et al. (26 additional authors not shown)
Abstract:
The HIgh-Resolution Mid-infrarEd Spectrometer (HIRMES) is the 3rd Generation Instrument for the Stratospheric Observatory For Infrared Astronomy (SOFIA), currently in development at the NASA Goddard Space Flight Center (GSFC), and due for commissioning in 2019. By combining direct-detection Transition Edge Sensor (TES) bolometer arrays, grating-dispersive spectroscopy, and a host of Fabry-Perot tu…
▽ More
The HIgh-Resolution Mid-infrarEd Spectrometer (HIRMES) is the 3rd Generation Instrument for the Stratospheric Observatory For Infrared Astronomy (SOFIA), currently in development at the NASA Goddard Space Flight Center (GSFC), and due for commissioning in 2019. By combining direct-detection Transition Edge Sensor (TES) bolometer arrays, grating-dispersive spectroscopy, and a host of Fabry-Perot tunable filters, HIRMES will provide the ability for High Resolution (R~100,000), Mid-Resolution (R~10,000), and Low-Resolution (R~600) slit-spectroscopy, and 2D Spectral Imaging (R~2000 at selected wavelengths) over the 25 - 122 μm mid-far infrared waveband. The driving science application is the evolution of proto-planetary systems via measurements of water-vapor, water-ice, deuterated hydrogen (HD), and neutral oxygen lines. However, HIRMES has been designed to be as flexible as possible to cover a wide range of science cases that fall within its phase-space, all whilst reaching sensitivities and observing powers not yet seen thus far on SOFIA, providing unique observing capabilities which will remain unmatched for decades.
△ Less
Submitted 27 November, 2018;
originally announced November 2018.
-
Generating Hard Instances for Robust Combinatorial Optimization
Authors:
Marc Goerigk,
Stephen J. Maher
Abstract:
While research in robust optimization has attracted considerable interest over the last decades, its algorithmic development has been hindered by several factors. One of them is a missing set of benchmark instances that make algorithm performance better comparable, and makes reproducing instances unnecessary. Such a benchmark set should contain hard instances in particular, but so far, the standar…
▽ More
While research in robust optimization has attracted considerable interest over the last decades, its algorithmic development has been hindered by several factors. One of them is a missing set of benchmark instances that make algorithm performance better comparable, and makes reproducing instances unnecessary. Such a benchmark set should contain hard instances in particular, but so far, the standard approach to produce instances has been to sample values randomly from a uniform distribution.
In this paper we introduce a new method to produce hard instances for min-max combinatorial optimization problems, which is based on an optimization model itself. Our approach does not make any assumptions on the problem structure and can thus be applied to any combinatorial problem. Using the Selection and Traveling Salesman problems as examples, we show that it is possible to produce instances which are up to 500 times harder to solve for a mixed-integer programming solver than the current state-of-the-art instances.
△ Less
Submitted 8 February, 2019; v1 submitted 2 November, 2018;
originally announced November 2018.
-
Exact Methods for Recursive Circle Packing
Authors:
Ambros Gleixner,
Stephen Maher,
Benjamin Müller,
João Pedro Pedroso
Abstract:
Packing rings into a minimum number of rectangles is an optimization problem which appears naturally in the logistics operations of the tube industry. It encompasses two major difficulties, namely the positioning of rings in rectangles and the recursive packing of rings into other rings. This problem is known as the Recursive Circle Packing Problem (RCPP). We present the first dedicated method for…
▽ More
Packing rings into a minimum number of rectangles is an optimization problem which appears naturally in the logistics operations of the tube industry. It encompasses two major difficulties, namely the positioning of rings in rectangles and the recursive packing of rings into other rings. This problem is known as the Recursive Circle Packing Problem (RCPP). We present the first dedicated method for solving RCPP that provides strong dual bounds based on an exact Dantzig--Wolfe reformulation of a nonconvex mixed-integer nonlinear programming formulation. The key idea of this reformulation is to break symmetry on each recursion level by enumerating one-level packings, i.e., packings of circles into other circles, and by dynamically generating packings of circles into rectangles. We use column generation techniques to design a "price-and-verify" algorithm that solves this reformulation to global optimality. Extensive computational experiments on a large test set show that our method not only computes tight dual bounds, but often produces primal solutions better than those computed by heuristics from the literature.
△ Less
Submitted 4 January, 2019; v1 submitted 24 February, 2017;
originally announced February 2017.
-
The GISMO 2-millimeter Deep Field in GOODS-N
Authors:
Johannes G. Staguhn,
Attila Kovacs,
Richard G. Arendt,
Dominic J. Benford,
Roberto Decarli,
Eli Dwek,
Dale J. Fixsen,
Gene C. Hilton,
Kent D. Irwin,
Christine A. Jhabvala,
Alexander Karim,
Samuel Leclercq,
Stephen F. Maher,
Timothy M. Miller,
S. Harvey Moseley,
Elmer H. Sharp,
Fabian Walter,
Edward J. Wollack
Abstract:
We present deep continuum observations using the GISMO camera at a wavelength of 2 mm centered on the Hubble Deep Field (HDF) in the GOODS-N field. These are the first deep field observations ever obtained at this wavelength. The 1 sigma sensitivity in the innermost approx. 4 arcminutes of the 7 utes map is approx. 135 uJy/beam, a factor of three higher in flux/beam sensitivity than the deepest av…
▽ More
We present deep continuum observations using the GISMO camera at a wavelength of 2 mm centered on the Hubble Deep Field (HDF) in the GOODS-N field. These are the first deep field observations ever obtained at this wavelength. The 1 sigma sensitivity in the innermost approx. 4 arcminutes of the 7 utes map is approx. 135 uJy/beam, a factor of three higher in flux/beam sensitivity than the deepest available SCUBA 850 um observations, and almost a factor of four higher in flux / beam sensitivity than the combined MAMBO/AzTEC 1.2 mm observations of this region. Our source extraction algorithm identifies 12 sources directly, and another 3 through correlation with known sources at 1.2 mm and 850 um. Five of the directly detected GISMO sources have counterparts in the MAMBO/AzTEC catalog, and four of those also have SCUBA counterparts. HDF850.1, one of the first blank-field detected submillimeter galaxies, is now detected at 2 mm. The median redshift of all sources with counterparts of known redshifts is med(z) = 2.91 +/- 0.94. Statistically, the detections are most likely real for 5 of the seven 2 mm sources without shorter wavelength counterparts, while the probability for none of them being real is negligible.
△ Less
Submitted 7 June, 2014; v1 submitted 6 November, 2013;
originally announced November 2013.
-
Star and dust formation activities in AzTEC-3: A starburst galaxy at z = 5.3
Authors:
Eli Dwek,
Johannes G. Staguhn,
Richard G. Arendt,
Peter L. Capak,
Attila Kovacs,
Dominic Benford,
Dale Fixsen,
Alexander Karim,
Samuel Leclercq,
Stephen F. Maher,
Samuel H. Moseley,
Eva Schinnerer,
Elmer H. Sharp
Abstract:
Analyses of high-redshift ultraluminous infrared (IR) galaxies traditionally use the observed optical to submillimeter spectral energy distribution (SED) and estimates of the dynamical mass as observational constraints to derive the star formation rate (SFR), the stellar mass, and age of these objects. An important observational constraint neglected in the analysis is the mass of dust giving rise…
▽ More
Analyses of high-redshift ultraluminous infrared (IR) galaxies traditionally use the observed optical to submillimeter spectral energy distribution (SED) and estimates of the dynamical mass as observational constraints to derive the star formation rate (SFR), the stellar mass, and age of these objects. An important observational constraint neglected in the analysis is the mass of dust giving rise to the IR emission. In this paper we add this constraint to the analysis of AzTEC-3. Adopting an upper limit to the mass of stars and a bolometric luminosity for this object, we construct stellar and chemical evolutionary scenarios, constrained to produce the inferred dust mass and observed luminosity before the associated stellar mass exceeds the observational limit. We find that the model with a Top Heavy IMF provided the most plausible scenario consistent with the observational constraints. In this scenario the dust formed over a period of ~200 Myr, with a SFR of ~500 Msun/yr. These values for the age and SFR in AzTEC-3 are significantly higher and lower, respectively, from those derived without the dust mass constraint. However, this scenario is not unique, and others cannot be completely ruled out because of the prevailing uncertainties in the age of the galaxy, its bolometric luminosity, and its stellar and dust masses. A robust result of our models is that all scenarios require most of the radiating dust mass to have been accreted in molecular clouds. Our new procedure highlights the importance of a multiwavelength approach, and of the use of dust evolution models in constraining the age and the star formation activity and history in galaxies.
△ Less
Submitted 10 June, 2011;
originally announced June 2011.
-
The Radio - 2 mm Spectral Index of the Crab Nebula Measured with GISMO
Authors:
R. G. Arendt,
J. V. George,
J. G. Staguhn,
D. J. Benford,
M. J. Devlin,
S. R. Dicker,
D. J. Fixsen,
K. D. Irwin,
C. A. Jhabvala,
P. M. Korngut,
A. Kovács,
S. F. Maher,
B. S. Mason,
T. M. Miller,
S. H. Moseley,
S. Navarro,
A. Sievers,
J. L. Sievers,
E. Sharp,
E. J. Wollack
Abstract:
We present results of 2 mm observations of the Crab Nebula, obtained using the Goddard-IRAM Superconducting 2 Millimeter Observer (GISMO) bolometer camera on the IRAM 30 m telescope. Additional 3.3 mm observations with the MUSTANG bolometer array on the Green Bank Telescope are also presented. The integrated 2 mm flux density of the Crab Nebula provides no evidence for the emergence of a second sy…
▽ More
We present results of 2 mm observations of the Crab Nebula, obtained using the Goddard-IRAM Superconducting 2 Millimeter Observer (GISMO) bolometer camera on the IRAM 30 m telescope. Additional 3.3 mm observations with the MUSTANG bolometer array on the Green Bank Telescope are also presented. The integrated 2 mm flux density of the Crab Nebula provides no evidence for the emergence of a second synchrotron component that has been proposed. It is consistent with the radio power law spectrum, extrapolated up to a break frequency of log(nu_{b} [GHz]) = 2.84 +/- 0.29 or nu_{b} = 695^{+651}_{-336} GHz. The Crab Nebula is well-resolved by the ~16.7" beam (FWHM) of GISMO. Comparison to radio data at comparable spatial resolution enables us to confirm significant spatial variation of the spectral index between 21 cm and 2 mm. The main effect is a spectral flattening in the inner region of the Crab Nebula, correlated with the toroidal structure at the center of the nebula that is prominent in the near-IR through X-ray regime.
△ Less
Submitted 31 March, 2011;
originally announced March 2011.
-
MUSTANG: 90 GHz Science with the Green Bank Telescope
Authors:
S. R. Dicker,
P. M. Korngut,
B. S. Mason,
P. A. R. Ade,
J. Aguirre,
T. J. Ames,
D. J. Benford,
T. C. Chen,
J. A. Chervenak,
W. D. Cotton,
M. J. Devlin,
E. Figueroa-Feliciano,
K. D. Irwin,
S. Maher,
M. Mello,
S. H. Moseley,
D. J. Tally,
C. Tucker,
S. D. White
Abstract:
MUSTANG is a 90 GHz bolometer camera built for use as a facility instrument on the 100 m Robert C. Byrd Green Bank radio telescope (GBT). MUSTANG has an 8 by 8 focal plane array of transition edge sensor bolometers read out using time-domain multiplexed SQUID electronics. As a continuum instrument on a large single dish MUSTANG has a combination of high resolution (8") and good sensitivity to ex…
▽ More
MUSTANG is a 90 GHz bolometer camera built for use as a facility instrument on the 100 m Robert C. Byrd Green Bank radio telescope (GBT). MUSTANG has an 8 by 8 focal plane array of transition edge sensor bolometers read out using time-domain multiplexed SQUID electronics. As a continuum instrument on a large single dish MUSTANG has a combination of high resolution (8") and good sensitivity to extended emission which make it very competitive for a wide range of galactic and extragalactic science. Commissioning finished in January 2008 and some of the first science data have been collected.
△ Less
Submitted 7 July, 2009;
originally announced July 2009.