DOCSLIB.ORG

A Mixed Integer Linear Programming for Maximizing Effectiveness of Case Assignment in Court of Justice Using Metaheuristic Optimization

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Mixed Integer Linear Programming for Maximizing Effectiveness of Case Assignment in Court of Justice Using Metaheuristic Optimization International Journal of Mathematical and Computational Methods W. Wongsinlatam et al. http://www.iaras.org/iaras/journals/ijmcm A Mixed Integer Linear Programming for Maximizing Effectiveness of Case Assignment in Court of Justice using Metaheuristic Optimization W. WONGSINLATAM1, K. PIMPILA2, A. WONGPHAT3, AND S. BUCHITCHON4* 1 Faculty of Applied Science and Engineering, Khon Kaen University, Nong Khai Campus, Nong Khai, 43000, THAILAND E-mail address : [email protected] 2 Faculty of Education, Rajabhat Phetchabun University, Phetchabun, 67000, THAILAND E-mail address : [email protected] 3 Faculty of Science and Technology, Rajabhat Mahasarakham University, Mahasarakham, 44000, THAILAND E-mail address : [email protected] 4 Faculty of Integrated Social Sciences, Khon Kaen University, Nong Khai Campus, Nong Khai, 43000, THAILAND *Corresponding author E-mail address : [email protected] Abstract: - It is known that litigation is time consuming. However, justice delayed is justice denied. The effectiveness of judicial system depends on the efficient and timely manner of court case operation. Court case assignment in Thailand is currently operated in a random assignment norm. However, the increasing number of cases in the court of justice contributes as a building block to the reputation of time consuming operating system. Selecting the right cases to be assigned to the available efficient judge in the area is a vital need for judicial operation. Therefore, major challenges with respect to court case assignment are to determine the right case to be assigned to the right efficient judge in the field and to allocate appropriate time for delivering the court decision in order to maximize the effectiveness of the judicial system. In this article, the selected math model is a mixed integer linear programming that is developed to analyze and solve the problem. A metaheuristic algorithm with polynomially bounded computational complexity is proposed to address the issue. Furthermore, results of extensive computational experiments to empirically evaluate its effectiveness to find an optimal solution are reported. Key-Words: - Justice administration, Case assignment, Mixed integer programming, Assignment problem, Metaheuristic method, NP-hard problem 1 Introduction However, the increasing number of cases in the Justice administration and case assignment court of justice contributes as a building block to the are routine works in judicial system. However, the reputation of time consuming operating system. In effectiveness of such work represents as a goal of the last decade, caseload in the court of Thailand has judicial system which is to ensure the rule of law. dramatically increased. This is due to the change in The ‘rule of law’ means that the administration of constitutional law which requires a full quorum of justice and other exercise of public authority must judges – generally a team of two - to be seated at a be predictable and consistent [1]. hearing. It is known that litigation is time Several proposals have been made to consuming. The effectiveness of judicial system increase system efficiency including case depends on the efficient and timely manner of court management, court-annexed mediation, and digital case operation. Court case assignment in Thailand is audio testimony recording system [2]. Case currently operated in a random assignment norm. assignment is one of the most significant tools in ISSN: 2367-895X 415 Volume 1, 2016 International Journal of Mathematical and Computational Methods W. Wongsinlatam et al. http://www.iaras.org/iaras/journals/ijmcm case management to improve efficiency of judicial high quality calcium carbonate slurry, supplied to system. It is proposed in this paper that selecting the European paper manufacturers. Christodoulos A. right cases to be assigned to the available efficient Floudas [6] applied the scheduling of chemical judge in the area is a vital need for judicial processing systems based on MILP approaches operation. Therefore, major challenges with respect which improved the computational efficiency in the to court case assignment are to determine the right solution of MILP problems. However, the use of case to be assigned to the right efficient judge in the MILP model in juridical problem is still limited. field and to allocate appropriate time for delivering Metaheuristic optimizations purpose is to the court decision in order to maximize the find optimal solution for NP-hard problem which effectiveness of the judicial system. solves the local minima problem to find the global In mathematics, mathematical modelling minima that solve several practical optimization transforms the real problem into the objective problems. The algorithm of metaheuristic methods function with constrained or unconstrained is made of a random number that moves in a wide optimization problems to find an exact solution or feasible solution to solve several optimization optimal solution. The mathematical modelling is problem. The metaheuristic method reduces the time being used in several fields of science and in finding the exact solution or the good solution in technology. The objective function is generally the problem. Popular methods for assignment being formed in convex programming, nonlinear problem includes; Ant Colony Optimization (ACO) programming, and stochastic programming. The [7]; Tabu Search (TS) [8]; Particle Swarm new trend of objective function is interested in Optimization (PSO) [9]; and Firefly Algorithm (FA) forming the mixed integer linear programming. The [10]. mixed integer linear programming (MILP) is In this paper, the practical problem in popular in the problem of assignment because the juridical area is being used as assignment problem. objective function of minimize or maximize Selecting the right cases to be assigned to the optimization in MILP is more effective than the available efficient judge in the area is a vital need linear or nonlinear programming. MILP is a mixed for judicial operation. Therefore, major challenges of the several forms of programming which with respect to court case assignment are to combined the binary integer programming with determine the right case to be assigned to the right linear programming. efficient judge in the field and to allocate This research uses the metaheuristic method appropriate time for delivering the court decision in for assignment problem of the court case and order to maximize the effectiveness of the judicial coordination of justice team. The objective of system. The objective function is used the MILP assignment problem includes N cases that must be optimization model of case analysis and assigned to N teams where each team has the examination. The goal of this proposed model is to competence to do all cases. However, due to maximize the overall effectiveness in identifying the personal ability, case specification or other reasons, perpetrator of the crime. each team may spend different time for minimize or The rest of the paper proceeds as follows: maximize with the objective of assignment problem. Section 2 is an introduction to assignment problem In planning the working system in an of the case assignment in court of justice. The organization, the coordination of workers and tasks objective function uses the MILP optimization by is a major consideration that reflects the efficiency using two metaheuristic optimizations. The of the company. The Mixed integer programming computational results and discussion about the (MIP) was used in the examination proctor effectiveness of the proposed metaheuristic assignment problem by Takeshi Koide where staffs algorithms in finding an optimal are provided in are assigned for examinations as proctors in the Section 3. Finally, section 4 summarizes our regular examination period [3]. Julia Rieck et al. [4] conclusions. applied the project scheduling problems subject to general temporal constraints using MILP model and domain-reducing processing techniques. The models 2 The Case Assignment in the Court used CPLEX 12.1 software to solve lower and upper bounds for resource requirements at particular of Justice points in time. David Bredström et al. [5] used MILP model for barge transport planning on the 2.1 The definition of problem river Rhine. The planning solved the supply chain management of Omya’s production of Norwegian ISSN: 2367-895X 416 Volume 1, 2016 International Journal of Mathematical and Computational Methods W. Wongsinlatam et al. http://www.iaras.org/iaras/journals/ijmcm Nomenclature 2.2 The formulation of problem C index set for cases assignment. {1,2,...,n } The MILP model formulation for the above P index set for justice panel. {1,2,..., m} problem is as follows: nm c each case assignment. cC∈ . maximize ZT=∑∑µi ⋅ ij (1) effective rate for case assignment. ij=11 = µc L lower bounds on justice time. Constraints: c n upper bounds on justice time. Uc ∑Tij ≤ MT; ∀ jm≤ (2) MT maximum time for justice deadline. i=1 T− XU ⋅≤0; ∀ i≤≤ nj, m (3) T assignment of case c to the right justice. ij ij i cj T− XL ⋅≥0; ∀ i≤≤ nj, m (4) X an binary decision variable. ij ij i ij m ∑ X ij ≤1; ∀ in≤ (5) To define the problem, consider the j=1 following scenario: A set Cn= {}1,2,.., of n cases 1, if case i is selected to justice j; X ij = has been filed to the court of justice where a set 0, otherwise; Pm= {}1,2,.., of m are available justice panels ∀≤ i nj, ≤ m (6) forming justice teams. If case cC∈ is selected for We assume that the effectiveness rate of a justice team, at least Lt time units must be spent µµ µ to deliver the court decision. Also, the maximum cases administration are 12, ,.., n , respectively. amount of time to be spent on each case cC∈ must The objective function according equation (1) for not exceed U be time units since spending more the above problem is defined to the overall t effectiveness of the judicial procedure. The than this time would distort justice. constraint in equation (2) is the total time spent on a To simplify the presentation of our approach sequential of case does not exceed the maximum to develop and solve a mathematical model for this allowable time MT for each justice team.
Load more

Recommended publications
  • A Lifted Linear Programming Branch-And-Bound Algorithm for Mixed Integer Conic Quadratic Programs Juan Pablo Vielma, Shabbir Ahmed, George L
    A Lifted Linear Programming Branch-and-Bound Algorithm for Mixed Integer Conic Quadratic Programs Juan Pablo Vielma, Shabbir Ahmed, George L. Nemhauser, H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, 765 Ferst Drive NW, Atlanta, GA 30332-0205, USA, {[email protected], [email protected], [email protected]} This paper develops a linear programming based branch-and-bound algorithm for mixed in- teger conic quadratic programs. The algorithm is based on a higher dimensional or lifted polyhedral relaxation of conic quadratic constraints introduced by Ben-Tal and Nemirovski. The algorithm is different from other linear programming based branch-and-bound algo- rithms for mixed integer nonlinear programs in that, it is not based on cuts from gradient inequalities and it sometimes branches on integer feasible solutions. The algorithm is tested on a series of portfolio optimization problems. It is shown that it significantly outperforms commercial and open source solvers based on both linear and nonlinear relaxations. Key words: nonlinear integer programming; branch and bound; portfolio optimization History: February 2007. 1. Introduction This paper deals with the development of an algorithm for the class of mixed integer non- linear programming (MINLP) problems known as mixed integer conic quadratic program- ming problems. This class of problems arises from adding integrality requirements to conic quadratic programming problems (Lobo et al., 1998), and is used to model several applica- tions from engineering and finance. Conic quadratic programming problems are also known as second order cone programming problems, and together with semidefinite and linear pro- gramming (LP) problems are special cases of the more general conic programming problems (Ben-Tal and Nemirovski, 2001a).
    [Show full text]
  • Linear Programming
    Lecture 18 Linear Programming 18.1 Overview In this lecture we describe a very general problem called linear programming that can be used to express a wide variety of different kinds of problems. We can use algorithms for linear program- ming to solve the max-flow problem, solve the min-cost max-flow problem, find minimax-optimal strategies in games, and many other things. We will primarily discuss the setting and how to code up various problems as linear programs At the end, we will briefly describe some of the algorithms for solving linear programming problems. Specific topics include: • The definition of linear programming and simple examples. • Using linear programming to solve max flow and min-cost max flow. • Using linear programming to solve for minimax-optimal strategies in games. • Algorithms for linear programming. 18.2 Introduction In the last two lectures we looked at: — Bipartite matching: given a bipartite graph, find the largest set of edges with no endpoints in common. — Network flow (more general than bipartite matching). — Min-Cost Max-flow (even more general than plain max flow). Today, we’ll look at something even more general that we can solve algorithmically: linear pro- gramming. (Except we won’t necessarily be able to get integer solutions, even when the specifi- cation of the problem is integral). Linear Programming is important because it is so expressive: many, many problems can be coded up as linear programs (LPs). This especially includes problems of allocating resources and business 95 18.3. DEFINITION OF LINEAR PROGRAMMING 96 supply-chain applications. In business schools and Operations Research departments there are entire courses devoted to linear programming.
    [Show full text]
  • Integer Linear Programs
    20 ________________________________________________________________________________________________ Integer Linear Programs Many linear programming problems require certain variables to have whole number, or integer, values. Such a requirement arises naturally when the variables represent enti- ties like packages or people that can not be fractionally divided — at least, not in a mean- ingful way for the situation being modeled. Integer variables also play a role in formulat- ing equation systems that model logical conditions, as we will show later in this chapter. In some situations, the optimization techniques described in previous chapters are suf- ficient to find an integer solution. An integer optimal solution is guaranteed for certain network linear programs, as explained in Section 15.5. Even where there is no guarantee, a linear programming solver may happen to find an integer optimal solution for the par- ticular instances of a model in which you are interested. This happened in the solution of the multicommodity transportation model (Figure 4-1) for the particular data that we specified (Figure 4-2). Even if you do not obtain an integer solution from the solver, chances are good that you’ll get a solution in which most of the variables lie at integer values. Specifically, many solvers are able to return an ‘‘extreme’’ solution in which the number of variables not lying at their bounds is at most the number of constraints. If the bounds are integral, all of the variables at their bounds will have integer values; and if the rest of the data is integral, many of the remaining variables may turn out to be integers, too.
    [Show full text]
  • Chapter 11: Basic Linear Programming Concepts
    CHAPTER 11: BASIC LINEAR PROGRAMMING CONCEPTS Linear programming is a mathematical technique for finding optimal solutions to problems that can be expressed using linear equations and inequalities. If a real-world problem can be represented accurately by the mathematical equations of a linear program, the method will find the best solution to the problem. Of course, few complex real-world problems can be expressed perfectly in terms of a set of linear functions. Nevertheless, linear programs can provide reasonably realistic representations of many real-world problems — especially if a little creativity is applied in the mathematical formulation of the problem. The subject of modeling was briefly discussed in the context of regulation. The regulation problems you learned to solve were very simple mathematical representations of reality. This chapter continues this trek down the modeling path. As we progress, the models will become more mathematical — and more complex. The real world is always more complex than a model. Thus, as we try to represent the real world more accurately, the models we build will inevitably become more complex. You should remember the maxim discussed earlier that a model should only be as complex as is necessary in order to represent the real world problem reasonably well. Therefore, the added complexity introduced by using linear programming should be accompanied by some significant gains in our ability to represent the problem and, hence, in the quality of the solutions that can be obtained. You should ask yourself, as you learn more about linear programming, what the benefits of the technique are and whether they outweigh the additional costs.
    [Show full text]
  • Chapter 7. Linear Programming and Reductions
    Chapter 7 Linear programming and reductions Many of the problems for which we want algorithms are optimization tasks: the shortest path, the cheapest spanning tree, the longest increasing subsequence, and so on. In such cases, we seek a solution that (1) satisfies certain constraints (for instance, the path must use edges of the graph and lead from s to t, the tree must touch all nodes, the subsequence must be increasing); and (2) is the best possible, with respect to some well-defined criterion, among all solutions that satisfy these constraints. Linear programming describes a broad class of optimization tasks in which both the con- straints and the optimization criterion are linear functions. It turns out an enormous number of problems can be expressed in this way. Given the vastness of its topic, this chapter is divided into several parts, which can be read separately subject to the following dependencies. Flows and matchings Introduction to linear programming Duality Games and reductions Simplex 7.1 An introduction to linear programming In a linear programming problem we are given a set of variables, and we want to assign real values to them so as to (1) satisfy a set of linear equations and/or linear inequalities involving these variables and (2) maximize or minimize a given linear objective function. 201 202 Algorithms Figure 7.1 (a) The feasible region for a linear program. (b) Contour lines of the objective function: x1 + 6x2 = c for different values of the profit c. x x (a) 2 (b) 2 400 400 Optimum point Profit = $1900 ¡ ¡ ¡ ¡ ¡ 300 ¢¡¢¡¢¡¢¡¢ 300 ¡ ¡ ¡ ¡ ¡ ¢¡¢¡¢¡¢¡¢ ¡ ¡ ¡ ¡ ¡ ¢¡¢¡¢¡¢¡¢ 200 200 c = 1500 ¡ ¡ ¡ ¡ ¡ ¢¡¢¡¢¡¢¡¢ ¡ ¡ ¡ ¡ ¡ ¢¡¢¡¢¡¢¡¢ c = 1200 ¡ ¡ ¡ ¡ ¡ 100 ¢¡¢¡¢¡¢¡¢ 100 ¡ ¡ ¡ ¡ ¡ ¢¡¢¡¢¡¢¡¢ c = 600 ¡ ¡ ¡ ¡ ¡ ¢¡¢¡¢¡¢¡¢ x1 x1 0 100 200 300 400 0 100 200 300 400 7.1.1 Example: profit maximization A boutique chocolatier has two products: its flagship assortment of triangular chocolates, called Pyramide, and the more decadent and deluxe Pyramide Nuit.
    [Show full text]
  • Linear Programming
    Stanford University | CS261: Optimization Handout 5 Luca Trevisan January 18, 2011 Lecture 5 In which we introduce linear programming. 1 Linear Programming A linear program is an optimization problem in which we have a collection of variables, which can take real values, and we want to find an assignment of values to the variables that satisfies a given collection of linear inequalities and that maximizes or minimizes a given linear function. (The term programming in linear programming, is not used as in computer program- ming, but as in, e.g., tv programming, to mean planning.) For example, the following is a linear program. maximize x1 + x2 subject to x + 2x ≤ 1 1 2 (1) 2x1 + x2 ≤ 1 x1 ≥ 0 x2 ≥ 0 The linear function that we want to optimize (x1 + x2 in the above example) is called the objective function.A feasible solution is an assignment of values to the variables that satisfies the inequalities. The value that the objective function gives 1 to an assignment is called the cost of the assignment. For example, x1 := 3 and 1 2 x2 := 3 is a feasible solution, of cost 3 . Note that if x1; x2 are values that satisfy the inequalities, then, by summing the first two inequalities, we see that 3x1 + 3x2 ≤ 2 that is, 1 2 x + x ≤ 1 2 3 2 1 1 and so no feasible solution has cost higher than 3 , so the solution x1 := 3 , x2 := 3 is optimal. As we will see in the next lecture, this trick of summing inequalities to verify the optimality of a solution is part of the very general theory of duality of linear programming.
    [Show full text]
  • Implementing Customized Pivot Rules in COIN-OR's CLP with Python
    Cahier du GERAD G-2012-07 Customizing the Solution Process of COIN-OR's Linear Solvers with Python Mehdi Towhidi1;2 and Dominique Orban1;2 ? 1 Department of Mathematics and Industrial Engineering, Ecole´ Polytechnique, Montr´eal,QC, Canada. 2 GERAD, Montr´eal,QC, Canada. [email protected], [email protected] Abstract. Implementations of the Simplex method differ only in very specific aspects such as the pivot rule. Similarly, most relaxation methods for mixed-integer programming differ only in the type of cuts and the exploration of the search tree. Implementing instances of those frame- works would therefore be more efficient if linear and mixed-integer pro- gramming solvers let users customize such aspects easily. We provide a scripting mechanism to easily implement and experiment with pivot rules for the Simplex method by building upon COIN-OR's open-source linear programming package CLP. Our mechanism enables users to implement pivot rules in the Python scripting language without explicitly interact- ing with the underlying C++ layers of CLP. In the same manner, it allows users to customize the solution process while solving mixed-integer linear programs using the CBC and CGL COIN-OR packages. The Cython pro- gramming language ensures communication between Python and COIN- OR libraries and activates user-defined customizations as callbacks. For illustration, we provide an implementation of a well-known pivot rule as well as the positive edge rule|a new rule that is particularly efficient on degenerate problems, and demonstrate how to customize branch-and-cut node selection in the solution of a mixed-integer program.
    [Show full text]
  • A Branch-And-Bound Algorithm for Zero-One Mixed Integer
    A BRANCH-AND-BOUND ALGORITHM FOR ZERO- ONE MIXED INTEGER PROGRAMMING PROBLEMS Ronald E. Davis Stanford University, Stanford, California David A. Kendrick University of Texas, Austin, Texas and Martin Weitzman Yale University, New Haven, Connecticut (Received August 7, 1969) This paper presents the results of experimentation on the development of an efficient branch-and-bound algorithm for the solution of zero-one linear mixed integer programming problems. An implicit enumeration is em- ployed using bounds that are obtained from the fractional variables in the associated linear programming problem. The principal mathematical result used in obtaining these bounds is the piecewise linear convexity of the criterion function with respect to changes of a single variable in the interval [0, 11. A comparison with the computational experience obtained with several other algorithms on a number of problems is included. MANY IMPORTANT practical problems of optimization in manage- ment, economics, and engineering can be posed as so-called 'zero- one mixed integer problems,' i.e., as linear programming problems in which a subset of the variables is constrained to take on only the values zero or one. When indivisibilities, economies of scale, or combinatoric constraints are present, formulation in the mixed-integer mode seems natural. Such problems arise frequently in the contexts of industrial scheduling, investment planning, and regional location, but they are by no means limited to these areas. Unfortunately, at the present time the performance of most compre- hensive algorithms on this class of problems has been disappointing. This study was undertaken in hopes of devising a more satisfactory approach. In this effort we have drawn on the computational experience of, and the concepts employed in, the LAND AND DoIGE161 Healy,[13] and DRIEBEEKt' I algorithms.
    [Show full text]
  • Production Models: Maximizing Profits
    1 ________________________________________________________________________________________________ Production Models: Maximizing Profits As we saw in the Introduction, mathematical programming is a technique for solving certain kinds of optimization problems Ð maximizing profit, minimizing cost, etc. Ð subject to constraints on resources, capacities, supplies, demands, and the like. AMPL is a language for specifying such mathematical optimization problems. It provides a notation that is very close to the way that you might describe a problem mathematically, so that it is easy to convert from an algebraic description to AMPL. We will concentrate initially on linear programming, which is the best known and eas- iest case; other kinds of mathematical programming are taken up toward the end of the book. This chapter addresses one of the most common applications of linear program- ming: maximizing the profit of some operation, subject to constraints that limit what can be produced. Chapters 2 and 3 are devoted to two other equally common kinds of linear programs, and Chapter 4 shows how linear programming models can be replicated and combined to produce truly large-scale problems. These chapters are written with the beginner in mind, but experienced practitioners of mathematical programming should find them useful as a quick introduction to AMPL. We begin with a linear program (or LP for short) with only two variables, motivated by a mythical steelmaking operation. This will provide a quick review of linear program- ming to refresh your memory if you already have some experience, or to help you get started if you're just learning. We'll show how the same LP can be represented as a gen- eral algebraic model of production, together with specific data.
    [Show full text]
  • 1 Linear Programming
    ORF 523 Lecture 9 Princeton University Instructor: A.A. Ahmadi Scribe: G. Hall Any typos should be emailed to a a [email protected]. In this lecture, we see some of the most well-known classes of convex optimization problems and some of their applications. These include: • Linear Programming (LP) • (Convex) Quadratic Programming (QP) • (Convex) Quadratically Constrained Quadratic Programming (QCQP) • Second Order Cone Programming (SOCP) • Semidefinite Programming (SDP) 1 Linear Programming Definition 1. A linear program (LP) is the problem of optimizing a linear function over a polyhedron: min cT x T s.t. ai x ≤ bi; i = 1; : : : ; m; or written more compactly as min cT x s.t. Ax ≤ b; for some A 2 Rm×n; b 2 Rm: We'll be very brief on our discussion of LPs since this is the central topic of ORF 522. It suffices to say that LPs probably still take the top spot in terms of ubiquity of applications. Here are a few examples: • A variety of problems in production planning and scheduling 1 • Exact formulation of several important combinatorial optimization problems (e.g., min-cut, shortest path, bipartite matching) • Relaxations for all 0/1 combinatorial programs • Subroutines of branch-and-bound algorithms for integer programming • Relaxations for cardinality constrained (compressed sensing type) optimization prob- lems • Computing Nash equilibria in zero-sum games • ::: 2 Quadratic Programming Definition 2. A quadratic program (QP) is an optimization problem with a quadratic ob- jective and linear constraints min xT Qx + qT x + c x s.t. Ax ≤ b: Here, we have Q 2 Sn×n, q 2 Rn; c 2 R;A 2 Rm×n; b 2 Rm: The difficulty of this problem changes drastically depending on whether Q is positive semidef- inite (psd) or not.
    [Show full text]
  • Notes 1: Introduction to Optimization Models
    Notes 1: Introduction to Optimization Models IND E 599 September 29, 2010 IND E 599 Notes 1 Slide 1 Course Objectives I Survey of optimization models and formulations, with focus on modeling, not on algorithms I Include a variety of applications, such as, industrial, mechanical, civil and electrical engineering, financial optimization models, health care systems, environmental ecology, and forestry I Include many types of optimization models, such as, linear programming, integer programming, quadratic assignment problem, nonlinear convex problems and black-box models I Include many common formulations, such as, facility location, vehicle routing, job shop scheduling, flow shop scheduling, production scheduling (min make span, min max lateness), knapsack/multi-knapsack, traveling salesman, capacitated assignment problem, set covering/packing, network flow, shortest path, and max flow. IND E 599 Notes 1 Slide 2 Tentative Topics Each topic is an introduction to what could be a complete course: 1. basic linear models (LP) with sensitivity analysis 2. integer models (IP), such as the assignment problem, knapsack problem and the traveling salesman problem 3. mixed integer formulations 4. quadratic assignment problems 5. include uncertainty with chance-constraints, stochastic programming scenario-based formulations, and robust optimization 6. multi-objective formulations 7. nonlinear formulations, as often found in engineering design 8. brief introduction to constraint logic programming 9. brief introduction to dynamic programming IND E 599 Notes 1 Slide 3 Computer Software I Catalyst Tools (https://catalyst.uw.edu/) I AIMMS - optimization software (http://www.aimms.com/) Ming Fang - AIMMS software consultant IND E 599 Notes 1 Slide 4 What is Mathematical Programming? Mathematical programming refers to \programming" as a \planning" activity: as in I linear programming (LP) I integer programming (IP) I mixed integer linear programming (MILP) I non-linear programming (NLP) \Optimization" is becoming more common, e.g.
    [Show full text]
  • ILOG AMPL CPLEX System Version 9.0 User's Guide
    ILOG AMPL CPLEX System Version 9.0 User’s Guide Standard (Command-line) Version Including CPLEX Directives September 2003 Copyright © 1987-2003, by ILOG S.A. All rights reserved. ILOG, the ILOG design, CPLEX, and all other logos and product and service names of ILOG are registered trademarks or trademarks of ILOG in France, the U.S. and/or other countries. JavaTM and all Java-based marks are either trademarks or registered trademarks of Sun Microsystems, Inc. in the United States and other countries. Microsoft, Windows, and Windows NT are either trademarks or registered trademarks of Microsoft Corporation in the U.S. and other countries. All other brand, product and company names are trademarks or registered trademarks of their respective holders. AMPL is a registered trademark of AMPL Optimization LLC and is distributed under license by ILOG.. CPLEX is a registered trademark of ILOG.. Printed in France. CO N T E N T S Table of Contents Chapter 1 Introduction . 1 Welcome to AMPL . .1 Using this Guide. .1 Installing AMPL . .2 Requirements. .2 Unix Installation . .3 Windows Installation . .3 AMPL and Parallel CPLEX. 4 Licensing . .4 Usage Notes . .4 Installed Files . .5 Chapter 2 Using AMPL. 7 Running AMPL . .7 Using a Text Editor . .7 Running AMPL in Batch Mode . .8 Chapter 3 AMPL-Solver Interaction . 11 Choosing a Solver . .11 Specifying Solver Options . .12 Initial Variable Values and Solvers. .13 ILOG AMPL CPLEX SYSTEM 9.0 — USER’ S GUIDE v Problem and Solution Files. .13 Saving temporary files . .14 Creating Auxiliary Files . .15 Running Solvers Outside AMPL. .16 Using MPS File Format .
    [Show full text]