Progress in linear programming-based algorithms for integer programming: An exposition

被引:100
|
作者
Johnson, EL [1 ]
Nemhauser, GL [1 ]
Savelsbergh, MWP [1 ]
机构
[1] Georgia Inst Technol, Sch Ind & Syst Engn, Atlanta, GA 30332 USA
关键词
mixed integer programming; branch-and-cut; branch-and-price; lifting;
D O I
10.1287/ijoc.12.1.2.11900
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
This paper is about modeling and solving mixed integer programming (MIP) problems. In the last decade, the use of mixed integer programming models has increased dramatically. Fifteen years ago, mainframe computers were required to solve problems with a hundred integer variables. Now it is possible to solve problems with thousands of integer variables on a personal computer and obtain provably good approximate solutions to problems such as set partitioning with millions of binary variables. These advances have been made possible by developments in modeling, algorithms, software, and hardware. This paper focuses on effective modeling, preprocessing, and the methodologies of branch-and-cut and branch-and-price, which are the techniques that make it possible to treat problems with either a very large number of constraints or a very large number of variables. We show how these techniques are useful in important application areas such as network design and crew scheduling. Finally, we discuss the relatively new research areas of parallel integer programming and stochastic integer programming.
引用
收藏
页码:2 / 23
页数:22
相关论文
共 50 条
  • [1] Genetic Programming With Mixed-Integer Linear Programming-Based Library Search
    Quang Nhat Huynh
    Chand, Shelvin
    Singh, Hemant Kumar
    Ray, Tapabrata
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2018, 22 (05) : 733 - 747
  • [2] An integer linear programming-based tool for wireless sensor networks
    Kadayif, I
    Kandemir, A
    Vijaykrishnan, N
    Irwin, MJ
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2005, 65 (03) : 247 - 260
  • [3] Integer linear programming-based synthesis of skewed logic circuits
    Cao, A
    Sirisantana, N
    Koh, CK
    Roy, K
    ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2003, : 820 - 823
  • [4] Integer Linear Programming-Based Scheduling for Transport Triggered Architectures
    Aijo, Tomi
    Jaaskelainen, Pekka
    Elomaa, Tapio
    Kultala, Heikki
    Takala, Jarmo
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2016, 12 (04)
  • [5] An Integer Linear Programming-Based Method for the Extraction of Ontology Alignment
    El Ghandour, Naima
    Benaissa, Moussa
    Lebbah, Yahia
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2021, 16 (02) : 25 - 44
  • [6] Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
    Leue, Stefan
    Wei, Wei
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (02) : 216 - 236
  • [7] Integer Linear Programming-Based Simultaneous Scheduling and Binding for SiLago Framework
    Pudi, Dhilleswararao
    Malviya, Shivam
    Boppu, Srinivas
    Yang, Yu
    Hemani, Ahmed
    Cenkeramaddi, Linga Reddy
    IEEE ACCESS, 2024, 12 : 124081 - 124094
  • [8] EFFICIENCY OF LINEAR PROGRAMMING ALGORITHMS IN SOLVING REAL INTEGER LINEAR PROGRAMMING PROBLEMS
    RICCI
    ELECTRONISCHE DATENVERARBEITUNG, 1969, 11 (12): : 597 - +
  • [9] Linear and Integer Programming-Based Heuristics for Cost-Optimal Numeric Planning
    Piacentini, Chiara
    Castro, Margarita P.
    Cire, Andre A.
    Beck, J. Christopher
    THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 6254 - 6261
  • [10] An Integer Programming-Based Bound for Locally Repairable Codes
    Wang, Anyu
    Zhang, Zhifang
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2015, 61 (10) : 5280 - 5294