See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/24064887

General allocation problems with single-peaked preferences: path-

independence and related topics

Article in Spanish Economic Review · May 2002

DOI: 10.1007/s101080200038 · Source: RePEc

CITATIONS READS

5 67

1 author:

Carmen Herrero
University of Alicante
127 PUBLICATIONS 1,317 CITATIONS

SEE PROFILE

All content following this page was uploaded by Carmen Herrero on 02 June 2014.

The user has requested enhancement of the downloaded file.

Jhqhudo Doorfdwlrq Sureohpv zlwk Vlqjoh0Shdnhg
Suhihuhqfhv= Sdwk0Lqghshqghqfh dqg uhodwhg
wrslfv1
Fduphq Khuuhur
Xqlyhuvlgdg gh Dolfdqwh ) LYLH
Wklv yhuvlrq/ Vhswhpehu/ 58/ 5334

Devwudfw
Zh idfh wkh sureohp ri doorfdwlrqj d {hg dprxqw ri d shuihfwo| glylvleoh
jrrg dprqj d jurxs ri djhqwv zlwk vlqjoh0shdnhg suhihuhqfhv1 Zh vxuyh|
wkh wkuhh glhuhqw fdvhv vwxglhg lq wkh olwhudwxuh= wkh sxuh glvwulexwlrq fdvh/
wkh uhglvwulexwlrq fdvh/ dqg wkh jhuqhudo fdvh1 Wkh vr fdoohg jhqhudo fdvh
surylgh zlwk d qdwxudo iudphzrun wr dqdo|}h wkh lghd ri sdwk0lqghshqghqfh1
Lq wklv iudphzrun/ zh h{soruh wkh h{lvwhqfh ri uxohv ixooolqj wklv surshuw|1
Rxu uvw uhvxow lv qhjdwlyh= d vwurqj yhuvlrq ri wklv surshuw| fdqqrw eh
ixooohg wrjhwkhu zlwk h!flhqf|1 Qrqhwkhohvv/ vrph uhvwulfwhg yhuvlrqv ri
wkh sdwk0lqghshqghqfh surshuw| duh frpsdwleoh zlwk lqwhuhvwlqj surshuwlhv/
lq sduwlfxodu qr pdqlsxodelolw|/ dqg qr hqy|1 Zh wkhq lghqwli| wzr vroxwlrqv
vdwlvi|lqj wklv vruw ri surshuw|= wkh htxdo glvwdqfh uxoh/ dqg d qhz h{whqvlrq
ri wkh xqlirup uxoh1
Dgguhvv iru fruuhvsrqghqfh= Fduphq Khuuhur1 Ghsduwdphqwr gh Ixqgdphq0
wrv gho Dqäolvlv Hfrqöplfr1 Xqlyhuvlgdg gh Dolfdqwh1 363:4 Dolfdqwh1 Vsdlq1
Skrqh= +67,<98<3694;
Id{= +67,<98<369;8> H0pdlo= fduphq1khuuhurCxd1hv
D suholplqdu| yhuvlrq ri wklv sdshu zdv zulwwhq gxulqj p| vwd| dw wkh Xqlyhuvlw| ri
Urfkhvwhu/ lq 4<<;1 L dp judwhixo wr wkh idflolwlhv surylghg e| wkh Ghsduwphqw/ dqg vshfldoo| wr
Zlooldp Wkrpvrq iru klv khos1 Ilqdqfldo vxssruw iurp wkh Plqlvwhulr gh Hgxfdflrq | Flhqfld/
SU <:046943;7/ dqg SE<:03453/ duh judwhixoo| dfnqrzohgjhg1 L wkdqn dovr Dqwrqlr Yloodu dqg
wzr dqrq|prxv uhihuhhv iru khosxo frpphqwv1 Wkh xvxdo fdyhdw dssolhv1
41 Lqwurgxfwlrq
Zh frqvlghu khuh wkh sureohp ri doorfdwlqj d {hg dprxqw ri dq lqqlwho| glylvleoh
jrrg dprqj d jurxs ri djhqwv zkrvh suhihuhqfhv duh vlqjoh0shdnhg1 Zh pd|
wklqn ri d jurxs ri djhqwv zkr froohfwlyho| pxvw vxsso| d fhuwdlq txdqwlw| ri
oderu sdlg krxuo| wr frpsohwh vrph frpprq wdvn1 Li djhqwv* glvxwlolw| ri oderu
lv frqfdyh/ wkhlu lqgxfhg suhihuhqfhv duh vlqjoh0shdnhg/ qdpho|/ hdfk lqglylgxdo
kdv dq lghdo dprxqw ri krxuv wr zrun/ fdoohg khu shdn/ dqg kdylqj wr zrun pruh
ru ohvv ghfuhdvhv khu xwlolw|1 Zkhq wkh djjuhjdwh zloolqjqhvv wr zrun glhuv iurp
wkh wrwdo dprxqw ri oderu uhtxluhg/ vrph surfhgxuh kdv wr eh ghylvhg lq rughu wr
doorfdwh wkh glhuhqfh1
Wklv w|sh ri sureohp fdq eh dqdo|}hg lq glhuhqw vfhqdulrv1 Rqh lv wkdw lq
zklfk wkh rqo| lqirupdwlrq uhtxluhg uhihuv wr djhqwv* suhihuhqfhv dqg wkh vl}h ri
wkh wdvn wr eh shuiruphg1 Wklv lv wkh sxuh glvwulexwlrq sureohp1 D glhuhqw
fdvh lv wkdw lq zklfk wkh wdvn fruuhvsrqgv wr wkh vxp ri d uhihuhqfh ru hqgrzphqwv
yhfwru1 Vr wkh gdwd ri wkh sureohp duh wkh djhqwv* suhihuhqfhv dqg wkhlu hqgrz0
phqwv1 Wklv lv nqrzq dv wkh uhglvwulexwlrq sureohp1 D pruh jhqhudo vfhqdulr
lv wkdw lq zklfk wkh uhvroxwlrq ri wkh sureohp ghshqgv rq wkh djhqwv* suhihuhqfhv/
wkhlu hqgrzphqwv dqg vrph dgglwlrqdo wdvn1 Wklv lv zkdw zh fdoo wkh jhqhudo
doorfdwlrq sureohp/ dqg lv wkh vxemhfw ri wklv sdshu1
Wr looxvwudwh wklv w|sh ri sureohp lq wkh wkuhh glhuhqw vfhqdulrv phqwlrqhg
deryh/ wklqn ri d Xqlyhuvlw| ghsduwphqw lq zklfk wlph kdv wr eh doorfdwhg lq
rughu wr ixooo vrph gxwlhv +h1j1 wlph ghyrwhg wr ohfwxuhv ru wxlwlrq,/ xqghu wkh
dvvxpswlrq wkdw wkhuh lv d { vdodu| shu krxu1 Khuh/ wkh djhqwv duh wkh phpehuv ri
wkh Ghsduwphqw/ hdfk ri zkrp kdv d suhihuuhg dprxqw ri wlph wr zrun1 Lw pd| zhoo
kdsshq wkdw wkh ryhudoo dprxqw ri wlph uhtxluhg wr fryhu wkh wdvn h{fhhgv ru idoov
vkruw wr wkh ghvluhg doorfdwlrqv1 Vxssrvh wkdw wkh Ghsduwphqw kdv wr doorfdwh wkh
gxwlhv dprqj wkhlu phpehuv zlwk qr sulru frqvlghudwlrq1 Wkh gdwd ri wkh sureohp
lq wklv fdvh duh wkh ryhudoo dprxqw ri wlph wr zrun dqg wkh djhqwv* suhihuhqfhv1
Wklv vlwxdwlrq fruuhvsrqgv wr d sxuh glvwulexwlrq sureohp1 Glhuhqw surfhgxuhv
wr vroyh wklv vruw ri sureohp/ dv zhoo dv wkhlu surshuwlhv/ kdyh ehhq dqdo|}hg lq
Vsuxprqw +4<<4,/ Wkrpvrq +4<<7d/e,/ +4<<8d,/ Fklqj +4<<7,/ Eduehuä/ Mdfnvrq
dqg Qhph +4<<:,/ Vùqph} +4<<7,/ Gdjdq +4<<9,/ Khuuhur dqg Yloodu +4<<;/ 5333,1
Frqwlqxlqj zlwk rxu h{dpsoh/ qrz vxssrvh wkdw zkhq wu|lqj wr jhw dq djuhh0
phqw rq krz wr dvvljq wkh gxwlhv iru wkh fxuuhqw dfdghplf |hdu/ shrsoh wdnh dv
uhihuhqfh wkh doorfdwlrq ri suhylrxv dfdghplf |hdu1 Vxssrvh/ ixuwkhupruh/ wkdw wkh
ryhudoo gxwlhv wklv |hdu duh h{dfwo| wkh vdph dqg dovr wkdw wkh qxpehu ri Ghsduw0

5
phqw*v phpehuv lv dovr xqfkdqjhg1 Li wklv lv wkh fdvh/ zh frxog lqwhusuhw suhylrxv
|hdu dprxqwv dv hqgrzphqwv1 Zk| djhqwv vkrxog suhihu d glhuhqw glvwulexwlrq
wkdq wkdw jlyhq e| wkhlu hqgrzphqwvB Lw frxog eh wkdw djhqwv* suhihuhqfhv duh
qrw wkh vdph qrz wkdq wkh suhylrxv |hdu/ pd|eh ehfdxvh wkh vdodu| shu krxu wklv
|hdu lv glhuhqw wkdq wkh rqh ri wkh |hdu ehiruh1 Lw frxog dovr eh hyhq wkh qxpehu
ri idfxow| phpehuv glg qrw fkdqjh/ wkhuh duh qhzfrphuv/ dqg shrsoh zkr duh qrw
orqjhu dw wkh Ghsduwphqw1 Wkh gdwd ri wkh sureohp lq wklv fdvh duh wkh djhqwv*
hqgrzphqwv dqg wkh djhqwv* suhihuhqfhv1 Wklv zrxog eh d uhglvwulexwlrq sureohp1
Uhdoorfdwlrq surfhgxuhv dqg wkhlu surshuwlhv dsshdu lq Nodxv/ Shwhuv dqg Vwrunhq
+4<<:, +4<<;,/ Pruhqr +4<<9,/ dqg Nodxv +4<<;,1
Ilqdoo|/ ohw xv vxsssrvh wkdw ryhudoo gxwlhv lq wkh Ghsduwphqw wklv |hdu duh
glhuhqw iurp suhylrxv |hdu/ hyhq wkrxjk idfxow| phpehuv duh wkh vdph1 Ru
hovh/ wkdw wkh qxpehu ri shrsoh lq wkh Ghsduwphqw wklv |hdu lv glhuhqw iurp
ehiruh1 Dowhuqdwlyho|/ lw pd| kdsshq wkdw sulru wr wkh rshqlqj ri wkh dfdghplf
|hdu/ wkh Ghsduwphqw djuhhg rq vrph glvwulexwlrq ri wkh ixwxuh gxwlhv/ dqg odwhu
rq/ lw wxuqhg rxw wkdw dfwxdo gxwlhv zhuh glhuhqw iurp h{shfwhg1 Lq wklv fdvh/
dovr suhylrxvo| dvvljqhg doorfdwlrqv frxog eh lqwhusuhwhg dv hqgrzphqwv1 Qrz wkh
gdwd ri wkh sureohp duh wkh djhqwv* hqgrzphqwv/ wkh djhqwv* suhihuhqfhv/ dqg wkh
wrwdo dprxqw ri wlph wr zrun/ zklfk lq wklv fdvh frxog eh hlwkhu odujhu ru vpdoohu
wkdq wkh vxp ri wkh hqgrzphqwv1 Wklv lv dq h{dpsoh ri d jhqhudo doorfdwlrq
sureohp1 Vroxwlrq frqfhswv dqg surshuwlhv lq wklv jhqhudol}hg fdvh dsshdu lq
Wkrpvrq +4<<5/ 4<<8e,/ dqg lq Vfkxpphu dqg Wkrpvrq +4<<:,1
Suhylrxv h{dpsoh lqglfdwhv wkdw/ lq wkh jhqhudo prgho/ hqgrzphqwv pd| kdyh
d glhuhqw phdqlqj wkdq wkh rqh wkh| kdyh lq fodvvlfdo hfrqrplhv/ ru hyhq lq
uhglvwulexwlrq sureohpv1 Ixuwkhupruh/ lw dovr prwlydwhv wkh iroorzlqj vfhqdulr=
vxssrvh wkdw d fhuwdlq sureohp kdv ehhq vroyhg e| xvlqj d uxoh iruhfdvwlqj ixwxuh
gxwlhv1 Zkhq dfwxdo gxwlhv duh nqrzq/ zh idfh wzr srvvlelolwlhv= hlwkhu zh fdqfho
dowrjhwkhu suhylrxv doorfdwlrq/ dqg vroyh wkh qhz sureohp/ ru/ lqwhusuhwlqj wkh
whqwdwlyh vroxwlrq dv hqgrzphqwv ri wkh djhqwv/ zh vroyh wkh sureohp lq zklfk
wkh h{whuqdo reoljdwlrq lv wkh glhuhqfh ehwzhhq dfwxdo gxwlhv dqg h{shfwhg gxwlhv1
Li d uxoh surylghv wkh vdph dqvzhu lq erwk fdvhv/ zh vkdoo vd| wkdw lw lv vwurqjo|
sdwk0lqghshqghqw1
Lq wklv sdshu zh h{soruh wkh h{lvwhqfh ri vroxwlrqv vdwlvi|lqj wkh surshuw| ri
vwurqj sdwk0lqghshqghqfh1 Rxu uvw uhvxow lv qhjdwlyh= vwurqj sdwk0lqghshqghqfh
lv lqfrpsdwleoh zlwk h!flhqf| dqg vhqvlwlylw|/ d surshuw| wkdw uhtxluhv wkh uxoh
wr eh d jhqxlqh vroxwlrq lq wkh jhqhudo grpdlq1
Qh{w/ zh uhod{ wkh vwurqj sdwk0lqghshqghqfh frqglwlrq wr wkh fdvh zkhq zh

6
vroyh sureohpv zlwkrxw hqgrzphqwv/ dqg fdoo wklv surshuw| sdwk0lqghshqghqfh1
Zh suhvhqw wzr uxohv vdwlvi|lqj wklv uhtxluhphqw= wkh htxdo0glvwdqfh uxoh/ dqg wkh
dowhuqdwlyh xqlirup uxoh +Khuuhur/ 4<<;,1 Wkh xqlirup uxoh +Wkrpvrq/ 4<<8e,/
grhv qrw vdwlvi| wklv surshuw|1 E| dgglqj wzr plog qr0hqy| frqglwlrqv/ zh frq0
foxgh wkdw dq| vroxwlrq vdwlvi|lqj h!flhqf|/ sdwk0lqghshqghqfh/ dqg rqh ri wkrvh
plog qr0hqy| uhtxluhphqwv kdv wr eh dq h{whqvlrq ri wkh htxdo glvwdqfh dqg ri wkh
xqlirup uxohv iru sxuh glvwulexwlrq sureohpv wr wkh jhqhudo grpdlq/ uhvshfwlyho|1
Wkh sdshu lv rujdql}hg dv iroorzv= Vhfwlrq 5 frqwdlqv wkh prgho dv zhoo dv
suholplqdu| surshuwlhv ri uxohv1 Vhfwlrq 6 dqdo|}hv ydulrxv zd|v ri wuhdwlqj wkh
hqgrzphqwv lq wkh jhqhudo prgho1 Vhfwlrq 7 suhvhqwv wkh wkuhh pdlq uxohv zh zloo
zrun zlwk1 Vhfwlrq 8 lv ghyrwhg wr vwudwhj|0surriqhvv1 Vhfwlrq 9 lqwurgxfhv wkh
qrwlrq ri sdwk0lqghshqghqfh dqg dqdo|}hv lwv lpsolfdwlrqv1 Vhfwlrq : vwxglhv wkh
frpsdwlelolw| ehwzhhq sdwk0lqghshqghqfh dqg plog qr0hqy| frqglwlrqv1 Vhfwlrq
; suhvhqwv ixuwkhu sdwk0lqghshqghqfh surshuwlhv ri wkh htxdo glvwdqfh dqg wkh
dowhuqdwlyh xqlirup uxohv1 Ilqdoo|/ Vhfwlrq < zlwk rshq sureohpv/ qdo frpphqwv
dqg uhpdunv/ frqfoxghv1 Vrph ri wkh surriv dsshdu lq dq Dsshqgl{1

51 Wkh Prgho
Zh iroorz khuh Wkrpvrq +4<<8e,1 Ohw - eh d suhihuhqfh uhodwlrq ryhu 7n c dqg ohw
 eh wkh dvvrfldwhg vwulfw suhihuhqfh1 Wkh suhihuhqfh uhodwlrq - lv vlqjoh0shdnhg
li wkhuh h{lvwv d qxpehu RE- 5 7n c fdoohg wkh shdn ri -c vxfk wkdw iru doo %c % 5 

7n c
dE%
%  RE- ru ERE-  % % o ', % % 

Ohw 8 ghqrwh wkh idplo| ri vlqjoh0shdnhg suhihuhqfh uhodwlrqv ryhu 7n  Wkhuh lv

dq lqqlwh srsxodwlrq ri srwhqwldo djhqwv 3 Wkhlu suhihuhqfhv duh gudzq iurp 8
Ohw Q eh wkh fodvv ri doo +qrq0hpsw|, qlwh vxevhwv ri 3 Jlyhq  5 Q c ohw 8
ghqrwh wkh Fduwhvldq surgxfw ri m  m frslhv ri 8c lqgh{hg e| wkh phpehuv ri 
Vlploduo|/ 7
n vwdqgv iru wkh Fduwhvldq surgxfw ri m  m frslhv ri 7n 
Jlyhq  5 Q c ohw - ' E-   5 8 uhsuhvhqw d suroh ri suhihuhqfhv/4 dqg
/ 5 7
M

n d yhfwru ri hqgrzphqwv/ zkhuh/ iru doo  5 c /  lv wkh hqgrzphqw ri

djhqw  Qrz/ ohw A 5 7 uhsuhvhqw dq reoljdwlrq ri wkh jurxs ri djhqwv  wr ru
iurp wkh rxwvlgh zruog1 D jhqhudo doorfdwlrq sureohp lv d olvw E-c /c A c vxfk
4
Iru d suroh U @ +Ul ,l5Q zh ghqrwh s+U, @ +s+Ul ,,l5Q wkh yhfwru ri wkh shdn0dprxqwv ri
wkh djhqwv1

7
 5
wkdw / n8 A  f Ohw J  eh wkh fodvv ri doo jhqhudo doorfdwlrq sureohpv iru c
dqg ohw J '  J  
Wzr vxefodvvhv ri J  duh zruwk frqvlghulqj1 Wkh| duh wkh vxefodvv ri sxuh
glvwulexwlrq sureohpv/ zkhuh djhqwv kdyh qr hqgrzphqwv/ G  ' iE-c /c A  5 J  G
/ ' fjc dqg wkh vxefodvv ri uhglvwulexwlrq sureohpv/ zkhuh wkhuh lv8qr h{whuqdo
reoljdwlrq/
8 V  ' iE-c /c A  5 J  G A ' fj Dv ehiruh/ ohw G '  G  c dqg
V '  V 
5 D ihdvleoh
5 doorfdwlrq iru e ' E-c /c A  5 J  lv d srlqw % 5 7 n vxfk wkdw

5 % ' / n A Ohw fEe eh wkh vhw ri ihdvleoh doorfdwlrqv iru e Wkh lqhtxdolw|
/ n A  f jxdudqwhhv wkdw fEe 9' > 5 5
Iru d sureohp e ' E-c /c A  5 J  c ohw 5Ee ' RE-  /  Ac wkh glhuhqfh
lq ehwzhhq zkdw djhqwv zrxog olnh wr zrun dqg wkh dprxqw ri oderu wkdw kdv wr
eh froohfwlyhoo| vxssolhg1 Zh vkdoo uhihu wr 5Ee dv djjuhjdwh h{fhvv vxsso| lq e Li
5Ee : fc wkhq djhqwv* oderu kdv wr eh udwlrqhg1 Li 5Ee fc wkhq djhqwv* ohlvxuh
kdv wr eh udwlrqhg1 8
D uxoh lv d ixqfwlrq 8 G J $  7 c vxfk wkdw iru doo e ' 5 E-c /c A  5 J  c
8 Ee 5 fEe Zh lqwhusuhw 8 Ee dv d ghvludeoh zd| ri doorfdwlqj / n A dprqj
wkh djhqwv lq 1
Qh{w/ zh frqvlghu vhyhudo edvlf surshuwlhv d uxoh pd| ixooo1 Wkh uvw rqh lv d
irup ri lpsduwldolw|= djhqwv zlwk lghqwlfdo suhihuhqfhv dqg lghqwlfdo hqgrzphqwv
vkrxog eh wuhdwhg htxdoo|=
Htxdo wuhdwphqw ri htxdov= Iru doo  5 Q c dqg doo e ' E-c /c A  5 J  c iru doo
c  5 c li - ' - c dqg / ' /  c wkhq 8 Ee ' 8 Ee
Jlyhq e ' E-c /c A  5 J  c dq doorfdwlrq % 5 fEe lv h!flhqw li wkhuh lv qr
+ 5 fEe vxfk wkdw iru doo  5 c + - % c dqg iru vrph  5 c +  %  Lw lv hdv| wr
vhh +dv qrwhg e| Vsuxprqw +4<<4,/ iru wkh vxefodvv Gc wkdw dq doorfdwlrq lq fEe
lv h!flhqw li dqg rqo| li hdfk djhqw frqvxphv qr pruh wkdq khu suhihuuhg dprxqw
li 5Ee : fc dqg qr ohvv rwkhuzlvh1 Ohw  Ee eh wkh vhw ri h!flhqw doorfdwlrqv lq e
Wkh qh{w surshuw| uhtxluhv d uxoh wr vhohfw h!flhqw doorfdwlrqv1
H!flhqf|= Iru doo  5 Q c dqg iru doo e ' E-c /c A  5 J  c 8 Ee 5  Ee
Lqirupdwlrqdo vlpsolflw| frqfhuqlqj suhihuhqfhv lv uhtxluhg li zh orrn iru vwudwhj|0
surriqhvv1 Wklv vlpsolflw| lv dfklhyhg zkhq doo wkh lqirupdwlrq uhgxfhv wr djhqwv*
shdn dprxqwv1 Zh uhtxluh d uxoh wr rqo| frqvlghu wklv sduwlfxodu lqirupdwlrq rq
suhihuhqfhv1 Irupdoo|/

8
Shdn0rqo|= Iru doo  5 Q c doo / 5 7 
n c doo A 5 7c dqg doo -c - 5 8 c li


RE- ' RE- c wkhq 8 E-c /c A  ' 8 E- c /c A 

 

D plqlpdo idluqhvv uhtxluhphqw lv wkdw zkhq iru d {hg vhw ri djhqwv/ zlwk {hg
suhihuhqfhv dqg hqgrzphqwv/ lw kdsshqv wkdw wkh h{whuqdo reoljdwlrq lqfuhdvhv/
wkhq qr djhqw*v frqwulexwlrq vkrxog ghfuhdvh1 Irupdoo|/
Prqrwrqlflw|= Iru doo  5 Q c doo / 5 7 
n c doo - 5 8 c dqg doo Ac A 5 7c li


A : Ac wkhq 8 E-c /c A   8 E-c /c A 

 

Li zh kdyh d uxoh wr vroyh jhqhudo sureohpv/ zh dovr kdyh d uxoh wr vroyh erwk
sxuh glvwulexwlrq sureohpv dv zhoo dv uhglvwulexwlrq sureohpv1 Rq wkh rwkhu kdqg/
jlyhq d *uxoh* 8 ghqhg rqo| iru sureohpv rq Gc lw fdq eh h{whqghg wr J5dv iroorzv=

Iru doo  5 Q c dqg iru doo e ' E-c /c A  5 J c ohw 8 Ee ' 8 E-c fc / n A 
W

Lq rughu wr dyrlg vxfk dqdlyh h{whqvlrq/ zh dvn uxohv wr vdwlvi| wkh iroorzlqj
uhtxluhphqw=
Vhqvlwlylw|= Iru vrph
5  5 Q5 c vrph - 5 8 c vrph /c / 5 7 n c dqg vrph


Ac A 5 7c vxfk wkdw

/ n A ' / n A c zh kdyh 8 E-c /c A  9' 8 E-c / c A 
   

61 Wkh uroh ri wkh hqgrzphqwv

Wkh pdlq glhuhqfh ehwzhhq d sxuh glvwulexwlrq sureohp dqg d jhqhudo doorfd0
wlrq sureohp lv wkh suhvhqfh ri hqgrzphqwv1 Uhfdoo/ qrqhwkhohvv/ wkdw zh jdyh d
qrq0vwdqgdug lqwhusuhwdwlrq wr hqgrzphqwv lq wklv prgho= djhqwv kdyh wr shuirup
d froohfwlyh wdvn dqg hqgrzphqwv fruuhvsrqg wr d whqwdwlyh doorfdwlrq edvhg rq
d iruhfdvw/ ru shukdsv wr vrph suhylrxv doorfdwlrq uhodwhg wr d iruphu sureohp1
Ehfdxvh ri wkdw/ lq wklv vruw ri prghov djhqwv gr qrw kdyh surshuw| uljkwv rq wkhlu
hqgrzphqwv/ qdpho|/ wkh| fdqqrw ohdyh zlwk wkhlu hqgrzphqwv li wkh| glvdjuhh
rq wkh sursrvhg doorfdwlrq1 Vxppdul}lqj/ hyhq wkrxjk lw lv vhqvleoh wr wdnh hq0
grzphqwv lqwr dffrxqw/ wklv kdv wr eh grqh lq d glhuhqw zd| iurp wkh wudglwlrqdo
rqh lq pdunhw hfrqrplhv1 Suhylrxv lghd sod|v d vljqlfdqw uroh lq ghqlqj vrph
frqfhswv ri idluqhvv lq glvwulexwlrq1
Wzr glhuhqw lqwhusuhwdwlrqv ri wkh zd| lq zklfk uljkwv rq hqgrzphqwv vkrxog
eh frqvlghuhg dsshdu lq wkh olwhudwxuh1 Wkh| duh uhodwhg wr wkh frqfhswv ri dxj0
phqwhg hqgrzphqwv/ rq wkh rqh kdqg/ dqg ri xvhixo djhqwv dqg shdn0dgmxvwhg
hqgrzphqwv/ rq wkh rwkhu kdqg ^fi1 Wkrpvrq/ 4<<8e`1 Ohw xv irupdol}h wkhvh
lghdv1

9
 
5 Ohw  5 Q c dqg E-c /c A  5 J  Wkh jurxs  kdv dq reoljdwlrq wr ixooo
/ n A Wkxv/ zh pd| wklqn ri hyhu| djhqw kdylqj uljkwv ryhu klv hqgrzphqw
fruuhfwhg e| dq htxdo glylvlrq ri W1 Wklv lghd jlyhv ulvh wr wkh frqfhsw ri dxj0
phqwhg hqgrzphqwv1 Irupdoo|=
Dxjphqwhg hqgrzphqwv +Wkrpvrq/ 4<<8e,= Iru doo e ' E-c /c A  5 J  c
dqg doo  5 5
5 c ohw /n Ee ' 4@ i/ nn bc fjc zkhuh b 5 7 lvn fkrvhq vr wkdw
/n Ee ' /  n A Ohw / n Ee ' E/ Ee   Zh uhihu wr / Ee dv djhqw  r
M


dxjphqwhg hqgrzphqw lq sureohp e

Wkh frqvlghudwlrq ri dxjphqwhg hqgrzphqwv dprxqwv wr wudqvirup wkh jhq0
hudo sureohp E-c /c A  lq d sureohp ri uhglvwulexwlrq/ vlqfh e| frqvlghulqj wkh
dxjphqwhg hqgrzphqwv/ wkh dgglwlrqdo reoljdwlrq ydqlvkhv1
Li zh wklqn wkdw dxjphqwhg hqgrzphqwv vkrxog eh wdnhq lqwr frqvlghudwlrq/
d qdwxudo uhtxluhphqw frqvlvwv lq dvnlqj d vroxwlrq wr lpsuryh wkh zhoiduh ri doo
djhqwv iurp wkhlu dxjphqwhg hqgrzphqwv1 Irupdoo|/
Dxjphqwhg hqgrzphqwv orzhu erxqg +Wkrpvrq/ 4<<8e,= Iru doo  5 Q c
iru doo e ' E-c /c A  5 J  c dqg doo  5 c 8 Ee- /n
 Ee
Iru doo  5 Q c dqg doo e ' E-c /c A  5 J  c wkh vhw ri h!flhqw doorfdwlrqv
ixooolqj wkh frqglwlrq ri dxjphqwhg hqgrzphqwv orzhu erxqg lv qrq hpsw|1
D glhuhqw ylhz ri wdnlqj lqwr frqvlghudwlrq djhqwv* hqgrzphqwv lv e| xvlqj wkh
lghd ri xvhixo djhqwv1 Vxssrvh wkdw djhqwv duh lqlwldoo| orfdwhg dw wkhlu hqgrzphqwv
srlqw1 Wkh| zrxog olnh wr pryh wrzdugv wkhlu shdn dprxqwv1 Lqirupdoo|/ dq djhqw
lv xvhixo li/ zkhqhyhu kh lv doorzhg wr pryh iurp klv hqgrzphqw wrzdugv klv shdn
dprxqw/ wkhq wklv pryhphqw lv d froohfwlyh lpsurylqj/ lq wkh vhqvh wkdw wkh ryhudoo
uhpdlqlqj udwlrqlqj 
5glplqlvkhv1 5 Uhfdoo wkdw iru d sureohp e ' E-c /c A  5 J zh
kdyh wkdw 5Ee ' RE-   /  Ac wkxv/ li 5Ee : fc dqg RE-  / c wkhq
djhqw  zrxog eh kdss| ri zrunlqj dq| dprxqw % vxfk wkdw RE-  %  / c
lqvwhdg ri5zrunlqj / c exw dovr
5 wkh uhpdlqlqj 5 djhqwv zrxog eh5kdss|/ surylghg
wkdw f   ' RE-   %  /  Ac vlqfh  ' RE-   %  /  A 5Ee
D vlplodu dujxphqw dssolhv li 5Ee f Irupdoo|/
Djhqw  lv xvhixo lq e ' E-c /c A  5 J  li 5Ee : f lpsolhv wkdw RE-   / c
dqg 5Ee f lpsolhv wkdw RE-   /  Zkhq 5Ee ' fc doo djhqwv duh xvhixo1
Ohw  Ee eh wkh vhw ri xvhixo djhqwv lq e ' E-c /c A  5 J   Vlqfh xvhixo
W

djhqwv jhqhudwh srvlwlyh h{whuqdolwlhv iru wkh uhpdlqlqj djhqwv zkhqhyhu wkh| pryh
wrzdugv wkhlu shdn dprxqwv/ lw vhhpv qdwxudo wr doorz wkhp wr gr vr1 Wklv dprxqwv
wr ghqh wkh frqfhsw ri shdn0dgmxvwhg hqgrzphqwv +fi1 Wkrpvrq/ 4<<8e,=

:
Shdn0dgmxvwhg hqgrzphqwv= Iru doo e ' E-c /c A  5 J  c dqg iru doo  5 c
Z Ee ' RE- c li  5  Eec dqg Z Ee ' / c rwkhuzlvh1
W

Uhpdun= Iru doo e ' E-c /c A  5 J  c dqg iru doo  5 c li 5Ee : fc wkhq
RE-   Z Eec dqg li 5Ee fc wkhq RE-   Z Ee Li 5Ee ' fc wkhq RE-  ' Z  Ee
Wkxv/ wkh pryhphqw iurp hqgrzphqwv wr shdn0dgmxvwhg hqgrzphqwv lv d
Sduhwr lpsuryhphqw1 Zh qrz dvn uxohv wr wuhdw shdn0dgmxvwhg hqgrzphqwv lq
d idlu zd|/ e| uhtxlulqj wkdw hlwkhu hdfk djhqw suhihuv klv frpsrqhqw ri wkh do0
orfdwlrq sursrvhg e| wkh uxoh wr klv shdn0dgmxvwhg hqgrzphqw/ ru hovh wkdw hdfk
qgv lw lqihulru1
Shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg= Iru doo e ' E-c /c A  5
J  c hlwkhu iru doo  5 c 8 Ee- Z Eec ru iru doo  5 c Z Ee- 8 Ee
Iru doo  5 Q c dqg doo e ' E-c /c A  5 J  c wkh vhw ri h!flhqw doorfdwlrqv
ixooolqj wkh frqglwlrq ri shdn0dgmxvwhg hqgrzhqwv orzhu0ru0xsshu erxqg lv qrq
hpsw|1

71 Jhqhudol}hg uxohv
Wkh prvw surplqhqw uxoh lq wkh vwdqgdug doorfdwlrq sureohp zlwk vlqjoh shdnhg
suhihuhqfhv/ wkdw lv/ lq wkh sxuh glvwulexwlrq fdvh/ lv wkh xqlirup uxoh +Vsuxprqw/
4<<4,1 Lw sursrvhv htxdo glylvlrq ri wkh wdvn vxemhfw wr h!flhqf| frqvwudlqwv1 Wkdw
lv/ iru dq| sureohp e ' E-c fc A  55 G c li 5Ee : fc wkhq L Ee ' 4?iRE- c bjc
zkhuh b 5 7n lv fkrvhq vr wkdw L Ee ' Ac5dqg li 5Ee fc wkhq L Ee '
4@ iRE- c bjc zkhuh b 5 7n lv fkrvhq vr wkdw L Ee ' A
Wkh xqlirup uxoh dgplwv d zdoudvldq lqwhusuhwdwlrq1 Iurp wklv srlqw ri ylhz/
zh fdq wklqn wkdw djhqwv duh jlyhq exgjhw vhwv zlwklq zklfk wr fkrrvh wkhlu
suhihuuhg rswlrq1 Li 5Ee  fc wkh| duh jlyhq ohiw0kdqg vlghg exgjhw vhwv/ ri wkh
irup dfc boc zkhuh b lv fkrvhq vr wkdw wkh vhohfwhg dprxqwv dgg xs wr A Li 5Ee  fc
djhqwv duh jlyhq uljkw0kdqg vlghg exgjhw vhwv/ ri wkh irup dbc n4c zkhuh/ djdlq/
b lv fkrvhq vr wkdw wkh vhohfwhg dprxqwv dgg xs wr A Zlwk wklv lghd lq plqg/
Nodxv/ Shwhuv dqg Vwrunhq +4<<:, sursrvhg wkh iroorzlqj uxoh wr wkh fodvv Vc dqg
odehoohg lw dovr dv wkh xqlirup uxoh= Iru doo e ' E-c /c f 5 5 V  c li 5Ee 5
 fc
L Ee ' 4?iRE- c / n bj zkhuh b 5 7n lv fkrvhq vr wkdw L Ee ' / c
dqg li 5Ee  fc5wkhq L Ee5' 4@ iRE- c 4@ i/  bc fjjc zkhuh b 5 7n lv
fkrvhq vr wkdw L Ee ' /   Suhylrxv uxoh fdq dovr eh lqwhusuhwhg iurp d
zdoudvldq shuvshfwlyh1 Lw lv d vshfldo fdvh ri zdoudvldq htxloleulxp zlwk vodfnv

;
+Pdv0Frooho/ 4<<5,/ zkhq wkhuh lv d vlqjoh frpprglw|1 Djdlq djhqwv duh jlyhq
exgjhw vhwv zlwklq zklfk wr fkrrvh wkhlu suhihuuhg rswlrq1 Li 5Ee  fc wkh| duh
jlyhq ohiw0kdqg vlghg exgjhw vhwv/ ri
5wkh irup dfc / n boc zkhuh b lv fkrvhq vr wkdw
wkh vhohfwhg dprxqwv dgg xs wr /  Li 5Ee  fc djhqwv duh jlyhq uljkw0kdqg
vlghg exgjhw vhwv/ ri wkh irup d/5   bc n4c zkhuh/ djdlq/ b lv fkrvhq vr wkdw
wkh vhohfwhg dprxqwv dgg xs wr / n A Lq wkh uvw fdvh/ d frpprq erqxv lv
dgghg wr wkh lqglylgxdo hqgrzphqwv> lq wkh vhfrqg fdvh/ d frpprq shqdow| lv
vxevwudfwhg irup wkh djhqwv* hqgrzphqwv1
Pdnlqj xvh ri suhylrxv lghdv/ Wkrpvrq +4<<8e, sursrvhg wkh iroorzlqj h{whq0
vlrq ri wkh xqlirup uxoh wr wkh fodvv J1
Xqlirup Uxoh/ X +Wkrpvrq/ 4<<8e,= Iru doo e ' E-c /c A  5 J  c L Ee lv wkh
srlqw % 5 fEe vxfk wkdw iru vrph b 5 7c
+l, Li 5Ee  fc wkhq iru doo  5 c % ' 4?i4@ i/ n bc fjc RE- j
+ll, Li 5Ee  fc wkhq iru doo  5 c % ' 4@ i4@ i/ n bc fjc RE- j
Uhpdun= Iru wkh wzr0shuvrq fdvh/ L E-c /c A  ' LE-c / n c fc exw wklv lv qrw vr
iru pruh wkdq wzr shrsoh/ dv wkh iroorzlqj h{dpsoh vkrzv= Ohw  ' ic 2c jc
dqg e ' E-c /c5
A  eh vxfk wkdw5 RE- ' Ec 2c Sc / ' Efc Sc Sc dqg A ' e Lq
wklv h{dpsoh/ RE-  ' b : / n A ' H Dovr/ L E-c /c A  ' Efc 2c S Rq
wkh rwkhu
5 kdqg/ / ' Efc ec ec dqg L E-c / c f5
n n
' Ec 2c D Dovr/ L E-c /c A  9'
L E-c fc / n A  Lq suhylrxv h{dpsoh/ LE-c fc / n A  ' Ec 2c D
D vhfrqg uxoh/ zlgho| xvhg lq wkh sxuh glvwulexwlrq fdvh/ lv wkh htxdo0glvwdqfh
uxoh1 Lw sursrvhv lghqwlfdo ghyldwlrqv iurp wkh shdn0dprxqwv/ vxemhfw wr ihdvl0
elolw|1 Wkdw lv/ iru dq| sureohp e ' E-c fc A  5 G5 c li 5Ee : fc wkhq ( Ee '
4@ ifc RE-   bjc zkhuh b 5 7n lv fkrvhq vr wkdw ( Ee ' 5Ac dqg li 5Ee fc
wkhq ( Ee ' RE-  n bc zkhuh b 5 7n lv fkrvhq vr wkdw ( Ee ' A Lghq0
wlfdo ghyldwlrqv iurp wkh shdn dprxqwv/ exw vxemhfw wr d shdn0dgmxvwhg hqgrz0
phqwv uhvwulfwlrq kdv ehhq sursrvhg dv wkh htxdo glvwdqfh uxoh lq wkh uhglvwule0
xwlrq fdvh1 Wkdw lv/ iru dq| sureohp e ' E-c /c f 5 V5  c li 5Ee  fc ( Ee '
5
4@ iRE-   bc Z  Eej zkhuh b 5 7n lv fkrvhq vr wkdw ( Ee ' / c dqg li
wkhq
5Ee  fc 5 L Ee ' 4?iRE-  n bc Z  Eejc
5 zkhuh b 5 7n lv fkrvhq vr wkdw
( Ee ' / 
E| xvlqj vlplodu lghdv lq wkh jhqhudo fdvh zh lpsrvh doo djhqwv htxdo gh0
yldwlrqv iurp wkh shdn0dprxqwv/ vxemhfw wr uhvshfwlqj erwk h!flhqf| dqg wkh
shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg1
Qrwh wkdw jlyhq d vhw ri djhqwv c d suhihuhqfh suroh -c dqg d yhfwru ri
hqgrzphqwv /c iru doo e ' E-c /c A  5 J  c li 5Ee : f zh kdyh wkdw iru doo

<
 5 c Z Ee ' 4?i/  c RE- j Vlploduo|/ li 5Ee fc zh kdyh wkdw iru doo  5 c
Z Ee ' 4@ i/ c RE- j Ilqdoo|/ li 5Ee ' fc wkhq iru doo  5 c Z Ee ' RE- 
Lq frqvhtxhqfh/ zh kdyh irxu glhuhqw fdvhv=
5 5 5
Fdvh 4= 5 /  n A 5 Z  Ee  5 RE- c
Fdvh 5= 5 Z  Ee  5/ n A  5RE- c
Fdvh 6= 5 RE-   5 /  n A 5 Z  Eec
Fdvh 7= RE-   Z  Ee  / n A
Lq hdfk fdvh/ zh idfh wzr glhuhqw uhvwulfwlrqv1 Rq wkh rqh kdqg/ h!flhqf|
uhtxluhv doo frqvxpswlrqv wr eh rq wkh vdph vlgh ri wkh shdn0dprxqwv> shdn0
dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg uhtxluhv wkhp wr eh rq wkh vdph vlgh
ri wkh shdn0dgmxvwhg hqgrzphqwv1 Lq wkh htxdo glvwdqfh uxoh zh vwd| dv forvh
dv srvvleoh wr wkh htxdo glvwdqfh iurp wkh shdn0dprxqwv sdwk/ vxemhfw wr h!flhqf|
dqg wkh shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg1 Irupdoo|/
Htxdo glvwdqfh uxoh/ G= Iru doo e ' E-c /c A  5 J  c (Ee lv wkh srlqw % 5 fEe
vxfk wkdw
5 iru vrph5b 5 7n c 5
+l, Li / n A  Z Ee  RE- c iru doo  5 c % ' 4?iZ Eec 4@ iRE-  
bc fjj 5 5 5
+ll, Li Z  Ee  / nA  RE- c iru doo  5 c % ' 4@ iZ  Eec 4@ iRE- 
bc fjj 5 5 5
+lll, Li 5 RE-   5 / n A 5 Z Eec iru doo  5 c % ' 4?iZ Eec RE-  n bj
+ly, Li RE-   Z  Ee  / n Ac iru doo  5 c % ' 4@ iZ Eec RE-  n bj
5
Uhpdun= (E-c /c A  frlqflghv qhlwkhu zlwk (E-c fc /  nA c qru zlwk (E-c / n c fc
dv wkh iroorzlqj h{dpsoh vkrzv= Ohw  ' ic 2c jc dqg e '5 E-c /c A  eh vxfk
5 wkdw
RE- ' Ec 2c Sc / ' Efc Sc Sc dqg A ' e Lq wklv h{dpsoh/ RE-  ' b : / n
A ' H Dovr/ ZEe ' Efc 2c Sc dqg wkxv/ (E-c /c A  ' Efc 2c S Rq wkh rwkhu kdqg/
/n ' Efc ec ec dqg5 ZE-c / c f ' Efc 2c e dqg wkxv/ (E-c / c f ' E*2c 2c *2
n n

Ilqdoo|/ (E-c fc / n A  ' E2* c D* c .* 

w
Wkh htxdo glvwdqfh sdwk lv wkxv/ urxjko| vshdnlqj/ wkh 78f olqh sdvvlqj urxjk
wkh shdnv0dprxqwv srlqw/ uhvshfwlqj wkh shdn0dgmxvwhg hqgrzphqwv orzhu0ru0
xsshu erxqg1 Vlploduo|/ rqh fdq vd| wkdw wkh xqlirup sdwk lv wkh 78f olqh sdvvlqj
wurxjk wkh hqgrzphqwv srlqw/ uhvshfwlqj wkh shdn0dgmxvwhg hqgrzphqwv orzhu0
ru0xsshu erxqg1 Qrwh wkdw iru wkh fdvh ri glvwulexwlrq/ qdpho|/ zkhq / ' fc
wkh xqlirup sdwk jrhv dv forvh dv srvvleoh wr wkh 78f olqh sdvvlqj wurxjk wkh rul0
jlq/ vlpso| uhvshfwlqj h!flhqf|1 Dq dowhuqdwlyh h{whqvlrq ri wkh xqlirup uxoh
iru jhqhudo doorfdwlrq sureohpv frqvlvwv ri lpsrvlqj htxdo gxwlhv rq doo djhqwv/

43
vxemhfw wr h!flhqf| dqg wkh shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg1
Wklv dprxqwv wr frqvlghu wkh sdwk wr eh wkh 78f olqh sdvvlqj wurxjk wkh ruljlq/
uhvshfwlqj h!flhqf| dqg wkh shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg1
Irupdoo|/
Dowhuqdwlyh Xqlirup Uxoh +X ,= Iru doo e ' E-c /c A  5 J  c L Ee lv wkh
W W

srlqw 5 % 5 fEe vxfk

5 wkdw iru 5
vrph b 5 7n c
+l, Li 5/ n A 5 Z Ee 5 RE- c wkhq iru doo  5 c % ' 4?iZ Eec bj
+ll, Li 5Z  Ee  5/  nA  5RE- c wkhq iru doo  5 c % ' 4@ iZ  Eec 4?iRE- c bjj
+lll, Li 5RE-   5/  nA  5 Z  Eec wkhq iru doo  5 c % ' 4?iZ Eec 4@ iRE- c bjj
+ly, Li RE-   Z Ee  / n Ac wkhq iru doo  5 c % ' 4@ iZ Eec bj
Uhpdun= LE-c /c A  grhv qrw frlqflgh zlwk L E-c / n c fc hyhq iru wkh wzr0shuvrq
W

fdvh/ dv wkh iroorzlqj h{dpsoh vkrzv= Ohw  ' ic 2jc dqg5 e ' E-c /c A  eh5 vxfk
wkdw RE- ' Ec 2c / ' E2c c dqg A ' . Lq wklv h{dpsoh/ RE-  ' / n
A ' f Dovr/ ZEe ' E2c 2c dqg wkxv/ L E-c /c A  ' EDc D Rq wkh rwkhu kdqg/
W

/n ' EDDc eDc dqg ZE-c / n c f ' EDDc eD dqg wkxv/ L E-c /n c f ' EDDc eD
W

Wkh wkuhh uxohv suhvhqwhg vr idu vdwlvi| htxdo wuhdwphqw ri htxdov/ h!flhqf|/
shdn0rqo|/ prqrwrqlflw|/ dqg shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg1
Uxoh L dovr vdwlvhv dxjphqwhg hqgrzphqwv orzhu erxqg1 Erwk ( dqg L idlo W

wr vdwlvi| dxjphqwhg hqgrzphqwv orzhu erxqg +revhuyh wkdw li / n Ee lv h!flhqw/

dq| h!flhqw vroxwlrq vdwlvi|lqj dxjphqwhg hqgrzphqwv orzhu erxqg kdv wr vhohfw
/n Eec dqg qhlwkhu ( qru L gr vr,1
W

81 Vwudwhj|0surriqhvv
D sureohp lv vshflhg zkhqhyhu wkh vhw ri djhqwv / wkhlu suhihuhqfhv -/ wkhlu
hqgrzphqwv // dqg wkh vrfldo reoljdwlrq A duh doo nqrzq1 Rqh fdq hdvlo| dvvxph
wkdw c / dqg A duh frpprq nqrzohgjh/ zkhuhdv wkh djhqwv* suhihuhqfhv duh
sulydwh lqirupdwlrq1 Lq wklv frqwh{w hdfk uxoh lqgxfhv d jdph lq zklfk wkh vwudwh0
jlhv ri wkh djhqwv duh wkh suhihuhqfhv lq 8c dqg wkh rxwfrph fruuhvsrqgv wr wkh
doorfdwlrq vshflhg e| wkh uxoh iru dq| suhihuhqfh suroh1 Wkhuhiruh/ djhqwv pd|
uhsruw vwudwhjlfdoo| wkhlu suhihuhqfhv/ zklfk phdqv wkdw wkh| pd| zhoo plvuhsuh0
vhqw wkhp1 Zkhq wkh doorfdwlrq uxoh lv vxfk wkdw wkh djhqwv kdyh qr lqfhqwlyhv
wr plvuhsuhvhqw wkhlu suhihuhqfhv zh vd| wkdw wkh uxoh lv vwudwhj|0surri1 Wkxv/ d
uxoh lv vwudwhj|0surri li/ lq wkh lqgxfhg jdph/ lw lv d grplqdqw vwudwhj| iru hyhu|
djhqw wr uhyhdo klv wuxh suhihuhqfhv1 Irupdoo|/

44
Vwudwhj|0surriqhvv=
5 Iru doo  5 Q c doo - 5 8 c doo / 5 7
n c dqg doo A 5 7c
vxfk wkdw /  n A  fc dqg iru doo  5 c dqg doo - 5 8c 8 E-c /c A   

8 EE-  c - c /c A 
3


Dprqj wkh uxohv suhylrxvo| suhvhqwhg/ L vdwlvhv vwudwhj|0surriqhvv ^vhh Wkrp0

vrq/ 4<<8e`/ zhuhdv ( grhv qrw +vlqfh lw lv pdqlsxodeoh iru wkh qr hqgrzphqwv
fdvh,1 Wkh iroorzlqj uhvxow vkrzv wkdw dovr L grhv vdwlvi| vwudwhj|0surriqhvv= W

Sursrvlwlrq 4= L vdwlvhv vwudwhj|0surriqhvv1 W

Surri=
Wkh iroorzlqj
5 fdvhv5kdyh wr eh 5frqvlghuhg=
Fdvh 4= / n A  Z  Ee  RE-  Wkhq/ L Ee ' 4?iZ  Eec bjc zkhuh b W

lv fkrvhq vr wkdw L Ee 5 fEe W

Ohw - 9' - dq dowhuqdwlyh suhihuhqfh iru djhqw c dqg frqvlghu wkh sureohp


e ' EE-  c - c /c A  Zh kdyh wr frqvlghu vhyhudo srvvlelolwlhv=


3


Li RE-  : RE-   / c wkhq L Ee  ' L Ee

 W 

Li RE-   /   RE- c wkhq Z Ee  ' / c dqg hlwkhu L Ee  ' L Eec ru L Ee  '

  W  W W 

/ c dqg wkhq L Ee L Ee  W

5
W 

5
Li RE-  RE-   / c wkhq hlwkhu

/ n A  RE-  n  ' RE- c dqg wkhq 

Z Ee  ' RE-  Z5

 Ee ' RE- c dqg L5

Ee  ' 4?iRE- c >j  L Eec dqg wkxv/ W   W

L Ee- L Ee c ru
W W
/  n A : RE-  n  ' RE-  Lq wklv odvw fdvh/ Z Ee  ' / c
  

dqg L Ee  ' 4?i4@ iRE- c >jc /  j ' >  bc dqg djdlq L Ee- L Ee 
W   W W 

5 5 5
Fdvh 5= Z  Ee  / nA  RE-  Wkhq/ L Ee ' 4@ i4?iRE- c bjc Z Eejc W

zkhuh b lv fkrvhq vr wkdw L Ee 5 fEe W

Ohw - 9' - dq dowhuqdwlyh suhihuhqfh iru djhqw c dqg frqvlghu wkh sureohp


e ' EE-  c - c /c A  Zh kdyh wr frqvlghu vhyhudo srvvlelolwlhv=


3


Li /  RE- c wkhq L Ee ' RE- c dqg qr pdqlsxodwlrq lv surwdeoh1

W

Li /  RE- c / wkhq Z Ee ' /  Wkhq/ li / RE-  RE- c Z Ee  ' / c dqg  

L Ee- L Ee  Li qrz/ RE-  : RE-   / c wkhq djdlq L Ee- L Ee  Ilqdoo|/ li

W W   W W 

RE- 5 /  RE- c wkhq Z



5 Ee  ' RE-  Z  Ee dqg L Ee L Ee  Li lw kdsshqv

  W W 

wkdw /  n A : RE-  n  ' RE- c wkhq Z Ee  ' /  dqg djdlq L Ee L Ee 

  W W 

5 5 5
Fdvh 6= RE-   / nA  Z Ee Wkhq/ L Ee ' 4?i4@ iRE- c bjc Z Eej W

Li RE-   / c Z Ee ' RE-  dqg qr pdqlsxodwlrq lv surwdeoh1 Li RE-  / c

wkhq Z Ee ' /  Li/ lq wklv fdvh/ RE-  RE- c wkhq L Ee  ' L Ee Li zh  W  W

pdnh
5 RE-  /   RE- 5  c wkhq hlwkhu L Ee  ' / c dqg wkxv/ L Ee- L Ee c ru
 W  W W 

/ n A RE-  n  ' RE- c dqg Z Ee  ' /  c dqg L Ee  ' 4@ i/  c >jc dqg

  W 

djdlq L Ee- L Ee 
W W 

45
 5 5 5
Fdvh 7= RE-   Z  Ee  / n A Wkhq/ L Ee ' 4@ iZ  Eec bj W

Li RE-   / c Z Ee ' RE-  dqg qr pdqlsxodwlrq lv surwdeoh1

5 Li RE- 
/
5 RE- c

wkhq Z  Ee ' /  c dqg hlwkhu L Ee- L
  Ee c
W
ru /  n A W
RE-  n
 

 ' RE- c dqg Z Ee  ' / c dqg L Ee  ' 4@ i/  c >jc dqg djdlq L Ee- L Ee 
 W  W W 

91 Sdwk Lqghshqghqfh
Lq wkh sxuh glvwulexwlrq fdvh/ wkh iroorzlqj vlwxdwlrq kdv ehhq dqdo|}hg ^vhh Khu0
uhur dqg Yloodu/ 4<<;/ 5333`= Iru dq| sureohp e ' E-c fc A  5 Gc dvvxph wkdw zh
vroyhg lw e| phdqv ri d fhuwdlq uxoh/ 8c dqg e| iruhfdvwlqj wkh ryhudoo h{whuqdo
reoljdwlrq/ A Ohw 8 Ee ' % Qrz/ vxssrvh wkdw wkh dfwxdo h{whuqdo reoljdwlrq
A c wxuqv rxw wr eh odujhu wkdq h{shfwhg/ qdpho|/ A : A Wkhq/ wzr rswlrqv duh
 

rshq= hlwkhu zh vroyh wkh dfwxdo sureohp e ' E-c fc A c ru zh dffhsw glvwulexwlrq
 

% dqg rqo| glylgh wkh glhuhqfh EA  A  e| frqvlghulqj d vhfrqg vwdjh sureohp



e ' E- c fc A  A c zkhuh - lv rewdlqhg iurp - e| vkliwlqj - dffruglqj wr % 

   

Wkh uxoh 8 zdv vdlg wr vdwlvi| djhqgd lqghshqghqfh li 8 Ee  ' 8 Ee n 8 Ee   

Wkh vkliwlqj rshudwlrq dsshduv dv d qdwxudo ghylfh wr ghdo zlwk wkh djhqgd0
lqghshqghqfh frqfhsw lq wkh sxuh glvwulexwlrq fdvh/ zkhqhyhu 8 lv d uxoh rqo|
ghqhg rq G Qrqhwkhohvv/ li zh orrn dw G dv d vxefodvv ri Jc dqg 8 lv d uxoh
ghqhg rq Jc zh pd| dssurdfk wkh sureohp
5 lq d glhuhqw dqg pruh jhqhudo zd|1
Ohw e ' E-c /c A  5 J  c zlwk / n A  f Diwhu vroylqj wklv sureohp
e| phdqv ri d fhuwdlq uxoh/ 8c lw wxuqv rxw wkdw wkh h{whuqdo reoljdwlrq/ A c lv 

glhuhqw iurp wkdw h{shfwhg +vxemhfw 5 wr ihdvlelolw|,1 Wkdw lv/ zh idfh qrz wkh
 
sureohp e ' E-c /c A  5 J c zlwk
/  n A  f Wkhq zh pd| hlwkhu vroyh e c
 

dqg fdqfho dowrjhwkhu wkh vroxwlrq wr sureohp ec ru zh pd| frqvlghu wkh vhfrqg
vwdjh sureohp e ' E-c 8 Eec A  A  Li 8 Ee  ' 8 Ee c wkdw lv/ li wkh ryhudoo
   

vroxwlrq lv wkh vdph/ lqghshqghqwo| ri wkh zd| +rqh vkrw ru lqwr wzr vwhsv, zh
vroyh lw/ zh zloo vd| wkdw 8 vdwlvhv vwurqj sdwk0lqghshqghqfh1 Irupdoo|/
Vwurqj Sdwk0lqghshqghqfh= 5 Q c doo - 5 8 c doo / 5 7
Iru doo  55 n c dqg
doo Ac A 5 7c vxfk wkdw

/  n A  fc dqg / n A  fc wkhq 8 E-c /c A  '  

8 E-c wc A  A c zkhuh w ' 8 E-c /c A 



Lv lw srvvleoh wr qg vrph jhqhudol}hg uxoh ixooolqj vwurqj sdwk0lqghshqghqfhB

Rxu uvw uhvxow lv qhjdwlyh= vwurqj sdwk0lqghshqghqfh lv lqfrpsdwleoh zlwk h!0
flhqf| dqg vhqvlwlylw|=

46
Sursrvlwlrq 5= Wkhuh lv qr uxoh lq J vdwlvi|lqj vhqvlwlylw|/ h!flhqf|/ dqg vwurqj
sdwk0lqghshqghqfh1
Surri= Ohw 8 eh d uxoh vdwlvi|lqj h!flhqf| dqg vwurqj sdwk0lqghshqghqfh/
dqg ohw e ' E-c /c A  5 J   Frqvlghu qrz wkh sureohp D e ' E-c /c ADc zkhuh
5 5 5 5
AD ' RE-   /  Qrwh wkdw /  n AD ' RE-   f E| h!flhqf|/ 8 EDe '
RE-5E| vwurqj D D
5 sdwk0lqghshqghqfh/ 8 Ee ' 8 E-c RE-c A  A c zkhuh A  A '
A n /  RE-  5 5
Qrz/ ohw e ' E-c / c A  5 J  eh vxfk wkdw / nA ' / nA E| uhdvrqlqj
    

5 5
lq d vlplodu zd|/ zh jhw 8 Ee  ' 8 E-c RE-c A  AD c zkhuh AD ' RE-   / 
    

5 5 5 5
Exw wkhq/ A  AD ' A n /   RE-  ' A n /   RE-  ' A  AD Wkdw
   

lv/ 8 Ee ' 8 Ee  dqg wkxv 8 ylrodwhv vhqvlwlylw|1 



Uhpdun= Suhylrxv surri lqglfdwhv wkdw zh zloo idfh dq lghqwlfdo qhjdwlyh uhvxow
li zh frqvlghu d rqh0vlghg yhuvlrq ri wkh vwurqj sdwk0lqghshqghqfh surshuw|1 Df0
wxdoo|/ wkdw surshuw| lv vr vwurqj wkdw lw irufhv ylrodwlrqv ri hlwkhu vhqvlwlylw| +dqg
wkxv/ hqgrzphqwv vkrxog qrw sod| dq| uroh,/ ru h!flhqf|1
Wkhuhiruh/ ohw xv jr edfn wr wkh fdvh ri d sureohp zlwkrxw hqgrzphqwv/ wr
vwduw zlwk/ dqg frqvlghu d iruhfdvw ri wkh h{whuqdo reoljdwlrq/ dqg wkh srvvlelolw|
ri pdnlqj plvwdnhv/ hlwkhu iurp deryh ru iurp ehorz=
Sdwk0lqghshqghqfh= Iru doo  5 Q c doo - 5 8 c dqg doo Ac A 5 7n c wkhq 

8 E-c fc A  ' 8 E-c /c A  A c zkhuh / ' 8 E-c fc A 

 

Wkh xqlirup uxoh ylrodwhv sdwk0lqghshqghqfh1 Krzhyhu/ wkh htxdo0glvwdqfh

uxoh dqg wkh dowhuqdwlyh xqlirup uxoh erwk vdwlvi| sdwk0lqghshqghqfh1
Sursrvlwlrq 6= Wkh xqlirup uxoh grhv qrw vdwlvi| sdwk0lqghshqghqfh1
Surri= Frqvlghu wkh iroorzlqj h{dpsoh1 Ohw  ' ic 2jc RE-  ' fc RE-2  '
2c A ' 22c A ' f Ohw e ' E-c fc A c dqg e ' E-c fc A  Wkhq/ 8 Ee ' Efc 2c
  

dqg 8 Ee  ' EDc D Exw 8 E-c /c A  A  ' Eec S 9' EDc Dc iru / ' Efc 2
 


Sursrvlwlrq 7= Wkh htxdo0glvwdqfh uxoh vdwlvhv sdwk0lqghshqghqfh1
Surri= Iluvw qrwh wkdw iru doo  5 Q c doo - 5 8 c doo e ' E-c fc A  5 J  c dqg
doo  5 c ( E-c fc5A  ' 4@ iRE- nbc fjc zkhuh b lv fkrvhq vr5wkdw (Ee 5 fEe
Frqvhtxhqwo|/ li RE-   Ac wkhq RE-  (E-c fc A c dqg li RE-   Ac wkhq
RE-  (E-c fc A 
Ohw e ' E-c fc A  5 J  c dqg w ' (Ee Vxssrvh qrz wkdw wkh dfwxdo sureohp
wr eh vroyhg lv e ' E-c fc A c dqg ohw % ' (Ee  Zh vkrxog vhh wkdw % ' (Ee c
   

zkhuh e ' E-c wc A  A 

 

47
Fdvh 4=
5
RE-   A Wkhq/ iru doo  5 c w ' RE-  n bc zkhuh b ' A S RE-  
5 
3

5 ?
Qrz/ zh fdq idfh wzr srvvlelolwlhv/ hlwkhu RE-   A c ru RE-  : A  S  

5
RE-   A  Wkhq/ iru doo  5 c % ' RE-  n >c zkhuh > ' A ?RE-  

+41d,  3

Lq wklv fdvh/ dqg5vlqfh w  RE-c zh kdyh wkdw ZEe  ' w Wkhuhiruh/ hlwkhu
5


RE-  A  w c dqg5lq wklv fdvh5


iru doo  5 c ( Ee  ' 4?iRE- n>c w j ' 

RE-  n > ' % c ru hovh/ RE-   w  A c dqg lq wklv fdvh iru doo  5 c 

( Ee  ' 5

4@ iRE-  n >c w j ' RE-  n > ' % 
+41e, RE-  : A  Wkhq/ iru doo  5 c % ' 4@ iRE-   >c fjc zkhuh > lv


fkrvhq vr5 wkdw % 5 fEe  Lq wklv fdvh/ ZEe  ' RE-c dqg wkxv/ (Ee  ' (Ee  ' %
   

Fdvh 5= RE-  : A Wkhq/ iru doo  5 c w ' 4@ iRE-   bc fjc 5 zkhuh b lv

fkrvhq
5 vr wkdw w 5 fEe Wkhq/ zh fdq idfh wzr srvvlelolwlhv/ hlwkhu RE-   A c


ru RE-  : A 
5

S
RE-   A  Wkhq/ iru doo  5 c % ' RE-  n >c zkhuh > ' A ?RE-  

+51d,  3

Lq wklv fdvh/
5 ZEe  ' RE-c dqg wkxv/ (Ee  ' (Ee  ' %
  

+51e, RE-  : A  Wkhq/ iru doo  5 c % ' 4@ iRE-   >c fjc zkhuh


5 > lv
fkrvhq
5 vr wkdw % 5 fEe  Lq wklv fdvh/ ZEe  ' w Wkhuhiruh/ hlwkhu A 
 
w 

RE- c dqg lq wklv fdvh iru doo 55 c ( Ee  5 ' 4?i5 c 4@ iRE-   >c fjj ' 

4@ iRE-   >c fj ' % c ru hovh/ w  A  RE- c dqg lq wklv fdvh iru doo


 5 c ( Ee  ' 4@ i4@ iRE-   >c fjc w j ' 4@ iRE-   >c fj ' %  



Sursrvlwlrq 8= Wkh dowhuqdwlyh xqlirup uxoh vdwlvhv sdwk0lqghshqghqfh1

Surri= Iluvw  
5 qrwh wkdw iru doo  5 Q c doo - 5 8 c doo e ' E-c 5 fc A  5 J c dqg
doo  5 c li RE-   Ac wkhq L Ee ' 4?iRE- c bjc dqg li
W
RE-  Ac wkhq
W
Ee ' 4@ iRE- c bjc zkhuh b lv fkrvhq vr wkdw L5Ee 5 fEe Frqvhtxhqwo|/
L 5 W

li RE-   Ac wkhq RE-  L E-c fc A c dqg li W

RE-   Ac wkhq RE- 
L E-c fc A 
W

Ohw e ' E-c fc A  5 J  c dqg 5 ' L Ee Vxssrvh qrz wkdw wkh dfwxdo sureohp
W

wr eh vroyhg lv e ' E-c fc A c dqg ohw % ' L Ee  Zh vkrxog vhh wkdw % ' L Ee c
  W  W 

zkhuh e 5 ' E-c wc A  A 

 

Fdvh 4= RE-   A Wkhq/

5 iru doo  5 c5w  ' 4@ iRE- c bj Qrz/ zh fdq idfh
wzr srvvlelolwlhv/
5 hlwkhu RE-   A c ru RE-  : A   

+41d, RE-   A  Wkhq/ iru doo  5 c % ' 4@ iRE- c >jc 5


zkhuh > lv
fkrvhq5vr wkdw % 5 fEe  Lq wklv fdvh/ ZEe  ' w Wkhuhiruh/ hlwkhu

RE- 


A 

w c dqg lq wklv fdvh5 iru doo  55 c L Ee  ' 4?i4@ iRE- c Bjc w j ' W 

4@ iRE- c >j ' % c ru hovh/ RE-   w  A c dqg lq wklv fdvh iru doo  5 c 

L Ee  '5
W 
4@ iw  c Bj ' 4@ iRE- c >j ' % 
+41e, RE-  : A  Wkhq/ iru doo  5 c % ' 4?iRE- c >jc zkhuh > lv fkrvhq


vr wkdw % 5 fEe  Lq wklv fdvh/ ZEe  ' RE-c dqg wkxv/ L Ee  ' L Ee  ' %
  W  W 

48
 5
Fdvh 5= RE-  : A Wkhq/ iru doo  5 c w ' 4@ iRE- c bjc 5 zkhuh b lv fkrvhq
vr wkdw w 5 fEe Wkhq/ zh fdq idfh wzr srvvlelolwlhv/ hlwkhu
5 RE-   A c ru 

RE-  :
5 A


+51d, RE-   A  Wkhq/ iru doo  5 c % ' 4@ iRE- c >jc zkhuh > lv fkrvhq


vr wkdw % 5 5 fEe  Lq wklv fdvh/ ZEe  ' RE-c dqg wkxv/ L Ee  ' L Ee  ' %
  W  W 

+51e, RE-  : A  Wkhq/ iru doo  5 c % ' 4@ iRE- c >jc zkhuh



5 > lv
fkrvhq
5 vr wkdw % 5 fEe  Lq wklv fdvh/ ZEe  ' w Wkhuhiruh/ hlwkhu A 
  
w
RE- c dqg5lq wklv fdvh iru
5 doo  5 c L 
W
Ee  ' 4?iw

 c Bj ' 4?iRE-  c >j '
% c ru hovh/ w  A  
RE- c dqg lq wklv fdvh iru doo  5 c L Ee  ' W 

4@ i4?iRE- c Bjc w  j ' 4?iRE- c >j ' %  

:1 Qr0hqy| frqglwlrqv
Lq wkh fodvv G ri sxuh glvwulexwlrq sureohpv wkh xqlirup uxoh lv fkdudfwhul}hg e|
h!flhqf|/ htxdo wuhdwphqw ri htxdov dqg qr0hqy|1 Wkhuh/ wkh qr0hqy| frqglwlrq
phdqv wkdw qr djhqw suhihuv wkh dprxqw dvvljqhg e| wkh uxoh wr dq| rwkhu djhqw1 Lq
wkh fodvv V ri uhglvwulexwlrq sureohpv wkh qr0hqy| frqglwlrq lv lqfrpsdwleoh zlwk
wkh +dxjphqwhg, hqgrzphqwv orzhu erxqg frqglwlrq/ lq wkh suhvhqfh ri h!flhqf|1
Gxh wr wklv/ wkh olwhudwxuh kdv ehhq frqfhuqhg zlwk uxohv vdwlvi|lqj qr0hqy| zlwk
uhvshfw wr wkh wudqvihuv djhqwv uhfhlyh/ wkdw lv/ wkh glhuhqfh ehwzhhq zkdw djhqwv
vkrxog frqwulexwh dqg wkhlu hqgrzphqwv1 Vlqfh/ lq wkh jhqhudo fdvh wklv frqglwlrq
fdqqrw eh phw/ d zhdnhu uhtxluhphqw kdv ehhq xvhg1 Irupdoo| +Wkrpvrq/ 4<<8e,/
Wudqvihu qr0hqy|= Iru doo  5 Q c doo - 5 8 c dqg doo e ' E-c /c A  5 J  c
wkhuh duh qr c  5  vxfk wkdw E/  n E8 Ee  /   8 Eec dqg 8 Ee : f
Wkh xqlirup uxoh vdwlvhv wudqvihu qr0hqy|1 Wkrpvrq +4<<8e, fkdudfwhul}hv L
dv wkh rqo| uxoh rq J vdwlvi|lqj shdn0rqo|/ h!flhqf|/ dqg wudqvihu qr0hqy|1
Dq dowhuqdwlyh frqglwlrq frphv iurp orrnlqj gluhfwo| wr wkh dprxqwv wkh djhqwv
hqmr|/ dvnlqj iru qr0hqy|/ surylghg wkdw wklv uhtxluhphqw lv frpsdwleoh zlwk shdn0
dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg=
Qr hqy|= Iru doo  5 Q c doo - 5 8 c 5 dqg doo e ' E-c 
5 /c A  5 J c wkhuh duh qr
c  5  5 Ee 8 Ee/ dqg li
vxfk wkdw 85 / n A RE- c wkhq 8 Ee Z  Ee
^uhvs1 li / n A : RE- c wkhq 8 Ee : Z  Eeo
Qh{w/ zh surylgh d fkdudfwhul}dwlrq ri L e| xvlqj qr hqy|=
W

Wkhruhp 4= L lv wkh rqo| uxoh rq J vdwlvi|lqj h!flhqf|/ prqrwrqlflw|/ qr

W

hqy|/ shdn0rqo| dqg shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg1

49
 Surri=
Lv lv reylrxv wkdw L vdwlvhv doo wkh surshuwlhv1 Ohw 8 eh d vroxwlrq vdwlvi|lqj
W

doo wkh surshuwlhv1 Wr suryh= Iru doo  5 Q c doo - 5 8 c dqg doo e ' E-c /c A  5
J  c 8 Ee ' L Ee
W

Vxssrvh wkdw iru vrph  5 Q c - 5 8 c / 5 7 n c dqg A 5 7c wkh sureohp

e ' E-c /c A  5 J  c lv vxfk wkdw 8 Ee ' % 9' L Ee
W

5 5
Fdvh 4= / n A RE-  5 5
Wkxv/ Z Ee ' 4?i/ c RE- j E| h!flhqf|/ %  RE- Li / n A  Z Eec
e| shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg/ %  ZEe  RE- Li iru doo
 5 c % Z  Eec qr hqy| dqg shdn0rqo| lpso| wkdw % ' L Ee Frqvhtxhqwo|/
W

' ' i 5  G % ' Z  Eej 9' > Ixuwkhupruh/ dqg vlqfh % 9' L Eec wkhuh lv
W

vrph  5 ' vxfk wkdw L Ee W

% c dqg wkxv/ wkhuh lv dqrwkhu  5  vxfk wkdw
L Ee 5
W
: % c dqg %5  Z Ee Exw wkhq prqrwrqlflw| lv ylrodwhg1
Li Z Ee  / n Ac zh kdyh wkdw ZEe  %  RE- Li iru doo  5 c
Z Ee % RE- c qr hqy| dqg shdn0rqo| lpso| wkdw % ' L Ee Frqvhtxhqwo|/
W

hlwkhu ' ' i 5  G % ' Z Eej 9' >c ru  ' i 5  G % ' RE- j 9' > Lq hlwkhu
fdvh zh rewdlq/
5 dv ehiruh/
5 d ylrodwlrq ri prqrwrqlflw|1
Fdvh 5= / n A : RE-  5 5
Wkxv/ Z Ee ' 4@ i/  c RE- j E| h!flhqf|/ %  RE- Li / n A  Z  Eec
e| shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg/ %  ZEe  RE- Li iru doo
 5 c % : Z  Eec qr hqy| dqg shdn0rqo| lpso| wkdw % ' L Ee Frqvhtxhqwo|/
W

' ' i 5  G % ' Z  Eej 9' > Ixuwkhupruh/ dqg vlqfh % 9' L Eec wkhuh lv
W

vrph  5 ' vxfk wkdw L Ee : % c dqg wkxv/ wkhuh lv dqrwkhu  5  vxfk wkdw
W

L Ee 5 % c dqg %5
W
 : Z Ee Exw wkhq prqrwrqlflw| lv ylrodwhg1
Li Z Ee  / n Ac zh kdyh wkdw ZEe  %  RE- Li iru doo  5 c
Z Ee : % : RE- c qr hqy| dqg shdn0rqo| lpso| wkdw % ' L Ee Frqvhtxhqwo|/
W

hlwkhu ' ' i 5  G % ' Z Eej 9' >c ru  ' i 5  G % ' RE- j 9' > Lq hlwkhu
fdvh zh rewdlq/ dv ehiruh/ d ylrodwlrq ri prqrwrqlflw|1 
Dv dq| h!flhqw vroxwlrq vdwlvi|lqj vwudwhj|0surriqhvv kdv wr vdwlvi| shdn0rqo|/
lw iroorzv iurp Wkhruhp 4 dqg Sursrvlwlrq 4=
Wkhruhp 5= L lv wkh rqo| uxoh rq J vdwlvi|lqj h!flhqf|/ prqrwrqlflw|/ qr
W

hqy|/ vwudwhj|0surriqhvv/ dqg shdn0dgmxvwhg hqgrzphqwv orzhu0ru0xsshu erxqg1

Rxu qh{w uhtxluhphqw lv wr dvn iru wkh wudqvihu qr0hqy| frqglwlrq wr eh ixooohg
e| uxohv rqo| zkhq zh frqvlghu sureohpv e ' E-c /c A  vxfk wkdw / ' RE-
Irupdoo|/
Plog Wudqvihu qr0hqy|= Iru doo  5 Q c doo - 5 8 c dqg doo e ' E-c /c A  5 J  c

4:
vxfk wkdw / ' RE-c wkhuh duh qr c  5  vxfk wkdw E/ n E8 Ee  /  8 Eec
dqg 8 Ee : f
Erwk wkh xqlirup uxoh dqg wkh htxdo0glvwdqfh uxoh vdwlvi| plog wudqvihu qr0
hqy|1 Wklv lv vr ehfdxvh iru dq| h!flhqw uxoh 8 vdwlvi|lqj plog wudqvihu qr0hqy|/
dqg iru doo  5 c zh kdyh 8 E-c RE-c A  ' 4@ iRE- nbc fjc zkhuh b lv fkrvhq wr
rewdlq ihdvlelolw|1 Plog wudqvihu qr0hqy|/ h!flhqf|/ dqg sdwk0lqghshqghqfh kdyh
vwurqj lpsolfdwlrqv=
Sursrvlwlrq 9= Ohw 8 eh d uxoh rq J vdwlvi|lqj h!flhqf|/ plog wudqvihu qr0
hqy|/ dqg sdwk0lqghshqghqfh1 Wkhq/ iru doo e ' E-c fc A  5 G  c 8 Ee ' (Ee
Ixuwkhupruh/ li / ' (E-c fc A c wkhq/ 8 E-c /c A  ' (E-c /c A 
 

5 Surri= Vlqfh 8 vdwlvhv sdwk0lqghshqghqfh/ 8 E-c fc A  ' 8 E-c 5RE-c A 

R E- Qrz/ ehfdxvh ri plog wudqvihu qr0hqy|/
5 8 E-c RE-c A  R E- '
4@ iRE-  n bc fjc zkhuh b lv fkrvhq vr wkdw 4@ iRE-  n bc fj ' A Wkdw lv/
8 E-c fc A  ' (E-c fc A 
Ohw qrz / ' 8 E-c fc A c dqg frqvlghu wkh sureohp E-c /c A  Li 8 vdwlv0


hv h!flhqf|/ plog wudqvihu qr0hqy| dqg sdwk0lqghshqghqfh/ / ' 8 E-c fc A  '
(E-c fc A  Ixuwkhupruh/ e| sdwk0lqghshqghqfh/ 8 E-c fc A n A  ' 8 E-c /c A c
 

dqg vlqfh 8 E-c fc A nA  ' (E-c fc A  ' (E-c /c A c zh rewdlq wkdw 8 E-c /c A  '
   

(E-c /c A  


Sursrvlwlrq 9 vd|v wkdw dq| uxoh vdwlvi|lqj h!flhqf|/ sdwk0lqghshqghqfh/ dqg

plog wudqvihu qr0hqy| kdv wr frlqflgh zlwk wkh htxdo0glvwdqfh uxoh iru sxuh glvwul0
exwlrq sureohpv/ dqg dovr iru jhqhudo sureohpv vxfk wkdw wkh hqgrzphqwv ehorqj
wr wkh qr hqgrzphqwv htxdo0glvwdqfh sdwk1
Uhpdun= Wkh dowhuqdwlyh xqlirup uxoh ylrodwhv plog wudqvihu qr0hqy|= Ohw  '
ic 2jc RE- ' / ' Ec c dqg A ' 2 Wkhq/ L E-c /c A  ' Ec c dqg djhqw
W

2 hqylhv wkh glhuhqfh iurp lwv hqgrzphqw ri djhqw 4*v fruuhvsrqglqj glhuhqfh/
d n E  o2 
Ohw xv qrz wr frqvlghu d plog irup ri wkh qr0hqy| frqglwlrq/ iru jhqhudo
glvwulexwlrq sureohpv e ' E-c /c A c rqo| lq wkh fdvh / ' RE- Irupdoo|/
Plog qr0hqy|= Iru doo  5 Q c doo - 5 8 c dqg doo e ' E-c /c A  5 J  c vxfk
wkdw / ' RE-c wkhuh duh qr c  5  vxfk wkdw 8 Ee 8 Ee
Wkh dowhuqdwlyh xqlirup uxoh vdwlvhv plog qr0hqy|1 Erwk wkh htxdo0glvwdqfh
dqg wkh xqlirup uxohv gr qrw1 Plog qr0hqy|/ h!flhqf|/ dqg sdwk0lqghshqghqfh
kdyh vwurqj lpsolfdwlrqv=

4;
Sursrvlwlrq := Ohw 8 eh d uxoh rq J vdwlvi|lqj h!flhqf|/ plog qr0hqy|/ dqg
sdwk0lqghshqghqfh1 Wkhq/ iru doo e ' E-c fc A  5 G c 8 Ee ' L Ee ' LEe W

Ixuwkhupruh/ li / ' L E-c fc A c wkhq/ 8 E-c /c A  ' L E-c /c A 

W  W 

5 Surri= Vlqfh 8 vdwlvhv sdwk0lqghshqghqfh/ 8 E-c fc 5A  ' 8 E-c RE-c A 

R E- E| plog qr0hqy|/ 8 E-c fc A  ' 8 E-c RE-c A  R E- ' LE-c fc A  '
L E-c fc A 
W

Ohw qrz / ' 8 E-c fc A c dqg frqvlghu wkh sureohp E-c /c A  Li 8 vdwlvhv


h!flhqf|/ plog qr0hqy| dqg sdwk0lqghshqghqfh/ / ' 8 E-c fc A  ' L E-c fc A  W

Ixuwkhupruh/ e| sdwk0lqghshqghqfh/ 8 E-c fc A n A  ' 8 E-c /c A c dqg vlqfh

 

8 E-c fc A n A  ' L E-c fc A  ' L E-c /c A c zh rewdlq wkdw 8 E-c /c A  '

 W  W  

L E-c /c A  
W 

Sursrvlwlrqv 9 dqg : lqglfdwh wkdw h!flhqf| dqg sdwk0lqghshqghqfh gr qrw

ghwhuplqh wkh ehkdylru ri wkh uxoh rq wkh ixoo fodvv J Li/ ixuwkhupruh/ zh dvn iru
plog wudqvihu qr0hqy|/ wkh uxoh kdv wr eh dq h{whqvlrq ri wkh htxdo0glvwdqfh uxoh1
Li/ rq wkh frqwudu|/ zh dvn iru plog qr0hqy|/ wkh uxoh kdv wr eh dq h{whqvlrq ri
wkh xqlirup uxoh1 Suhylrxv uhvxowv dovr h{sodlq zk| erwk ( dqg L gr vdwlvi| W

sdwk0lqghshqghqfh/ zhuhdv L grhv qrw1

;1 Rqh0Gluhfwlrq Lqghshqghqfh
Wkh lqfrpsdwlelolw| ehwzhhq vwurqj sdwk0lqghshqghqfh dqg h!flhqf| kdv wr gr
lq prvw fdvhv zlwk wkh odfn ri h!flhqf| ri wkh hqgrzphqwv srlqw1 Wklv lv qrw
wkh fdvh zkhq zh frqvlghu sdwk0lqghshqghqfh/ vlqfh wkh }hur0hqgrzphqwv lv do0
zd|v h!flhqw1 Lq wklv vhfwlrq zh zloo jr d elw ixuwkhu lq wkh sdwk0lqghshqghqfh
surshuwlhv e| frqvlghulqj sureohpv vxfk wkdw wkhlu hqgrzphqwv srlqw lv h!flhqw1
Iru doo  5 Q c ohw F  eh wkh vxegrpdlq ri J 
8 riwkrvh sureohpv E-c /c A 
vxfk wkdw hlwkhu RE-  /c ru /  RE- Ohw F '  F 
Qrwh wkdw iru doo  5 Q c dqg iru doo E-c fc A  5 J  c lw kdsshqv wkdw E-c fc A  5
F 
Frqvlghu qrz d sureohp E-c /c A  5 F   Zkhq vroylqj vxfk d sureohp/ zh
pryh ?
5 iurp wkh hqgrzphqwv k|shusodqh M/ ' iE% c c %?  5 7n G % n  ? n %? '
/ jc wrzdugv
5 wkh sdudooho k|shusodqh ME-c /c A  ' iE% c c %?  5 7n G % n
   n%? ' / n A j Lpdjlqh qrz wzr sureohpv lqyroylqj wkh vdph vhw ri djhqwv/
vr wkdw wkh| kdyh frpprq suhihuhqfhv/ E-c /c A c dqg E-c / c A  Qrwh wkdw wkh
 

vljq ri wkh h{whuqdo reoljdwlrq EA dqg A c uhvshfwlyho|,/ lqglfdwh lq zklfk gluhfwlrq



iurp wkh hqgrzphqwv k|shusodqh zh vkrxog pryh zkhq vroylqj wkh sureohp1 Li A
dqg A duh ri wkh vdph vljq/ zh vkrxog pryh lq wkh vdph gluhfwlrq/ hlwkhu deryh ru


4<
ehorz wkh hqgrzphqwv k|shusodqh/ zhuhdv li A dqg A duh ri glhuhqw vljqv/ wkhq


zh vkrxog pryh lq glhuhqw gluhfwlrqv1 Zh vkdoo vd| wkdw E-c /c A c dqg E-c / c A   

duh frqjuxhqw li hlwkhu Ac A  fc ru Ac A  f

 

Qrz/ frqvlghu wkh iroorzlqj surshuw|=

Rqh0gluhfwlrq Lqghshqghqfh= Iru doo  5 Q c doo - 5 8 c doo / 5 7 n c dqg doo
 
Ac A 5 7c vxfk wkdw E-c /c A  5 F c li E-c /c A c E-c /c A c dqg E-c wc A  A  duh
 

frqjuxhqw/ wkhq 8 E-c /c A  ' 8 E-c wc A  A c zkhuh w ' 8 E-c /c A 

 

Uhpdun= Qrwh wkdw zh fdqqrw jr ixuwkhu wkdq rqh0gluhfwlrq lqghshqghqfh iru

sureohpv zlwk / 9' f1 Iru h{dpsoh/ frqvlghu wkh fdvh  ' ic 2jc RE-  ' fc
RE-2  ' 2c / ' ESc ec A ' 22c A ' f Qrwh wkdw /  RE-c dqg erwk Ac A : f
 

Ixuwkhupruh/ 8 E-c /c A  ' RE- ' Efc 2c dqg 8 E-c /c A  ' / ' ESc e Exw


vlqfh 5 ' 8 E-c /c A  ' RE-c wkhuh lv qr zd| ri uhfryhulqj / dv 8 E-c 5c A  A 



Lq wkh / ' f fdvh/ qrqhwkhohvv/ zh gr qrw idfh wklv sureohp1

Wkh qh{w sursrvlwlrq vxppdul}hv wkh ehkdylru ri rxu wkuhh uxohv zlwk uhvshfw
wr rqh0gluhfwlrq lqghshqghqfh1 Wkh surri lv suhvhqwhg lq wkh Dsshqgl{1
Sursrvlwlrq ;= Wkh htxdo glvwdqfh uxoh dqg wkh dowhuqdwlyh xqlirup uxoh vdwlvi|
rqh0gluhfwlrq lqghshqghqfh1 Wkh xqlirup uxoh idlov wr vdwlvi| lw1

<1 Ilqdo Uhpdunv

Lq wklv sdshu zh kdyh dgguhvvhg wkh txhvwlrq ri qglqj uxohv wr vroyh jhqhudo
doorfdwlrq sureohpv wkdw ixooo vrph sdwk0lqghshqghqfh frqglwlrqv1 Wzr uxohv
zhuh suhylrxvo| vwxglhg lq wkh olwhudwxuh/ wkh htxdo0glvwdqfh uxoh/ (c dqg wkh
xqlirup uxoh/ L Zh kdyh vkrzq wkdw wkh htxdo0glvwdqfh uxoh vdwlvhv rxu sdwk0
lqghshqghqfh frqglwlrqv zkhuhdv wkh xqlirup uxoh idlov wr vdwlvi| doo ri wkhp1
Pruhryhu/ zh kdyh lqwurgxfhg d qhz h{whqvlrq ri wkh xqlirup uxoh/ wkh dowhuqd0
wlyh xqlirup uxoh L c wkdw dovr vdwlvhv rxu sdwk0lqghshqghqfh frqglwlrqv1
W

Lw lv lqwhuhvwlqj wr vwuhvv wkdw d ixoo sdwk0lqghshqghqfh uhtxluhphqw +wkh rqh

wkdw zh fdoohg vwurqj sdwk0lqghshqghqfh, lv lqfrpsdwleoh zlwk vrph rwkhu yhu|
edvlf surshuwlhv1 Lq sduwlfxodu/ h!flhqf|1 Wkdw lv zk| rqo| sduwldo uhvxowv fdq eh
rewdlqhg1
Wkh lghd ri sdwk0lqghshqghqfh vlpso| frqvlghuv sureohpv zlwkrxw hqgrzphqwv
dqg rqo| frqvlghuv srvlwlyh hqgrzphqwv dw wkh lqwhuphgldwh vwhs/ dv wkh whqwdwlyh
rxwfrph ri wkh sureohp1 Li zh xvh hlwkhu ( ru L c zh fdq dgmxvw diwhu sduwldoo|
W

vroylqj rxu sureohp/ vr wkdw sdwk0lqghshqghqfh lv ixooohg1

53
 Wkh lghd ri rqh0gluhfwlrq lqghshqghqfh lv wkh iroorzlqj= Vxssrvh wkdw d sure0
ohp kdv ehhq vroyhg e| phdqv ri dq| uxoh/ dqg frqvlghu wkh vroxwlrq dv hqgrz0
phqwv1 Wkhq/ dqg vlqfh wkh vroxwlrq vkrxog eh h!flhqw/ lw kdsshqv wkdw / dqg
RE- duh frpsdudeoh1 Qrz/ lq wklv flufxpvwdqfhv/ plvwdnhv ri vrph sduwlfxodu
w|shv fdq eh vroyhg e| uxohv ixooolqj rqh0gluhfwlrq lqghshqghqfh1
Dq lqwhuhvwlqj uhvxow frplqj iurp wklv sdshu lv wkh frpsdwlelolw| ehwzhhq rxu
sdwk0lqghshqghqfh dqg rqh0gluhfwlrq lqghshqghqfh frqglwlrqv dqg wkh uhtxluh0
phqw ri vwudwhj|0surriqhvv= L vdwlvhv doo suhylrxv uhtxluhphqwv1 Lq wklv uhvshfw/
W

lw lv zruwk phqwlrqlqj wkdw lq wkh sxuh glvwulexwlrq fdvh/ wkh vkliwlqj frqglwlrq
xvhg lq rughu wr lqwurgxfh d vruw ri sdwk0lqghshqghqfh surshuw| zdv lqfrpsdwleoh
zlwk vwudwhj|0surriqhvv ^vhh Khuuhur ) Yloodu/ 4<<9`1 Rxu uhfryhuhg frpsdwlelolw|
lq wkh h{whqghg vhwwlqj lqglfdwhv wkdw zrunlqj lq d ulfkhu iudphzrun doorzv xv wr
uhfryhu vwudwhj|0surriqhvv/ dqg dovr wr ghdo zlwk zlghu sdwk0lqghshqghqfh frq0
glwlrqv1 Wzr frqvhtxhqfhv fdq wkhq eh ghulyhg= +4, Lw pd| eh wkdw wkh vkliwlqj
rshudwlrq lv qrw wkh uljkw zd| ri ghdolqj zlwk wklv w|sh ri sureohp/ +5, prylqj wr
d ulfkhu grpdlq khosv xv xqghuvwdqglqj ehwwhu wkh vruw ri vlwxdwlrq zh wu| wr ghdo
zlwk dqg lwv srvvleoh dqvzhuv1
Wkh srvvlelolw| ri h{whqglqj wkh wudglwlrqdo xqlirup uxoh lq wzr glhuhqw zd|v
rshqv dovr wkh txhvwlrq ri zklfk rqh lv wkh *prvw qdwxudo* h{whqvlrq1 Wkh dqvzhu
lv qrw fohdu dqg lw ghshqgv rq wkh zd| zh zrxog suhihu wkh h{whqghg vroxwlrq wr
ehkdyh= hlwkhu wr nhhs djhqwv dv forvh dv srvvleoh wr dq htxdo glylvlrq ri wkh ixoo
wdvn/ ru wr nhhs wkhp dv forvh dv srvvleoh wr wkhlu dxjphqwhg hqgrzphqwv1 Lw lv
fohdu wkdw L hqmr|v pdq| lqwhuhvwlqj surshuwlhv= lw lv qrw rqo| vwudwhj|0surri/ exw
W

dovr vdwlvhv sdwk0lqghshqghqfh/ dqg rqh0gluhfwlrq lqghshqghqfh1 Li djhqwv gr qrw

kdyh ixoo frqwuro rq wkhlu hqgrzphqwv/ dqg zh duh zruulhg derxw wkh srvvlelolw|
ri pdnlqj plvwdnhv dqg dgmxvw/ wkhq L vhhpv wr eh d ehwwhu fkrlfh1
W

Vrph grxewv rq wkh uhohydqfh ri wkh dxjphqwhg hqgrzphqwv frqfhsw dulvhv

dovr iurp suhylrxv uhpdun1 Rqh pd| wklqn dovr ri glhuhqw zd|v ri wudqvirup0
lqj lq d qdwxudo zd| d jhqhudo sureohp E-c /c A  lqwr d sureohp ri uhglvwulex0
wlrq1 Lqvwhdg ri dq htxdo glylvlrq ri A +vxemhfw wr qrq0qhjdwlylw|,/ zh frxog dovr
wklqn ri d sursruwlrqdo wr wkh hqgrzphqwv glylvlrq ri A +djdlq vxemhfw wr qrq0
qhjdwlylw|,1 Wklv zd|/ zh fdq ghqh wkh sursruwlrqdo
5 dxjphqwhg
5 hqgrzphqwv/ dv
/ ' 4@ ifc / Enbjc zkhuh b lv fkrvhq vr wkdw / ' /  nA Iurp wklv/ zh
W W

pd| dovr frqvwuxfw d qhz h{whqvlrq ri wkh xqlirup uxoh wr wkh jhqhudo fdvh1 Wklv
idfw dovr fkdoohqjhv wkh dghtxdf| ri Wkrpvrqv* h{whqvlrq ri wkh xqlirup uxoh1
Wkhuh duh d qxpehu ri rshq txhvwlrqv dqg sureohpv1 +4, Wkh srvvlelolw| ri
surylglqj zlwk fkdudfwhul}dwlrqv ri wkh uxohv L dqg ru ( e| xvlqj vrph sdwk0
W

54
lqghshqghqfh dqg2ru rqh0gluhfwlrq lqghshqghqfh> +5, Wkh srvvlelolw| ri surylglqj
zlwk fkdudfwhul}dwlrqv ri wkh uxohv L dqg ru ( e| dovr dgglqj vrph idluqhvv
W

frqglwlrqv> +6, wr vhsdudwh wkh surshuwlhv xvhg lq Wkhruhpv 4 dqg 5> +7, wr surylgh
zlwk d frpsohwh sdudooho vwxg| ri L dqg L  Vrph suholplqdu| uhvxowv dsshdu lq
W

Khuuhur +4<<;,/ exw d ixoo dqvzhu lv ohiw iru ixwxuh uhvhdufk1

Uhihuhqfhv
^4` Eduehuä/ V1 Mdfnvrq/ P1/ dqg Qhph/ D1/ 4<<:/ Vwudwhj|0Surri Doorwphqw
Uxohv/ Jdphv dqg hfrqrplf Ehkdylru/ 4;= 40541

^5` Fklqj/ V1/ 4<<7/ Dq dowhuqdwlyh fkdudfwhul}dwlrq ri wkh xqlirup uxoh/ Vrfldo
Fkrlfh dqg Zhoiduh/ 44= 46404691

^6` Gdjdq/ 4<<9/ D Qrwh rq Wkrpvrq*v fkdudfwhul}dwlrq ri wkh xqlirup uxoh/

Mrxuqdo ri Hfrqrplf Wkhru|/ 9<= 58805941

^7` Khuuhur/ F1/ 4<<;/ Dq dowhuqdwlyh h{whqvlrq ri wkh xqlirup uxoh lq jhqhudo
doorfdwlrq sureohpv zlwk vlqjoh0shdnhg suhihuhqfhv/ Plphr/ Xqlyhuvlgdg gh
Dolfdqwh1

^8` Khuuhur/ F1 dqg Yloodu/ D1/ 4<<9/ Djhqgd0lqghshqghqfh lq doorfdwlrq sureohpv

zlwk vlqjoh0shdnhg suhihuhqfhv/ D Glvfxvlrq/ ZS0DG <9047/ Xqlyhuvlgdg gh
Dolfdqwh1

^9` Khuuhur/ F1 dqg Yloodu/ D1/ 4<<;/ Wkh htxdo0glvwdqfh uxoh lq doorfdwlrq sure0
ohpv zlwk vlqjoh0shdnhg suhihuhqfhv/ lq Dolsudqwlv dqg \dqqholv +hgv,/ Fxu0
uhqw Wuhqgv lq Hfrqrplfv/ Wkhru| dqg Dssolfdwlrqv/ ss1 5480556/ Vsulqjhu0
Yhuodj/ Ehuolq

^:` Khuuhur/ F1 dqg Yloodu/ D1/ 5333/ Dq dowhuqdwlyh fkdudfwhul}dwlrq ri wkh htxdo0
glvwdqfh uxoh lq doorfdwlrq sureohpv zlwk vlqjoh0shdnhg suhihuhqfhv/ Hfr0
qrplfv Ohwwhuv/ 99= 644064:1

^;` Nodxv/ E1/ 4<<;/ Idlu Doorfdwlrq dqg Uhdoorfdwlrq= Dq D{lrpdwlf Vwxg|/
Grfwrudo Glvvhuwdwlrq/ Xqlyhuvlw| ri Pddvwulfkw1

^<` Nodxv/ E1/ Shwhuv/ K1/ dqg Vwrunhq/ W1/ 4<<:/ Uhdoorfdwlrq ri dq lqqlwho|
glylvleoh jrrg/ Hfrqrplf Wkhru|/ 43= 63806661

55
^43` Nodxv/ E1/ Shwhuv/ K1/ dqg Vwrunhq/ W1/ 4<<;/ Vwudwhj|0surri glylvlrq zlwk
vlqjoh0shdnhg suhihuhqfhv dqg lqglylgxdo hqgrzphqwv/ Vrfldo Fkrlfh dqg Zho0
iduh/ 48= 5<:06441

^44` Pdv0Frooho/ D1/ 4<<5/ Htxloleulxp Wkhru| zlwk srvvlelolw| ri vdwldwhg suhihu0
hqfhv/ lq Htxloleulxp dqg G|qdplfv/ Hvvd|v lq krqrxu ri G1 Jdoh/ P1 Pdq0
mxpgdu +hg,/ PfPloodq/ Orqgrq= 53405461

^45` Pruhqr/ E1 Wkh xqlirup uxoh lq hfrqrplhv zlwk vlqjoh0shdnhg suhihuhqfhv/

hqgrzphqwv/ dqg srsxodwlrq prqrwrqlflw|/ D Glvfxvlrq/ ZS0DG <9043/ Xql0
yhuvlgdg gh Dolfdqwh1

^46` Vfkxpphu/ M1 dqg Wkrpvrq/ Z1/ 4<<:/ Wzr ghulydwlrqv ri wkh xqlirup uxoh
dqg dq dssolfdwlrq wr edqnuxswf|/ Hfrqrplfv Ohwwhuv/ 88= 666066:1

^47` Vùqph}/ W1/ 4<<7/ Frqvlvwhqf|/ prqrwrqlflw|/ dqg wkh xqlirup uxoh/ Hfr0
qrplfv Ohwwhuv/ 79= 55<05681

^48` Vsuxprqw/ \1/ 4<<4/ Wkh glylvlrq sureohp zlwk vlqjoh0shdnhg suhihuhqfhv= d
fkdudfwhul}dwlrq ri wkh xqlirup doorfdwlrq uxoh/ Hfrqrphwulfd/ 8<= 83<084<1

^49` Wkrpvrq/ Z1/ 4<<7d/ Frqvlvwhqw vroxwlrqv wr wkh sureohp ri idlu glylvlrq
zkhq suhihuhqfhv duh vlqjoh0shdnhg/ Mrxuqdo ri Hfrqrplf Wkhru|/ 96= 54<0
5781

^4:` Wkrpvrq/ Z1/ 4<<7e/ Uhvrxufh prqrwrqlf vroxwlrqv wr wkh sureohp ri idlu
glylvlrq zkhq suhihuhqfhv duh vlqjoh0shdnhg/ Vrfldo Fkrlfh dqg Zhoiduh/ 44=
5380556

^4;` Wkrpvrq/ Z1/ 4<<8d/ Srsxodwlrq0prqrwrqlf vroxwlrqv wr wkh sureohp ri idlu

glylvlrq lq hfrqrplhv zlwk vlqjoh0shdnhg suhihuhqfhv/ Hfrqrplf Wkhru|/ 8=
55<05791

^4<` Wkrpvrq/ Z1/ 4<<5/ Uhylvhg/ 4<<8e/ D{lrpdwlf dqdo|vlv ri jhqhudol}hg

hfrqrplhv zlwk vlqjoh0shdnhg suhihuhqfhv/ Plphr/ Xqlyhuvlw| ri Urfkhvwhu1

56
 Dsshqgl{= Surri ri Sursrvlwlrq ;
41 Wkh xqlirup uxoh grhv qrw vdwlvi| rqh0gluhfwlrq lqghshqghqfh1
Lw fdq eh suryhq e| xvlqj wkh h{dpsoh surylghg lq Sursrvlwlrq 51
51 Wkh htxdo0glvwdqfh uxoh vdwlvhv rqh0gluhfwlrq lqghshqghqfh1
Surri= Ohw  5 Q c dqg e ' E-c /c A  5 F   Qrwh wkdw li 5 / n A
5 5 5
RE- c wkhq Z Ee ' 4?iRE- c / jc dqg li / n A : RE- c wkhq Z Ee '
4@ iRE- c /  j Zh wkhq kdyh wkh iroorzlqj fdvhv=
Fdvh 4= /  RE-c dqg A  f
Wkhq/ iru doo  5 c ( E-c /c A  ' 4@ iRE-  n bc /  jc zkhuh b lv fkrvhq
vr wkdw (Ee 5 fEe Ohw 5 ' (Ee Lq wklv fdvh/ iru E-c /c A c E-c /c A c dqg 

E-c wc A  A  wr eh frqjuxhqw/ lw vkrxog kdsshq wkdw A  Ac dqg wkxv/ iru doo

 

 5 c ( E-c /c A  ' 4@ iRE-  n >c /  jc zkhuh > lv fkrvhq vr wkdw (E-c /c A  5

 

fE-c /c A  Vlploduo|/ dqg vlqfh A  Ac zh kdyh wkdw iru doo  5 c ( E-c wc A 

  

A  ' 4@ iRE-  n Bc / jc zkhuh B lv fkrvhq vr wkdw (E-c wc A  A  5 fE-c wc A   

A  Exw wkhq/ dqg vlqfh >  bc zkhqhyhu /   RE-  n >  RE-  n b Ohw
 ' i 5  G ( E-c /c A  ' /  j Wkhq/ iru doo  5  c w ' /  c dqg wkxv/ iru doo


 5  c ( E-c /c A  ' ( E-c wc A  A  Vlploduo|/ li /  RE-  n b  RE-  n >c

 

ohw 2 ' i 5  G w ' RE-  n bj Wkhq/ iru doo  5 2 c ( E-c /c A  ' RE-  n > 

Ilqdoo|/ iru doo  5

*  vxfk wkdw w  ' /  c zh kdyh wkdw /  ' w RE-  n >c dqg
e| ihdvlelolw|/ B ' >c dqg wkhuhiruh/ (E-c /c A  ' (E-c wc A  A 
 

Fdvh 5= /  RE-c 5 dqg A  f 5

Wkhq hlwkhu / n A  5RE- c dqg5( Ee ' 4?iRE- c 4@ iRE-  
bc fjj ' 4@ iRE-   bc fjc ru / n A : RE- c dqg ( Ee ' 4@ iRE-  n
bc / jc zkhuh b lv fkrvhq vr wkdw (Ee 5 fEe
Lq wklv fdvh/ iru E-c /c A c E-c /c A c dqg E-c wc A  A  wr eh frqjuxhqw/ lw
 

vkrxog kdsshq
5 wkdw A 5  A Wkhuhiruh/


5zh pd| idfh wkh iroorzlqj srvvlelolwlhv=

+51d, / n A  / n A  RE-  D vlplodu dujxphqw dv lq Fdvh 4


dssolhv1 5 5 5
+51e, / n A  RE-   / n A


Wkhq/ ( Ee ' 4@ iRE- nbc /  j ' w c zkhuh b lv fkrvhq vr wkdw (Ee 5 fEe
( E-c /c A5 ' 4@ iRE-  5>c fjc dqg ( E-c wc A  A  ' 4@ iRE-   Bc fj
 

Vlqfh ( E-c /c A  ' ( E-c wc A A c zh kdyh wkdw B ' >c dqg (E-c /c A  '
  

(E-c wc A5 A 


5 5
+51f, / n A  /  n A  RE- 


Wkhq ( Ee ' 4@ iRE-   bc fj ' w c ( E-c /c A  ' 4@ iRE-   >c fjc dqg


( E-c wc A  A  ' 4@ iRE-   Bc fj Wkh vdph dujxphqw dv lq +51e, dssolhv1



57
Fdvh 6= /  RE-c 5 A  f 5
Wkhq/ hlwkhu 5/  n A 
5 RE- c dqg ( Ee ' 4@ i4@ iRE-   bc fjc / jc
ru / n A : RE- c dqg ( Ee ' RE-  n bc zkhuh b lv fkrvhq vr wkdw
(Ee 5 fEe5 5 5
+61d, / n A  
/ n A  RE-  Wkhq/ ( E-c /c A  ' RE-  n >c 

( E-c wc A  A  ' 4@ iRE-  n Bc w j



5 5
5 A  A c zh kdyh wkdw b  >c dqg vlqfh ( E-c /c A  ' ( E-c wc A 
Vlqfh   

A  ' RE- 5  n?>c lw 5iroorzv wkdw5> ' Bc dqg wkxv/ (E-c /c A  ' (E-c wc A A 
 

+61e, / n A  RE-   / n A Lq wklv fdvh/ ( E-c /c A  ' RE-  n >c

 

( Ee ' 4@ i4@ iRE-   bc fjc / jc dqg ( E-c wc A  A  ' RE-  n B D vlplodu


dujxphqw5 dv lq Fdvh5+61d, dssolhv15

+61f, RE-   / n A  / n A 

Qrz/ ( Ee ' 4@ i4@ iRE-   bc fjc / jc ( E-c /c A  ' 4@ i4@ iRE-  


>c fjc / jc dqg ( E-c wc A  A  ' 4@ i4@ iRE-   Bc fjc w j Vlqfh A  Ac zh

 

kdyh wkdw b  > Wkxv/ li iru vrph  5 c ( E-c /c A  ' / c wkhq w ' /  Ixuwkhu0


pruh/ w  /c dqg wkxv/ B  > Frqvhtxhqwo|/ iru vxfk dq c ( E-c wc A  A  ' /  

Wkdw lv/ li  ' i 5  G ( E-c /c A  ' /  jc iru doo  5  c ( E-c /c A  '

 

( E-c wc A  A 


Vxssrvh wkdw B > Wkhq/ iru vrph  5 q c 5  RE-   B : RE-   > '
( E-c /c A  Wkhq/ w ' RE-   b : /  c vlqfh rwkhuzlvh/  5   Exw wkhq/


w ' ( E-c /c A  : ( E-c /c A c frqwudglfwlqj wkh lqfuhdvlqjqhvv ri ( zlwk A



Fdvh 7= /  RE-c 5 A  f 5 5
Lq wklv fdvh/ /  nA  /  nA  RE- c dqg wkxv/ ( Ee ' 4?i4@ iRE- 


bc fjc / jc ( E-c /c A  ' 4?i4@ iRE- >c fjc /  jc ( E-c wc A A  ' 4?i4@ iRE- 
 

Bc fjc w j Qrz/ lw kdsshqv wkdw >  b Frqvhtxhqwo|/ li /  ' ( E-c /c A c wkhq 

w ' /   Ixuwkhupruh/ w  /c dqg wkxv/ B  > D vlplodu dujxphqw dv lq +61f,

dssolhv1 
61 Wkh dowhuqdwlyh xqlirup uxoh vdwlvhv rqh0gluhfwlrq lqghshqghqfh1
Surri= Ohw  5 Q c dqg e ' E-c /c A  5 F   Zh glvwlqjxlvk wkh iroorzlqj
fdvhv=
Fdvh 4= /  RE-c dqg A  f
Wkhq/ iru doo  5 c L E-c /c A  ' 4@ ibc /  jc zkhuh b lv fkrvhq vr wkdw
W

L Ee 5 fEe Ohw w ' L Ee Lq wklv fdvh/ iru E-c /c A c E-c /c A c dqg E-c wc A 
W W  

A  wr eh frqjuxhqw/ lw vkrxog kdsshq wkdw A  Ac dqg wkxv/ iru doo  5 c



L E-c /c A  ' 4@ i>c / jc zkhuh > lv fkrvhq vr wkdw L E-c /c A  5 fE-c /c A 

W  W  

Vlploduo|/ dqg vlqfh A  Ac zh kdyh wkdw iru doo  5 c L E-c wc A  A  '

 W 

58
4@ iBc / jc zkhuh B lv fkrvhq wr ixooo ihdvlelolw|1 Exw wkhq/ dqg vlqfh >  bc
zkhqhyhu /  >  b Ohw  ' i 5  G L E-c /c A  ' / j Wkhq/ iru doo W 

 5  c w ' / c dqg wkxv/ iru doo  5  c L E-c /c A  ' L E-c wc A  A  D W  W 

vlplodu dujxphqw dssolhv li / b  > G ohw 2 ' i 5  G w ' bj Wkhq/ iru
doo  5 2 c L E-c /c A  ' >c dqg L E-c /c A  ' L E-c wc A  A  Ilqdoo|/ iru dq|
W  W  W 

 5  vxfk wkdw w ' / c exw  5 *  c zh kdyh wkdw / ' w  >c dqg e| ihdvlelolw|/
> ' Bc dqg L E-c /c A  ' L E-c wc A  A 
W  W 

Fdvh 5= /  RE-c 5 dqg A  f5 5

Wkhq
5 hlwkhu /  n A  RE-  c dqg L  Ee ' 4?iRE- c bjc ru / n W

A : RE- c dqg L Ee ' 4?i4@ iRE- c bjc / jc zkhuh b lv fkrvhq vr wkdw
W

L Ee 5 fEe Ohw 5 ' L Ee

W W

Lq wklv fdvh/ iru E-c /c A c E-c /c A c dqg E-c wc A  A  wr eh frqjuxhqw/ lw  

vkrxog kdsshq5 wkdw A 5  A Wkhuhiruh/5 zh pd| idfh wkh iroorzlqj srvvlelolwlhv=



+51d, / n A  / n A  RE-  

Wkhq/ L Ee ' 4?i4@ iRE- c bjc / j ' w c L E-c /c A  ' 4?i4@ iRE- c >jc / j 
W W 

w c dqg L E-c wc A  A  ' 4?i4@ iRE- c Bjc w j Qrwh wkdw iru doo  5 c
W 

L E-c /c A  ' 4?i4@ iRE- c >jc / j ' 4?i4@ iRE- c Bjc w j ' L E-c wc A 
W  W 

A  Li L E-c /c A  ' RE- c wkhq >  RE-   w   / ( li L E-c /c A  ' / '

W  W 

w5 ( qdoo|/ li L E-c

5/c A  ' >c wkhq RE-   >  b  w  /   Dqg vlqfh
W 

L E-c 5
W
/c A  ' L5 
 E-c wc A 5 A c > ' Bc dqg L E-c /c A  ' L E-c wc A  A 
W  W  W 

+51e, / n A  RE-   / n A

Wkhq/ L Ee ' 4?i4@ iRE- c bjc /  j ' w c L E-c /c A  ' 4?iRE- c >jc
W W 

dqg L E-c5
W
wc A  A  ' 4?iRE-


5  c Bj
Vlqfh L E-c /c A  '
W
L E-c wc A  A c zh kdyh wkdw L E-c /c A  '
 W  W 

L E-c wc A5 A 
W 

5 5
+51f, / n A  / n A  
RE-  D vlplodu dujxphqw dv lq Fdvh 4
dssolhv1
Fdvh 6= /  RE-c 5A  f 5
5 Wkhq/ hlwkhu
5 /  n A  RE- c dqg L Ee ' 4@ i4?iRE- c bjc / jc ru W

/ n A : RE- c dqg L Ee ' 4@ iRE- c bjc zkhuh b lv fkrvhq vr wkdw

W

L Ee 5 fEe
W

5 5 5
+61d, / n A  / n A  
RE-  Wkhq/ L Ee ' w ' 4@ iRE- c bjc W

L E-c /c A  ' 4@ iRE- c >jc dqg L E-c 5c A 

W 

5A  ' 4@ iRE- c5Bj W 

Vlqfh A  A c zh kdyh wkdw b  >c dqg vlqfh L E-c /c A  ' L E-c 5c A 

 W  W 

A c lw iroorzv
5 wkdw > ' 5Bc dqg wkxv/
5 L E-c /c A  ' L E-c wc A  A 
W  W 

+61e, / nA  RE-   / nA Lq wklv fdvh/ L E-c /c A  ' 4@ iRE- c >jc

 W 

L Ee ' 4@ i4?iRE- c bjc / jc dqg L E-c wc A  A  ' 4@ iRE- c Bj vlqfh
W W 

59
 5 5
L E-c /c A  ' L E-c wc A A c lw iroorzv wkdw > ' Bc dqg wkxv/ L E-c /c A  '
W  W  W 

L E-c wc A5 A 
W 

5 5
+61f, RE-   / n A  / n A 

Qrz/ L Ee ' 4@ i4?iRE- c bjc / j ' w c L E-c /c A  ' 4@ i4?iRE- c >jc / jc
W W 

dqg L E-c wc A A  ' 4@ i4?iRE- c Bjc w  j Vlqfh A  Ac zh kdyh wkdw b  >

W  

Qrz/ qrwh wkdw L E-c /c A  ' 4@ i4?iRE- c >jc / j ' 4@ i4?iRE- c >jc w  jc
W 

dqg uhdvrqlqj lq d vlplodu zd| dv lq Fdvh +61e,/ wkh uhvxow iroorzv1

Fdvh 7= /  RE-c 5 A  f 5 5
Lq wklv fdvh/ /  n A  / n A  RE- c dqg wkxv/ L Ee ' 4?ibc / jc
 W

L E-c /c A  ' 4?i>c /  j  w c dqg L E-c 5c A  A  ' 4?iBc w j Dv ehiruh/

W  W 

qrwh wkdw L E-c /c A  ' 4?i>c / j ' 4?i>c w j Djdlq/ wkh edodqfh frqglwlrq
W 

lpsolhv wkh ghvluhg uhvxow1 

5:

View publication stats