• Ei tuloksia

Lq wklv vhfwlrq/ zh suhvhqw wkh prgho1 Wkh iudphzrun iru wkh vwxg| zloo eh suhvhqwhg uvw e|

hvwdeolvklqj wkh qdqflqj phwkrgv dqg ghylfhv wr frqwuro sdwlhqw ehkdylrxu lq d sxeolf khdowk fduh v|vwhp1 Diwhu wkdw/ vrph nh| frqfhswv ri wkh vwxg| hqylurqphqw zloo eh jlyhq1 Wkhq/ wkh v|pswrpv/ wkh khdowk vwdwh dqg lqglylgxdo*v phglfdo vnloov duh ghvfulehg1 Ilqdoo|/ wkh nh| frqfhswv iru lqglylgxdo ghflvlrq pdnlqj zloo eh h{srvhg1

Ilqdqflqj phwkrgv dqg sdwlhqw ehkdylru frqwuroolqj Zh vwxg| wkh ehkdylrxu ri dq lq0 glylgxdo zlwk dq looqhvv dqg wkh jryhuqphqw*v dfwlrqv lq d sxeolf khdowk fduh v|vwhp zkhuh wkh jryhuqphqw fdq qdqfh wkh v|vwhp dqg wulhv wr frqwuro wkh ehkdylrxu ri dq lqglylgxdo zlwk dq

looqhvv e| xvlqj d sd|uroo wd{ udwh/j 5^3>4`>d frqvxowdwlrq ihh/ p3> iru d frqvxowdwlrq ylvlw wr d grfwru dqg d ghgxfwleoh udwh/5^3>4`iurp lw/ zkloh doo wuhdwphqwv pxvw eh nhsw iuhh ri fkdujh1 Wr pdnh wkh ghgxfwleoh hhfwlyh/ zh dvvxph wkdw wkh jryhuqphqw uhsd|v wkh uhlpexuvhphqw/ l1h1 4iudfwlrq ri wkh ihh/ wr dq lqglylgxdo li dqg rqo| li wkh frqvxowdwlrq ylvlw uhyhdov dq looqhvv wkdw zloo qrw jhw fxuhg zlwkrxw phglfdo wuhdwphqwv ru suhvfulehg phglfdwlrq1

Wlph iudphv/ frkruwv/ dqg hfrqrp| Iru qrwdwlrqdo hdvh/ ohw xv ghqrwh d vhtxhqfh ri qdwxudo qxpehuv iurpp wrqe|Qqp1

Wkhxqlyhuvdo wlph/wr>vwduwv iurpwr@ 4>lv glvfuhwh dqg lqqlwh/ khqfhwr5Q44 1 Lq hdfk shulrg wr>wkhuh zloo eruq d qhz frkruw/ [wr> ri lqqlwho| olylqj lqglylgxdov1 Zh dvvxph wkdw wkh frkruwv duh lghqwlfdo1 Wkhfrkruw wlph/w>iru dq| frkruw[wr>vwduwv iurpw@ 4lv glvfuhwh dqg lqqlwh/ khqfh w 5 Q44 iru doo wr= Wkh hfrqrp| lv ghqhg wr eh wkh xqlrq ri frkruwv [wr1 Vlqfh zh dvvxph wkh lghqwlfdo frkruwv/ zh fdq frqgxfw wkh lqglylgxdo ohyho prghoolqj dqg dqdo|vlv iru wkh frkruw[4dqg wkhq dsso| wkdw rq wkh hfrqrp| ohyho prghoolqj dqg dqdo|vlv143 Zh xvh d pxowlvhoyhv dssurdfk/

dqg wkxv dq lqglylgxdo lv prghoohg dv d vhtxhqfh ri dxwrqrprxv whpsrudo vhoyhv1 Wkhvh vhoyhv duh lqgh{hg e| wkh uhvshfwlyh shulrgv lq zklfk wkh| frqwuro d fkrlfh yduldeoh/ dqg zh ghqrwh d vhoi lq shulrgw e| vhoi+w,1

V|pswrpv dqg khdwk vwdwh Lq dq| shulrgw/ vhoi+w,*v khdowk vwdwh/Kw5`3>4`>lv d ixqfwlrq ri wkh ohyho ri v|pswrpvvw5 i3> vj>zkhuh v5^3>4^=Zh ghqh

Kw4vw= Wkxv/Kw5 i4>4vjiru doow5Q4

4 / dqg zh rffdvlrqdoo| xvh qrwdwlrqKv4v=

Zlwkrxw orvv ri jhqhudolw|/ zh dvvxph wkdw wkh v|pswrpv dsshdu lq wkh uvw shulrg ri lqglylgxdo*v olih ru wkhq wkrvh qhyhu dsshdu1 Wkdw lv liv4@ 3wkhqvq@ 3iru dooq5Q4

4 =Liv4@v>wkh v|pswrpv fdq ehfkurqlfruydqlvklqj1 Wkh ydqlvklqj v|pswrpv zloo ydqlvk zlwklqnshulrgv zkloh wkh fkurqlf v|pswrpv zloo qhyhu glvdsshdu zlwkrxw d grfwru*v ylvlw1 Wkhuh lv d suredelolw|5`3>4^wkdw wkh v|pswrpv duh fkurqlf/ dqg suredelolw|4wkdw wkh v|pswrpv duh ydqlvklqj/ dqg zh dvvxph wkdw wkh suredelolw|lv xqlirupo| glvwulexwhg ryhu wkh gxudwlrq rinshulrgv1

43Qrwh wkdw iru[/wr'wiru doowrMQ"

 =

Zh dvvxph wkdw wkhuh lv d fxuh iru doo h{lvwlqj v|pswrpv1 Li dq lqglylgxdo ylvlwv d grfwru lq shulrgw>kh zloo jhw ulg ri wkh v|pswrpv iurp wkh qh{w shulrg/w. 4>rqzdugv144

Phglfdo nqrzohgjh Zh dvvxph wkdw dq lqglylgxdo dozd|v revhuyhv wkh fxuuhqw ohyho ri wkh v|pswrpv exw lv lqfdsdeoh ri gldjqrvlqj zkdw w|sh wkh| duh/ wkdw lv/ zkhwkhu wkh v|pswrpv duh fkurqlf ru ydqlvklqj1 Lqvwhdg/ dq lqglylgxdo jlyhv d vxemhfwlyh suredelolw| iru wkh shuvlvwhqfh ri wkh v|pswrpv frqglwlrqdo rq kdylqj wkh v|pswrpv fxuuhqwo|145 Wklv vxemhfwlyh suredelolw| lv d frqwlqxrxv ixqfwlrq rid gxudwlrq ri wkh v|pswrpv/}5Q44 1 Wkh sulru iru wkh vxemhfwlyh suredelolw|

lq shulrg 4 lv wkh wuxh suredelolw| ri kdylqj wkh fkurqlf v|pswrpv1 Iru vlpsolflw|/ zh ohw wkh vxemhfwlyh suredelolw| reh| wkh iroorzlqj h{solflw irup

}4}= +4,

Wkhq/ vhoi+w,ri dq lqglylgxdo zlwk wkh v|pswrpv dqwlflsdwhv wkdw wkh v|pswrpv vwloo dsshdu diwhu gxudwlrq ri }. 4 shulrgv zlwk suredelolw| } dqg ydqlvk ehwzhhq gxudwlrqv ri } dqg }. 4 zlwk suredelolw|4}=46

Lqvwdqwdqhrxv dqg lqwhuwhpsrudo xwlolw|/ lqglylgxdo w|shv Lq hdfk shulrgw/ dq lqglylgxdo hduqv d jurvv0ri0wd{ zdjh/zj>dqg sd|v d sd|uroo wd{/j=Iru vlpsolflw|/ zh dvvxph wkdw wkhuh lv qr srvvlelolw| wr vdyh/ dqg khqfh dq lqglylgxdo glylghv wkh zkroh qhw0ri0wd{ lqfrph/zzj+4j,>

ehwzhhq frqvxpswlrq rq d frpsrvlwh frpprglw|/ Fw> dqg phglfdo h{shqvhv/ Pw= Wkh phglfdo h{shqvhv ghshqg rq wkh v|pswrpv/vw>wkh frqvxowdwlrq ihh/p/ dqg wkh ghgxfwleoh udwh=Irupdoo|/

Pw lq shulrgw lv jlyhq e|

44Zlwkrxw orvv ri jhqhudolw|/ zh dvvxph wkdw qr pdwwhu zkhwkhu wkh v|pswrpv duh fkurqlf ru ydqlvklqj/ dq lqglylgxdo jhwv ulg ri wkh v|pswrpv lq wkh qh{w shulrg diwhu ylvlwlqj wkh grfwru1

45D frqyhqwlrqdo vw|oh wr prgho wkh lqihuhqfh zrxog eh xvlqj Ed|h*v Uxoh1 Krzhyhu/ lq nhhslqj zlwk wkh zrun ri Udelq +5335, rq wkh lqfruuhfw mxgjhphqwv derxw wkh dydlodeoh lqiurupdwlrq/ zh frqvlghu wkdw wkh vxemhfwlyh suredelolw| wv ehwwhu wr rxu frqwh{w1 Lq dgglwlrq/ wkh vhohfwlrq iru wkh ixqfwlrqdo irup ri wkh xsgdwlqj uxoh jlyhv rqo| txdqwlwdwlyho| glhuhqw uhvxowv iurp wkh uhvxowv frqgxfwhg e| xvlqj Ed|h*v Uxoh dqg lv dovr oljkwhu wkdq wkdw iru wkh qxphulfdo dqdo|vhv zh frqgxfw lq odwhu vhfwlrqv1

46Qrwh wkdw } lv lqfuhdvlqj lq gxudwlrq }= Wkxv/ zkloh wkh sdwlhqw grhv qrw nqrz wkdw n shulrg*v shuvlvwlqj v|pswrpv lpso| wkh v|pswrpv duh fkurqlf zlwk fhuwdlqw|/ li wkh sdwlhqw kdv wkh fkurqlf v|pwrpv/ kh zloo ohduq wkh v|pswrpv duh fkurqlf zkhq wkh wlph hodsvhv vx!flhqwo|1

Pw@

;A AA

? AA A=

3> livw@ 3 ru qr grfwru*v ylvlw

p> li dq lqglylgxdo zlwk wkh ydqlvklqj v|pswrpv ylvlwv d grfwru p> li dq lqglylgxdo zlwk wkh fkurqlf v|pswrpv ylvlwv d grfwru=

Jlyhq wkh phglfdo h{shqvhv/ frqvxpswlrq rq wkh frpsrvlwh frpprglw| lv Fw@zPw=

Zh dvvxph wkdw dq lqvwdqwdqhrxv xwlolw|/xw>lq shulrgwlv d surgxfw ri wkh frqvxpswlrq rq wkh frpsrvlwh frpprglw|/Fw>dqg wkh khdowk vwdwh/Kw=Wkxv47/

xwFwKw=

Dq lqwhuwhpsrudo xwlolw| lv wkhq d glvfrxqwhg vxp ri wkh lqvwdqwdqhrxv xwlolwlhv dqg wkh glvfrxqwlqj fdq eh k|shuerolf ru h{srqhqwldo1481 Li d k|shuerolf vhoi+w,dqwlflsdwhv wkdw klv ixwxuh lqfduqdwlrqv zloo eh h{srqhqwldo glvfrxqwhuv/ kh lv qdlyh +Q,1 Li d k|shuerolf vhoi+w,dqwlflsdwhv wkdw klv ixwxuh lqfduqdwlrqv zloo eh k|shuerolf glvfrxqwhuv/ kh lvvrsklvwlfdwhg +V,1Li dq lqglylgxdo lv dq h{srqhqwldo glvfrxqwhu/ kh lv wlph0frqvlvwhqw +W,1 Wkxv/ w|sh/ *l> ri dq lqglylgxdo l ehorqjv lq wkh w|sh vhw iQ> V> Wj>dqg wkh jhqhudo uhsuhvhqwdwlrq ri dq lqwhuwhpsrudo xwlolw| ixqfwlrq ri vhoi+w,lv jlyhq e|

Xw*@xw.+*,[4

@4xw.>

zkhuh +*, 5 `3>4` ghqrwhv wkh +vkruw0whup, glvfrxqw idfwru iru zklfk +Q, @ +V, ? 4zkloh +W, @ 4> dqg 5 `3>4^ ghqrwhv wkh vwdqgdug h{srqhqwldo glvfrxqw idfwru=49 Ilqdoo|/ ohwwlqj dq lqglylgxdo*v shufhswlrq derxw wkh lqwhuwhpsrudo suhihuhqfhv lq wkh ixwxuh wr eh fdswxuhg dqg ghqrwhg e|a+*,+*,/ hyhu| w|sh fdq eh ixoo| ghvfulehg e| d 60wxsoh++*,>a+*,> ,=Zh kdyh= +>4> , lvQ>+> > ,lvV/ dqg +4>4> ,lvW=

47Wkh vhohfwlrq iru wkh lqvwdqwdqhrxv xwlolw| ixqfwlrq iroorzv orrvho| Slfrqh hw do1 +4<<;,1

48Dq lqglylgxdo lv vdlg wr eh k|shuerolf glvfrxqwhu zkhq kh glvfrxqwv d wlph lqwhuydo lq qhdu ixwxuh khdylhu wkdq lq wkh glvwdqw ixwxuh1 H1j1 li rqh suhihuv 4 dssoh wrgd| ryhu 5 dssohv wrpruurz exw dw wkh vdph wlph kh suhihuv 5 dssohv diwhu 434 gd|v ryhu 4 dssoh diwhu 433 gd|v/ wkhvh fkrlfhv lpso| wkdw wkh djhqw pljkw kdyh k|shuerolf suhihuhqfhv1

49Wkh irup ri wkh lqwhuwhpsrudo xwlolw| ixqfwlrq ehfrphv iurp Vwurw} +4<88089,/ Skhosv dqg Sroodn +4<9;,/ dqg qdoo| iurp Odlevrq +4<<7,1

H{shfwhg lqwhuwhpsrudo xwlolw|/ sdwlhqw*v vwudwhjlhv/ wrohudqfh dqg dwwudfwlyhqhvv Ohw xv xvh wkh whup*wkh sdwlhqw* wr uhihu wr dq lqglylgxdo iru zkrpvw A3= Lq wkh ehjlqqlqj ri hdfk shulrg w> dq lqglylgxdo revhuyhv zkhwkhu ru qrw kh lv wkh sdwlhqw1 Li kh lv wkh sdwlhqw/ kh kdv wr fkrrvh ehwzhhq ylvlwlqj d grfwru lpphgldwho| ru ghod|lqj wkh srvvleoh ylvlw wr d odwhu shulrg1 Wkhvh dfwlrqv duh ghqrwhg e| *w @ y dqg *w @ g/ uhvshfwlyho|1 Iluvw/ wkh sdwlhqw fkrrvhv wkh dfwlrq/ wkhq kh frpsohwhv lw/ dqg diwhu wkdw frqvxphv wkh frpsrvlwh frpprglw|1 Wkh fkrlfh ri dq dfwlrq lv edvhg rq dq dqwlflsdwhg ixwxuh ehkdylrxu dqg h{shfwhg lqwhuwhpsrudo xwlolwlhv/ zkhuh wkh h{shfwdwlrq zloo eh wdnhq e| xvlqj wkh vxemhfwlyh suredelolwlhv1 Wkh sdwlhqw pdnhv wkh ghflvlrq dozd|v vroho| frqglwlrqdo rq ixwxuh dsshdudqfh ri wkh v|pswrpv1 Wklv lv wr vd| wkdw wkh sdwlhqw dvvxphv qr fkdqjhv zloo hyhu wdnh d sodfh iru wkh zdjh/ wkh wd{ udwh/ wkh frqvxowdwlrq ihh/ ru wkh ghgxfwleoh1 Khqfh/ wzr wrslfv zloo eh wkh vxemhfw ri h{shfwdwlrqv= +l, wkh phglfdo h{shqvhv lq whupv ri wkh h{shfwhg uhlpexuvhphqw/ dqg +ll, wkh dsshdudqfh ri wkh v|pswrpv1 Li vhoi+w, sodqv wr frpsohwh wkh grfwru*v ylvlw lq shulrg w/ wkh h{shfwdwlrq lv wdnhq zlwk uhvshfw wr wkh phglfdo h{shqvhv1 Li vhoi+w, sodqv wr ghod| wkh srvvleoh ylvlw/ wkh h{shfwdwlrq lv wdnhq/ lq dgglwlrq/ zlwk uhvshfw wr wkh dsshdudqfh ri wkh v|pswrpv lq odwhu shulrg1

Ohw Xw*+w.q, ghqrwh wkh h{shfwhg lqwhuwhpsrudo xwlolw| iurp wkh shuvshfwlyh ri wkh sdwlhqw*v vhoi+w, ri w|sh * zkr sodqv wkh srvvleoh ylvlw wr wdnh sodfh lq shulrg w.q/ q 5 Q43 =4: Zkhq wkh sodqqhg ylvlw lv lpphgldwh/ l1h1 q @ 3/ lw lv vwudljkwiruzdug wr vkrz wkdw vhoi+w, *v h{shfwhg lqwhuwhpsrudo xwlolw| lv

Xw*+w, @ +zp+w. +4w,,,Kv.+*, z 4 =

Wr irup wkh h{shfwhg lqwhuwhpsrudo xwlolwlhv iru sodqv riq A3shulrgv ghod|v/ ohwUw>q ghqrwh wkh vxemhfwlyh suredelolw| iru wkh fdvh wkdw wkh v|pswrpv rffxu vwloo lq shulrgw.q=Khqfh/

Uw>qq4\

@3w.>

Ohw wkhq Sw>q ghqrwh wkh frqglwlrqdo vxemhfwlyh suredelolw| iru wkh fdvh zkhuh v|pswrpv kdyh

4:Qrwh wkdwq' flpsolhv dq lpphgldwh ylvlw/ l1h1 q' flpsolhv*w 'y=

rffxuuhg lq shulrgv5Qq4w dqg wkhq ydqlvk ehwzhhq shulrgv w.q4dqgw.q=Khqfh/

Sw>q

4w.q4 Uw>q4>

iru zklfk Uw>3 @ 4> vlqfh wkh ghqlwlrq lv jlyhq iurp wkh shuvshfwlyh ri vhoi+w, dqg zh dvvxphg wkdw vhoi+w, lv wkh sdwlhqw/ l1h1 vw A3= Qrz/ iurp vhoi+w,*v shuvshfwlyh/ wkh sodq wr ylvlw d grfwru lq shulrg w.q |lhogv dq h{shfwhg lqwhuwhpsrudo xwlolw| wkdw lv d zhljkwhg vxp ri doo srvvleoh uhdol}dwlrqv wkh h{shfwhg lqwhuwhpsrudo xwlolw| fdq kdyh ehwzhhq shulrgv wdqg w.q=Wkh zhljkwv duh wkh uhohydqw vxemhfwlyh suredelolwlhvSw>q dqgUw>q/ iru zklfkSq

o@4Sw>o.Uw>q@ 4>qdwxudoo|14;

Ohw wkhqXw*+vhhnw.q,ghqrwh wkh h{shfwhg lqwhuwhpsrudo xwlolw| iru wkh uhdolvdwlrq wkdw wkh sdwlhqw ylvlwv wkh grfwru lq shulrgw.q/ dqgXw*+fxuhw.o,wkh lqwhuwhpsrudo xwlolw| iru wkh uhdolvdwlrq ri jhwwlqj fxuhgzlwkrxw wkh grfwru*v ylvlw ehwzhhq shulrgvw.o4dqgw.o>zkhuhoq1 Zh wkhq kdyh4<

Ilqdoo|/ zh jhw wkh iroorzlqj jhqhudo uhsuhvhqwdwlrq iru vhoi+w,*v h{shfwhg lqwhuwhpsrudo xwlolw| iru wkh sodqqhg ylvlw lq shulrgw.q

Xw*+w.q,[q

o@4Sw>oXw*+fxuhw.o, .Uw>qXw*+vhhnw.q,=

Zh fdq qrz ghqh wkh sdwlhqw*v vwudwhjlhv e| xvlqjXw*+w.q,> zkhuhq5Q43 1 Zh dgrsw dqg xvh wkh frqfhswv jlyhq lq R*Grqrjkxh dqg Udelq +4<<<, +RU 4<<<,1 Wkh sdwlhqw*v ehkdylrxu lq hdfk shulrg lv wkhq ixoo| ghvfulehg zlwk d vwudwhj|/* i*j4@4= Wkh vwudwhj| h{srvhv zkhq wkh sdwlhqw ri w|sh*lv zloolqj wr ylvlw d grfwru frqglwlrqdo rq wkh dsshdudqfh ri wkh v|pswrpv1 Zh jhw d vroxwlrq frqfhsw wkdw lv fdoohg dshufhswlrq0shuihfw vwudwhj| dqg zklfk lv vwdwhg lq wkh ghqlwlrq

4;D fdofxodwlrq h{dpsoh= frqvlghu vhoiEwlv kdylqj v|pswrpv dqg frqvlghuv wkh grfwru*v ylvlw lq shulrgwn21 Wkhq/

wkh vxemhfwlyh suredelolw| wr kdyh v|pswrpv lq shulrgwn 2lv Uw>2'wwndqg wkh vxemhfwlyh suredelolwlhv wkdw v|pswrpv ydqlvk ehwzhhq shulrgvwdqg wn ru shuvlvw xqwlown dqg wkhq ydqlvk ehwzhhq wn dqgwn 2 duh Sw>' 3wdqgSw>2'w3wn/ uhvshfwlyho|=Wkxv/Sw>nSw>2nUw>2' 3wnw3wwnnwwn' =

4<Iru wkh ghulydwlrq ri wkh lqwhuwhpsrudo xwlolwlhv ehorz vhh Dsshqgl{ D1

wkdw iroorzv1

Ghqlwlrq 4 +Uhylvhg iurp RU 4<<<, Wkh sdwlhqw*v shufhswlrq0shuihfw vwudwhj| frqglwlrqdo rq wkh dsshdudqfh ri wkh v|pswrpv lv

l, iru W/W

W4> W5> W6> ===

wkdw vdwlvhvWw @y lXwW+w,XwW+,iru doo A w>

ll, iru Q/Q

Q4> Q5> Q6> ===

wkdw vdwlvhv Qw @y l XwQ+w,XwQ+,iru doo A w>

lll, iru V/ V

V4> V5> V6> ===

wkdw vdwlvhv Vw @ y l XwV+w, XwV+3, zkhuh 3 plqi A w mvwA3dqgV @yj=

Derxw W*v dqg Q*v vwudwhjlhv Ghi1+4, vwdwhv wkdw *w @y li dqg rqo| li vhoi+w,*v hdfk sodq wr ghod| wkh srvvleoh grfwru*v ylvlw zrxog |lhog/ iurp vhoi+w,*v shuvshfwlyh/ orzhu ru wkh vdph h{shfwhg lqwhuwhpsrudo xwlolw| wkdq dq lpphgldwh ylvlw grhv153 Iru V> wkh vwudwhj| lv glhuhqw/ vlqfh kh/

xqolnh Q/ xqghuvwdqgv wkdw klv ixwxuh lqwhuwhpsrudo suhihuhqfhv duh vxemhfw wr fkdqjh1 Wkdw lv/

hdfk V*v vhoi nqrzv wkdw wkh ixwxuh vhoyhv* lqwhuwhpsrudo suhihuhqfhv gr qrw frlqflgh zlwk klv fxuuhqw lqwhuwhpsrudo suhihuhqfhv1 Lw iroorzv wkdw jlyhq wkh vxemhfwlyh suredelolwlhv/ vhoi+w,ri V frpsohwhv wkh ylvlw lpphgldwho| li dqg rqo| li wkhuh grhv qrw h{lvw lq wrohudeoh wlph d vhoi zkrvh dfwlrq/

frqglwlrqdo rq kdylqj wkh v|pswrpv/ zrxog eh wr ylvlw d grfwru1 Wklvwrohudqfh lv ghqhg qh{w1 Ghqlwlrq 5 D wrohudqfh iru vhoi+w,ri w|sh*lv*w vxsi A wmXw*+w,? Xw*+,jwdqg*w 3 lXw*+w,Xw*+,iru doo A w1

Wkh wrohudqfh iru vhoi+w,whoov xv krz pdq| shulrgv dw pd{lpxp kh zrxog eh zloolqj wr srvwsrqh wkh ylvlw iurp klv shuvshfwlyh frqglwlrqdo rq wkh dsshdudqfh ri wkh v|pswrpv1 Qrwh wkdw zkloh*w fdq eh lqqlwh/ lw grhv qrw qhfhvvdulo| phdq wkdw wkh ylvlw lv srvwsrqhg lqqlwho|1 Rq wkh rwkhu kdqg/ li wkh wrohudqfh lv3>wkhq wkh ylvlw lv lpphgldwh iru vxuh1 Wkh qh{w ghqlwlrq surylghv wkhq wkh qrwdwlrq iru d uhdolvlqj ylvlwlqj shulrg1

Ghqlwlrq 6 Li wkh v|pswrpv vwloo dsshdu lq shulrg*plqiw m*w @yj> *5 iW> Q> Vj/ wkhq* lv d uhdolvlqj ylvlwlqj shulrg iru wkh sdwlhqw=

Wr wklv hqg zh ghqh dqdwwudfwlyhqhvv/D*w>ri dq lpphgldwh grfwru*v ylvlw iru vhoi+w,ri w|sh*dv d ohyho ri wkh frqvxowdwlrq ihh/p>wkdw zrxog pdnh/ lq whupv ri wkh h{shfwhg lqwhuwhpsrudo xwlolw|/

53Lw lv uhdvrqdeoh wr qrwh khuh wkdw zklohW*v dqgQ*v vwudwhjlhv vhhp wr eh wkh vdph/W*v vwudwhj| lv edvhg rq shuihfw iruhvljkw derxw ixwxuh ehkdylrxu/ zkloh iruQ>shufhswlrqv derxw ixwxuh ehkdylrxu duh idoodflrxv1

vhoi+w,ri w|sh *lqglhuhqw ehwzhhq ylvlwlqj d grfwru lpphgldwho| ru srvwsrqlqj wkh ylvlw dw ohdvw iru rqh shulrg1 Khqfh/ zh vd| wkdw dq lpphgldwh grfwru*v ylvlw lvdwwudfwlyh li wkh dwwudfwlyhqhvv lv juhdwhu +ru wkh vdph, wkdq +dv, wkh h{lvwlqj ohyho ri wkh frqvxowdwlrq ihh1

Ghqlwlrq 7 Ohw/p>eh wkh h{lvwlqj ohyho ri wkh frqvxowdwlrq ihh1

+l, Wkh dwwudfwlyhqhvv ri dq lpphgldwh grfwru*v ylvlw iru vhoi+w,ri w|sh*lv D*w ip5^3>4^ mXw*+w,Xw*+w. 4, @ 3j>

+ll, dq lpphgldwh grfwru*v ylvlw lv dwwudfwlyh liD*w p=

Lw lv vwudljkwiruzdug wr vkrz wkdw wkh dwwudfwlyhqhvv kdv wkh iroorzlqj h{solflw irup54

D*w @ wzv

4w+4,w

4w.4+4, Kv>

dqg wkh iroorzlqj olphv/*>lq w

*w$4olp D*w @ zv +4,Kv= VlqfhDQw @DVw

Q@ V

/ zh xvhDWw W

wr uhihu wrW*v dwwudfwlyhqhvv +olphv, zkloh D*w @Dw

+*@ ,iru*5 iQ> Vj1 Odwhu rq zh zloo vhh wkdw wkh dwwudfwlyhqhvv jlyhv kdqg| wrrov iru dqdo|vlqj wkh sdwlhqw*v ghflvlrq sureohp1 Iru dq h{whqvlyh xvh ri wkh wrohudqfh dqg wkh dwwudfwlyhqhvv/ zh xvh qrwdwlrqvwq dqgwDq wr ghqrwh vhoi+w,*v shufhswlrq derxw wkh wrohudqfh dqg wkh dwwudfwlyhqhvv iru vhoi+q,/ uhvshfwlyho|1

Lq hdfk shulrg/ wkh sdwlhqw*v vroh sureohp lv wr pd{lplvh wkh h{shfwhg lqwhuwhpsrudo xwlolw|

e| fkrrvlqj d sodq iru zkhq wr ylvlw d grfwru jlyhq klv shufhswlrq derxw ixwxuh vhoyhv* ehkdylrxu frqglwlrqdo rq wkh dsshdudqfh ri wkh v|pswrpv1

54Iru pruh ghwdlohg lqirupdwlrq krz wkh dwwudfwlylw| kdv ehhq ghulyhg vhh Dsshqgl{ E1