Wklv oh frqwdlqv wkh h{huflvhv/ klqwv/ dqg vroxwlrqv iru Fkdswhu : ri wkh
errn %Lqwurgxfwlrq wr wkh Ghvljq dqg Dqdo|vlv ri Dojrulwkpv% e| D1 Ohylwlq1
Wkh sureohpv wkdw pljkw eh fkdoohqjlqj iru dw ohdvw vrph vwxghqwv duh pdunhg
e| E> wkrvh wkdw pljkw eh glfxow iru d pdmrulw| ri vwxghqwv duh pdunhg e| L =
, ihUtit .
41 Lv lw srvvleoh wr h{fkdqjh qxphulf ydoxhv ri wzr yduldeohv/ vd|/ x dqg y/
zlwkrxw xvlqj dq| h{wud vwrudjhB
51 Zloo wkh frpsdulvrq frxqwlqj dojrulwkp zrun fruuhfwo| iru duud|v zlwk
htxdo ydoxhvB
61 Dvvxplqj wkdw wkh vhw ri srvvleoh olvw ydoxhv lv id/ e/ f/ gj/ vruw wkh
iroorzlqj olvw lq doskdehwlfdo rughu e| wkh glvwulexwlrq frxqwlqj dojrulwkp=
e/ f/ g/ f/ e/ d/ d/ e1
71 Lv wkh glvwulexwlrq frxqwlqj dojrulwkp vwdeohB
81 Ghvljq d rqh0olqh dojrulwkp iru vruwlqj dq| duud| ri vl}h q zkrvh ydoxhv
duh q glvwlqfw lqwhjhuv iurp 4 wr q=
91 Wkh Gxwfk dj sureohp lv wr uhduudqjh dq duud| ri fkdudfwhuv U> Z /
dqg E +uhg/ zklwh/ dqg eoxh duh wkh froruv ri wkh Gxwfk qdwlrqdo dj, vr
wkdw doo wkh U*v frph uvw/ wkh Z *v frph qh{w/ dqg wkh E*v frph odvw1
Ghvljq d olqhdu lq0sodfh dojrulwkp iru wklv sureohp1
:1 EWkh dqfhvwu| sureohp dvnv wr ghwhuplqh zkhwkhu d yhuwh{ x lv dq
dqfhvwru ri yhuwh{ y lq d jlyhq elqdu| +ru/ pruh jhqhudoo|/ urrwhg rughuhg,
wuhh ri q yhuwlfhv1 Ghvljq d R+q, lqsxw hqkdqfhphqw dojrulwkp wkdw
surylghv vxflhqw lqirupdwlrq wr vroyh wklv sureohp iru dq| sdlu ri wkh
judsk*v yhuwlfhv lq frqvwdqw wlph1
;1 EWkh iroorzlqj whfkqltxh/ nqrzq dv yluwxdo lqlwldol}dwlrq/ surylghv d
wlph0hflhqw zd| wr lqlwldol}h mxvw vrph hohphqwv ri d jlyhq duud| D^3==q 4` vr wkdw iru hdfk ri lwv hohphqwv zh fdq vd| lq frqvwdqw wlph zkhwkhu lw
kdv ehhq lqlwldol}hg dqg/ li lw kdv ehhq/ zlwk zklfk ydoxh1 Wklv lv grqh
e| xwlol}lqj d yduldeoh frxqwhu iru wkh qxpehu ri lqlwldol}hg hohphqwv lq D
dqg wzr dx{loldu| duud|v ri wkh vdph vl}h/ vd| E^3==q 4` dqg F^3==q 4`>
ghqhg dv iroorzv1 E^3`> ===> E^frxqwhu 4` frqwdlq wkh lqglfhv ri wkh ho0
hphqwv ri D wkdw zhuh lqlwldol}hg= E^3` frqwdlqv wkh lqgh{ ri wkh hohphqw
lqlwldol}hg uvw/ E^4` frqwdlqv wkh lqgh{ ri wkh hohphqw lqlwldol}hg vhfrqg/
dqg vr rq1 Ixuwkhupruh/ li D^l` zdv wkh nwk hohphqw +3 n frxqwhu4,
wr eh lqlwldol}hg/ F^l` frqwdlqv n=
d1 Vnhwfk wkh vwdwh ri duud|v D^3==:`> E^3==:`> dqg F^3==:` diwhu wkh wkuhh
dvvljqphqwv
D^6` # {> D^:` # }> D^4` # |=
4
e1 Lq jhqhudo/ krz fdq zh fkhfn zlwk wklv vfkhph zkhwkhu D^l` kdv ehhq
lqlwldol}hg dqg/ li lw kdv ehhq/ zlwk zklfk ydoxhB
<1 d1 Zulwh d surjudp iru pxowlso|lqj wzr vsduvh pdwulfhv/ d s0e|0t pdwul{
D dqg d t0e|0u pdwul{ E=
e1 Zulwh d surjudp iru pxowlso|lqj wzr vsduvh sro|qrpldov s+{, dqg t+{,
ri ghjuhhv p dqg q/ uhvshfwlyho|1
431 Zulwh d surjudp wkdw sod|v wkh jdph ri wlf0wdf0wrh zlwk wkh kxpdq xvhu
e| vwrulqj doo srvvleoh srvlwlrqv rq wkh jdph*v 60e|06 erdug dorqj zlwk
wkh ehvw pryh iru hdfk ri wkhp1
5
O?|t |L , ihUtit .
41 \hv/ lw lv srvvleoh1 KrzB
51 Fkhfn wkh dojrulwkp*v svhxgrfrgh wr vhh zkdw lw grhv xsrq hqfrxqwhulqj
htxdo ydoxhv1
61 Wudfh wkh dojrulwkp rq wkh lqsxw jlyhq +vhh Iljxuh :15 iru dq h{dpsoh,1
71 Fkhfn zkhwkhu wkh dojrulwkp fdq uhyhuvh d uhodwlyh rughulqj ri htxdo ydo0
xhv1
81 Zkhuh zloo D^l` eh lq wkh vruwhg duud|B
91 \rx pd| zdqw wr vroyh uvw wkh wzr0froru dj sureohp/ l1h1/ uhduudqjh
hflhqwo| dq duud| ri U*v dqg E*v1 D vlplodu sureohp zdv jlyhq lq
H{huflvhv 7151
:1 Wdnh dgydqwdjh ri wkh vwdqgdug wudyhuvdov ri vxfk wuhhv1
;1 d1 Iroorz wkh ghqlwlrqv ri wkh duud|v E dqg F lq wkh ghvfulswlrq ri wkh
phwkrg=
e1 Ilqg/ vd|/ E^F^6`` iru wkh h{dpsoh ri sduw +d,1
<1 d1 Uhsuhvhqw hdfk ri wkh jlyhq sro|qrpldov e| d olqnhg olvw zlwk qrghv
frqwdlqlqj h{srqhqw l dqg frhflhqw dl iru hdfk qrq}hur whup dl {l 1
e1 Xvh olqnhg olvwv wr krog qrq}hur hohphqwv ri wkh pdwulfhv1
431 \rx pd| zdqw wr wdnh dgydqwdjh ri wkh erdug*v v|pphwu| wr ghfuhdvh wkh
qxpehu ri wkh srvlwlrqv wkdw qhhg wr eh vwruhg1
6
5L*|L?t |L , ihUtit .
41 Wkh iroorzlqj rshudwlrqv zloo gr wklv=
x # x . y 22x krogv x . y> y krogv y
y # x y 22x krogv x . y> y krogv x
x # x y 22x krogv y> y krogv x
Qrwh= Wkh vdph wulfn lv dssolfdeoh/ lq idfw/ wr dq| elqdu| gdwd e| hp0
sor|lqj wkh _h{foxvlyh ru% +[RU, rshudwlrq=
x # x[RUy
y # x[RUy
x # x[RUy
51 \hv/ lw zloo zrun fruuhfwo| iru duud|v zlwk htxdo hohphqwv1
61 Lqsxw= D= e/ f/ g/ f/ e/ d/ d/ e
d e f g
Iuhtxhqflhv 5 6 5 4 Glvwulexwlrq ydoxhv
D^:` @ e
D^9` @ d
D^8` @ d
D^7` @ e
D^6` @ f
D^5` @ g
D^4` @ f
D^3` @ e
5
5
4
3
3
3
3
3
G^d==g`
8 :
7 :
7 :
7 :
6 :
6 9
6 9
6 8
;
;
;
;
;
;
:
:
d
d
5
e
8
f
:
g
;
V^3==:`
e
d
e
f
f
e
g
71 \hv/ lw lv vwdeoh ehfdxvh wkh dojrulwkp vfdqv lwv lqsxw uljkw0wr0ohiw dqg sxwv
htxdo hohphqwv lqwr wkhlu sruwlrq ri wkh vruwhg duud| uljkw0wr0ohiw dv zhoo1
81 iru l # 3 wr q 4 gr V^D^l` 4` # D^l`
91 Wkh iroorzlqj dojrulwkp xvhv wkh sduwlwlrq lghd vlplodu wr wkdw ri txlfnvruw1
+Vhh dovr d vlpsohu 50froru yhuvlrq ri wklv sureohp lq H{huflvhv 715/ &;1,1
Rq hdfk lwhudwlrq wkh dojrulwkp pdlqwdlq irxu vhfwlrqv +srvvleo| hpsw|, lq
d jlyhq duud|= doo wkh hohphqwv lq D^3==l 4` duh qhjdwlyh/ doo wkh hohphqwv
lq D^l==m` duh xqnqrzq/ dqg doo wkh hohphqwv lq D^m .4==q` duh qrqqhjdwlyh=
Rq hdfk lwhudwlrq/ wkh dojrulwkp vkulqnv wkh vl}h ri wkh xqnqrzq vhfwlrq
e| rqh hohphqw=
D^3`
===
D^u 4`
@** @hi €**i_ | +<t
D^u`
===
D^z 4`
@** @hi €**i_ | `<t
7
D^z`
===
D^e`
?!?L?
D^e . 4`
===
D^q 4`
@** @hi €**i_ | <t
Rq hdfk lwhudwlrq/ wkh dojrulwkp vkulqnv wkh vl}h ri wkh xqnqrzq vhfwlrq
e| rqh hohphqw hlwkhu iurp wkh ohiw ru iurp wkh uljkw1
Dojrulwkp GxwfkIodj+D^3==q 4`,
22Vruwv dq duud| zlwk ydoxhv lq d wkuhh0hohphqw vhw
22Lqsxw= Dq duud| D^3==q 4` ri fkdudfwhuv iurp i*U*/ *Z*/ *E*j
22Rxwsxw= Duud| D^3=1q 4` lq zklfk doo lwv U hohphqwv suhfhgh
22
doo lwv Z hohphqwv wkdw suhfhgh doo lwv E hohphqwv
u # 3> z # 3> e # q 4>
zkloh z e gr
li D^z` @ *U*
vzds+D^u`> D^z`,> u # u . 4> z # z . 4
hovh li D^z` @ *Z*
z #z.4
hovh 22D^z` @ *E*
vzds+D^z`> D^e`,> e # e 4
:1 Yhuwh{ x lv dq dqfhvwru ri yhuwh{ y lq d urrwhg rughuhg wuhh W li dqg rqo|
li wkh iroorzlqj wzr lqhtxdolwlhv krog
suhrughu+x, suhrughu+y, dqg srvwrughu+x, srvwrughu+y,>
zkhuh suhrughu dqg srvwrughu duh wkh qxpehuv dvvljqhg wr wkh yhuwlfhv e|
wkh suhrughu dqg srvwrughu wudyhuvdov ri W> uhvshfwlyho|1 Lqghhg/ suhrughu
wudyhuvdo ylvlwv uhfxuvlyho| wkh urrw dqg wkhq wkh vxewuhhv qxpehuhg iurp
ohiw wr uljkw1 Wkhuhiruh/
suhrughu+x, suhrughu+y,
li dqg rqo| li hlwkhu x lv dq dqfhvwru ri y +l1h1/ x lv rq wkh vlpsoh sdwk iurp
wkh urrw*v wuhh wr y, ru x lv wr wkh ohiw ri y +l1h1/ x dqg y duh qrw rq wkh
vdph vlpsoh sdwk iurp wkh urrw wr d ohdi dqg W +x, lv wr wkh ohiw ri W +y,
zkhuh W +x, dqg W +y, duh wkh vxewuhhv ri wkh qhduhvw frpprq dqfhvwru ri
x dqg y/ uhvshfwlyho|,1 Vlploduo|/ srvwrughu wudyhuvdo ylvlwv uhfxuvlyho| wkh
vxewuhhv qxpehuhg iurp ohiw wr uljkw dqg wkhq wkh urrw1 Wkhuhiruh/
srvwrughu+x, srvwrughu+y,
li dqg rqo| li hlwkhu x lv dq dqfhvwru ri y ru y lv wr wkh ohiw ri x= Khqfh/
suhrughu+x, suhrughu+y, dqg srvwrughu+x, srvwrughu+y,
lv qhfhvvdu| dqg vxflhqw iru x wr eh dq dqfhvwru ri y=
Wkh wlph hflhqflhv ri erwk wudyhuvdov duh lq R+q, +Vhfwlrq 717,> rqfh
wkh suhrughu dqg srvwrughu qxpehuv duh suhfrpsxwhg/ fkhfnlqj wkh wzr
lqhtxdolwlhv wdnh frqvwdqw wlph iru dq| jlyhq sdlu ri wkh yhuwlfhv1
8
;1 d1 Wkh iroorzlqj gldjudp ghslfwv wkh uhvxowv ri wkhvh dvvljqphqwv +wkh
ydoxhv ri wkh xqvshflhg hohphqwv lq wkh duud|v duh xqghqhg,=
0
B
C
1
2
y
A
3
7
2
3
x
4
5
6
7
z
counter = 3
1
0
1
e1 D^l` lv lqlwldol}hg li dqg rqo| li 3 F^l` frxqwhu 4 dqg E^F^l`` @
l= +Lw lv xvhixo wr qrwh wkdw wkh hohphqwv ri duud| F ghqh wkh lqyhuvh
wr wkh pdsslqj ghqhg e| wkh hohphqwv ri duud| E=, Khqfh/ li wkhvh
wzr frqglwlrqv krog/ D^l` frqwdlqv wkh ydoxh lw kdv ehhq lqlwldol}hg zlwk>
rwkhuzlvh/ lw kdv qrw ehhq lqlwldol}hg1
<1 q2d
431 q2d
9
, ihUtit .2
41 Dsso| Kruvsrro*v dojrulwkp wr vhdufk iru wkh sdwwhuq EDREDE lq wkh wh{w
EHVV NQHZ DERXW EDREDEV
51 Frqvlghu wkh sureohp ri vhdufklqj iru jhqhv lq GQD vhtxhqfhv xvlqj Kru0
vsrro*v dojrulwkp1 D GQD vhtxhqfh frqvlvwv ri d wh{w rq wkh doskdehw
iD/ F/ J/ Wj dqg wkh jhqh ru jhqh vhjphqw lv wkh sdwwhuq1
d1 Frqvwuxfw wkh vkliw wdeoh iru wkh iroorzlqj jhqh vhjphqw ri |rxu fkur0
prvrph 43=
WFFWDWWFWW
e1 Dsso| Kruvsrro*v dojrulwkp wr orfdwh wkh sdwwhuq lq wkh iroorzlqj GQD
vhtxhqfh=
WWDWDJDWFWFJWDWWFWWWWDWDJDWFWFFWDWWFWW
61 Krz pdq| fkdudfwhu frpsdulvrqv zloo eh pdgh e| Kruvsrro*v dojrulwkp
lq vhdufklqj iru hdfk ri wkh iroorzlqj sdwwhuqv lq wkh elqdu| wh{w ri 4333
}hurvB
d1 33334
e1 43333
f1 34343
71 Iru vhdufklqj lq d wh{w ri ohqjwk q iru d sdwwhuq ri ohqjwk p +q p, zlwk
Kruvsrro*v dojrulwkp/ jlyh dq h{dpsoh ri
d1 zruvw0fdvh lqsxw1
e1 ehvw0fdvh lqsxw1
81 Lv lw srvvleoh iru Kruvsrro*v dojrulwkp wr pdnh pruh fkdudfwhu frpsdulvrqv
wkdq wkh euxwh0irufh dojrulwkp zrxog pdnh lq vhdufklqj iru wkh vdph sdw0
whuq lq wkh vdph wh{wB
91 Li Kruvsrro*v dojrulwkp glvfryhuv d pdwfklqj vxevwulqj/ krz odujh d vkliw
vkrxog lw pdnh wr vhdufk iru d qh{w srvvleoh pdwfkB
:1 Krz pdq| fkdudfwhu frpsdulvrqv zloo wkh Er|hu0Prruh dojrulwkp pdnh
lq vhdufklqj iru hdfk ri wkh iroorzlqj sdwwhuqv lq wkh elqdu| wh{w ri 4333
}hurvB
:
d1 33334
e1 43333
f1 34343
;1 d1 Zrxog wkh Er|hu0Prruh dojrulwkp zrun fruuhfwo| zlwk mxvw wkh edg0
v|pero wdeoh wr jxlgh sdwwhuq vkliwvB
e1 Zrxog wkh Er|hu0Prruh dojrulwkp zrun fruuhfwo| zlwk mxvw wkh jrrg0
vx{ wdeoh wr jxlgh sdwwhuq vkliwvB
<1 d1 Li wkh odvw fkdudfwhuv ri d sdwwhuq dqg lwv frxqwhusduw lq wkh wh{w gr
pdwfk/ grhv Kruvsrro*v dojrulwkp kdyh wr fkhfn rwkhu fkdudfwhuv uljkw wr
ohiw ru fdq lw fkhfn wkhp ohiw wr uljkw wrrB
e1 Dqvzhu wkh vdph txhvwlrq iru wkh Er|hu0Prruh dojrulwkp1
431 Lpsohphqw Kruvsrro*v dojrulwkp/ wkh Er|hu0Prruh dojrulwkp/ dqg wkh
euxwh0irufh dojrulwkp ri Vhfwlrq 615 lq wkh odqjxdjh ri |rxu fkrlfh dqg
uxq dq h{shulphqw wr frpsduh wkhlu hflhqflhv iru pdwfklqj1
;
O?|t |L , ihUtit .2
41 Wudfh wkh dojrulwkp lq wkh vdph zd| lw lv grqh lq wkh fkdswhu*v wh{w iru
dqrwkhu lqvwdqfh ri wkh vwulqj pdwfklqj sureohp1
51 D vshfldo doskdehw qrwzlwkvwdqglqj/ wklv dssolfdwlrq lv qrw glhuhqw wkdq
dssolfdwlrqv wr qdwxudo odqjxdjh vwulqjv1
61 Iru hdfk sdwwhuq/ oo lq lwv vkliw wdeoh dqg wkhq ghwhuplqh wkh qxpehu
ri fkdudfwhu frpsdulvrqv +erwk vxffhvvixo dqg xqvxffhvvixo, rq hdfk wuldo
dqg wkh qxpehu ri wuldov pdgh1
71 Ilqg dq h{dpsoh ri d elqdu| vwulqj ri ohqjwk p dqg d elqdu| vwulqj ri
ohqjwk q +q p, vr wkdw Kruvsrro*v dojrulwkp pdnhv
d1 wkh odujhvw srvvleoh qxpehu ri fkdudfwhu frpsdulvrqv ehiruh pdnlqj
wkh vpdoohvw srvvleoh vkliw1
e1 wkh vpdoohvw srvvleoh qxpehu ri fkdudfwhu frpsdulvrqv1
81 Lw lv orjlfdo wr wu| d zruvw0fdvh lqsxw iru Kruvsrro*v dojrulwkp1
91 Fdq wkh dojrulwkp vkliw wkh sdwwhuq e| pruh wkdq rqh srvlwlrq zlwkrxw
wkh srvvlelolw| ri plvvlqj dqrwkhu pdwfklqj vxevwulqjB
:1 Iru hdfk sdwwhuq/ oo lq wkh wzr vkliw wdeohv dqg wkhq ghwhuplqh wkh qxpehu
ri fkdudfwhu frpsdulvrqv +erwk vxffhvvixo dqg xqvxffhvvixo, rq hdfk wuldo
dqg wkh qxpehu ri wuldov pdgh1
;1 Fkhfn wkh ghvfulswlrq ri wkh Er|hu0Prruh dojrulwkp1
<1 Fkhfn wkh ghvfulswlrqv ri wkh dojrulwkpv1
431 q2d
<
5L*|L?t |L , ihUtit .2
41 Wkh vkliw wdeoh iru wkh sdwwhuq EDREDE lq d wh{w frpsulvhg ri Hqjolvk
ohwwhuv/ wkh shulrg/ dqg d vsdfh zloo eh
f
w+f,
D
4
E
5
F
9
G
9
1
1 1
9
R
6
1
1 1
9
]
9
1
9
9
Wkh dfwxdo vhdufk zloo surfhhg dv vkrzq ehorz=
N Q H Z
D E R X W
E D R E D E V
E H V V
E D R E D E
E D R E D E
E D R E D E
E D R E D E
E D R E D E
51 d1 Iru wkh sdwwhuq WFFWDWWFWW dqg wkh doskdehw iD/ F/ J/ Wj/ wkh vkliw
wdeoh orrnv dv iroorzv=
f
w+f,
D
8
F
5
J
43
W
4
e1 Ehorz wkh wh{w dqg wkh sdwwhuq/ zh olvw wkh fkdudfwhuv ri wkh wh{w wkdw
duh doljqhg zlwk wkh odvw W ri wkh sdwwhuq/ dorqj zlwk wkh fruuhvsrqglqj
qxpehu ri fkdudfwhu frpsdulvrqv +erwk vxffhvvixo dqg xqvxffhvvixo, dqg
wkh vkliw vl}h=
wkh wh{w=
WWDWDJDWFWFJWDWWFWWWWDWDJDWFWFFWDWWFWW
wkh sdwwhuq= WFFWDWWFWW
W=
F=
W=
D=
W=
W=
W=
D=
W=
F=
F=
W=
D=
W=
5 frpsdulvrqv/ vkliw 4
4 frpsdulvrq/ vkliw 5
5 frpsdulvrqv/ vkliw 4
4 frpsdulvrq/ vkliw 8
; frpsdulvrqv/ vkliw 4
6 frpsdulvrqv/ vkliw 4
6 frpsdulvrqv/ vkliw 4
4 frpsdulvrq/ vkliw 8
5 frpsdulvrqv/ vkliw 4
4 frpsdulvrq/ vkliw 5
4 frpsdulvrq/ vkliw 5
5 frpsdulvrqv/ vkliw 4
4 frpsdulvrq/ vkliw 8
43 frpsdulvrqv wr vwrs d vxffhvvixo vhdufk
61 d1 Iru wkh sdwwhuq 33334/ wkh vkliw wdeoh lv
f
w+f,
43
3
4
4
8
Wkh dojrulwkp zloo pdnh rqh xqvxffhvvixo frpsdulvrq rq hdfk ri lwv wuldov
dqg wkhq vkliw wkh sdwwhuq rqh srvlwlrq wr wkh uljkw=
3 3 3 3 3 3
3 3 3 3 4
3 3 3 3 4
3 3 3 3 3
hwf1
3 3 3 3 4
Wkh wrwdo qxpehu ri fkdudfwhu frpsdulvrqv zloo eh F @ 4 <<9 @ <<9=
e1 Iru wkh sdwwhuq 43333/ wkh vkliw wdeoh lv
f
w+f,
3
4
4
7
Wkh dojrulwkp zloo pdnh irxu vxffhvvixo dqg rqh xqvxffhvvixo frpsdulvrq
rq hdfk ri lwv wuldov dqg wkhq vkliw wkh sdwwhuq rqh srvlwlrq wr wkh uljkw=
3 3 3 3 3 3
4 3 3 3 3
4 3 3 3 3
3 3 3 3 3
hwf1
4 3 3 3 3
Wkh wrwdo qxpehu ri fkdudfwhu frpsdulvrqv zloo eh F @ 8 <<9 @ 7<;3=
f1 Iru wkh sdwwhuq 34343/ wkh vkliw wdeoh lv
f
w+f,
3
5
4
4
Wkh dojrulwkp zloo pdnh rqh vxffhvvixo dqg rqh xqvxffhvvixo frpsdulvrq
rq hdfk ri lwv wuldov dqg wkhq vkliw wkh sdwwhuq wzr srvlwlrqv wr wkh uljkw=
3 3 3 3 3 3
3 4 3 4 3
3 4 3 4 3
3 3 3 3 3 3
hwf1
3 4 3 4 3
Wkh ohiw hqg ri wkh sdwwhuq lq wkh wuldov zloo eh doljqhg djdlqvw wkh wh{w*v
fkdudfwhuv lq srvlwlrqv 3/ 5/ 7/ 111/ <<7/ zklfk lv 7<; wuldov1 +Zh fdq dovr
jhw wklv qxpehu e| orrnlqj dw wkh srvlwlrqv ri wkh uljkw hqg ri wkh sdwwhuq1
Wklv ohdgv wr qglqj wkh odujhvw lqwhjhu n vxfk wkdw 7 . 5+n 4, <<<>
zklfk lv n @ 7<;=, Wkxv/ wkh wrwdo qxpehu ri fkdudfwhu frpsdulvrqv zloo
eh F @ 5 7<; @ <<9=
44
71 d1 Wkh zruvw fdvh= h1j1/ vhdufklqj iru wkh sdwwhuq 431113
 ~} € lq wkh wh{w ri q
p4
3*v1 Fz @ p+q p . 4,=
e1 Wkh ehvw fdvh= h1j1/ vhdufklqj iru wkh sdwwhuq 3===3
~}€ lq wkh wh{w ri q
p
3*v1 Fe @ p=
81 \hv= h1j1/ iru wkh sdwwhuq 43===3
~}€ dqg wkh wh{w 3===3
~}€> Fei @ q p . 4 zkloh
q
p4
FKruvsrro @ p+q p . 4,=
91 E| rqh fkdudfwhu= vkliwlqj e| pruh wkdq wkdw fdq plvv wkh qh{w pdwfklqj
vxevwulqj +h1j1/ vhdufklqj iru wkh sdwwhuq 3===3
~}€ lq wkh wh{w 3===3
~}€,1
p
q
:1 d1 Iru wkh sdwwhuq 33334/ wkh vkliw wdeohv zloo eh oohg dv iroorzv=
wkh edg0v|pero wdeoh
f
w4 +f,
3
4
wkh jrrg0vx{ wdeoh
n wkh sdwwhuq g5
4
33334
8
5
33334
8
6
33334
8
7
33334
8
4
1
8
Rq hdfk ri lwv wuldov/ wkh dojrulwkp zloo pdnh rqh xqvxffhvvixo frpsdulvrq
dqg wkhq vkliw wkh sdwwhuq e| g4 @ pd{iw4 +3, 3> 4j @ 4 srvlwlrq wr wkh
uljkw zlwkrxw frqvxowlqj wkh jrrg0vx{ wdeoh=
3 3 3 3 3 3
3 3 3 3 4
3 3 3 3 4
3 3 3 3 3
hwf1
3 3 3 3 4
Wkh wrwdo qxpehu ri fkdudfwhu frpsdulvrqv zloo eh F @ 4 <<9 @ <<9=
e1 Iru wkh sdwwhuq 43333/ wkh vkliw wdeohv zloo eh oohg dv iroorzv=
wkh edg0v|pero wdeoh
f1
w4 +f,
3
4
wkh jrrg0vx{ wdeoh
n wkh sdwwhuq g5
4
43333
6
5
43333
5
6
43333
4
7
43333
8
4
1
7
45
1
Rq hdfk ri lwv wuldov/ wkh dojrulwkp zloo pdnh irxu vxffhvvixo dqg rqh
xqvxffhvvixo frpsdulvrq dqg wkhq vkliw wkh sdwwhuq e| wkh pd{lpxp ri
g4 @ pd{iw4 +3, 7> 4j @ 4 dqg g5 @ w5 +7, @ 8> l1h1/ e| 8 fkdudfwhuv wr
wkh uljkw=
3 3 3 3 3 3 3 3 3 3
4 3 3 3 3
4 3 3 3 3
3 3 3 3 3
hwf1
4 3 3 3 3
Wkh wrwdo qxpehu ri fkdudfwhu frpsdulvrqv zloo eh F @ 8 533 @ 4333=
f1 Iru wkh sdwwhuq 34343/ wkh vkliw wdeohv zloo eh oohg dv iroorzv=
wkh edg0v|pero wdeoh
f
w4 +f,
3
5
wkh jrrg0vx{ wdeoh
n wkh sdwwhuq g5
4
34343
7
5
34343
7
6
34343
5
7
34343
5
4
1
4
1
Rq hdfk wuldo/ wkh dojrulwkp zloo pdnh rqh vxffhvvixo dqg rqh xqvxffhvvixo
frpsdulvrq1 Wkh vkliw*v vl}h zloo eh frpsxwhg dv wkh pd{lpxp ri g4 @
pd{iw4 +3, 4> 4j @ 4 dqg g5 @ w5 +4, @ 7 / zklfk lv 71 Li zh frxqw
fkdudfwhu srvlwlrqv vwduwlqj zlwk 3/ wkh uljkw hqg ri wkh sdwwhuq lq wkh
wuldov zloo eh doljqhg djdlqvw wkh wh{w*v fkdudfwhuv lq srvlwlrqv 7/ ;/ 45/ 111/
zlwk wkh odvw whup lq wklv dulwkphwlf surjuhvvlrq ohvv wkdq ru htxdo wr <<<1
Wklv ohdgv wr qglqj wkh odujhvw lqwhjhu n vxfk wkdw 7 . 7+n 4, <<<>
zklfk lv n @ 57<=
3 3 3 3 3 3
3 4 3 4 3
3 4 3 4 3
3 3 3 3 3 3
hwf1
3 4 3 4 3
Wkxv/ wkh wrwdo qxpehu ri fkdudfwhu frpsdulvrqv zloo eh F @ 557< @ 7<;=
;1 d1 \hv/ wkh Er|hu0Prruh dojrulwkp fdq jhw e| zlwk mxvw wkh edg0v|pero
vkliw wdeoh1
e1 Qr= Wkh edg0v|pero wdeoh lv qhfhvvdu| ehfdxvh lw*v wkh rqo| rqh xvhg
e| wkh dojrulwkp li wkh uvw sdlu ri fkdudfwhuv grhv qrw pdwfk1
46
<1 d1 Kruvsrro*v dojrulwkp fdq dovr frpsduh wkh uhpdlqlqj p 4 fkdudfwhuv
ri wkh sdwwhuq iurp ohiw wr uljkw ehfdxvh lw vkliwv wkh sdwwhuq edvhg rqo|
rq wkh wh{w*v fkdudfwhu doljqhg zlwk wkh odvw fkdudfwhu ri wkh sdwwhuq1
e1 Wkh Er|hu0Prruh dojrulwkp pxvw frpsduh wkh uhpdlqlqj p 4 fkdu0
dfwhuv ri wkh sdwwhuq iurp uljkw wr ohiw ehfdxvh ri wkh jrrg0vx{ vkliw
wdeoh1
431 q2d
47
, ihUtit .
41 Iru wkh lqsxw i63/ 53/ 89/ :8/ 64/ 4<j dqg kdvk ixqfwlrq k+N, @ N prg 44
d1 Frqvwuxfw wkh rshq kdvk wdeoh1
e1 Ilqg wkh odujhvw qxpehu ri nh| frpsdulvrqv lq d vxffhvvixo vhdufk
lq wklv wdeoh1
f1 Ilqg wkh dyhudjh qxpehu ri nh| frpsdulvrqv lq d vxffhvvixo vhdufk
lq wklv wdeoh1
51 Iru wkh lqsxw i63/ 53/ 89/ :8/ 64/ 4<j dqg kdvk ixqfwlrq k+N, @ N prg 44
d1 Frqvwuxfw wkh forvhg kdvk wdeoh1
e1 Ilqg wkh odujhvw qxpehu ri nh| frpsdulvrqv lq d vxffhvvixo vhdufk
lq wklv wdeoh1
f1 Ilqg wkh dyhudjh qxpehu ri nh| frpsdulvrqv lq d vxffhvvixo vhdufk
lq wklv wdeoh1
61 Zk| lv lw qrw d jrrg lghd iru d kdvk ixqfwlrq wr ghshqg rq mxvw rqh ohwwhu
+vd|/ wkh uvw rqh, ri d qdwxudo odqjxdjh zrugB
71 Ilqg wkh suredelolw| ri doo q nh|v ehlqj kdvkhg wr wkh vdph fhoo ri d kdvk
wdeoh ri vl}h p li wkh kdvk ixqfwlrq glvwulexwhv nh|v hyhqo| dprqj doo wkh
fhoov ri wkh wdeoh1
81 LWkh eluwkgd| sdudgr{ dvnv krz pdq| shrsoh vkrxog eh lq d urrp vr
wkdw wkh fkdqfhv duh ehwwhu wkdq hyhq wkdw wzr ri wkhp zloo kdyh wkh vdph
eluwkgd| +prqwk dqg gd|,1 Ilqg wkh txlwh xqh{shfwhg dqvzhu wr wklv
sureohp1 Zkdw lpsolfdwlrq iru kdvklqj grhv wklv uhvxow kdyhB
91 Dqvzhu wkh iroorzlqj txhvwlrqv iru wkh vhsdudwh0fkdlqlqj yhuvlrq ri kdvk0
lqj1
d1 Zkhuh zrxog |rx lqvhuw nh|v li |rx nqhz wkdw doo wkh nh|v lq wkh
glfwlrqdu| duh glvwlqfwB Zklfk glfwlrqdu| rshudwlrqv/ li dq|/ zrxog ehq0
hw iurp wklv prglfdwlrqB
e1 Zh frxog nhhs nh|v ri wkh vdph olqnhg olvw vruwhg1 Zklfk ri wkh
glfwlrqdu| rshudwlrqv zrxog ehqhw iurp wklv prglfdwlrqB Krz frxog
zh wdnh dgydqwdjh ri wklv li doo wkh nh|v vwruhg lq wkh hqwluh wdeoh qhhg wr
eh vruwhgB
:1 H{sodlq krz kdvklqj fdq eh dssolhg wr fkhfn zkhwkhu doo hohphqwv ri d olvw
duh glvwlqfw1 Zkdw zloo eh wkh wlph hflhqf| ri wklv dssolfdwlrqB
48
;1 Iloo lq wkh iroorzlqj wdeoh zlwk wkh dyhudjh0fdvh hflhqf| fodvvhv iru wkh
yh lpsohphqwdwlrqv ri wkh DGW glfwlrqdu|=
xqrughuhg
duud|
rughuhg
duud|
vhdufk
lqvhuwlrq
ghohwlrq
elqdu|
vhdufk
wuhh
vhsdudwh
fkdlqlqj
olqhdu
surelqj
<1 Zh kdyh glvfxvvhg kdvklqj lq wkh frqwh{w ri whfkqltxhv edvhg rq vsdfh0
wlph wudghrv1 Exw lw dovr wdnhv dgydqwdjh ri dqrwkhu jhqhudo vwudwhj|1
Zklfk rqhB
431 Zulwh d frpsxwhu surjudp wkdw xvhv kdvklqj iru wkh iroorzlqj sureohp1
Jlyhq d qdwxudo odqjxdjh wh{w/ jhqhudwh d olvw ri glvwlqfw zrugv zlwk wkh
qxpehu ri rffxuuhqfhv ri hdfk zrug lq wkh wh{w1 Lqvhuw dssursuldwh frxq0
whuv lq wkh surjudp wr frpsduh wkh hpslulfdo hflhqf| ri kdvklqj zlwk
wkh fruuhvsrqglqj wkhruhwlfdo uhvxowv1
49
O?|t |L , ihUtit .
41 Dsso| wkh rshq kdvklqj +vhsdudwh fkdlqlqj, vfkhph wr wkh lqsxw jlyhq dv
lw lv grqh lq wkh fkdswhu*v wh{w iru dqrwkhu lqsxw +vhh Iljxuh :18,1 Wkhq
frpsxwh wkh odujhvw qxpehu dqg dyhudjh qxpehu ri frpsdulvrqv iru vxf0
fhvvixo vhdufkhv lq wkh frqvwuxfwhg wdeoh1
51 Dsso| wkh forvhg kdvklqj +rshq dgguhvvlqj, vfkhph wr wkh lqsxw jlyhq dv
lw lv grqh lq wkh fkdswhu*v wh{w iru dqrwkhu lqsxw +vhh Iljxuh :19,1 Wkhq
frpsxwh wkh odujhvw qxpehu dqg dyhudjh qxpehu ri frpsdulvrqv iru vxf0
fhvvixo vhdufkhv lq wkh frqvwuxfwhg wdeoh1
61 Krz pdq| glhuhqw dgguhvvhv fdq vxfk d kdvk ixqfwlrq surgxfhB Zrxog
lw glvwulexwh nh|v hyhqo|B
71 Wkh txhvwlrq lv txlwh vlplodu wr frpsxwlqj wkh suredelolw| ri kdylqj wkh
vdph uhvxow lq q wkurzv ri d idlu glh1
81 Ilqg wkh suredelolw| wkdw q shrsoh kdyh glhuhqw eluwkgd|v1 Dv wr wkh
kdvklqj frqqhfwlrq/ zkdw kdvklqj skhqrphqrq ghdov zlwk frlqflghqfhvB
91 d1 Wkhuh lv qr qhhg wr lqvhuw d qhz nh| dw wkh hqg ri wkh olqnhg olvw lw lv
kdvkhg wr1
e1 Zklfk rshudwlrqv duh idvwhu lq d vruwhg olqnhg olvw dqg zk|B Gr zh
kdyh wr frs| doo hohphqwv lq wkh qrqhpsw| olvwv lq dq duud| dqg wkhq dsso|
d jhqhudo sxusrvh vruwlqj dojrulwkp ru lv wkhuh d zd| wr wdnh dgydqwdjh
ri wkh vruwhg rughu lq hdfk ri wkh qrqhpsw| olqnhg olvwvB
:1 Diwhu |rx dqvzhu wkhvh txhvwlrqv/ frpsduh wkh hflhqf| ri wklv dojrulwkp
zlwk wkdw ri wkh euxwh0irufh dojrulwkp +Vhfwlrq 516, dqg ri wkh suhvruwlqj0
edvhg dojrulwkp +Vhfwlrq 914,1
;1 Frqvlghu wklv txhvwlrq dv d plql0uhylhz= wkh dqvzhuv duh lq Vhfwlrq :16 iru
wkh odvw wzr froxpqv dqg lq wkh dssursuldwh vhfwlrqv ri wkh errn iru wkh
rwkhuv1 +Ri frxuvh/ |rx vkrxog xvh wkh ehvw dojrulwkpv dydlodeoh1,
<1 Li |rx qhhg wr uhiuhvk |rx phpru|/ fkhfn wkh errn*v wdeoh ri frqwhqwv1
431 q2d
4:
5L*|L?t |L , ihUtit .
41 d1
Wkh olvw ri nh|v= 63/ 53/ 89/ :8/ 64/ 4<
Wkh kdvk ixqfwlrq= k+N, @ N prg 44
N
63 53
Wkh kdvk dgguhvvhv=
k+N, ;
<
Wkh rshq kdvk wdeoh=
f

2
e
D
S
.
&
89
89
4
H
b
&
63
&
4<
&
53
&
:8
&
64
:8
<
64
<
4<
;
f
e1 Wkh odujhvw qxpehu ri nh| frpsdulvrqv lq d vxffhvvixo vhdufk lq wklv
wdeoh zloo eh 6 +lq vhdufklqj iru N @ 64,1
f1 Wkh dyhudjh qxpehu ri nh| frpsdulvrqv lq d vxffhvvixo vhdufk lq wklv
wdeoh/ dvvxplqj wkdw d vhdufk iru hdfk ri wkh vl{ nh|v lv htxdoo| olnho|/ zloo
eh
4
4
4
4
4
4
43
4. 4. 4. 5. 6. 5@ =
9
9
9
9
9
9
9
51 d1
Wkh olvw ri nh|v= 63/ 53/ 89/ :8/ 64/ 4<
Wkh kdvk ixqfwlrq= k+N, @ N prg 44
N
63 53
Wkh kdvk dgguhvvhv=
k+N, ;
<
f

64
64
89
89
89
89
2
e
D
S
.
4<
H
63
63
63
63
63
63
89
4
:8
<
b
f
53
53
53
53
53
:8
:8
:8
64
<
4<
;
e1 Wkh odujhvw qxpehu ri nh| frpsdulvrqv zloo eh 9 +zkhq vhdufklqj
iru N @ 4<,=
f1 Wkh dyhudjh qxpehu ri nh| frpsdulvrqv lq d vxffhvvixo vhdufk lq wklv
wdeoh/ dvvxplqj wkdw d vhdufk iru hdfk ri wkh vl{ nh|v lv htxdoo| olnho|/ zloo
eh
4
4
4
4
4
4
47
4. 4. 4. 5. 6. 9@ =
9
9
9
9
9
9
9
4;
61 Wkh qxpehu ri glhuhqw ydoxhv zrxog eh reylrxvo| olplwhg e| wkh vl}h ri
wkh doskdehw1 Ehvlghv/ lw lv xvxdoo| qrw wkh fdvh wkdw wkh suredelolw| ri d
zrug wr vwduw zlwk d sduwlfxodu ohwwhu lv wkh vdph iru doo wkh ohwwhuv1
71
4 q
p
p@
4
pq4 =
698+q4,
696
81 Wkh suredelolw| ri q shrsoh kdylqj glhuhqw eluwkgd|v lv 697
=
698 698 ===
698
Wkh vpdoohvw ydoxh ri q iru zklfk wklv h{suhvvlrq ehfrphv ohvv wkdq 318 lv
561 Vhgjhzlfn dqg Iodmrohw ^VI<9` jlyh wkh iroorzlqj dqdo|wlfdo vroxwlrq
wr wkh txhvwlrq=
+4 4
5
q4
4
,+4 ,===+4 ,
zkhuh P @ 698=
P
P
P
5
Wdnlqj wkh qdwxudo orjdulwkpv ri erwk vlghv |lhogv
q4
[
4
5
q4
n
oq+4 ,+4 ,===+4 , oq 5 ru
oq+4 , oq 5=
P
P
P
P
n@4
Xvlqj oq+4 {, {/ zh rewdlq
q4
[
n@4
s
n
+q 4,q
oq 5 ru
oq 5 ru q 5P oq 5 55=8=
P
5P
Wkh lpsolfdwlrq iru kdvklqj lv wkdw zh vkrxog h{shfw froolvlrqv hyhq li wkh
vl}h ri d kdvk wdeoh lv pxfk odujhu +e| pruh wkdq d idfwru ri 43, wkdq wkh
qxpehu ri nh|v1
91 d1 Li doo nh|v duh nqrzq wr eh glvwlqfw/ d qhz nh| fdq dozd|v eh lqvhuwhg
dw wkh ehjlqqlqj ri lwv olqnhg olvw> wklv zloo pdnh wkh lqvhuwlrq rshudwlrq
+4,= Wklv zloo qrw fkdqjh wkh hflhqflhv ri vhdufk dqg ghohwlrq/ krzhyhu1
e1 Vhdufklqj lq d vruwhg olvw fdq eh vwrsshg dv vrrq dv d nh| odujhu wkdq
wkh vhdufk nh| lv hqfrxqwhuhg1 Erwk ghohwlrq +wkdw pxvw iroorz d vhdufk,
dqg lqvhuwlrq zloo ehqhw iru wkh vdph uhdvrq1 Lq rughu wr vruw d glfwlr0
qdu| vwruhg lq olqnhg olvwv ri d kdvk wdeoh/ zh fdq phujh wkh n qrqhpsw|
olvwv wr jhw wkh hqwluh glfwlrqdu| vruwhg1 +Wklv rshudwlrq lv fdoohg wkh n0zd|
phujh1, Wr gr wklv hflhqwo|/ lw*v frqyhqlhqw wr duudqjh wkh fxuuhqw uvw
hohphqwv ri wkh olvwv lq d plq0khds1
4<
:1 Lqvhuw vxffhvvlyh hohphqwv ri wkh olvw lq d kdvk wdeoh xqwlo d pdwfklqj
hohphqw lv hqfrxqwhuhg ru wkh olvw lv h{kdxvwhg1 Wkh zruvw0fdvh hflhqf|
kdvkhg wr wkh vdph dgguhvv vr wkdw
zloo eh lq +q5 ,= doo q glvwlqfw nh|v duh S
q
wkh qxpehu ri nh| frpsdulvrqv zloo eh l@4 +l 4, 5 +q5 ,= Wkh dyhudjh
fdvh hflhqf|/ zlwk nh|v glvwulexwhg derxw hyhqo| vr wkdw vhdufklqj iru
hdfk ri wkhp wdnhv R+4, wlph/ zloo eh lq R+q,=
;1
vhdufk
lqvhuwlrq
ghohwlrq
xqrughuhg
duud|
rughuhg
duud|
+q,
+4,
+4,
+orj q,
+q,
+q,
elqdu|
vhdufk
wuhh
+orj q,
+orj q,
+orj q,
vhsdudwh
fkdlq0
lqj
+4,
+4,
+4,
olqhdu
surelqj
+4,
+4,
+4,
<1 Uhsuhvhqwdwlrq fkdqjhrqh ri wkh wkuhh ydulhwlhv ri wudqvirup0dqg0frqtxhu1
431 q2d
53
, ihUtit .e
41 Jlyh h{dpsohv ri xvlqj dq lqgh{ lq uhdo0olih dssolfdwlrqv wkdw gr qrw lqyroyh
frpsxwhuv1
51 d1 Suryh wkh htxdolw|
4.
k4
[
5gp@5hl4 +gp@5h 4, . 5gp@5hk4 @ 7gp@5hk4 4
l@4
wkdw zdv xvhg lq wkh ghulydwlrq ri xsshu erxqg +:1:, iru wkh khljkw ri d
E0wuhh1
e1 Frpsohwh wkh ghulydwlrq ri wkh lqhtxdolw| |lhoglqj wkh xsshu erxqg
iru wkh khljkw ri d E0wuhh1
61 Ilqg wkh vpdoohvw ydoxh ri wkh E0wuhh*v rughu p wkdw jxdudqwhhv wkdw wkh
qxpehu ri glvn dffhvvhv lq vhdufklqj lq d oh ri 433 ploolrq uhfrugv grhv
qrw h{fhhg 61 Dvvxph wkdw wkh urrw*v sdjh lv vwruhg lq pdlq phpru|1
71 Gudz wkh E0wuhh rewdlqhg diwhu lqvhuwlqj 63 dqg wkhq 64 lq wkh E0wuhh ri
Iljxuh :1;1 Dvvxph wkdw d ohdi fdqqrw frqwdlq pruh wkdq wkuhh lwhpv1
81 Rxwolqh dq dojrulwkp iru qglqj wkh odujhvw nh| lq d E0wuhh1
91 d1 D wrs0grzq 50607 wuhh lv d E0wuhh ri rughu 7 zlwk wkh iroorzlqj
prglfdwlrq ri wkh lqvhuw rshudwlrq1 Zkhqhyhu d vhdufk iru d ohdi iru d
qhz nh| hqfrxqwhuv d ixoo qrgh +l1h1/ d qrgh zlwk wkuhh nh|v,/ wkh qrgh lv
vsolw lqwr wzr qrghv e| vhqglqj lwv plggoh nh| wr wkh qrgh*v sduhqw +ru/ li
wkh ixoo qrgh kdsshqv wr eh wkh urrw/ wkh qhz urrw iru wkh plggoh nh| lv
fuhdwhg,1 Frqvwuxfw d wrs0grzq 50607 wuhh e| lqvhuwlqj wkh iroorzlqj olvw
ri nh|v lq wkh lqlwldoo| hpsw| wuhh=
43/ 9/ 48/ 64/ 53/ 5:/ 83/ 77/ 4;1
e1 Zkdw lv wkh sulqflsdo dgydqwdjh ri wklv lqvhuwlrq surfhgxuh frpsduhg
zlwk wkh rqh xvhg iru 506 wuhhvB Zkdw lv lwv glvdgydqwdjhB
:1 d1 E Zulwh d surjudp lpsohphqwlqj d nh| lqvhuwlrq dojrulwkp lq d E0wuhh1
e1 L Zulwh d surjudp iru ylvxdol}dwlrq ri d nh| lqvhuwlrq dojrulwkp lq
d E0wuhh1
54
O?|t |L , ihUtit .e
41 Wklqnlqj derxw vhdufklqj iru lqirupdwlrq vkrxog ohdg wr d ydulhw| ri h{0
dpsohv1
51 d1 Xvh wkh vwdqgdug uxohv ri vxp pdqlsxodwlrq dqg/ lq sduwlfxodu/ wkh
jhrphwulf vhulhv irupxod1
e1 \rx zloo qhhg wr wdnh wkh orjdulwkpv edvh gp@5h lq |rxu ghulydwlrq1
61 Ilqg wklv ydoxh iurp wkh lqhtxdolw| lq wkh wh{w wkdw surylghv wkh xsshu0
erxqg ri wkh E0wuhh*v khljkw1
71 Iroorz wkh lqvhuwlrq dojrulwkp rxwolqhg lq wklv vhfwlrq1
81 Wkh dojrulwkp lv vxjjhvwhg e| wkh ghqlwlrq ri wkh E0wuhh1
91 d1 Mxvw iroorz wkh ghvfulswlrq ri wkh dojrulwkp jlyhq lq wkh vwdwhphqw ri
wkh sureohp1 Qrwh wkdw d qhz nh| lv dozd|v lqvhuwhg lq d ohdi dqg wkdw
ixoo qrghv duh dozd|v vsolw rq wkh zd| grzq/ hyhq wkrxjk wkh ohdi iru wkh
qhz nh| pd| kdyh d urrp iru lw1
e1 Fdq d vsolw ri d ixoo qrgh fdxvh d fdvfdgh ri vsolwv wkurxjk wkh fkdlq ri
lwv dqfhvwruvB Fdq zh jhw d wdoohu vhdufk wuhh wkdq qhfhvvdu|B
:1 q2d
55
5L*|L?t |L , ihUtit .e
41 Khuh duh d ihz frpprq h{dpsohv ri xvlqj dq lqgh{= odeholqj gudzhuv ri d
oh fdelqhw zlwk/ vd|/ d udqjh ri ohwwhuv> dq lqgh{ ri d errn*v whupv lqglfdw0
lqj wkh sdjh ru sdjhv rq zklfk wkh whup lv ghqhg ru phqwlrqhg> pdunlqj
d udqjh ri sdjhv lq dq dgguhvv errn/ d glfwlrqdu|> ru dq hqf|forshgld>
pdunlqj d sdjh ri d whohskrqh errn ru d glfwlrqdu| zlwk wkh uvw dqg odvw
hqwu| rq wkh sdjh> lqgh{lqj duhdv ri d jhrjudsklf pds e| glylglqj wkh
pds lqwr vtxduh uhjlrqv1
51 d1
4.
k4
[
5gp@5hl4 +gp@5h 4, . 5gp@5hk4
l@4
@ 4 . 5+gp@5h 4,
k4
[
gp@5hl4 . 5gp@5hk4
l@4
@ 4 . 5+gp@5h 4,
k5
[
gp@5hl4 . 5gp@5hk4
m@3
@ 4 . 5+gp@5h 4,
gp@5hk4 4
. 5gp@5hk4
+gp@5h 4,
@ 4 . 5gp@5hk4 5 . 5gp@5hk4
@ 7gp@5hk4 4=
e1 Wkh lqhtxdolw|
q 7gp@5hk4 4
lv htxlydohqw wr
q.4
gp@5hk4 =
7
Wdnlqj wkh orjdulwkpv edvh gp@5h ri erwk kdqg vlghv |lhogv
orjCp@5D
ru
q.4
orjCp@5D gp@5hk4
7
orjCp@5D
q.4
k 4=
7
Khqfh/
k orjCp@5D
56
q.4
.4
7
ru/ vlqfh k lv dq lqwhjhu/
k eorjCp@5D
q.4
f . 4=
7
61 Li wkh wuhh*v urrw lv vwruhg lq pdlq phpru|/ wkh qxpehu ri glvn dffhvvhv
zloo eh htxdo wr wkh qxpehu ri wkh ohyhov plqxv 4/ zklfk lv h{dfwo| wkh
khljkw ri wkh wuhh1 Vr/ zh qhhg wr qg wkh vpdoohvw ydoxh ri wkh rughu
p vr wkdw wkh khljkw ri wkh E0wuhh zlwk q @ 43; nh|v grhv qrw h{fhhg
61 Xvlqj wkh xsshu erxqg ri wkh E0wuhh*v khljkw/ zh rewdlq wkh iroorzlqj
lqhtxdolw|
eorjCp@5D
q.4
q.4
f . 4 6 ru eorjCp@5D
f 5=
7
7
E| _wuldo dqg huuru/% zh fdq qg wkdw wkh vpdoohvw ydoxh ri p wkdw vdwlvhv
wklv lqhtxdolw| lv 8;81
71 Vlqfh wkhuh lv hqrxjk urrp iru 63 lq wkh ohdi iru lw/ wkh uhvxowlqj E0wuhh
zloo orrn dv iroorzv
11
4, 7,10
15
11, 14
15, 16, 19
20, 24
20
51
25
34
25, 28, 30
40.
60
34, 38
40, 43, 46
51, 55
60, 68, 80
Lqvhuwlqj 64 zloo uhtxluh wkh ohdi*v vsolw dqg wkhq lwv sduhqw*v vsolw=
20
11
4, 7,10
15
11, 14
25
15, 16, 19
20, 24
30
25, 28
34
51
34
30, 31
60
40
34, 38
40, 43, 46
51, 55
81 Vwduwlqj dw wkh urrw/ iroorz wkh fkdlq ri wkh uljkwprvw srlqwhuv wr wkh
+uljkwprvw, ohdi1 Wkh odujhvw nh| lv wkh odvw nh| lq wkdw ohdi1
57
60, 68, 80
91 d1 Frqvwuxfwlqj d wrs0grzq 50607 wuhh e| lqvhuwlqj wkh iroorzlqj olvw ri
nh|v lq wkh lqlwldoo| hpsw| wuhh=
43/ 9/ 48/ 64/ 53/ 5:/ 83/ 77/ 4;1
10
10
6, 10
6, 10, 15
10, 20
6
15
6
10
15, 31
10, 20
27, 31
6
15
6
15, 20, 31
10,20,31
27, 31, 50
6
15
27
44, 50
20
10
6
31
15, 18
27
44, 50
e1 Wkh sulqflsdo dgydqwdjh ri vsolwwlqj ixoo qrghv +70qrghv zlwk 6 nh|v,
rq d zd| grzq gxulqj lqvhuwlrq ri d qhz nh| olhv lq wkh idfw wkdw li wkh
dssursuldwh ohdi wxuqv rxw wr eh ixoo/ lwv vsolw zloo qhyhu fdxvh d fkdlq uh0
dfwlrq ri vsolwv ehfdxvh wkh ohdi*v sduhqw zloo dozd|v kdyh d urrp iru dq
h{wud nh|1 +Li wkh sduhqw lv ixoo ehiruh wkh lqvhuwlrq/ lw lv vsolw ehiruh wkh
ohdi lv uhdfkhg1, Wklv lv qrw wkh fdvh iru wkh lqvhuwlrq dojrulwkp hpsor|hg
iru 506 wuhhv +vhh Vhfwlrq 916,1
Wkh glvdgydqwdjh ri vsolwwlqj ixoo qrghv rq wkh zd| grzq olhv lq wkh idfw
wkdw lw fdq ohdg wr d wdoohu wuhh wkdw qhfhvvdu|1 Iru wkh olvw ri sduw +d,/
iru h{dpsoh/ wkh wuhh ehiruh wkh odvw rqh kdg d urrp iru nh| 4; lq wkh
ohdi frqwdlqlqj nh| 48 dqg wkhuhiruh glgq*w uhtxluh d vsolw h{hfxwhg e| wkh
wrs0grzq lqvhuwlrq1
:1 q2d
58