DOC PREVIEW
UT Dallas CS 6385 - 23CONSAG

This preview shows page 1 out of 4 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 4 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 4 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

Constraint AggregationIn the constraint aggregation method we replace several constraints by asingle one. Let us show the technique trough the example of the knapsackproblem. The original knapsack problem is formulated as follows.max Z =NXi=1pixiSubject toNXi=1cixi≤ Cxi∈ {0, 1}, i = 1, . . . , NLet us assume now that instead of a single inequality constraint we have two.Assume further that all constants are nonnegative integers. Thus, the taskbecomes this:max Z =NXi=1pixiSubject toNXi=1aixi≤ ANXi=1bixi≤ Bxi∈ {0, 1}, i = 1, . . . , NA possible motivation is, refering to the Capital Budgeting problem, thatthere are two kinds of costs associated with each item, and the budgetsfor the different types come from different sources, so they may have to beobeyed separately. Or, in the knapsack terminology, each item has a size anda weight parameter, and the knapsack can carry only a certain total size anda certain total weight, so we have to satisfy both constraints.Let us first convert the inequality constraints into equations, by introducingslack variables. Let xN +1be the slack variable in the first inquality, andxN +2in the second. Further, let aN +1= 1, bN +1= 0, bN +2= 1. In this waywe can simply include the slack variables in the summation, without extraterms. Moreover, we can observe that the size of the “gap” the slack variablehas to fill can be at most A in the first constraint, and at most B in thesecond.max Z =NXi=1pixiSubject toN +2Xi=1aixi= AN +2Xi=1bixi= Bxi∈ {0, 1}, i = 1, . . . , NxN +1∈ {0, 1, . . . , A}xN +2∈ {0, 1, . . . , B}Now the question is this: can we replace the two equality constraints aboveby a single one, so that this single constraint is equivalent to the joint effectof the two? By equivalence we mean that they generate the same set offeasible solutions.The answer to the above question is yes, even though it may seem counter-intuitive at first. Let us define the parameters of the new constraint byci= ai+ Mbifor every i, andC = A + MBwhere M is a constant that we are going to choose later.It is clear that the two constraintsN +1Xi=1aixi= A (1)N +2Xi=1bixi= B (2)imply the new oneN +2Xi=1(ai+ Mbi)xi= A + MB (3)(taking aN +2= 0), since (3) is just a linear combination of (1) and (2). Thequestion, however, is this: can we choose M such that the implication alsoholds in the opposite direction, that is, such that the aggregated constraint(3) implies (1) and (2)?The answer is yes. To see it, let us rearrange (3) in the following form:N +1Xi=1aixi− A| {z }Y+ MÃN +2Xi=1bixi− B!| {z }Z= 0 (4)Now observe that the value ofY =N +1Xi=1aixi− Amust be at least − A, and cannot be more thanPNi=1ai+ A − A =PNi=1ai.So we have the bound|Y | ≤ A0= max{A,NXi=1ai}.Using Z =PN +2i=1bixi− B, we can rewrite (4) asY + MZ = 0. (5)How can this equality hold? One possibility is that Y = Z = 0. In that case,(1) and (2) are both satisfied, sinceY =N +1Xi=1aixi− A and Z =N +2Xi=1bixi− B.On the other hand, if Z 6= 0, then |Z| ≥ 1, b eing an integer. In this case Ymust make the left hand side 0 in (5). If, however, we choose M = A0+ 1,then it becomes imp ossible, since with this choice we have M|Z| ≥ A0+ 1,and we already know |Y | ≤ A0.Thus, with the choice of M = A0+ 1, we can achieve that whenever theaggregated constraint (3) is satisfiable, both original constraints (1) and (2)will also be satisfiable. Of course, this is only guaranteed when the variablestake their values from the allowed ranges.Remark: We can assume that A <PNi=1ai, since otherwise the originalconstraintPNi=1aixi≤ A would always be satisfied, so we could simply leaveit out. With this assumption the choice for the constant M becomesM = 1


View Full Document

UT Dallas CS 6385 - 23CONSAG

Documents in this Course
assn1

assn1

2 pages

38rel2

38rel2

5 pages

Report

Report

3 pages

networks

networks

18 pages

lp2

lp2

44 pages

lp2 (2)

lp2 (2)

27 pages

lp1(1)

lp1(1)

21 pages

integer1

integer1

50 pages

FrankR2

FrankR2

3 pages

duality

duality

28 pages

CMST

CMST

44 pages

hw4

hw4

3 pages

for 1

for 1

11 pages

ENCh02

ENCh02

33 pages

pree

pree

2 pages

new  3

new 3

2 pages

new  2

new 2

2 pages

hw4a

hw4a

2 pages

T2_Sol

T2_Sol

4 pages

ISM3

ISM3

8 pages

hw4_sol

hw4_sol

6 pages

Elm04_06

Elm04_06

11 pages

atn proj2

atn proj2

20 pages

12CUT1

12CUT1

8 pages

09Ford

09Ford

23 pages

08FLOW

08FLOW

6 pages

03LP_su

03LP_su

6 pages

40REL40

40REL40

5 pages

39rel3

39rel3

5 pages

38arel2

38arel2

5 pages

37REL1

37REL1

3 pages

24TABU

24TABU

3 pages

22DYNPR

22DYNPR

3 pages

21B&C

21B&C

2 pages

20BBEX0

20BBEX0

3 pages

19BB

19BB

5 pages

14CAPBUD0

14CAPBUD0

11 pages

35BRXCH

35BRXCH

2 pages

34COMB

34COMB

4 pages

32CAPAS

32CAPAS

4 pages

31QUEUE

31QUEUE

3 pages

Load more
Download 23CONSAG
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view 23CONSAG and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view 23CONSAG 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?