Professional Documents
Culture Documents
Mixed Constraints
Mixed Constraints
|t
Wkh Vlpsoh{ dqg Gxdo phwkrgv doorz xv wr vroyh pd{lpl}dwlrq dqg Plqlpl}dwlrq
sureohpv vxemhfw wr vhyhuh uhvwulfwlrqv=
Iru wkh Vlpsoh{ phwkrg wkh frqvwudlqwv pxvw eh doo dqg wkh frqvwdqwv rq
wkh uljkw0kdqg vlgh pxvw eh srvlwlyh
Iru wkh Gxdo phwkrg wkh frqvwudlqwv pxvw eh doo dqg wkh frhflhqwv lq wkh
remhfwlyh ixqfwlrq pxvw eh srvlwlyh1
Prvw uhdo zruog sureohpv lqyroyh d pl{wxuh ri dqg frqvwudlqwv dqg qhlwkhu wkh
Vlpsoh{ qru Gxdo phwkrg lv dssolfdeoh1 Wkh elj P phwkrg lv d zd| wr h{whqg wkh Vlp0
soh{ phwkrg wr pd{lpl}dwlrq sureohpv zlwk d frpelqdwlrq ri dqg frqvwudlqwv1
Vxfk frqvwudlqwv duh uhihuuhg wr dv Pl{hg Frqvwudlqwv1 D vwdqgdug sureohp wdnhv wkh
irup
F @ f4 {4 . f5 {5 . === . fq {q
d44 {4 . d45 {5 . ===d4q {q e4
d54 {4 . d55 {5 . ===d5q {q e5
s frqvwudlqwv
===
ds4 {4 . ds5 {5 . ===dsq {q es
d+s.4,4 {4 . d+s.4,5 {5 . ===d+s.4,q {q es.4
d+s.5,4 {4 . d+s.5,5 {5 . ===d+s.5,q {q es.5
t frqvwudlqwv
===
d+s.t,4 {4 . d+s.t,5 {5 . ===d+s.t,q {q es.t
d+s.t.4,4 {4 . d+s.t.4,5 {5 . ===d+s.t.4,q {q @ es.t.4
u @ frqvwudlqwv
===
d+s.t.u,4 {4 . d+s.t.u,5 {5 . ===d+s.t.u,q {q @ es.t.u
{4 > {5 > ===> {q 3
Pd{lpl}h=
vxemhfw wr=
Hdfk ri wkh t frqvwudlqw htxdwlrq ri w|sh kdv d vxusoxv yduldeoh vs.4 > v5 > ===> vs.t
vxewudfwhg DQG dq duwlfldo yduldeoh d4 > d5 > ===> dt dgghg wr wkh ohiw0kdqg vlgh1
Hdfk htxdwlrq jhwv d sdlu ri h{wud whupv1 D vxusoxv yduldeoh lv vxewudfwhg dqg
dq duwlfldo yduldeoh dgghg1
Hdfk ri wkh u htxdolw| frqvwudlqwv kdv dq duwlfldo yduldeoh dt.4 > dt.5 > ===> dt.u
dgghg1
Wkh jhqhudo v|vwhp ri frqvwudlqwv lv qrz frqyhuwhg lqwr wkh v|vwhp ri olqhdu htxdwlrqv=
d44 {4 . d45 {5 . ===d4q {q . v4 @ e4
d54 {4 . d55 {5 . ===d5q {q . v5 @ e5
===
ds4 {4 . ds5 {5 . ===dsq {q . vs @ es
d+s.4,4 {4 . d+s.4,5 {5 . ===d+s.4,q {q vs.4 . d4 @ es.4
d+s.5,4 {4 . d+s.5,5 {5 . ===d+s.5,q {q vs.5 . d5 @ es.5
===
d+s.t,4 {4 . d+s.t,5 {5 . ===d+s.t,q {q vs.t . dt @ es.t
d+s.t.4,4 {4 . d+s.t.4,5 {5 . ===d+s.t.4,q {q . dt.4 @ es.t.4
===
d+s.t.u,4 {4 . d+s.t.u,5 {5 . ===d+s.t.u,q {q . dt.u @ es.t.u
{4 > {5 > ===> {q > v4 > v5 > ===> vs.t > d4 > d5 > ===> dt.u 3
+,
Zh zdqw wkh duwlfldo yduldeohv d4 > d5 > ===> dt.u wr eh }hur dw wkh hqg ri wkh fdofxodwlrq
e jlyhq e|
dqg wr pdnh wkdw kdsshq zh ghqh d qhz remhfwlyh ixqfwlrq F
e @ F P d4 P d5 === P dt.u
F
zkhuh wkh frqvwdqw P lv vrph odujh srvlwlyh qxpehu1 Wkh hhfw ri wklv lv wkdw zkhq
e zh zloo gulyh wkh duwlfldo yduldeohv wrzdugv }hur ehfdxvh wkh whup
zh pd{lpl}h F
Pd4 Pd5 ===P dt.u zloo eh vpdoohvw zkhq doo wkh dl +l @ 4> 5> ===> t .u, duh }hur1
Wkh sdudphwhu P lv dvvxphg wr eh dv elj dv uhtxluhg dqg/ dv d uhvxow/ wkh phwkrg lv
fdoohg wkh Elj P phwkrg1 Wkh prglhg sureohp lv qrz
e @ f4 {4 . f5 {5 . === . fq {q P d4 P d5 === P dt.u
Pd{lpl}h= F
vxemhfw wr=
wkh frqvwudlqwv +,
Wkh prglhg sureohp lv qrz vroyhg lq wkh xvxdo vlpsoh{ pdqqhu h{fhsw wkdw wkh
v|vwhp lv yhu| pxfk odujhu wkdq zh kdyh kdg wr ghdo zlwk ehiruh dqg wkh frqvwdqw P
dsshduv h{solflwo|1 Wkh vwhsv duh=
Irup wkh lqlwldo vlpsoh{ wdeohdx iru wkh prglhg sureohp1 Lq wklv frqwh{w lw lv
nqrz dv wkh suholplqdu| vlpsoh{1
Xvh urz rshudwlrqv wr holplqdwh wkh P *v lq wkh erwwrp urz dw wkh irrw ri hdfk
duwlfldo yduldeoh froxpq ri wkh wdeohdx1
Dsso| wkh uhjxodu Vlpsoh{ Phwkrg wr wkh uhvxowlqj wdeohdx1
5
Li wkh prglhg sureohp kdv qr vroxwlrq wkhq qhlwkhu glg wkh ruljlqdo sureohp1 Li dq|
ri wkh duwlfldo yduldeohv lq wkh rswlpdo vroxwlrq wr wkh prglhg sureohp duh qrq0}hur
wkhq wkh ruljlqdo sureohp kdv qr rswlpdo vroxwlrq1 Khuh lv dq h{dpsoh ri krz wkh
zkroh elj0P phwkrg zrunv1
, @4T*i
Xvh wkh elj0P phwkrg wr vroyh wkh sureohp
Pd{lpl}h=
vxemhfw wr=
S @ 6{4 . 7{5
{4 . {5 45
8{4 . 5{5 69
:{4 . 7{5 47
{4 > {5 3
Iluvw zh lqurgxfh vodfn/ vxusoxv dqg duwlfldo yduldeohv dqg ghqh wkh prglhg sure0
ohp
Pd{lpl}h= Se @ 6{4 . 7{5 P d4 P d5
vxemhfw wr=
{4 . {5 . v4 @ 45
8{4 . 5{5 v5 . d4 @ 69
:{4 . 7{5 v6 . d5 @ 47
{4 > {5 > v4 > v5 > d4 > d5 3
Wkh suholplqdu| vlpsoh{ lv
{4
4
8
:
06
{5
4
5
7
07
v4
4
3
3
3
v5
3
04
3
3
v6
3
3
04
3
d4
3
4
3
P
d5
3
3
4
P
Se
3
3
3
4
45
69
47
3
Qh{w zh holplqdwh hqwulhv P dw wkh edvh ri wkh wzr duwlfldo yduldeoh froxpqv1
{5
v4 v5 v6 d4 d5 Se
{4
4
4
4
3 3
3 3
3
45
8
5
3
04 3
4 3
3
69
:
7
3
3 04 3 4
3
47
06045P 0709P 3
P P 3 3
4 083P
Qrz zh surfhhg zlwk wkh uhjxodu vlpsoh{ phwkrg1 Iluvw zh orfdwh d slyrw hohphqw
dqg pdnh lw 4 dqg fduu| rxw d vlqjoh vwhs ri wkh vlpsoh{ phwkrg
{4
3
3
4
3
{5
62:
092:
72:
9
49
: . :P
v4
4
3
3
3
v5
3
04
3
P
v6
42:
82:
042:
8: P 6:
6
d4
3
4
3
3
d5
042:
082:
42:
6 . 45 P
:
:
Se
3
3
3
4
43
59
5
59P . 9
D vhfrqg vwhs lv uhtxluhg1 Orfdwh wkh vhfrqg slyrw dqg frpsohwh wkh vwhs1
{4
3
3
4
3
{5
v4
4
3
3
3
6
8
98
5
8
47
8
v5
v6
3
4
3
3
4
8
:8
48
68
d4
48
:
8
4
8
P . 68
d5
3
04
3
P
Se
3
3
3
4
57
8
4;5
8
69
8
43;
8
Wkhuh duh vwloo qhjdwlyh hqwulhv rq wkh erwwrp urz vr zh kdyh wr lwhudwh djdlq1
{4
3
3
4
3
{5
4
3
3
3
v4
v5
5
56
04
46
P 46
8
6
4
6
4
6
v6
3
4
3
3
d4
46
4
4
6
P . 46
d5
3
04
3
P
Se
3
3
3
4
;
79
7
77
Wkh erwwrp urz kdv qr pruh qhjdwlyh hqwulhv dqg vr zh kdyh uhdfkhg wkh rswlpxp
vroxwlrq1
{4
{5
v4
v6
Se
@
@
@
@
@
7
;
v5 @ 3 @ d4 @ d5
79
77
Doo wkh duwlfldo yduldeohv duh }hur dqg vr wkh vroxwlrq wr rxu ruljlqdo rswlpl}dwlrq
sureohp e| wklv phwkrg lv
S @ 77 zkhq {4 @ 7 dqg {5 @ ;
Wkh elj0P phwkrg fdq dovr eh xvhg wr vroyh plqlpl}dwlrq sureohpv1 Wklv lv grqh e|
fkdqjlqj wkh vljq ri wkh remhfwlyh ixqfwlrq S= Wr plqplpl}h S zh vlpso| pd{lpl}h
T @ S= Khuh lv d vlpsoh h{dpsoh1
, @4T*i
Xvh wkh elj0P phwkrg wr vroyh wkh sureohp
Plqlpl}h= S @ 7{4 . 5{5
vxemhfw wr= 6{4 . {5 @ 6
7{4 . 6{5 9
{4 . 5{5 6
{4 > {5 3
7
Iluvw zh lqwurgxfh vodfn/ vxusoxv dqg duwlfldo yduldeohv dqg frqyhuw wr d Pd{lpxp
sureohp e| uhsodflqj S zlwk T @ S dqg dgglqj wkh dgglwlrqdo shqdow| whupv wr T
lqyroylqj P dqg wkh duwlfldo yduldeohv d4 dqg d5 = Wkh prglhg sureohp lv=
e @ 7{4 5{5 P d4 P d5
Pd{lpl}h= T
vxemhfw wr=
6{4 . {5 . d4 @ 6
7{4 . 6{5 v4 . d5 @ 9
{4 . 5{5 . v5 @ 6
{4 > {5 > v4 > v5 > d4 > d5 3
Wkh suholplqdu| vlpsoh{ lv
{4
6
7
4
7
{5
4
6
5
5
v4
3
04
3
3
v5
3
3
4
3
d4
4
3
3
P
d5
3
4
3
P
T
3
3
3
4
6
9
6
3
Wkh uvw vwhs lv wkh holplqdwlrq ri wkh P lq wkh erwwrp urz dw wkh irrw ri wkh wzr
duwlfldo yduldeoh froxpqv1
{4
6
7
4
70:P
{5
4
6
5
507P
v4
3
04
3
P
v5
3
3
4
3
d4
4
3
3
3
d5
3
4
3
3
T
3
3
3
4
6
9
6
0<P
v4
3
04
3
P
v5
3
3
4
3
d4
4
3
3
3
d5
3
4
3
3
T
3
3
3
4
6
9
6
0<P
{5
4
6
5
507P
{5
426
6
5
507P
v4
3
04
3
P
v5
3
3
4
3
d4
426
3
3
3
d5
3
4
3
3
T
3
3
3
4
4
9
6
0<P
{5
426
826
826
5 8P
6
6
v4
3
04
3
P
v5
3
3
4
3
d4
426
0726
0426
0+70:P,26
8
d5
3
4
3
3
T
3
3
3
4
4
5
5
5P 7