|
Cutting-plane Method
In mathematical optimization, the cutting-plane method is any of a variety of optimization methods that iteratively refine a feasible set or objective function by means of linear inequalities, termed ''cuts''. Such procedures are commonly used to find integer solutions to mixed integer linear programming (MILP) problems, as well as to solve general, not necessarily differentiable convex optimization problems. The use of cutting planes to solve MILP was introduced by Ralph E. Gomory. Cutting plane methods for MILP work by solving a non-integer linear program, the linear relaxation of the given integer program. The theory of Linear Programming dictates that under mild assumptions (if the linear program has an optimal solution, and if the feasible region does not contain a line), one can always find an extreme point or a corner point that is optimal. The obtained optimum is tested for being an integer solution. If it is not, there is guaranteed to exist a linear inequality that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
TSP Cutting Plane
TSP or tsp may refer to: Medicine * Tropical spastic paraparesis, weakness due to T-lymphotropic virus infection Science and technology * Team software process, for producing software * Telecommunications service provider * .tsp, for telephony service provider, file extension for a Microsoft API * Thiele/Small parameters, of a loudspeaker driver * Thrombospondin, protein * Time stamp protocol in cryptography * Titanium sublimation pump, a type of vacuum pump * Trailer stability program on Opel vehicles * Bus priority, Transit signal priority, for buses * Travelling salesman problem, optimization problem * Trimethylsilyl-2,2,3,3-tetradeuteropropionic acid, derivative of tetramethylsilane * Trisodium phosphate, chemical compound * TSP (econometrics software), programming language * Tunnel Setup Protocol, in networking * Time Synchronization Protocol, see timed * Type Set Page, in E-publishing Food and cooking * Teaspoonful, abbreviation * Textured soy protein Governmental ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Delayed Column Generation
Column generation or delayed column generation is an efficient algorithm for solving large linear programs. The overarching idea is that many linear programs are too large to consider all the variables explicitly. The idea is thus to start by solving the considered program with only a subset of its variables. Then iteratively, variables that have the potential to improve the objective function are added to the program. Once it is possible to demonstrate that adding new variables would no longer improve the value of the objective function, the procedure stops. The hope when applying a column generation algorithm is that only a very small fraction of the variables will be generated. This hope is supported by the fact that in the optimal solution, most variables will be non-basic and assume a value of zero, so the optimal solution can be found without them. In many cases, this method allows to solve large linear programs that would otherwise be intractable. The classical example of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Benders' Decomposition
Benders decomposition (or Benders' decomposition) is a technique in mathematical programming that allows the solution of very large linear programming problems that have a special block structure. This block structure often occurs in applications such as stochastic programming as the uncertainty is usually represented with scenarios. The technique is named after Jacques F. Benders. The strategy behind Benders decomposition can be summarized as ''divide-and-conquer''. That is, in Benders decomposition, the variables of the original problem are divided into two subsets so that a first-stage master problem is solved over the first set of variables, and the values for the second set of variables are determined in a second-stage subproblem for a given first-stage solution. If the subproblem determines that the fixed first-stage decisions are in fact infeasible, then so-called ''Benders cuts'' are generated and added to the master problem, which is then re-solved until no cuts can be g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Program
Linear programming (LP), also called linear optimization, is a method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical model whose requirements are represented by linear relationships. Linear programming is a special case of mathematical programming (also known as mathematical optimization). More formally, linear programming is a technique for the optimization of a linear objective function, subject to linear equality and linear inequality constraints. Its feasible region is a convex polytope, which is a set defined as the intersection of finitely many half spaces, each of which is defined by a linear inequality. Its objective function is a real-valued affine (linear) function defined on this polyhedron. A linear programming algorithm finds a point in the polytope where this function has the smallest (or largest) value if such a point exists. Linear programs are problems that can be expressed in canonical form as : \begin & \text && ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Feasible Region
In mathematical optimization, a feasible region, feasible set, search space, or solution space is the set of all possible points (sets of values of the choice variables) of an optimization problem that satisfy the problem's constraints, potentially including inequalities, equalities, and integer constraints. This is the initial set of candidate solutions to the problem, before the set of candidates has been narrowed down. For example, consider the problem of minimizing the function x^2+y^4 with respect to the variables x and y, subject to 1 \le x \le 10 and 5 \le y \le 12. \, Here the feasible set is the set of pairs (''x'', ''y'') in which the value of ''x'' is at least 1 and at most 10 and the value of ''y'' is at least 5 and at most 12. The feasible set of the problem is separate from the objective function, which states the criterion to be optimized and which in the above example is x^2+y^4. In many problems, the feasible set reflects a constraint that one or m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nonlinear Programming
In mathematics, nonlinear programming (NLP) is the process of solving an optimization problem where some of the constraints or the objective function are nonlinear. An optimization problem is one of calculation of the extrema (maxima, minima or stationary points) of an objective function over a set of unknown real variables and conditional to the satisfaction of a system of equalities and inequalities, collectively termed constraints. It is the sub-field of mathematical optimization that deals with problems that are not linear. Applicability A typical non-convex problem is that of optimizing transportation costs by selection from a set of transportation methods, one or more of which exhibit economies of scale, with various connectivities and capacity constraints. An example would be petroleum product transport given a selection or combination of pipeline, rail tanker, road tanker, river barge, or coastal tankship. Owing to economic batch size the cost functions may have disco ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplex Method
In mathematical optimization, Dantzig's simplex algorithm (or simplex method) is a popular algorithm for linear programming. The name of the algorithm is derived from the concept of a simplex and was suggested by T. S. Motzkin. Simplices are not actually used in the method, but one interpretation of it is that it operates on simplicial '' cones'', and these become proper simplices with an additional constraint. The simplicial cones in question are the corners (i.e., the neighborhoods of the vertices) of a geometric object called a polytope. The shape of this polytope is defined by the constraints applied to the objective function. History George Dantzig worked on planning methods for the US Army Air Force during World War II using a desk calculator. During 1946 his colleague challenged him to mechanize the planning process to distract him from taking another job. Dantzig formulated the problem as linear inequalities inspired by the work of Wassily Leontief, however, at tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integer Programming
An integer programming problem is a mathematical optimization or feasibility program in which some or all of the variables are restricted to be integers. In many settings the term refers to integer linear programming (ILP), in which the objective function and the constraints (other than the integer constraints) are linear. Integer programming is NP-complete. In particular, the special case of 0-1 integer linear programming, in which unknowns are binary, and only the restrictions must be satisfied, is one of Karp's 21 NP-complete problems. If some decision variables are not discrete, the problem is known as a mixed-integer programming problem. Canonical and standard form for ILPs In integer linear programming, the ''canonical form'' is distinct from the ''standard form''. An integer linear program in canonical form is expressed thus (note that it is the \mathbf vector which is to be decided): : \begin & \text && \mathbf^\mathrm \mathbf\\ & \text && A \mathbf \le \mathbf, \\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Branch And Cut
Branch and cut is a method of combinatorial optimization for solving integer linear programs (ILPs), that is, linear programming (LP) problems where some or all the unknowns are restricted to integer values. Branch and cut involves running a branch and bound algorithm and using cutting planes to tighten the linear programming relaxations. Note that if cuts are only used to tighten the initial LP relaxation, the algorithm is called branch and cut. Algorithm This description assumes the ILP is a maximization problem. The method solves the linear program without the integer constraint using the regular simplex algorithm. When an optimal solution is obtained, and this solution has a non-integer value for a variable that is supposed to be integer, a cutting plane algorithm may be used to find further linear constraints which are satisfied by all feasible integer points but violated by the current fractional solution. These inequalities may be added to the linear program, such that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Branch And Bound
Branch and bound (BB, B&B, or BnB) is an algorithm design paradigm for discrete and combinatorial optimization problems, as well as mathematical optimization. A branch-and-bound algorithm consists of a systematic enumeration of candidate solutions by means of state space search: the set of candidate solutions is thought of as forming a rooted tree with the full set at the root. The algorithm explores ''branches'' of this tree, which represent subsets of the solution set. Before enumerating the candidate solutions of a branch, the branch is checked against upper and lower estimated ''bounds'' on the optimal solution, and is discarded if it cannot produce a better solution than the best one found so far by the algorithm. The algorithm depends on efficient estimation of the lower and upper bounds of regions/branches of the search space. If no bounds are available, the algorithm degenerates to an exhaustive search. The method was first proposed by Ailsa Land and Alison Doig whil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gérard Cornuéjols
Gérard Pierre Cornuéjols (born November 16, 1950) is the IBM University Professor of Operations Research in the Carnegie Mellon University Tepper School of Business. His research interests include facility location, integer programming, balanced matrices, and perfect graphs. Education and career Cornuéjols graduated from École nationale des ponts et chaussées and earned his Ph.D. in 1978 from Cornell University under the supervision of George Nemhauser, with a dissertation concerning facility location. He was editor-in-chief of '' Mathematics of Operations Research'' from 1999 to 2003. He was an invited speaker at the International Congress of Mathematicians in 2002. Books Cornuéjols is the author of: *''Combinatorial Optimization: Packing and Covering'' ( Society for Industrial and Applied Mathematics, 2001). *''Optimization Methods in Finance'' (With Reha Tütüncü, Cambridge University Press, 2007). *''Integer Programming'' (With Michele Conforti and Giacomo Zambell ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
