0% found this document useful (0 votes)
57 views31 pages

Integer Linear Programming - Anwar Murad Anwar

The document discusses integer linear programming. It defines integer linear programming as linear programming problems where some or all variables are restricted to integer values. These problems are important as they have applications in areas like capital budgeting, scheduling, and routing. The document also discusses techniques for solving integer linear programming problems, including cutting plane methods and branch and bound methods. It provides background on linear programming concepts like slack variables, surplus variables, and artificial variables.

Uploaded by

Samm Sung
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
57 views31 pages

Integer Linear Programming - Anwar Murad Anwar

The document discusses integer linear programming. It defines integer linear programming as linear programming problems where some or all variables are restricted to integer values. These problems are important as they have applications in areas like capital budgeting, scheduling, and routing. The document also discusses techniques for solving integer linear programming problems, including cutting plane methods and branch and bound methods. It provides background on linear programming concepts like slack variables, surplus variables, and artificial variables.

Uploaded by

Samm Sung
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 31

‫ سەالحەدین زانکۆی‬- ‫هەولێر‬

Salahaddin University – Erbil

Integer Linear Programming

Research Project Submitted to the department of Mathematics in partial fulfillment


of the requirements for the degree of BSc. in Mathematics

By:

Anwar Murad Anwar


Supervised by:

L. Maher Ali Nawkhass

March-2023
Certification of the Supervisors
I certify that this report was prepared under my supervision at the Department of
Mathematics / College of Education / Salahaddin University-Erbil in partial fulfillment of the
requirements for the degree of Bachelor of philosophy of Science in Mathematics.

Signature:

Supervisor: Maher A. Nawkhass

Scientific grade: Assist. Lecturer

Data: / 3/ 2023

In view of the available recommendations, I forward this report for debate by the
examining committee.

Signature:

Name: Dr. Rashad Rashed Haji

Scientific grade: Assist. Professor


Chairman of the Mathematics Department
Date:

I
Dedication To:
-My father and mother.

-My dear supervisor.

-My brothers

-All who want to read it

Anwar Murad Anwar

2023

II
Acknowledgement

I express my deep sense of gratitude and thanks to ALLAH the Almighty for
providing me with strength, health, faith, patience, willing and self-confidence to
accomplish this study.
My sincere thanks and appreciation are extended to the presidency of Salahaddin
University, especially the deanery of the College of Education for their facilities to
carry out my research work.
I would like to give special thanks to my supervisor “L. Maher A. Nawkhass”
for his constant and valuable guidance and encouragement during my research work.
His attention, support and timely suggestions were useful.
My deepest thanks go to Assist. professor “Dr. Rashad Rashed Haji” the head of
Mathematic Department of the College of Education, especially the library staff of the
College of Education.
Finally, I would like to state my heartily tanks to my family especially my father
and my mother as they brought me up to the stage. Also, thanks to all of those who
taught me even one word that helped me in my study.

Anwar Murad Anwar


2023

III
Abstract
Understand the limitations of simplex method in deriving integer solution
to linear programming problems. Apply cutting plane methods to obtain optimal
integer solution value of variables in an LP problem. Apply branch and bound method
to solve integer LP problems. Appreciate application of integer LP problem in several
areas of managerial decision-making.

IV
Contents
page no.
Contents
Introduction…………………………………………………………………….……..1
Chapter One…………………………………………………………………….…….2
1 Background………………………………………………………………………....2
Chapter Two…………………………………………………………………….….…7
2 Some Applications of Integer Programming ……………………………….……....7
2.1 Cutting Plane Solution Concept………………….………………………….…7

2.2 Branch and Bound Method ………………………………………….………..10


2.2.1 The Procedure……………………………………………….……………10
2.3 Gomory’s All Integer Cutting Plane Method…………………….…………...16
References…………………….…………………………………..............................23

V
Introduction
In linear programming, each decision variable, slack and/or surplus variable is
allowed to take any discrete or fractional value. However, there are certain real-life
problems in which the fractional value of the decision variables has no significance.
For example, it does not make sense to say that 1.5 men will be working on a project
or 1.6 machines will be used in a workshop. The integer solution to a problem can,
however, be obtained by rounding off the optimum value of the variables to the nearest
integer value.

This approach can be easy in terms of economy of effort, time, and the cost that
might be required to derive an integer solution. This solution, however, may not satisfy
all the given constraints. Secondly, the value of the objective function so obtained may
not be the optimal value. All such difficulties can be avoided if the given problem,
where an integer solution is required, is solved by integer program-
ming techniques.

Integer LP problems are those in which some or all of the variables are restricted
to integer (or discrete) values. An integer LP problem has important applications.
Capital budgeting, construction scheduling, plant location and size, routing and
shipping schedule, batch size, capacity expansion, fixed charge, are few problems that
demonstrate the areas of application of integer programming.

1
Chapter One
1 Background
Definition 1.1. Optimization Problem (OP) (Yang, 2008)

Optimization is everywhere, from business to engineering design, from planning your


holiday to your daily routine. Business organizations have to maximize their profit and
minimize the cost. Engineering design has to maximize the performance of the
designed product while of course minimizing the cost at the same time. Even when we
plan holidays we want to maximize the enjoyment and minimize the cost. Therefore,
the studies of optimization are of both scientific interest and practical implications and
subsequently the methodology will have many applications .
The optimization problem is expressed as follows:

Minimize (or maximize) 𝑓 (𝑥) (1.1)

Subject to 𝑥 ∈ Ω. (1.2)

The function 𝑓 ∶ ℝ𝑛 → ℝ that wish to minimize (or maximize) is a real-valued


function, and is called the objective function, or cost function. The vector 𝑥 is an 𝑛-
vector of independent variables, that is 𝑥 = (𝑥1 , 𝑥2 , … , 𝑥𝑛 )𝑇 ∈ ℝ𝑛 . The variables
𝑥1 , 𝑥2 , … , 𝑥𝑛 are often referred to as decision variables. The set Ω is a subset of ℝ𝑛 ,
called the constraint set or feasible set.

The optimization problem above can be viewed as a decision problem that


involves finding the “best” vector 𝑥 of the decision variables over all possible vectors
in Ω. The “best” vector means the one that result in the smallest value of the objective
function. This vector is called the minimizer of 𝑓 over Ω. It is possible that there may
be many minimizers. In this case, finding any of the minimizers will suffice.
There are also optimization problems that require maximization of the objective
function. These problems, however, can be represented in above form because
maximizing 𝑓 is equivalent to minimizing – 𝑓 (Chong and Zak, 2004).

2
The following diagram indicates the branch of optimization problems (Vankova,
2004)

Definition 1.2 (Vankova, 2004)

A mathematical model in operation research is viewed generally as:

Optimize 𝑍 = 𝑓(𝑥) (1.3)

Subject to:

𝐴𝑥 ≤ 𝑏 (1.4)

𝑥≥0 (1.5)

The function 𝑓 is objective function while 𝐴𝑥 ≤ 𝑏 represent the constraint, where 𝑏 is


known constants. The constricts 𝑥 ≥ 0 are called the non-negative restrictions, which
restrict the variables to zero or positive value only.

3
Definition 1.3 (Chong and Zak, 2004)

An objective function subject to constraint equations with


nonnegative variables is called initial system.

Definition 1.4 (STACHO, 2021)

Slack variable is a variable that is added to the left-hand side of a


less than or equal sign to type and convert the constraint into an equality.

Definition 1.5 (STACHO, 2021)

Surplus variable is a variable subtracted from the left-hand side of a greater


than or equal to type constraint to convert the constraint into equality. It is
also known as negative slack variable.

Definition 1.6 (Taha, 2011)

An artificial variable is a nonnegative variable added to the left-hand


side of each of the equations corresponding to constraints of this types (≥) and (=).

The artificial variables only provide a mathematical trick for


obtaining a starting solution; the effect of these variables on the final
solution is cancelled by high penalty in the objective function.

Definition 1.7 (STACHO, 2021)

The goal of linear programming is to determine the values of decision variables


that maximize or minimize a linear objective function, where the decision variables are
subject to linear constraints. The goal is to find a point that minimizes the objective
function and at the same time satisfies the constraints. The point that satisfies the
constraints is known as a feasible point. In a linear programming problem, the objective
function is linear, and the set of feasible points is determined by a set of linear equations
and / or inequalities.

A linear program is an optimization problem of the form


4
Maximize 𝑐 𝑡 𝑥 (1.6)

Subject to

𝐴𝑥 = b (1.7)

𝑥≥0 (1.8)

where 𝑐 ∈ 𝑅𝑛 , 𝑏 ∈ 𝑅 𝑚 𝑎𝑛𝑑 𝐴 ∈ 𝑅𝑚×𝑛 .

Definition 1.8 (Taha, 2011)

Any set 𝑥 = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) of variables is called solution to LPP, if it satisfies the


constraints only.

Definition 1.9 (Winston, 2022)

Any set 𝑥 = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) of variables is called feasible solution to LPP, if it satisfies


the constraints and non-negative restrictions.

Definition 1.10 (Taha, 2011)

Basic solution is a solution obtained by setting any n variable (among 𝑚 + 𝑛


variables) equal to zero and solving remaining m variables provided the determinant of
the coefficients of these m variables is non-zero. Such m (any of them may be zero) are
called basic variables and remaining n zero variables are called Non-basic variables.

Definition 1.11(Winston, 2022)

A basic feasible solution is a basic solution which also non-negative


restrictions that is all basic variables are non-negative. Basic feasible
solutions are two types

a) Non-degenerate. A Non-degenerate basic feasible solution is a basic


feasible solution which has exactly m positive xi where i=1,2,..,m. In

5
other words all m basic variables are positive, and remaining n variables
will be zero
b) Degenerate. A basic feasible solution is degenerate, if one or more basic
variable zero. If an LPP in standard from has m constraints are n variables, then
maximal number of basic solution is.

𝑛 𝑛!
( ) = (𝑛−𝑚)!𝑚!
𝑚

Definition 1.12 (Taha, 2011)

A basic feasible solution is said to be optimum if it optimizes (Max or Min )

he objective function.

Definition 1.13(Winston, 2022)

If the value of the objective function can be increased or decreased


indefinitely such solutions are called unbounded solution.

6
Chapter Two
2 Some Applications of Integer Programming

Integer-programming models arise in practically every area of application of


mathematical programming. We introduce, three kinds to solve integer programming
has played an important rules LP.

2.1 Cutting Plane Solution Concept (Winston, 2022)

The cutting-plane method to solve integer LP problems was developed by R.E.


Gomory in 1956. This method is based on creating a sequence of linear inequalities
called cuts. Such a cut reduces a part of the feasible region of the given LP problem,
leaving out a feasible region of the integer LP problem. The hyperplane boundary of a
cut is called the cutting plane

2.1.1 Illustration Consider the following linear integer programming (LIP) problem

Maximize 𝑍 = 14𝑥1 + 16𝑥2

subject to the constraints

(i) 4𝑥1 + 3𝑥2 ≤ 12


(ii) 46𝑥1 + 8𝑥2 ≤ 24
And
𝑥1 , 𝑥2 ≥ 0

Relaxing the integer requirement, the problem is solved graphically as shown in Fig
The optimal solution to this LP problem is x1=1.71, x2=1.71 and Max Z = 51.42. This
solution does not satisfy the integer requirement of variables x1 and x2. Rounding off
this solution to x1= 2, x 2= 2 does not satisfy both the constraints and therefore, the
solution is infeasible. The dots in Fig 2.1, also referred to as lattice points, represent all
of the integer solutions that lie within the feasible solution space of the LP problem.
However, it is difficult to evaluate every such point in order to determine the value of
the objective function.

7
Fig. 2.1

In Fig. 2.1, it may be noted that the optimal lattice point C, lies at the corner of the
solution space OABC, obtained by cutting away the small portion above the dotted
line. This suggests a solution procedure that successively reduces the feasible solution
space until an integer-valued corner is found. The optimal integer solution is:
x1=0,x2=3 Max Z= 48. The lattice point, C is not even adjacent to the most desirable
LP problem solution corner, B.

2.1.2 Illustration Consider the following linear integer programming (LIP) problem

Maximize 𝑍 = 3𝑥1 + 2𝑥2

subject to the constraints

(i) 2𝑥1 + 3𝑥2 ≤ 14


(ii) 2𝑥1 + 𝑥2 ≤ 9
And
𝑥1 , 𝑥2 ≥ 0 and integers

Relaxing the integer requirement, the problem is solved graphically as shown in Fig
The optimal solution to this LP problem is x1=13/4=3.25, x2=5/2=2.5 and Max Z =
59/4=14.750.

8
This solution does not satisfy the integer requirement of variables x1 and x2.Rounding
off this solution to x1= 3, x 2= 3 does not satisfy both the constraints and therefore, the
solution is infeasible. The dots in Fig 2.2 a and , also referred to as lattice points,
represent all of the integer solutions that lie within the feasible solution space of the LP
problem. However, it is difficult to evaluate every such point in order to determine the
value of the objective function.

Fig. 2.2

In Fig. 2.2, it may be noted that the optimal lattice red point, lies at the corner of the
solution space of highlighted, obtained by cutting away the small portion above the
dotted line. This suggests a solution procedure that successively reduces the feasible
solution space until an integer-valued corner is found. The optimal integer solution is:
x1=1,x2=4 Max Z= 14.

9
2.2 Branch and Bound Method (Sharma, 2009)

The Branch and Bound method developed first by A H Land and A G Doig is used to
solve all-integer, mixed-integer and zero-one linear programming problems. The
concept behind this method is to divide the feasible solution space of an LP problem
into smaller parts called subproblems and then evaluate corner (extreme) points of each
subproblem for an optimal solution. The branch and bound method starts by imposing
bounds on the value of objective function that help to determine the subproblem to be
eliminated from consideration when the optimal solution has been found. If the solution
to a subproblem does not yield an optimal integer solution, a new subproblem is
selected for branching. At a point where no more subproblem can be created, an
optimal solution is arrived at. The branch and bound method for the profit-
maximization integer LP problem can be summarized in the
following steps:

2.2.1 The Procedure

Step 1: Initialization Consider the following all integer programming problem

Obtain the optimal solution of the given LP problem ignoring integer restriction on the
variables.

(i) If the solution to this LP problem (say LP-A) is infeasible or unbounded, the solution
to the given all-integer programming problem is also infeasible or unbounded, as the
case may be.

10
(ii) If the solution satisfies the integer restrictions, the optimal integer solution has been
obtained. If one or more basic variables do not satisfy integer requirement, then go to
Step 2. Let the optimal value of objective function of LP-A be z1

(iii) Find a feasible solution by rounding off each variable value. The value of
objective function so obtained is used as a lower bound and is denoted by zL

Step 2: Branching step

(i) Let xk be one basic variable which does not have an integer value and also has the
largest fractional value.

(ii) Branch (or partition) the LP-A into two new LP subproblems (also called nodes)
based on integer values of xk that are immediately above and below its non-integer
value. That is, it is partitioned by adding two mutually exclusive constraints: x k ≤ [x]
and xk≥[xk]+1 to the original LP problem. Here [xk] is the integer portion of the current
non-integer value of the variable xk. This is obviously is done to exclude the non-
integer value of the variable xk.

The two new LP subproblems are as follows:

Step 3: Bound step Obtain the optimal solution of subproblems B and C. Let the
optimal value of the objective function of LP-B be Z2 and that of LP-C be Z3. The best
integer solution value becomes the lower bound on the integer LP problem objective
function value (Initially this is the rounded off value). Let the lower bound be denoted
by ZL.

11
Step 4: Fathoming step Examine the solution of both LP-B and LP-C
(i) If a subproblem yields an infeasible solution, then terminate the branch.
(ii) If a subproblem yields a feasible solution but not an integer solution, then return to
Step 2. (iii) If a subproblem yields a feasible integer solution, examine the value of the
objective function. If this value is equal to the upper bound, an optimal solution has
been reached. But if it is not equal to the upper bound but exceeds the lower bound,
this value is considered as new upper bound and return to Step 2. Finally, if it is less
than the lower bound, terminate this branch.

Step 5: Termination The procedure of branching and bounding continues until no


further sub-problem remains to be examined. At this stage, the integer solution
corresponding to the current lower bound is the optimal all-integer programming
problem solution.

Example Solve the following all integer programming problem using the branch and
bound method.
Maximize Z=2x1+3x2
Subject to
(i) 6x1+5x2≤25 (ii)x1+3x2≤10
x1,x2≥0 and integers.

12
Solution: Relaxing the integer conditions, the optimal non-integer solution to the
given integer LP problem obtained by graphical method as shown in Fig. 7.4 is: x1 =
1.92, x2 = 2.69 and max Z1 = 11.91. The value of Z1 represents initial upper bound as:
ZL = 11.91.
Since value of variable x2 is non-integer, therefore selecting it to decompose
(branching) the given problem into two sub-problems by adding two new

13
constraints x2 ≤2 and x2≤3 to the constraints of original LP problem as
follows:

The value of decision variables at one of the extreme point of feasible region
(solution space) of LP sub-problem C, are: x1 = 1 and x2= 3. Since these are integer
values, so there is no need to further decompose (branching) this sub-problem. The
value of objective function, Max ZL = 11 becomes lower bound on the maximum
value of objective function, Z for future solutions

LP sub-problem B is further subdivided into two LP sub-problems D and E (shown in


table) by taking variable x1 = 2.5. Adding two new constraints x1≤2,x≥3 to sub-
problem B. Also Max ZL = 11 is also not inferior to the ZL = 11.

Sub-problems D and E are solved graphically as shown in Fig. The feasible solutions
are:
Sub-problem D : x1 = 2, x2 = 2 and max Z4 = 10
Sub-problem E : x1 = 3, x2 = 1.4 and max Z5 = 10.2

14
The solution of LP sub-problem D is satisfying integer value requirement of variables
but is inferior to the solution of LP sub-problem E in terms of value of objective
function, Z5 = 10.2. Hence the value of lower bound ZL = 11 remains unchanged and
sub-problem D is not considered for further decomposition. Since the solution of sub-
problem E is non-integer, it can be further decomposed into two sub-problems by
considering variable, x2. But the value of objective function (Z5 = 10.2) is inferior to
the lower bound and hence this does not give a solution better than the one already
obtained. The sub-problem E is also not considered for further branching. Hence, the
best available solution corresponding to sub-problem C is the integer optimal
solution: x1 = 1, x2 = 3 and Max Z = 11 of the given integer LP problem. The entire
branch and bound procedure for the given Integer LP problem.

15
2.3 Gomory’s All Integer Cutting Plane Method (Sharma, 2009)

In this section, a procedure called Gomory’s all-integer algorithm will be discussed


for generating ‘cuts’ (additional linear constraints) so as to ensure an integer solution
to the given LP problem in a finite number of steps. Gomory’s algorithm has the
following properties

(i) Additional linear constraints never cutoff that portion of the original feasible
solution space that contains a feasible integer solution to the original problem.
(ii) Each new additional constraint (or hyperplane) cuts off the current non-integer
optimal solution to the linear programming problem

2.3.1 Method for Constructing Additional Constraint (Cut)

Gomory’s method begins by solving an LP problem ignoring the integer value


requirement of the decision variables. If the solution so obtained is an integer, i.e. all
variables in the ‘xB’-column (also called basis) of the simplex table assume non-
negative integer values, the current solution is the optimal solution to the given
ILP problem. However, if some of the basic variables do not have non-negative
integer value, an additional linear constraint called the Gomory constraint (or cut) is
generated. After having generated a linear constraint (or cutting plane), it is added to
the bottom of the optimal simplex table. The new problem is then solved by
using the dual simplex method. If the optimal solution, so obtained, is again a non-
integer, then another cutting plane is generated. The procedure is repeated until all
basic variables assume non-negative integer values

2.3.2 Procedure

In the optimal solution simplex table, select a row called source row for which basic
variable is non-integer. Then to develop a ‘cut’, consider only fractional part of the
coefficients in source row. Such a cut is also referred to as fractional cut.
Suppose the basic variable xr has the largest fractional value among all basic

16
variables required to assume integer value. Then the rth constraint equation (row)
from the simplex table can be rewritten as:

xBr (= br) = 1· xr + (ar1 x1 + ar2 x2 + . . . ) =xr+∑𝑗≠𝑟 𝑎rjxj (1)

where xj ( j = 1, 2, 3, . . .) represents all the non-basic variables in the rth constraint


(row), except the xr and br , r (= xBr) is the non-integer value of variable xr.
Decomposing the coefficients of variables xj and xr as well as xBr into integer and
non-negative fractional parts in Eq. (1) as shown below:

[xbr+fr = (1+0) xr+∑𝑗≠𝑟{[𝑎] +frj}xj (2)

where [xBr] and [arj] denote the largest integer value obtained by truncating the
fractional part from xBr and arj respectively. Rearranging Eq. (2) so that all the integer
coefficients appear on the left-hand side, we get

fr+{[xbr]-xr- ∑𝑗≠𝑟[𝑎rj]xj=∑𝑗≠𝑟 𝑓rjxj (3)

where fr is strictly a positive fraction (0 < fr < 1) while frj is a non-negative fraction
(0≤frj≤1).

Since all the variables (including slacks) are required to assume integer values, the
terms in the bracket on the left-hand side as well as on the right-hand side must be
non-negative numbers. Since the left-hand side in Eq. (3) is fr plus a non-negative
number, we may write it in the form of the following inequalities:

fr≤∑𝑗≠𝑟 𝑓 rj xj (4)

∑𝑗≠𝑟 𝑓 rj xj=fr+sg or –fr=sg-∑𝑗≠𝑟 𝑓 rj xj (5)

where sg is a non-negative slack variable and is also called Gomory slack variable.
Equation (5) represents Gomory’s cutting plane constraint. When this new constraint
is added to the bottom of optimal solution simplex table, it would create an additional
row in the table, along with a column for the new variable sg.

17
2.3.3 Steps of Gomory’s All Integer Programming Algorithm

An iterative procedure for the solution of an all integer programming problem by


Gomory’s cutting plane method can be summarized in the following steps.
Step 1: Initialization Formulate the standard integer LP problem. If there are any non-
integer coefficients in the constraint equations, convert them into integer coefficients.
Solve the problem by the simplex method, ignoring the integer value requirement of
the variables.

Step 2: Test the optimality

(a) Examine the optimal solution. If all basic variables (i.e. xBi = bi ≥0) have integer
values, then the integer optimal solution has been obtained and the procedure is
terminated.
(b) If one or more basic variables with integer value requirement have non-integer
solution values, then go to Step 3.

Step 3: Generate cutting plane Choose a row r corresponding to a variable xr that


has the largest fractional value fr and follow the procedure to develop a ‘cut’ (a
Gomory constraint) as explained in Eqn. (5):

-fr =sg -∑𝑗≠𝑟 𝑓 rj xj, where 0≤frj˂1 and 0≤fr˂1

f there are more than one variable with the same largest fraction, then choose the one
that has the smallest profit/unit coefficient in the objective function of maximization
LP problem or the largest cost/unit coefficient in the objective function of
minimization LP problem.

Step 4: Obtain the new solution Add this additional constraint (cut) generated in
Step 3 to the bottom of the optimal simplex table. Find a new optimal solution by
using the dual simplex method, i.e. choose a variable that is to be entered into the new
solution having the smallest ratio: {(cj – zj)/yij ; yij < 0} and return to Step 2. The
process is repeated until all basic variables with integer value
requirement assume non-negative integer values.
18
2.3.4. Flow Chat for Solving Integer LP Problem

Fig:2.2 Flow-chart

19
Example : Solve the following Integer LP problem using Gomory’s cutting
plane method

Maximize 𝑧 = 𝑥1 + 𝑥2

Subject to

(i) 3𝑥1 + 5𝑥2 ≤ 5 (ii) 𝑥2 ≤ 2

x1, x2 ≥0 and are integers.

Solution Step 1: Obtain the optimal solution to the LP problem ignoring the integer
value restriction by the simplex method.

Step 2: In the current optimal solution, shown in Table

all basic variables in the basis (xB-column) did not assume integer value. Thus
solution is not desirable. To obtain an optimal solution satisfying integer value
requirement, go to step 3

. Step 3: Since x1 is the only basic variable whose value is a non-negative fractional
value, therefore consider first row (x1-row) as source row in Table 7.1 to generate
Gomory cut as follows:

1/3=x1+0.x2+1/3s1- 2/3s2

The factoring of numbers (integer plus fractional) in the x1-source row gives

0+1/3=(1+0)x1 +(0+1/3)s1 +(-1+1/3)s2


20
Each of the non-integer coefficients is factored into integer and fractional
parts in such a manner that the fractional part is strictly positive.
Rearranging all of the integer coefficients on the left-hand side, we get

1/3+(s2-x1)=1/3s1+1/3s2

Since value of variables x 1 and s2 is assumed to be non-negative integer,


left-hand side must satisfy

1/3 ≤1/3s1+1/3s2

1/3+sg1=1/3s1+1/3s2

where sg1is the new non-negative (integer) slack variable.


Adding this equation (also called Gomory cut) at the bottom of Table, the
new values so obtained
is shown in Table

Step 4: Since the solution shown in Table is infeasible, apply the dual simplex
method to find a feasible as well as an optimal solution. The key row and key column
are marked in Table . The new solution is obtained by applying the following row
operations.

R3(new) →R3(old) × –3; R1(new) →R1(old) – (1/3) R3(new)


The new solution is shown in following Table
21
Since all c-j –zj≤0 and value of basic variables shown in xB-column of
Table is integer, the solution:
x1 = 0, x2 = 2, sg1 = 1 and Max Z = 2, is an optimal basic feasible solution of
the given ILP problem.

22
References

CHONG, E. K. & ZAK, S. H. 2004. An introduction to optimization, John Wiley & Sons.

SHARMA, J. 2009. Operations research theory and application, MACMILAN


Publishers.

STACHO, J. 2021. Introduction to operations research.

TAHA, H. A. 2011. Operations research: an introduction, Pearson/Prentice Hall Upper


Saddle River, NJ, USA.

VANKOVA, M. 2004. Algorithms for the solution of the quadratic programming


problem. University of Port Elizabeth.

WINSTON, W. L. 2022. Operations research: applications and algorithms, Cengage


Learning.

YANG, X. 2008. Introduction to mathematical optimization. From linear


programming to metaheuristics.

23
‫بوختە‬

‫لە سنوورەکانی شێوازی سیمپلێکس تێبگە لە وەرگرتنی چارەسەری ژمارە تەواو بۆ کێشەکانی‬
‫بەرنامەسازی هێڵی‪ .‬شێوازەکانی تەختەی بڕین بەکاربهێنە بۆ بەدەستهێنانی بەهای چارەسەری ژمارە تەواوە‬
‫گونجاوەکانی گۆڕاوەکان لە کێشەی ‪ .LP‬شێوازی لق و بەستراو بەکاربهێنە بۆ چارەسەرکردنی کێشەکانی ژمارە‬
‫تەواوەکانی ‪ .LP‬بەکارهێنانی کێشەی ژمارە تەواوەکانی ‪ LP‬لە چەند بوارێکی بڕیاردانی بەڕێوەبەرایەتیدا بەرز‬
‫دەنرخێنە‪.‬‬

‫‪24‬‬
‫پرۆگرامسازی هێڵی ژمارە تەواو‬

‫پرۆژەی دەرچوونە‬
‫پێشكەش بە بەشی (ماتماتیک) كراوە‪ ،‬وهك بەشێك لەپێداویستەكانی بەدهستهێنانی‬
‫بڕوانامەی بەكالۆریۆس لە زانستی (ماتماتیک)‬

‫ئامادەكراوە لەالیەن‪:‬‬
‫انور مراد انور‬

‫بەسەرپەرشتی‪:‬‬
‫ماهر علی ناوخاص‬

‫ئايار– ‪٢٠٢٣‬‬

You might also like