LinearProgrammingComputation2ndEd.
LinearProgrammingComputation2ndEd.
net/publication/367052505
CITATIONS READS
5 548
1 author:
Ping-Qi Pan
Southeast University
167 PUBLICATIONS 1,520 CITATIONS
SEE PROFILE
All content following this page was uploaded by Ping-Qi Pan on 12 January 2023.
Linear Programming
Computation
Second Edition
Ping-Qi PAN
Department of Mathematics
Southeast University
Nanjing, China
© The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore
Pte Ltd. 2023
This work is subject to copyright. All rights are solely and exclusively licensed by the Publisher, whether
the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse
of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and
transmission or information storage and retrieval, electronic adaptation, computer software, or by similar
or dissimilar methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication
does not imply, even in the absence of a specific statement, that such names are exempt from the relevant
protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this book
are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or
the editors give a warranty, expressed or implied, with respect to the material contained herein or for any
errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional
claims in published maps and institutional affiliations.
This Springer imprint is published by the registered company Springer Nature Singapore Pte Ltd.
The registered company address is: 152 Beach Road, #21-01/04 Gateway East, Singapore 189721,
Singapore
Dedicated to my parents, Chao Pan and
Yinyun Yan; my wife, Minghua Jiang; my son,
Yunpeng; my granddaughter, Heidi
Preface to First Edition
vii
viii Preface to First Edition
book does not only present fundamental materials but also attempts to reflect the
state of the art of LP. It has been my long-lasting belief that research, in operations
research/management science, in particular, should be of practical value, at least
potentially. The author, therefore, focuses on theories, methods, and implementation
techniques that are closely related to LP computation.
This book consists of two parts. Part I mainly covers fundamental and conven-
tional materials, such as the geometry of the feasible region, the simplex method,
duality principle, and dual simplex method, implementation of the simplex method,
sensitivity analysis, parametric LP, variants of the simplex method, decomposition
method, and interior-point method. In addition, integer linear programming (ILP),
differing from LP in nature, is also discussed not only because ILP models can be
handled by solving a sequence of LP models but also because they are so rich in
practice and form a major application area of LP computations.
Part II presents published or unpublished new results achieved by the author
himself, such as pivot rule, dual pivot rule, simplex phase-1 method, dual simplex
phase-I method, reduced simplex method, generalized reduced simplex method,
deficient-basis method, dual deficient-basis method, face method, dual face method,
and pivotal interior-point method. The last chapter contains miscellaneous topics,
such as some special forms of the LP problem, approaches to intercepting for primal
and dual optimal sets, practical pricing schemes, relaxation principle, local duality,
decomposition principle, and ILP method based on the generalized reduced simplex
framework.
To make the material easier to follow and understand, the algorithms in this book
were formulated and illustrative examples were worked out wherever possible. If
the book is used as a textbook for upper-level undergraduate/graduate course, (Part
I) may be suitable to be as basic course material.
Acknowledgments
At this very moment, I deeply cherish the memory of Professor Xuchu He, my
former mentor at Nanjing University, aroused my interest in optimization. I honor
the Father of linear programming and the simplex method, Professor George. B.
Dantzig for the encouragement given during the 16th International Symposium on
Mathematical Programming, Lausanne EPFL., in August 1997. I am very grateful
to Professor Michael Saunders of Stanford University for his thoughtful comments
and suggestions given in the past. He selflessly offered the MINOS 5.51 package
(the latest version of MINOS at that time) and related materials, from which my
work and this book benefited greatly. MINOS has been the benchmark and platform
of our computational experiments. I thank Professor R. Tyrrell Rockafellar of the
University of Washington, Professor Thomas F. Coleman of Cornell University, and
Professor Weide Zheng of Nanjing University for their support and assistance. I
would also like to thank the following colleagues for their support and assistance:
Professor James V. Burke of the University of Washington, Professor Liqun
Preface to First Edition ix
Since its birth, linear programming (LP) has achieved great success in many fields,
such as economy, commerce, production, science, and technology, and brought
about amazing economic and social benefits. After 70 years of development, LP
now becomes a relatively mature branch in OR/MS. Nevertheless, the academic
community faces a major challenge of the growing demand, which needs more
powerful and robust tools to deal with large-scale and difficult problems.
To meet the challenge, this book draws materials from a practical point of
view, focusing on theories, methods, and implementation techniques that are
closely related to LP computation. Its first edition consists of two parts. Roughly
speaking, Part I covers fundamental materials of LP, and Part II includes pub-
lished/unpublished new results achieved by the author.
Little attention was received via the author’s ResearchGate Web page until Shi,
Zhang, and Zhu published their book review in the European Journal of Operational
Research (June 2018). Since then, the book quickly attracted considerable attention
from academic communities around the world. As of November 6, 2022, the top ten
chapter reads are as follows:
Chapter Reads
1. Duality Principle and Dual Simplex Method (Part I) 15419
2. Simplex Feasible-Pointx Method (Part II) 7861
3. Integer Linear Programming (ILP) (Part I) 7340
4. Implementation of the Simplex Method (Part I) 3284
5. Dual Simplex Phase-I Method (Part II) 2613
6. Simplex Method (Part I) 2576
7. Variants of the Simplex Method (Part I) 2328
8. Geometry of the Feasible Region (Part I) 1951
9. Pivot Rule (Part II) 1844
10. Simplex Phase-I Method (Part I) 1506
xi
xii Preface to Second Edition
The preceding data are consistent with corresponding downloads from the
Springer website.
Surprisingly enough, the chapter ”Dual Principle and Dual Simplex Method” not
only received the maximum number of reads as a whole but also almost weekly,
even if it is devoted to such a classical topic. This might be because the discussions
are comprehensive, compared with popular literature.
Proposed for the first time, the Feasible-Point Simplex Method, which appeared
as the final section of the chapter ”Pivotal Interior-Point Method,” received the
second-highest reads as a whole. It achieved this in a short period of 10 weeks.
Indeed, supported by the solid computational results, the method itself might exceed
all expectations.
The final chapter of Part I, ”Integer Linear Programming (ILP),” usually received
the second-highest reads weekly. This happened, I guess, because many researchers
are interested in the newly proposed controlled-branch method and controlled-
cutting method, which have potential applications for developing new ILP solvers.
The author’s main contributions seem to have not been fully valued by now,
including most pivot rules, reduced and D-reduced simplex methods, deficient-basis
and dual deficient-basis methods, face and dual face methods, and the decomposi-
tion principle, included in Part II. This is somewhat surprising since these methods
are supported by solid computational results, except for the newly introduced
reduced and D-reduced simplex methods, and the decomposition principle. In the
author’s view, the reduced simplex method is particularly noteworthy. It is the
first simplex method that searches along the objective-edge. In contrast to existing
simplex methods, it first determines pivot row and then pivot column, and does
so without any selection essentially. As a dual version of it, the D-reduced simplex
method shares similar attractive features, through determining pivot column first and
pivot row later. As for the decomposition principle, it allows for solving arbitrarily
large-scale (even dense) LP problems, in essence, giving a glimmer of light on some
other types of separable large-scale problems. Time will likely clarify the value of
these methods vs other LP solvers.
We are also optimistic about the face and dual face methods. Without exploiting
sparsity, the original methods were implemented using orthogonal transformation
with favorable computational results reported. In the second edition, we added
two chapters devoted to new methods with LU factorization for sparse computing.
Indeed, this is a very natural development which the author cannot help himself
from breaking into.
Some changes on chapters and sections were made with corrections and improve-
ments, and the whole second edition was organized into two parts. Roughly speak-
ing, Part I (Foundations) contains Part I of the first edition, and Part II (Advances)
includes Part II. The Simplex Feasible-Point Algorithm was improved, and removed
from the chapter ”Pivotal Interior-Point Method” to form an independent chapter
with its new title “Simplex Interior-Point Method,” since it actually represents a
new class of interior-point algorithms, which can be transformed from the traditional
simplex algorithms. The title of the original chapter was changed to “Facial Interior-
Point Method,” since the remaining algorithms represent another new class of
Preface to Second Edition xiii
References
1. Cipra BA (2000) The best of the 20th century: editors name top 10 algorithms.
SIAM News 33:1–2
2. Murtagh BA, Saunders MA (1998) MINOS 5.5 user’s guid. Technical report SOL
83-20R, Department of Engineering Economics Systems & Operations Research,
Stanford University, Stanford
3. Shi Y-y, Zhang L-H, Zhu W-X (2018) A review of linear programming compu-
tation by Ping-Qi Pan. European Journal of Operational Research 267(3):1182–
1183
Contents
Part I Foundations
1 Introduction .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 3
1.1 Error of Floating-Point Arithmetic . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 4
1.2 From Real-Life Issue to LP Model . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 6
1.3 Illustrative Applications . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 9
1.4 Standard LP Problem.. . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 14
1.5 Basis and Feasible Basic Solution .. . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 17
References .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 22
2 Geometry of Feasible Region .. . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 23
2.1 Feasible Region as Polyhedral Convex Set . . . . .. . . . . . . . . . . . . . . . . . . . 24
2.2 Interior Point and Relative Interior Point . . . . . . .. . . . . . . . . . . . . . . . . . . . 28
2.3 Face, Vertex, and Extreme Direction . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 31
2.4 Representation of Feasible Region . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 42
2.5 Optimal Face and Optimal Vertex . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 44
2.6 Graphic Approach .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 46
2.7 Heuristic Characteristic of Optimal Solution . . .. . . . . . . . . . . . . . . . . . . . 47
2.8 Feasible Direction and Active Constraint . . . . . . .. . . . . . . . . . . . . . . . . . . . 51
References .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 54
3 Simplex Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 57
3.1 Simplex Algorithm: Tableau Form . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 57
3.2 Getting Started.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 68
3.3 Simplex Algorithm .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 74
3.4 Degeneracy and Cycling . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 80
3.5 Finite Pivot Rule. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 84
3.6 Notes on Simplex Method . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 91
References .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 93
4 Implementation of Simplex Method .. . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 95
4.1 Miscellaneous . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 95
4.2 Scaling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 97
xv
xvi Contents
Part II Advances
12 Pivot Rule . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 341
12.1 Partial Pricing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 342
12.2 Steepest-Edge Rule. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 344
12.3 Approximate Steepest-Edge Rule . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 346
12.4 Largest-Distance Rule.. . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 348
12.5 Nested Rule . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 350
12.6 Nested Largest-Distance Rule . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 352
References .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 353
13 Dual Pivot Rule . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 355
13.1 Dual Steepest-Edge Rule. . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 355
13.2 Approximate Dual Steepest-Edge Rule . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 359
13.3 Dual Largest-Distance Rule . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 360
13.4 Dual Nested Rule .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 362
References .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 363
14 Simplex Phase-I Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 365
14.1 Infeasibility-Sum Algorithm .. . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 365
14.2 Single-Artificial-Variable Algorithm . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 370
14.3 Perturbation of Reduced Cost. . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 376
14.4 Using Most-Obtuse-Angle Column Rule . . . . . . .. . . . . . . . . . . . . . . . . . . . 380
References .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 383
15 Dual Simplex Phase-l Method . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 385
15.1 Dual Infeasibility-Sum Algorithm .. . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 385
15.2 Dual Single-Artificial-Variable Algorithm .. . . . .. . . . . . . . . . . . . . . . . . . . 389
15.3 Perturbation of the Right-Hand Side . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 395
15.4 Using Most-Obtuse-Angle Row Rule . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 398
References .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 401
16 Reduced Simplex Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 403
16.1 Reduced Simplex Algorithm.. . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 404
16.2 Dual Reduced Simplex Algorithm . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 412
16.2.1 Dual Reduced Simplex Phase-I:
Most-Obtuse-Angle.. . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 418
16.3 Perturbation Reduced Simplex Algorithm . . . . . .. . . . . . . . . . . . . . . . . . . . 422
16.4 Bisection Reduced Simplex Algorithm . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 426
16.5 Notes on Reduced Simplex Algorithm .. . . . . . . . .. . . . . . . . . . . . . . . . . . . . 430
References .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 430
17 D-Reduced Simplex Method. . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 433
17.1 D-Reduced Simplex Tableau . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 434
17.2 Dual D-Reduced Simplex Algorithm.. . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 437
17.2.1 Dual D-Reduced Phase-I . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 442
17.3 D-Reduced Simplex Algorithm .. . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 445
17.3.1 D-Reduced Phase-I: Most-Obtuse-Angle Rule. . . . . . . . . . . . 452
Contents xix
Index . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 733
About the Book
This book represents a real breakthrough in the field of linear programming (LP).
Being both thoughtful and informative, it focuses on reflecting and promoting the
state of the art by highlighting new achievements in LP. This new edition was orga-
nized into two parts. The first part addresses foundations of LP, including geometry
of feasible region, simplex method, implementation of simplex method, duality
and dual simplex method, primal-dual simplex method, sensitivity analysis and
parametric LP, generalized simplex method, decomposition method, interior-point
method, and integer LP method. The second part mainly introduces contributions
of the author himself, such as efficient primal/dual pivot rules, primal/dual Phase-
I methods, reduced/D-reduced simplex methods, generalized reduced simplex
method, primal/dual deficient-basis methods, primal/dual face methods, and new
decomposition principle.
Many important improvements were made in this edition. The first part includes
new results, such as mixed two-phase simplex algorithm, dual elimination, fresh
pricing scheme for reduced cost, and bilevel LP model and intercepting of optimal
solution set. In particular, the chapter ”Integer LP Method” was rewritten in
great gains of the objective cutting for new ILP solvers controlled-cutting/branch
methods, as well as an attractive implementation of the controlled-branch method. In
the second part, the “simplex feasible-point algorithm” was rewritten and removed
from the chapter “Pivotal Interior-Point Method” to form an independent chapter
with the new title “Simplex Interior-Point Method,” as it represents a class of new
interior-point algorithms transformed from traditional simplex algorithms. The title
of the original chapter was then changed to “Facial Interior-Point Method,” as
the remaining algorithms represent another class of new interior-point algorithms
transformed from normal interior-point algorithms. Without exploiting sparsity, the
original primal/dual face methods were implemented using Cholesky factorization.
To cope sparse computation, two new chapters for ones with LU factorization were
added to the second part. Another exciting improvement was the reduced simplex
method. In the first edition, the derivation of its prototype was presented in a chapter
with the same title, and then converted into the so-called “improved” one in another
chapter. Fortunately, the author recently found a quite concise new derivation, so
xxiii
xxiv About the Book
he can now introduce the distinctive and very promising new simplex method in a
single chapter.
This book is a rare work in LP. With a focus on computation, it contains many
novel ideas and methods, supported by sufficient numerical results. Being clear
and succinct, its content deduces in a fresh manner, from simple to profound.
In particular, a larger number of examples were worked out to demonstrate
algorithms. So, it is an indispensable tool for undergraduate/graduate students,
teachers, practitioners, and researchers in LP and related fields.
About the Author
xxv
Notation
In this book, in general, uppercase English letters are used to denote matrices,
lowercase English letters used to denote vectors, and lowercase Greek letters do
denote reals. Set is designated by uppercase English or Greek letters. Unless
indicated otherwise, all vectors are column ones.
LP Linear programming
ILP Integer linear programming
Rn Euclidean space of dimension n
R Euclidean space of dimension 1
0 Origin of Rn (or the zero vector)
ei Unit vector with the ith component 1 (dimension will be clear from the
context; the same below)
e Vector of all ones
I Unit matrix
A Coefficient matrix of the linear program; also stands for index set of A’s
columns, i.e., A = {1, . . . , n}
m Number of rows of A
n Number of columns of A
b Right-hand side of the equality constraint
c Cost vector, i.e., coefficient vector of the objective function
B Basis (matrix). Also the set of basic indices
N Nonbasic columns of A. Also the set of nonbasic indices
aj The j th column of A
ai j The entry of the ith row and j th column of A
vj The j th component of vector v
v Euclidean norm of vector v
max(v) The largest component of vector v
AJ Submatrix consisting of columns corresponding to index set J
vI Subvector consisting of components corresponding to row index set I
AT Transpose of A
X Diagonal matrix whose diagonal entries are components of vector x
xxvii
xxviii Notation