Conference Book

Total Page:16

File Type:pdf, Size:1020Kb

Conference Book Download the latest version of this book at https://iccopt2019.berlin/conference_book Conference Book Conference Book — Version 1.0 Sixth International Conference on Continuous Optimization Berlin, Germany, August 5–8, 2019 Michael Hintermuller¨ (Chair of the Organizing Committee) Weierstrass Institute for Applied Analysis and Stochastics (WIAS) Mohrenstraße 39, 10117 Berlin c July 16, 2019, WIAS, Berlin Layout: Rafael Arndt, Olivier Huber, Caroline L¨obhard, Steven-Marian Stengl Print: FLYERALARM GmbH Picture Credits page 19, Michael Ulbrich: Sebastian Garreis page 26, “MS Mark Brandenburg”: Stern und Kreisschiffahrt GmbH ICCOPT 2019 Sixth International Conference on Continuous Optimization Berlin, Germany, August 5–8, 2019 Program Committee Welcome Address Michael Hintermuller¨ (Weierstrass Institute Berlin, On behalf of the ICCOPT 2019 Humboldt-Universit¨at zu Berlin, Chair) Organizing Committee, the Weier- strass Institute for Applied Analysis H´el`ene Frankowska (Sorbonne Universit´e) and Stochastics Berlin, the Technis- Jacek Gondzio (The University of Edinburgh) che Universit¨at Berlin, and the Math- ematical Optimization Society, I wel- Zhi-Quan Luo (The Chinese University of Hong Kong) come you to ICCOPT 2019, the 6th International Conference on Continu- Jong-Shi Pang (University of Southern California) ous Optimization. Daniel Ralph (University of Cambridge) The ICCOPT is a flagship conference of the Mathematical Optimization Society. Organized every three years, it covers all Claudia Sagastiz´abal (University of Campinas) theoretical, computational, and practical aspects of continuous Defeng Sun (Hong Kong Polytechnic University) optimization. With about 150 invited and contributed sessions and twelve invited state-of-the-art lectures, totaling about 800 Marc Teboulle (Tel Aviv University) presentations, this is by far the largest ICCOPT so far. Besides that, the ICCOPT 2019 includes a Summer School (August Stefan Ulbrich (Technische Universit¨at Darmstadt) 3–4), a poster session, and an exhibition. The finalists for the Stephen Wright (University of Wisconsin) Best Paper Prize in Continuous Optimization will present their contributions, and the prize will be awarded at the conference banquet. Organizing Committee More than 900 participants from about 70 countries all over the world will learn about the most recent developments and results and discuss new challenges from theory and practice. Michael Hintermuller¨ (Weierstrass Institute Berlin, These numbers are a clear indication of the importance of Humboldt-Universit¨at zu Berlin, Chair) Continuous Optimization as a scientific discipline and a key Mirjam Dur¨ (Universit¨at Augsburg) technology for future developments in numerous application areas. Gabriele Eichfelder (Technische Universit¨at Ilmenau) World-renowned cultural and research institutions, a thriving Carsten Gr¨aser (Freie Universit¨at Berlin) creative scene and a rich history make Berlin a popular place to live, work and travel. During a river cruise, participants of Ren´e Henrion (Weierstrass Institute Berlin) the Conference Dinner are invited to enjoy Berlin’s historic city Michael Hinze (Universit¨at Hamburg) center and main sights while having dinner with colleagues from all over the world. I hope that you will also find the time Dietmar H¨omberg (Weierstrass Institute Berlin, to take a look around Berlin on your own, to obtain a feeling Technische Universit¨at Berlin) for the vibrant lifestyle, and to explore the many attractions of this wonderful city. Florian Jarre (Universit¨at Dusseldorf)¨ Finally, I would like to express my sincere appreciation to Christian Kanzow (Universit¨at Wurzburg)¨ the many volunteers who made this meeting possible. I wish Caroline L¨obhard (WIAS Berlin) to acknowledge, in particular, the members of the program committee, the cluster chairs, and the many session organizers Volker Mehrmann (Technische Universit¨at Berlin) for setting up the scientific program. My sincere thanks go to the members of the organizing committee and everyone Carlos N. Rautenberg (Weierstrass Institute Berlin, involved in the local organization — the system administrators, Humboldt-Universit¨at zu Berlin) secretaries, student assistants, PhD students, and postdocs — Volker Schulz (Universit¨at Trier) for the many days, weeks and even months of work. I wish you all a pleasant and memorable ICCOPT 2019, Fredi Tr¨oltzsch (Technische Universit¨at Berlin) and a lot of exciting mathematics in the open-minded and Michael Ulbrich (Technische Universit¨at Munchen)¨ international atmosphere of Berlin. Stefan Ulbrich (Technische Universit¨at Darmstadt) Berlin, August 2019 Michael Hintermuller¨ 4 Sponsors The ICCOPT 2019 is Supported by Academic Sponsors Corporate Sponsors Sponsors 5 Contents Overview of Events Sponsors . 4 Registration Campus Map . 6 The ICCOPT Registration Desk is located in the lobby of the Floor Plan..............................................7 Main Building, see the floor plan on page 7. The opening times General Information. .8 are listed on page 8. Social Program/City Tours. 9 Program Overview. .11 Special Events. .12 Welcome Reception, Sunday, 17:00–20:00 Exhibition . 20 Everyone is invited to join the welcome reception in the Lichthof. Posters Overview . 21 Drinks and snacks will be offered, and you can already collect Posters Abstracts. .22 your conference materials at the ICCOPT Registration Desk. Conference Dinner . 26 Parallel Sessions Overview . 27 Opening Ceremony, Monday, 09:00 Parallel Sessions Abstracts Mon.1 11:00–12:15 . 39 Parallel Sessions Abstracts Mon.2 13:45–15:00 . 50 The Opening of the ICCOPT with welcome addresses and an Parallel Sessions Abstracts Tue.1 10:30–11:45 . 62 artistic sand show takes place in H 0105 (Audimax). Parallel Sessions Abstracts Tue.2 13:15–14:30 . 73 Parallel Sessions Abstracts Tue.3 14:45–16:00 . 85 Best Paper Award in Continuous Optimization Parallel Sessions Abstracts Tue.4 16:30–17:45 . 96 Parallel Sessions Abstracts Wed.1 11:30–12:45 . 107 The winner will be determined after the Best Paper Session Parallel Sessions Abstracts Wed.2 14:15–15:30 . 119 on Monday, 16:20–18:20 in H 0105 (Audimax), see page 13. Parallel Sessions Abstracts Wed.3 16:00–17:15 . 131 The prize will be awarded at the conference dinner, see below. Parallel Sessions Abstracts Thu.1 09:00–10:15. .143 Parallel Sessions Abstracts Thu.2 10:45–12:00. .154 Plenary and Semi-Plenary Talks Parallel Sessions Abstracts Thu.3 13:30–14:45. .164 Index of Authors . 175 Featured state-of-the-art talks are given by twelve distinguished speakers, see page 12. Memorial Session, Tuesday, 16:30–17:45 A special session in honor of Andrew R. Conn, who passed away on March 14, 2019 takes place in H 0105 (Audimax), see page 15. Parallel Sessions More than 800 talks are given in almost 170 invited and con- tributed sessions, see the session overview on page 27 and the Download the conference app at detailed session description starts on page 39. All alterations https://iccopt2019.berlin/app in the scientific program will be displayed on a board near the information desk in the lobby of the Main Building. Poster Session On Monday, a poster session with snacks and drinks is planned in the Lichthof, see page 21. Conference Dinner Download the online version of this book at On Tuesday, the conference dinner will take place on the boat https://iccopt2019.berlin/conference_book “MS Mark Brandenburg” on the river Spree. The cruise will depart at 19:00 (boarding starts at 18:30) and last four hours. More details can be found on page 8. Board Meetings The following board meetings will take place: SIOPT Tuesday, August 6, 12:00 H 3005, COAP Wednesday, August 7, 13:00 H 3005, MOR Wednesday, August 7, 13:00 H 2036. Snacks and beverages will be served. Please note that those events are not open to the public. 6 Campus Map Campus Map Conference Dinner departure at Gotzkowskybrucke¨ 20 min from TU Main Building, or 12 min with Bus 245 from Ernst-Reuter-Platz to Franklinstr. Einsteinufer Marchstraße Straße des 17. Juni Urban Rail Station Tiergarten Underground Station Ernst-Reuter-Platz TU Berlin Main Building Fasanenstraße Hardenbergstraße Train Station Zoologischer Mensa Garten Train Station Zoologischer Garten Floor Plan 7 Floor Plan Lobby ICCOPT Registration Desk Coffee Break Area Cloakroom ICCOPT Registration Desk (page 8) Lichthof Welcome Reception H 2036 and H 3008 can be reserved for meeting, calls, etc. (page 8) Exhibition Paramedic station Poster Session Room entrance Coffee and snacks H 3005 H 3006 H 3007 H 3004 H 3012 H 3008 H 3013 H 3002 H 3025 3rd floor H 2013 H 2036 H 2033 H 2038 H 2032 H 2053 2nd floor H 1012 WC H 1029 WC H 1028 Lichthof H 1058 H 0104 1st floor Audimax H 0105 Gallery WC H 0112 H 0110H 0111 Foyer H 0107 H 0104 H 0106 Lobby Ground floor Audimax WC H 0105 Main Entrance Straße des 17. Juni 8 General Information General Information ICCOPT Registration Desk. The ICCOPT Registration Getting around by public transport. The conference badge Desk is located in the lobby (Foyer, ground floor, left) of the allows you to use all public transport in and around Berlin (zone TU Berlin Main Building. The opening times are as follows: ABC) during the conference from August 5 to August 8. In Sunday, August 4: 17:00–20:00 order to identify yourself, you need to carry along your passport Monday, August 5: 07:00–20:00 or national ID card. The “FahrInfo Plus” app for Android and Tuesday, August 6: 08:00–18:00 iOS will help you move inside the city. For more information Wednesday, August 7: 08:00–18:30 on public transport in Berlin, visit the BVG webpage Thursday, August 8: 08:00–17:30 https://www.bvg.de/en/ Registration fee. Your registration fee includes admittance to the complete technical program and most special programs. The following social/food events are also included: Opening ceremony including reception on Sunday evening, poster session on Monday evening, and two coffee breaks per day.
Recommended publications
  • An Algorithm Based on Semidefinite Programming for Finding Minimax
    Takustr. 7 Zuse Institute Berlin 14195 Berlin Germany BELMIRO P.M. DUARTE,GUILLAUME SAGNOL,WENG KEE WONG An algorithm based on Semidefinite Programming for finding minimax optimal designs ZIB Report 18-01 (December 2017) Zuse Institute Berlin Takustr. 7 14195 Berlin Germany Telephone: +49 30-84185-0 Telefax: +49 30-84185-125 E-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 An algorithm based on Semidefinite Programming for finding minimax optimal designs Belmiro P.M. Duarte a,b, Guillaume Sagnolc, Weng Kee Wongd aPolytechnic Institute of Coimbra, ISEC, Department of Chemical and Biological Engineering, Portugal. bCIEPQPF, Department of Chemical Engineering, University of Coimbra, Portugal. cTechnische Universität Berlin, Institut für Mathematik, Germany. dDepartment of Biostatistics, Fielding School of Public Health, UCLA, U.S.A. Abstract An algorithm based on a delayed constraint generation method for solving semi- infinite programs for constructing minimax optimal designs for nonlinear models is proposed. The outer optimization level of the minimax optimization problem is solved using a semidefinite programming based approach that requires the de- sign space be discretized. A nonlinear programming solver is then used to solve the inner program to determine the combination of the parameters that yields the worst-case value of the design criterion. The proposed algorithm is applied to find minimax optimal designs for the logistic model, the flexible 4-parameter Hill homoscedastic model and the general nth order consecutive reaction model, and shows that it (i) produces designs that compare well with minimax D−optimal de- signs obtained from semi-infinite programming method in the literature; (ii) can be applied to semidefinite representable optimality criteria, that include the com- mon A−; E−; G−; I− and D-optimality criteria; (iii) can tackle design problems with arbitrary linear constraints on the weights; and (iv) is fast and relatively easy to use.
    [Show full text]
  • Solving Mixed Integer Linear and Nonlinear Problems Using the SCIP Optimization Suite
    Takustraße 7 Konrad-Zuse-Zentrum D-14195 Berlin-Dahlem fur¨ Informationstechnik Berlin Germany TIMO BERTHOLD GERALD GAMRATH AMBROS M. GLEIXNER STEFAN HEINZ THORSTEN KOCH YUJI SHINANO Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite Supported by the DFG Research Center MATHEON Mathematics for key technologies in Berlin. ZIB-Report 12-27 (July 2012) Herausgegeben vom Konrad-Zuse-Zentrum f¨urInformationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Telefon: 030-84185-0 Telefax: 030-84185-125 e-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite∗ Timo Berthold Gerald Gamrath Ambros M. Gleixner Stefan Heinz Thorsten Koch Yuji Shinano Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany, fberthold,gamrath,gleixner,heinz,koch,[email protected] July 31, 2012 Abstract This paper introduces the SCIP Optimization Suite and discusses the ca- pabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming frame- work SCIP. We explain how these can be used in concert to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, give an overview of available interfaces, and outline plans for future development. ∗A Japanese translation of this paper will be published in the Proceedings of the 24th RAMP Symposium held at Tohoku University, Miyagi, Japan, 27{28 September 2012, see http://orsj.or.
    [Show full text]
  • Linear Underestimators for Bivariate Functions with a Fixed Convexity Behavior
    Takustraße 7 Konrad-Zuse-Zentrum D-14195 Berlin-Dahlem fur¨ Informationstechnik Berlin Germany MARTIN BALLERSTEINy AND DENNIS MICHAELSz AND STEFAN VIGERSKE Linear Underestimators for bivariate functions with a fixed convexity behavior This work is part of the Collaborative Research Centre “Integrated Chemical Processes in Liquid Multiphase Systems” (CRC/Transregio 63 “InPROMPT”) funded by the German Research Foundation (DFG). Main parts of this work has been finished while the second author was at the Institute for Operations Research at ETH Zurich and financially supported by DFG through CRC/Transregio 63. The first and second author thank the DFG for its financial support. Thethirdauthor was supported by the DFG Research Center MATHEON Mathematics for key technologies and the Research Campus MODAL Mathematical Optimization and Data Analysis Laboratories in Berlin. y Eidgenossische¨ Technische, Hochschule Zurich,¨ Institut fur¨ Operations Research, Ramistrasse¨ 101, 8092 Zurich (Switzerland) z Technische Universitat¨ Dortmund, Fakultat¨ fur¨ Mathematik, M/518, Vogelpothsweg 87, 44227 Dortmund (Germany) ZIB-Report 13-02 (revised) (February 2015) Herausgegeben vom Konrad-Zuse-Zentrum fur¨ Informationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Telefon: 030-84185-0 Telefax: 030-84185-125 e-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 Technical Report Linear Underestimators for bivariate functions with a fixed convexity behavior∗ A documentation for the SCIP constraint handler cons bivariate Martin Ballersteiny Dennis Michaelsz Stefan Vigerskex February 23, 2015 y Eidgenossische¨ Technische Hochschule Zurich¨ Institut fur¨ Operations Research Ramistrasse¨ 101, 8092 Zurich (Switzerland) z Technische Universitat¨ Dortmund Fakultat¨ fur¨ Mathematik, M/518 Vogelpothsweg 87, 44227 Dortmund (Germany) x Zuse Institute Berlin Takustr.
    [Show full text]
  • Nonlinear Programming Techniques for Operative Planning in Large Drinking Water Networks Jens Burgschweiger1, Bernd Gnädig2 and Marc C
    14 The Open Applied Mathematics Journal, 2009, 3, 14-28 Open Access Nonlinear Programming Techniques for Operative Planning in Large Drinking Water Networks Jens Burgschweiger1, Bernd Gnädig2 and Marc C. Steinbach3,* 1Berliner Wasserbetriebe, Abt. NA-G/W, 10864 Berlin, Germany 2Düsseldorf, Germany 3Leibniz Universität Hannover, IfAM, Welfengarten 1, 30167 Hannover, Germany Abstract: Mathematical decision support for operative planning in water supply systems is highly desirable; it leads, however, to very difficult optimization problems. We propose a nonlinear programming approach that yields practically satisfactory operating schedules in acceptable computing time even for large networks. Based on a carefully designed model supporting gradient-based optimization algorithms, this approach employs a special initialization strategy for convergence acceleration, special minimum up and down time constraints together with pump aggregation to handle switching decisions, and several network reduction techniques for further speed-up. Results for selected application scenarios at Berliner Wasserbetriebe demonstrate the success of the approach. Keywords: Water supply, large-scale nonlinear programming, convergence acceleration, discrete decisions, network reduction. INTRODUCTION • experiments with various optimization models and methods [36, 37], Stringent requirements on cost effectiveness and environmental compatibility generate an increased demand • a first nonlinear programming (NLP) model for model-based decision support tools for designing and developed under GAMS [38], operating municipal water supply systems. This paper deals • numerical results for a substantially reduced with the minimum cost operation of drinking water network graph using (under GAMS) the SQP codes networks. Operative planning in water networks is difficult: CONOPT, SNOPT, and the augmented Lagrangian a sound mathematical model leads to nonlinear mixed- code MINOS.
    [Show full text]
  • Y Nesterov Introductory Lecture Notes on Convex Optimization
    Y Nesterov Introductory Lecture Notes On Convex Optimization Jean-Luc filter his minsters discrown thermochemically or undeservingly after Haskel moralised and etymologised terrestrially, thixotropic and ravaging. Funded Artur monopolizes, his screwings mars outboxes sixfold. Maynard is endways: she slave imperiously and planning her underpainting. To provide you signed in this paper we have described as such formulations is a different methodology than the lecture notes on convex optimization nesterov ebook, and prox function minimization in the mapping is based methods 10112015 First part led the lecture notes is available 29102015. Interior gradient ascent algorithms and difficult to note that achieves regret? Comprehensive Exam Syllabus for Continuous Optimization. Convex Optimization for rigorous Science. Register update notification mail Add to favorite lecture list Academic. Nesterov 2003 Introductory Lectures on Convex Optimization Springer. The flow polytope corresponds to note that arise in this. Lecture Notes IE 521 Convex Optimization Niao He. The most important properties of our methods were provided with inequality. Optimization UCLA Computer Science. This is in order information gathered in parallel. CVXPY A Python-Embedded Modeling Language for Convex. The random decision. The assumption that use of an efficient algorithms we note that ogd as well understood and not present can update method clarified on optimization, we assume that learns as labelled data. Introduction to Online Convex Optimization by Elad Hazan Foundations and. Yurii Nesterov Google Cendekia Google Scholar. 3 First order algorithms for online convex optimization 39. Nisheeth K Vishnoi Theoretical Computer Science EPFL. Convergence rates trust-region methods introduction to the AMPL modeling language. Introductory Lectures on Convex Optimization A Basic Course.
    [Show full text]
  • 54 OP08 Abstracts
    54 OP08 Abstracts CP1 Dept. of Mathematics Improving Ultimate Convergence of An Aug- [email protected] mented Lagrangian Method Optimization methods that employ the classical Powell- CP1 Hestenes-Rockafellar Augmented Lagrangian are useful A Second-Derivative SQP Method for Noncon- tools for solving Nonlinear Programming problems. Their vex Optimization Problems with Inequality Con- reputation decreased in the last ten years due to the com- straints parative success of Interior-Point Newtonian algorithms, which are asymptotically faster. In the present research We consider a second-derivative 1 sequential quadratic a combination of both approaches is evaluated. The idea programming trust-region method for large-scale nonlin- is to produce a competitive method, being more robust ear non-convex optimization problems with inequality con- and efficient than its ”pure” counterparts for critical prob- straints. Trial steps are composed of two components; a lems. Moreover, an additional hybrid algorithm is defined, Cauchy globalization step and an SQP correction step. A in which the Interior Point method is replaced by the New- single linear artificial constraint is incorporated that en- tonian resolution of a KKT system identified by the Aug- sures non-accent in the SQP correction step, thus ”guiding” mented Lagrangian algorithm. the algorithm through areas of indefiniteness. A salient feature of our approach is feasibility of all subproblems. Ernesto G. Birgin IME-USP Daniel Robinson Department of Computer Science Oxford University [email protected]
    [Show full text]
  • Prizes and Awards Session
    PRIZES AND AWARDS SESSION Wednesday, July 12, 2021 9:00 AM EDT 2021 SIAM Annual Meeting July 19 – 23, 2021 Held in Virtual Format 1 Table of Contents AWM-SIAM Sonia Kovalevsky Lecture ................................................................................................... 3 George B. Dantzig Prize ............................................................................................................................. 5 George Pólya Prize for Mathematical Exposition .................................................................................... 7 George Pólya Prize in Applied Combinatorics ......................................................................................... 8 I.E. Block Community Lecture .................................................................................................................. 9 John von Neumann Prize ......................................................................................................................... 11 Lagrange Prize in Continuous Optimization .......................................................................................... 13 Ralph E. Kleinman Prize .......................................................................................................................... 15 SIAM Prize for Distinguished Service to the Profession ....................................................................... 17 SIAM Student Paper Prizes ....................................................................................................................
    [Show full text]
  • Using SCIP to Solve Your Favorite Integer Optimization Problem
    Using SCIP to Solve Your Favorite Integer Optimization Problem Gregor Hendel, [email protected], www.zib.de/hendel Monash University, Melbourne March 12, 2019 Gregor Hendel{ Using SCIP 1/78 Zuse Institute Berlin { Fast Algorithms, Fast Computers A research institute and computing center of the State of Berlin with research units: • Numerical Analysis and Modeling • Visualization and Data Analysis • Optimization: Energy { Transportation { Health { Mathematical Optimization Methods • Scientific Information Systems • Computer Science and High Performance Computing Gregor Hendel{ Using SCIP 2/78 What is SCIP? SCIP (Solving Constraint Integer Programs) . • provides a full-scale MIP and MINLP solver, • is constraint based, • incorporates • MIP features (cutting planes, LP relaxation), and • MINLP features (spatial branch-and-bound, OBBT) • CP features (domain propagation), • SAT-solving features (conflict analysis, restarts), • is a branch-cut-and-price framework, • has a modular structure via plugins, • is free for academic purposes, • and is available in source-code under http://scip.zib.de ! Gregor Hendel{ Using SCIP 3/78 Meet the SCIP Team 31 active developers • 7 running Bachelor and Master projects • 16 running PhD projects • 8 postdocs and professors 4 development centers in Germany • ZIB: SCIP, SoPlex, UG, ZIMPL • TU Darmstadt: SCIP and SCIP-SDP • FAU Erlangen-N¨urnberg: SCIP • RWTH Aachen: GCG Many international contributors and users • more than 10 000 downloads per year from 100+ countries Careers • 10 awards for Masters and PhD theses:
    [Show full text]
  • Iteration Parallel Algorithm for Optimal Transport
    A Direct O~(1/) Iteration Parallel Algorithm for Optimal Transport Arun Jambulapati, Aaron Sidford, and Kevin Tian Stanford University fjmblpati,sidford,[email protected] Abstract Optimal transportation, or computing the Wasserstein or “earth mover’s” distance between two n-dimensional distributions, is a fundamental primitive which arises in many learning and statistical settings. We give an algorithm which solves the problem to additive accuracy with O~(1/) parallel depth and O~ n2/ work. [BJKS18, Qua19] obtained this runtime through reductions to positive linear pro- gramming and matrix scaling. However, these reduction-based algorithms use subroutines which may be impractical due to requiring solvers for second-order iterations (matrix scaling) or non-parallelizability (positive LP). Our methods match the previous-best work bounds by [BJKS18, Qua19] while either improv- ing parallelization or removing the need for linear system solves, and improve upon the previous best first-order methods running in time O~(min(n2/2; n2:5/)) [DGK18, LHJ19]. We obtain our results by a primal-dual extragradient method, motivated by recent theoretical improvements to maximum flow [She17]. 1 Introduction Optimal transport is playing an increasingly important role as a subroutine in tasks arising in machine learning [ACB17], computer vision [BvdPPH11, SdGP+15], robust optimization [EK18, BK17], and statistics [PZ16]. Given these applications for large scale learning, design- ing algorithms for efficiently approximately solving the problem has been the
    [Show full text]
  • The SCIP Optimization Suite
    The SCIP Optimization Suite Gerald Gamrath Zuse Institute Berlin EWO Seminar February 13, 2015 Gerald Gamrath (ZIB): The SCIP Optimization Suite 1 ZIB: Fast Algorithms – Fast Computers Konrad-Zuse-Zentrum für Informationstechnik Berlin I non-university research institute and computing center of the state of Berlin I Research Units: I numerical analysis and modeling I visualization and data analysis I optimization: energy–traffic–telecommunication–linear and nonlinear IP I scientific information systems I distributed algorithms and supercomputing I President: Martin Grötschel I more information: http://www.zib.de Gerald Gamrath (ZIB): The SCIP Optimization Suite 2 ZIB: Fast Algorithms – Fast Computers Konrad-Zuse-Zentrum für Informationstechnik Berlin I non-university research institute and computing center of the state of Berlin I Research Units: I numerical analysis and modeling I visualization and data analysis I optimization: energy–traffic–telecommunication–linear and nonlinear IP I scientific information systems I distributed algorithms and supercomputing I President: Martin Grötschel I more information: http://www.zib.de Gerald Gamrath (ZIB): The SCIP Optimization Suite 2 Outline SCIP –SolvingConstraintIntegerPrograms Constraint Integer Programming Solving Constraint Integer Programs History and Applications http://scip.zib.de Gerald Gamrath (ZIB): The SCIP Optimization Suite 3 What is a Constraint Integer Program? Mixed Integer Program Constraint Program Objective function: Objective function: . linear function . arbitrary function Feasible set: Feasible set: . described by linear constraints . given by arbitrary constraints Variable domains: Variable domains: . real or integer values . arbitrary (usually finite) min cT x min c(x) s.t. Ax ≤ b s.t. x ∈ F I C I (xI , xC ) ∈ Z × R (xI , xN ) ∈ Z × X Gerald Gamrath (ZIB): The SCIP Optimization Suite 4 What is a Constraint Integer Program? Constraint Integer Program Objective function: .
    [Show full text]
  • Computational Aspects of Infeasibility Analysis in Mixed Integer Programming
    Takustr. 7 Zuse Institute Berlin 14195 Berlin Germany JAKOB WITZIG TIMO BERTHOLD STEFAN HEINZ Computational Aspects of Infeasibility Analysis in Mixed Integer Programming ZIB Report 19-54 (November 2019) Zuse Institute Berlin Takustr. 7 14195 Berlin Germany Telephone: +49 30-84185-0 Telefax: +49 30-84185-125 E-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 Computational Aspects of Infeasibility Analysis in Mixed Integer Programming Jakob Witzig,1 Timo Berthold,2 and Stefan Heinz3 1Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany [email protected] 2Fair Isaac Germany GmbH, Stubenwald-Allee 19, 64625 Bensheim, Germany [email protected] 3Gurobi GmbH, Ulmenstr. 37–39, 60325 Frankfurt am Main, Germany [email protected] November 6, 2019 Abstract The analysis of infeasible subproblems plays an important role in solv- ing mixed integer programs (MIPs) and is implemented in most major MIP solvers. There are two fundamentally different concepts to gener- ate valid global constraints from infeasible subproblems. The first is to analyze the sequence of implications, obtained by domain propagation, that led to infeasibility. The result of this analysis is one or more sets of contradicting variable bounds from which so-called conflict constraints can be generated. This concept is called conflict graph analysis and has its origin in solving satisfiability problems and is similarly used in con- straint programming. The second concept is to analyze infeasible linear programming (LP) relaxations. Every ray of the dual LP provides a set of multipliers that can be used to generate a single new globally valid linear constraint.
    [Show full text]
  • Classical Benders Decomposition (KC203) Cluster: CPAIOR Chair: Jean-François Cordeau, HEC Montreal
    Sunday, May 29, 2016 9:00am - 10:00am Session: Classical Benders Decomposition (KC203) Cluster: CPAIOR Chair: Jean-François Cordeau, HEC Montreal Classical Benders Decomposition Jean-François Cordeau, HEC Montréal, [email protected] Benders decomposition is a mathematical decomposition technique designed to solve large- scale linear and mixed-integer programs comprising two sets of variables such that a more tractable subproblem is obtained when the values of some "complicating" variables are fixed. The technique works by projecting the original problem on the space of the complicating variables, and by using a cutting plane method where cuts are generated by solving the subproblem. The purpose of this masterclass is to introduce the basic Benders decomposition methodology, to present several computational refinements that have shown to improve performance, and to discuss some recent developments. ______________________________________________________________________________ 10:15am - 11:15am Session: Logic-Based Benders Decomposition (KC203) Cluster: CPAIOR Chair: John Hooker, Carnegie Mellon University Logic-Based Benders Decomposition John Hooker, Carnegie Mellon University, [email protected] This is a tutorial on logic-based Benders decomposition, which generalizes the classical Benders method so as to accommodate an arbitrary subproblem rather than only a linear or continuous nonlinear programming problem. This allows one to apply Benders profitably to any problem that simplifies or decouples when certain variables are
    [Show full text]