Universitta degli Studi Roma Tre Machine Scheduling via ... - CiteSeerX

3 downloads 0 Views 868KB Size Report
j. Figure 1: Perishability constraint. The unavailability of a machine from time K to ...... Mascis (1996), based on a early version of the alternative graph formulation ...
ROMA

TRE DIA

t GHJOL 6WXGL 5RPD 7UH 8QLYHUVLWD

'LSDUWLPHQWR GL ,QIRUPDWLFD H $XWRPD]LRQH 9LD GHOOD 9DVFD 1DYDOH  ^  5RPD ,WDO\

0DFKLQH 6FKHGXOLQJ YLD $OWHUQDWLYH *UDSKV

$OHVVDQGUR 0DVFLV  'DULR 3DFFLDUHOOL

57',$

)HEUXDU\ 

 $'WUDQ] ^ 'DLPOHU&KU\VOHU 5DLO 6\VWHPV ,WDO\  6LJQDOOLQJ 'LYLVLRQ 9LD GHO &DPSR 5RPDQR    5RPD ,WDO\   'LSDUWLPHQWR GL ,QIRUPDWLFD H $XWRPD]LRQH 8QLYHUVLWtD 5RPD 7UH 9LD GHOOD 9DVFD 1DYDOH    5RPD ,WDO\

7KLV ZRUN ZDV SDUWLDOO\ VXSSRUWHG E\ WKH (& SURMHFW 1 75  &20%,1( 

$%675$&7 :H GHVFULEH DQ RSWLPL]DWLRQ SURFHGXUH IRU VROYLQJ D JHQHUDO PDFKLQH VFKHGXOLQJ SUREOHP 5HOHYDQW VSHFLDO FDVHV RI WKLV SUREOHP DUH WKH WUDGLWLRQDO MRE VKRS ZLWK XQOLPLWHG EXmHUV DQG WKH MRE VKRS ZLWK EORFNLQJ DQGRU QRZDLW FRQVWUDLQWV 2XU IRUPXODWLRQ LV EDVHG RQ D JHQHUDOL]DWLRQ RI WKH GLVMXQFWLYH JUDSK RI 5R\ DQG 6XVVPDQ WKDW ZH FDOO DOWHUQDWLYH JUDSK $V ZH ZLOO GHPRQVWUDWH WKH DOWHUQDWLYH JUDSK IRUPXODWLRQ DOORZV WR PRGHO LQ D SUHFLVH ZD\ DQG WR VROYH HmHFWLYHO\ D QXPEHU RI FRPSOH[ VFKHGXOLQJ SUREOHPV DULVLQJ IURP UHDOZRUOG DSSOLFDWLRQV IRU ZKLFK WKHUH ZHUH QR VXFFHVVIXO PHWKRGRORJLHV VR IDU :H VKRZ WKDW LW LV SRVVLEOH WR HDVLO\ H[WHQG WR RXU FRQWH[W VRPH RI WKH PRVW HmHFWLYH LGHDV WKDW KDYH EHHQ HPSOR\HG LQ WKH OLWHUDWXUH IRU VROYLQJ WKH MRE VKRS SUREOHP ZLWK XQOLPLWHG EXmHUV &RPSXWDWLRQDO UHVXOWV IRU IDVW KHXULVWLFV DQG H[DFW DOJRULWKPV DUH UHSRUWHG





,QWURGXFWLRQ

7KH MRE VKRS VFKHGXOLQJ SUREOHP LV WKH SUREOHP RI DOORFDWLQJ PDFKLQHV WR FRPSHWLQJ MREV RYHU WLPH VXEMHFW WR WKH FRQVWUDLQW WKDW HDFK PDFKLQH FDQ KDQGOH DW PRVW RQH MRE DW D WLPH 7KH SURFHVVLQJ RI D MRE RQ D PDFKLQH LV FDOOHG DQ RSHUDWLRQ DQG UHTXLUHV D n[HG QRQSUHHPSWLYH SURFHVVLQJ WLPH (DFK MRE FRQVLVWV RI D VHTXHQFH RI RSHUDWLRQV WKDW KDYH WR EH SURFHVVHG LQ D VSHFLnHG RUGHU DQG WKH JRDO LV WR PLQLPL]H WKH FRPSOHWLRQ WLPH RI WKH ODVW RSHUDWLRQ 7KH WUDGLWLRQDO MRE VKRS PRGHO GLVUHJDUGV WKH EHKDYLRU RI WKH MREV EHWZHHQ WZR FRQ VHFXWLYH RSHUDWLRQV LH LW DVVXPHV WKDW LQWHUPHGLDWH EXmHUV KDYH LQnQLWH FDSDFLW\ DQG WKDW D MRE FDQ EH VWRUHG IRU DQ XQOLPLWHG DPRXQW RI WLPH ,Q SUDFWLFH WKHUH DUH D QXPEHU RI VLWXDWLRQV LQ ZKLFK EXmHU FDSDFLW\ KDV WR EH WDNHQ LQWR DFFRXQW DW OHDVW DW VRPH VWDJHV RI WKH SURGXFWLRQ SURFHVV DQG WKHUH PD\ EH OLPLWV RQ WKH DPRXQW RI WLPH WKDW D MRE FDQ VSHQG LQ D EXmHU EHWZHHQ WZR FRQVHFXWLYH RSHUDWLRQV ([DPSOHV RI VXFK VLWXDWLRQV DULVH LQ PDQ\ GLmHUHQW LQGXVWULDO VHWWLQJV DV ZHOO DV LQ VHUYLFH VHFWRU $PRQJ WKH RWK HUV ZH FLWH WKH SURGXFWLRQ RI VWHHO VHH HJ 'RUQ DQG 6KDPV   /L[LQ 7DQJ HW DO   FRQFUHWH ZDUHV *UDERZVNL 3HPSHUD DQG 6PXWQLFNL   FKHPLFDO SURGXFWV 5HNODLWLV   WKH VFKHGXOLQJ RI WUDLQV $GHQVR'urD] 2OLYD *RQ]uDOH] DQG *RQ]uDOH] 7RUUH   &DL *RK DQG 0HHV   6zDKLQ  DQG WKH oRZ FRQWURO RI SDFNHW VZLWFKLQJ FRPPXQLFDWLRQ QHWZRUNV $UELE DQG 3DQFRQHVL   ,Q WKLV SDSHU ZH DUH FRQFHUQHG ZLWK D QHZ IRUPXODWLRQ IRU WKH MRE VKRS VFKHGXOLQJ SUREOHP ZKLFK LV EDVHG RQ D JHQHUDOL]DWLRQ RI WKH GLVMXQFWLYH JUDSK RI 5R\ DQG 6XVV PDQ  WKDW ZH FDOO DOWHUQDWLYH JUDSK :LWK WKH DOWHUQDWLYH JUDSK IRUPXODWLRQ ZH FDQ LQFOXGH LQ WKH RSWLPL]DWLRQ PRGHO D QXPEHU RI UHOHYDQW IHDWXUHV WKDW DUH IUHTXHQWO\ QHJOHFWHG LQ PRVW RI WKH PRGHOV IURP WKH OLWHUDWXUH RQ VFKHGXOLQJ ,Q SDUWLFXODU ZH DOORZ WR VSHFLI\ D PD[LPXP VWRUDJH WLPH IRU D MRE RU HYHQ IRU HDFK SDLU RI FRQVHFXWLYH RSHU DWLRQV LQ D MRE 0RUHRYHU ZH FDQ VSHFLI\ WKH EXmHU FDSDFLW\ IRU HDFK PDFKLQH LH WKH PD[LPXP QXPEHU RI MREV ZKLFK FDQ EH VWRUHG LQ WKH EXmHU DW WKH VDPH WLPH SRVVLEO\ ]HUR RU LQnQLWH  :H FDQ DOVR UHSUHVHQW WKH XQDYDLODELOLW\ RI WKH PDFKLQHV LQ VRPH JLYHQ WLPH LQWHUYDOV DQG WKH VSHFLnFDWLRQ RI QRQUHOD[DEOH WLPH ZLQGRZV IRU WKH RSHUDWLRQV )LQDOO\ ZH FRQVLGHU WKH SUREOHP RI PLQLPL]LQJ WKH PD[LPXP ODWHQHVV LH WKH PD[LPXP RI WKH GLmHUHQFH EHWZHHQ WKH FRPSOHWLRQ WLPH RI DQ RSHUDWLRQ DQG LWV GXH GDWH &OHDUO\ WKLV REMHFWLYH IXQFWLRQ LQFOXGHV WKH PD[LPXP PDNHVSDQ DV D SDUWLFXODU FDVH E\ n[LQJ DOO GXH GDWHV HTXDO WR ]HUR 7KH SXUSRVH RI WKLV SDSHU LV WZRIROG 2Q RQH KDQG ZH SUHVHQW D JHQHUDO IUDPHZRUN IRU PRGHOLQJ LQ D SUHFLVH ZD\ D ZLGH YDULHW\ RI VFKHGXOLQJ SUREOHPV 2Q WKH RWKHU KDQG ZH JLYH VRPH HmHFWLYH VROXWLRQ SURFHGXUHV IRU nQGLQJ JRRG KHXULVWLF DV ZHOO DV RSWLPDO VROXWLRQV :H VKRZ WKDW DOWKRXJK RXU FRGH FDQ GHDO ZLWK D ODUJH YDULHW\ RI SUREOHPV DQG GHVSLWH LWV TXLWH QDƒrYH LPSOHPHQWDWLRQ LWV FRPSXWLQJ WLPH LV QRW IDU IURP WKDW RI WKH EHVW SURFHGXUHV VSHFLDOL]HG RQ MRE VKRS VFKHGXOLQJ SUREOHP ZLWK XQOLPLWHG EXmHUV 7KH SDSHU LV RUJDQL]HG DV IROORZV ,Q 6HFWLRQ  D UHYLHZ RI UHODWHG ZRUNV LV JLYHQ LQ 6HFWLRQ  ZH LQWURGXFH WKH QRWDWLRQ DQG WKH DOWHUQDWLYH JUDSK ,Q 6HFWLRQ  ZH VKRZ KRZ WKH DOWHUQDWLYH JUDSK LV DEOH WR PRGHO D ODUJH QXPEHU RI PDFKLQH VFKHGXOLQJ SUREOHPV DQG ZH EULHo\ GLVFXVV WZR FDVH VWXGLHV ,Q 6HFWLRQ  ZH DGGUHVV WKH FRPSOH[LW\ LVVXHV DQG WU\ WR LGHQWLI\ D ERXQGDU\ EHWZHHQ SRO\QRPLDOO\ VROYDEOH DQG 13FRPSOHWH SDUWLFXODU FDVHV RI MREVKRS SUREOHP 6HFWLRQ  GHDOV ZLWK IDVW KHXULVWLFV DQG 6HFWLRQ  LOOXVWUDWHV RXU EUDQFK DQG ERXQG SURFHGXUH DQG WKH FRPSXWDWLRQDO H[SHULHQFH &RQFOXVLRQV IROORZV LQ 

6HFWLRQ 



/LWHUDWXUH UHYLHZ

,Q WKLV VHFWLRQ ZH EULHo\ UHYLHZ WKH DSSOLFDWLRQV DQG WKH OLWHUDWXUH UHODWHG WR RXU ZRUN ,Q WKH OLWHUDWXUH RQ PDFKLQH VFKHGXOLQJ D QXPEHU RI H[WHQVLRQV RI WKH WUDGLWLRQDO MRE VKRS PRGHO KDYH EHHQ VWXGLHG )RU H[DPSOH +DOO DQG 6ULVNDQGDUDMDK  PRGHO WKH DEVHQFH RI LQWHUPHGLDWH EXmHUV DV D EORFNLQJ FRQVWUDLQW ,Q WKLV FDVH D MRE KDYLQJ FRPSOHWHG SURFHVVLQJ RQ D PDFKLQH UHPDLQV RQ LW XQWLO WKH QH[W PDFKLQH EHFRPHV DYDLODEOH IRU SURFHVVLQJ 0F &RUPLFN HW DO  VWXG\ D oRZ VKRS VFKHGXOLQJ SUREOHP LQ DQ DVVHPEO\ OLQH KDYLQJ nQLWH FDSDFLW\ EXmHUV EHWZHHQ PDFKLQHV 7KH\ PRGHO WKH SRVLWLRQV RI WKH LQWHUPHGLDWH EXmHUV DV PDFKLQHV ZLWK ]HUR SURFHVVLQJ WLPH 7KH SUREOHP ZLWK OLPLWHG EXmHUV FDQ EH WKHUHIRUH VWXGLHG DV D EORFNLQJ SUREOHP ZKHUH DOO PDFKLQHV KDYH QR LQWHUPHGLDWH EXmHUV 7KH\ DOVR VKRZ WKDW RQFH D VHTXHQFH IRU WKH MREV KDV EHHQ IRXQG WKH VWDUWLQJ WLPH RI WKH MREV RQ DOO PDFKLQHV FDQ EH HDVLO\ FRPSXWHG RQ D 3UHFHGHQFH &RQVWUDLQWV *UDSK 7KH\ GLVWLQJXLVK WZR FDWHJRULHV RI DUFV SURFHVVLQJ DUFV KDYLQJ OHQJWK HTXDO WR WKH SURFHVVLQJ WLPH RI WKH DVVRFLDWHG RSHUDWLRQV DQG GXPP\ DUFV RI ]HUR OHQJWK UHSUHVHQWLQJ WKH EORFNLQJ FRQVWUDLQWV ,Q 6HFWLRQ  ZH ZLOO VKRZ WKH UHODWLRQV EHWZHHQ WKH 3UHFHGHQFH &RQVWUDLQWV *UDSK DQG WKH $OWHUQDWLYH *UDSK ,Q WKLV SDSHU ZH GLVWLQJXLVK WZR FDVHV RI EORFNLQJ EORFNLQJ ZLWK VZDS DOORZHG DQG EORFNLQJ QR VZDS $ VZDS LV QHHGHG ZKHQHYHU WKHUH LV D F\FOH RI WZR RU PRUH MREV HDFK RQH ZDLWLQJ IRU D PDFKLQH ZKLFK LV EORFNHG E\ DQRWKHU MRE LQ WKH F\FOH ,Q VXFK D VLWXDWLRQ DOO MREV LQ WKH F\FOH PXVW PRYH VLPXOWDQHRXVO\ WR WKH QH[W PDFKLQH DQG ZH FDOO LW D VZDS ,W LV LQWXLWLYH WKDW GHSHQGLQJ RQ WKH SDUWLFXODU FRQWH[W D VZDS PD\ EH DOORZHG RU QRW ,Q PDQ\ LQGXVWULDO VHWWLQJV WKH VZDS LV DOORZHG VLQFH WKH MREV FDQ PRYH LQGHSHQGHQWO\ RI HDFK RWKHU 2Q WKH FRQWUDU\ LQ WUDLQ VFKHGXOLQJ DQG LQ SDFNHW VZLWFKLQJ FRPPXQLFDWLRQ QHWZRUNV WKH VZDS LV QRW DOORZHG VLQFH D WUDLQ RU D SDFNHW FDQ PRYH RQO\ DIWHU WKDW WKH VXEVHTXHQW UHVRXUFH LV EHFRPH DYDLODEOH :KHQ D VZDS LV QRW DOORZHG D F\FOH RI EORFNLQJ MREV UHSUHVHQWV D GHDGORFN VLWXDWLRQ 2WKHU UHOHYDQW FDVHV LQ ZKLFK WKH MRE VKRS PRGHO ZLWK XQOLPLWHG EXmHUV LV QRW VXLWDEOH DULVH LQ WKH PDQDJHPHQW RI SHULVKDEOH LWHPV $ FRPPRGLW\ LV VDLG WR EH SHULVKDEOH LI VRPH RI LWV FKDUDFWHULVWLFV DUH VXEMHFW WR GHWHULRUDWLRQ ZLWK UHVSHFW WR FXVWRPHUSURGXFHU UHTXLUHPHQWV 7KLV nHOG RI DSSOLFDWLRQV KDV EHHQ PDLQO\ VWXGLHG LQ WKH IUDPHZRUN RI LQYHQWRU\ WKHRU\ VHH HJ 1DKPLDV   ,Q SUDFWLFH DV VKRZQ E\ $UELE 3DFFLDUHOOL DQG 6PULJOLR   SURGXFW GHFD\ RIWHQ RFFXUV DOVR DW VRPH SDUWLFXODU VWDJHV RI WKH SURGXFWLRQ SURFHVV WKLV GHFD\ GHSHQGLQJ ERWK RQ WKH SURGXFW DQG RQ WKH SURGXFWLRQ VWHS ,Q WKHVH FDVHV nQGLQJ DGHTXDWH VFKHGXOLQJ SROLFLHV LV FULWLFDO IRU PD[LPL]LQJ WKH WKURXJKSXW ZKLOH UHGXFLQJ ORVVHV DQG FRVWV GXH WR SHULVKLQJ 7KH SHULVKDELOLW\ LVVXH LV DSSURDFKHG LQ YDULRXV ZD\V LQ WKH OLWHUDWXUH RQ VFKHGXOLQJ EXW PRVW RI WKH VFKHGXOLQJ PRGHOV DGRSWHG IRU WKLV NLQG RI SURGXFWLRQV W\SLFDOO\ VXmHU IURP ODFN RI LQIRUPDWLRQ )RU LQVWDQFH DQ DSSUR[LPDWLRQ RIWHQ LQWURGXFHG ZKHQ VFKHGXOLQJ SHULVKDEOH JRRGV ZLWK KLJK GHFD\ UDWH LV WKH LQWURGXFWLRQ RI WLJKW QR^ZDLW FRQVWUDLQWV VHH IRU H[DPSOH *UDERZVNL 3HPSHUD DQG 6PXWQLFNL   +DOO DQG 6ULVNDQGDUDMDK   RU 3LQHGR   $ QRZDLW FRQVWUDLQW RFFXUV ZKHQ WZR FRQVHFXWLYH RSHUDWLRQV PXVW EH SHUIRUPHG ZLWK RXW DQ\ LQWHUUXSWLRQ :H UHIHU WKH UHDGHU WR +DOO DQG 6ULVNDQGDUDMDK  IRU DQ H[ WHQVLYH VXUYH\ RQ PDFKLQH VFKHGXOLQJ SUREOHPV ZLWK EORFNLQJ DQG QRZDLW LQ SURFHVV DQG 

WR +DOO 3RVQHU DQG 3RWWV D E IRU PDFKLQH VFKHGXOLQJ SUREOHPV ZLWK nQLWH FDSDFLW\ EXmHUV :H DOVR FLWH WKH SDSHU RI %UXFNHU +LOELJ DQG +XULQN   ZKLFK LV UHODWHG WR RXU ZRUN ,Q WKDW SDSHU WKH DXWKRUV VWXG\ D VLQJOH PDFKLQH VFKHGXOLQJ SUREOHP ZLWK SRVLWLYH DQG QHJDWLYH WLPH ODJV GHYHORS D ORFDO VHDUFK SURFHGXUH IRU VROYLQJ LW DQG VKRZ WKDW PDQ\ FRPSOH[ VFKHGXOLQJ SUREOHPV FDQ EH UHGXFHG WR WKLV SUREOHP $GGLWLRQDO H[WHQVLRQV RI WKH MRE VKRS SUREOHP FRQVLGHUHG E\ YDULRXV DXWKRUV FRQFHUQ UHOHDVH DQG GXH GDWHV IRU WKH MREV DQG WKH DYDLODELOLW\ RI WKH PDFKLQHV ,Q WKH ODWWHU FDVH D PDFKLQH FDQ SURFHVV MREV RQO\ GXULQJ SUHVSHFLnHG WLPH ZLQGRZV 7KHVH WZR H[WHQVLRQV FDQ EH MRLQWO\ FRQVLGHUHG E\ VSHFLI\LQJ VRPH QRQUHOD[DEOH WLPH ZLQGRZV IRU WKH RSHUDWLRQV LH HDUOLHVWODWHVW SRVVLEOH VWDUW WLPH ZLQGRZV 7KLV SUREOHP KDV EHHQ H[WHQVLYHO\ VWXGLHG LQ WKH IRUP RI D FRQVWUDLQW VDWLVIDFWLRQ SUREOHP E\ VHYHUDO UHVHDUFKHUV IURP WKH nHOG RI $UWLnFLDO ,QWHOOLJHQFH VHH IRU H[DPSOH 6DGHK 6\FDUD DQG ;LRQJ   )XUWKHU H[WHQVLRQV RI WKH MRE VKRS ZLWK XQOLPLWHG EXmHUV FDQ EH IRXQG IRU H[DPSOH LQ WKH ERRN RI 2YDFLN DQG 8]VR\  DQG LQ WKH VXUYH\ RI 6WUXVHYLFK   $Q LPSRUWDQW LVVXH WR EH WDNHQ LQWR DFFRXQW ZKHQ VWXG\LQJ D JHQHUDOL]DWLRQ RI WKH MRE VKRS SUREOHP ZLWK XQOLPLWHG EXmHUV LV WKH FRPSXWDWLRQDO FRPSOH[LW\ RI WKH UHVXOW LQJ SUREOHP ,Q IDFW HYHQ WKH MRE VKRS SUREOHP ZLWK XQOLPLWHG EXmHUV LV RQH RI WKH PRVW FRPSXWDWLRQDOO\ LQWUDFWDEOH 13KDUG SUREOHPV LQ FRPELQDWRULDO RSWLPL]DWLRQ )RU H[DPSOH D VSHFLnF LQVWDQFH ZLWK  MREV DQG  PDFKLQHV SURSRVHG LQ  LQ D ERRN RI 0XWK DQG 7KRPSVRQ UHPDLQHG XQVROYHG IRU RYHU  \HDUV XQWLO LW ZDV VHWWOHG LQ  VHH &DUOLHU DQG 3LQVRQ   DQG WKHUH DUH LQVWDQFHV ZLWK  PDFKLQHV DQG  MREV WKDW VWLOO UHPDLQ FRPSXWDWLRQDOO\ LQWUDFWDEOH DV VKRZQ LQ 0DUWLQ DQG 6KPR\V   )RU ZKDW FRQFHUQV QRZDLW RU EORFNLQJ MREVKRS VFKHGXOLQJ SUREOHPV ZH DUH QRW DZDUH RI DQ\ SUHYLRXV DWWHPSW WR VROYH HYHQ PRGHVW VL]HG LQVWDQFHV WR RSWLPDOLW\ 2Q WKH RWKHU KDQG D FRQVLGHUDEOH QXPEHU RI DOJRULWKPLF LPSURYHPHQWV KDYH EHHQ PDGH LQ WKH SDVW WKLUW\ \HDUV HVSHFLDOO\ IRU WKH MRE VKRS SUREOHP ZLWK XQOLPLWHG EXmHUV VHH IRU H[DPSOH $GDPV %DODV DQG =DZDFN   $SSOHJDWH DQG &RRN   %UXFNHU -XULVK DQG 6LHYHUV   &DUOLHU DQG 3LQVRQ   0DUWLQ DQG 6KPR\V   3LQVRQ   0RVW RI WKHVH ZRUNV DUH EDVHG RQ WKH GLVMXQFWLYH JUDSK IRUPXODWLRQ RI 5R\ DQG 6XVVPDQ   :H DUH WKHUHIRUH LQWHUHVWHG LQ JHQHUDOL]LQJ WKH GLVMXQFWLYH JUDSK IRUPXODWLRQ WR KDQGOH DOO WKH DERYH PHQWLRQHG VLWXDWLRQV



1RWDWLRQ DQG SUREOHP GHnQLWLRQ

,Q WKLV VHFWLRQ ZH LQWURGXFH WKH QRWDWLRQ DQG D PRUH SUHFLVH VSHFLnFDWLRQ RI WKH SUREOHP XQGHU FRQVLGHUDWLRQ ,Q WKH XVXDO GHnQLWLRQ RI WKH MRE VKRS SUREOHP D MRE PXVW EH SURFHVVHG RQ D VHW RI PDFKLQHV 7KH VHTXHQFH RI PDFKLQHV IRU HDFK MRE LV SUHVFULEHG WKH SURFHVVLQJ RI D MRE RQ D PDFKLQH LV FDOOHG DQ RSHUDWLRQ DQG FDQQRW EH LQWHUUXSWHG ,Q WKLV SDSHU ZH IRFXV RQ WKH VHTXHQFLQJ RI RSHUDWLRQV UDWKHU WKDQ MREV :H KDYH WKHUHIRUH D VHW RI RSHUDWLRQV IR  R      RQ J ZKLFK KDYH WR EH SHUIRUPHG RQ P PDFKLQHV IP  P      PP J (DFK RSHUDWLRQ RL UHTXLUHV D VSHFLnHG DPRXQW RI SURFHVVLQJ SL RQ D VSHFLnHG PDFKLQH 0 L  DQG FDQQRW EH LQWHUUXSWHG IURP LWV VWDUWLQJ WLPH WL WR LWV FRPSOHWLRQ WLPH FL WL  SL  R DQG RQ DUH GXPP\ RSHUDWLRQV ZLWK ]HUR SURFHVVLQJ WLPH WKDW ZH FDOO ?VWDUW DQG ?nQLVK UHVSHFWLYHO\ (DFK PDFKLQH FDQ SURFHVV RQO\ RQH RSHUDWLRQ DW D WLPH 

7KHUH LV D VHW RI SUHFHGHQFH UHODWLRQV DPRQJ RSHUDWLRQV $ SUHFHGHQFH UHODWLRQ L M LV D FRQVWUDLQW RQ WKH VWDUWLQJ WLPH RI RSHUDWLRQV RM  ZLWK UHVSHFW WR WL  0RUH SUHFLVHO\ WKH VWDUWLQJ WLPHV RI WKH VXFFHVVRU RM PXVW EH JUHDWHU RU HTXDO WR WKH VWDUWLQJ WLPH RI WKH SUHGHFHVVRU RL SOXV D JLYHQ GHOD\ ILM  ZKLFK LQ RXU PRGHO FDQ EH HLWKHU SRVLWLYH QXOO RU QHJDWLYH $ SRVLWLYH GHOD\ PD\ UHSUHVHQW IRU H[DPSOH WKH IDFW WKDW RSHUDWLRQ RM PD\ VWDUWV SURFHVVLQJ RQO\ DIWHU WKH FRPSOHWLRQ RI RL  SOXV D SRVVLEOH VHWXS WLPH $ GHOD\ VPDOOHU RU HTXDO WR ]HUR UHSUHVHQWV D V\QFKURQL]DWLRQ EHWZHHQ WKH VWDUWLQJ WLPHV RI WKH WZR RSHUDWLRQV )LQDOO\ ZH DVVXPH WKDW R SUHFHGHV R      RQ  DQG RQ IROORZV R      RQb  3UHFHGHQFH UHODWLRQV DUH GLYLGHG LQWR WZR VHWV n[HG DQG DOWHUQDWLYH $OWHUQDWLYH SUHFHGHQFH UHODWLRQV DUH SDUWLWLRQHG LQWR SDLUV 7KH\ XVXDOO\ UHSUHVHQW WKH FRQVWUDLQWV WKDW HDFK PDFKLQH FDQ SURFHVV RQO\ RQH RSHUDWLRQ DW D WLPH $ VFKHGXOH LV DQ DVVLJQPHQW RI VWDUWLQJ WLPHV W  W      WQ WR RSHUDWLRQV R  R      RQ UHVSHFWLYHO\ VXFK WKDW DOO n[HG SUHFHGHQFH UHODWLRQV DQG H[DFWO\ RQH IRU HDFK SDLU RI WKH DOWHUQDWLYH SUHFHGHQFH UHODWLRQV DUH VDWLVnHG :ORJ ZH DVVXPH W  7KH JRDO LV WR PLQLPL]H WKH VWDUWLQJ WLPH RI RSHUDWLRQ RQ  7KLV SUREOHP FDQ EH WKHUHIRUH IRUPXODWHG DV D SDUWLFXODU GLVMXQFWLYH SURJUDP LH D OLQHDU SURJUDP ZLWK ORJLFDO FRQGLWLRQV LQYROYLQJ RSHUDWLRQV ?DQG A FRQMXQFWLRQ DQG ?RU B GLVMXQFWLRQ  DV LQ %DODV   3UREOHP  PLQ WQ b W VW WM b WL w ILM L M  ) WM b WL w DLM B WN b WK w DKN L M  K N  $ $VVRFLDWLQJ D QRGH WR HDFK RSHUDWLRQ 3UREOHP  FDQ EH XVHIXOO\ UHSUHVHQWHG E\ WKH WULSOH * 1 ) $ WKDW ZH FDOO DOWHUQDWLYH JUDSK 7KH DOWHUQDWLYH JUDSK LV DV IROORZV 7KHUH LV D VHW RI QRGHV 1  D VHW RI GLUHFWHG DUFV ) DQG D VHW RI SDLUV RI GLUHFWHG DUFV $ $UFV LQ WKH VHW ) DUH n[HG DQG ILM LV WKH OHQJKW RI DUF L M  )  $UFV LQ WKH VHW $ DUH DOWHUQDWLYH ,I L M  K N  $ ZH VD\ WKDW L M DQG K N DUH SDLUHG DQG WKDW L M LV WKH DOWHUQDWLYH RI K N  /HW DLM EH WKH OHQJKW RI WKH DOWHUQDWLYH DUF L M  ,Q RXU PRGHO WKH DUF OHQJWK FDQ EH HLWKHU SRVLWLYH QXOO RU QHJDWLYH 7KH DOWHUQDWLYH JUDSK LV D JHQHUDOL]DWLRQ RI WKH GLVMXQFWLYH JUDSK RI 5R\ DQG 6XVVPDQ   ,Q IDFW LQ WKH GLVMXQFWLYH JUDSK WKH SDLUV RI DOWHUQDWLYH DUFV FDOOHG GLVMXQFWLYH DUFV DUH DOO LQ WKH IRUP L M  M L  ZKHUH L DQG M DUH WZR RSHUDWLRQV WR EH SURFHVVHG RQ WKH VDPH PDFKLQH $ VHOHFWLRQ 6 LV D VHW RI DUFV REWDLQHG IURP $ E\ FKRRVLQJ DW PRVW RQH DUF IURP HDFK SDLU 7KH VHOHFWLRQ LV FRPSOHWH LI H[DFWO\ RQH DUF IURP HDFK SDLU LV FKRVHQ *LYHQ D SDLU RI DOWHUQDWLYH DUFV L M  K N  $ ZH VD\ WKDW L M LV VHOHFWHG LQ 6 LI L M  6 ZKHUHDV ZH VD\ WKDW L M LV IRUELGGHQ LQ 6 LI K N  6 )LQDOO\ WKH SDLU LV XQVHOHFWHG LI QHLWKHU L M QRU K N LV VHOHFWHG LQ 6 *LYHQ D VHOHFWLRQ 6 OHW * 6 LQGLFDWHV WKH JUDSK 1 ' >6  $ VHOHFWLRQ 6 LV FRQVLVWHQW LI WKH JUDSK * 6 KDV QR SRVLWLYH OHQJWK F\FOHV *LYHQ D FRQVLVWHQW VHOHFWLRQ 6 ZH FDOO H[WHQVLRQ RI 6 D FRPSOHWH FRQVLVWHQW VHOHFWLRQ 6  VXFK WKDW 6 t 6   LI LW H[LVWV $V ZH ZLOO VKRZ LQ 6HFWLRQ  DQ LPSRUWDQW GLmHUHQFH EHWZHHQ WKH GLVMXQFWLYH JUDSK DQG WKH DOWHUQDWLYH JUDSK LV WKDW JLYHQ D FRQVLVWHQW VHOHFWLRQ 6 LQ WKH IRUPHU JUDSK DOZD\V H[LVWV DQ H[WHQVLRQ RI 6 ZKHUHDV LQ WKH ODWWHU JUDSK PD\ H[LVW QR H[WHQVLRQ RI 6 :KDW LV PRUH LPSRUWDQW WKH SUREOHP RI nQGLQJ VXFK DQ H[WHQVLRQ RU SURYLQJ WKDW LW GRHV QRW H[LVW LV DQ 13FRPSOHWH SUREOHP 

:LWK WKLV QRWDWLRQ HDFK VFKHGXOH LV DVVRFLDWHG ZLWK D FRPSOHWH FRQVLVWHQW VHOHFWLRQ RQ WKH FRUUHVSRQGLQJ DOWHUQDWLYH JUDSK %\ GHnQLWLRQ WKH PDNHVSDQ RI D FRQVLVWHQW VHOHFWLRQ 6 LV WKH OHQJWK RI D ORQJHVW SDWK IURP QRGH  WR QRGH Q LQ * 6  7KH PDNHVSDQ RI D VFKHGXOH LV WKHUHIRUH WKH PDNHVSDQ RI WKH DVVRFLDWHG FRPSOHWH FRQVLVWHQW VHOHFWLRQ ,Q WKH UHVW RI WKLV SDSHU ZH ZLOO GLVWLQJXLVK WZR W\SHV RI RSHUDWLRQV QDPHO\ LGHDO DQG EORFNLQJ :H VD\ WKDW DQ LGHDO RSHUDWLRQ RM UHPDLQV RQ PDFKLQH 0 M IURP LWV VWDUWLQJ WLPH WR LWV FRPSOHWLRQ WLPH DQG WKHQ OHDYHV 0 M  ZKLFK EHFRPHV LPPHGLDWHO\ DYDLODEOH IRU SURFHVVLQJ RWKHU RSHUDWLRQV 2Q WKH FRQWUDU\ D EORFNLQJ RSHUDWLRQ RL PD\ UHPDLQ RQ PDFKLQH 0 L HYHQ DIWHU LWV FRPSOHWLRQ WLPH WKXV EORFNLQJ LW 0RUH SUHFLVHO\ LQ RXU PRGHO  (DFK EORFNLQJ RSHUDWLRQ RL LV DVVRFLDWHG WR DQRWKHU RSHUDWLRQ KHUHDIWHU FDOOHG R} L   RL  KDYLQJ FRPSOHWHG SURFHVVLQJ RQ PDFKLQH 0 L  UHPDLQV RQ LW XQWLO WKH PDFKLQH 0 } L EHFRPHV DYDLODEOH IRU SURFHVVLQJ R} L  0DFKLQH 0 L UHPDLQV WKHUHIRUH EORFNHG DQG FDQQRW SURFHVV DQ\ RWKHU RSHUDWLRQ XQWLO RL OHDYHV 0 L  7KURXJKRXW WKH SDSHU ZH ZLOO PDNH XVH RI WKH IROORZLQJ GHnQLWLRQV *LYHQ DQ DUF L M  ZH VD\ WKDW QRGH L LV WKH WDLO RI DUF L M  DQG QRGH M LV WKH KHDG RI DUF L M  0RUHRYHU JLYHQ D VHOHFWLRQ 6 ZH ZLOO GHQRWH WKH YDOXH RI D ORQJHVW SDWK IURP L WR M LQ * 6 E\ O L M  )LQDOO\ IRU HDFK QRGH L  1 ZH VD\ WKDW WKH TXDQWLW\ UL O  L LV WKH KHDG RI QRGH L DQG WKH TXDQWLW\ TL O L Q LV WKH WDLO RI QRGH L



([DPSOHV

,Q WKLV VHFWLRQ ZH LOOXVWUDWHV VHYHUDO VFKHGXOLQJ SUREOHPV ZKLFK FDQ EH XVHIXOO\ IRUPX ODWHG E\ PHDQV RI WKH DOWHUQDWLYH JUDSK :H nUVW PRGHO VRPH W\SLFDO FRQVWUDLQWV DULVLQJ LQ VFKHGXOLQJ SUREOHP WKHQ ZH EULHo\ GHVFULEH WZR PRUH FRPSOH[ DSSOLFDWLRQV RI WKH DOWHU QDWLYH JUDSK WKH nUVW DULVHV LQ WKH VWHHOPDNLQJ LQGXVWU\ DQG WKH VHFRQG LQ WKH VFKHGXOLQJ RI WUDLQV /HW XV nUVW FRQVLGHU D SDLU RI FRQVHFXWLYH RSHUDWLRQV LQ D MRE VD\ RL DQG RM  DQG DVVXPH WKDW RM PXVW VWDUW SURFHVVLQJ ZLWKLQ N WLPH XQLWV DIWHU WKH FRPSOHWLRQ RI RL N w   :H FDOO LW SHULVKDELOLW\ FRQVWUDLQW VLQFH LW UHSUHVHQWV IRU H[DPSOH WKH IDFW WKDW D MRE GHWHULRUDWHV ZKHQ VWRUHG IRU PRUH WKDQ N WLPH XQLWV EHWZHHQ WKH WZR FRQVHFXWLYH RSHUDWLRQV :H FDQ UHSUHVHQW WKLV FRQVWUDLQW ZLWK D SDLU RI n[HG DUFV L M DQG M L KDYLQJ OHQJWK SL DQG bSL b N UHVSHFWLYHO\ ,I N  ZH KDYH D WLJKW QRZDLW FRQVWUDLQW VHH )LJXUH   pi j

i -pi -k

)LJXUH  3HULVKDELOLW\ FRQVWUDLQW 7KH XQDYDLODELOLW\ RI D PDFKLQH IURP WLPH K WR WLPH N FDQ EH PRGHOHG E\ DGGLQJ D GXPP\ RSHUDWLRQ RO ZLWK SURFHVVLQJ WLPH N b K WR EH SHUIRUPHG RQ WKH PDFKLQH DQG E\ 

DGGLQJ D SDLU RI n[HG DUFV  O DQG O  KDYLQJ OHQJWK K DQG bK UHVSHFWLYHO\ 7KLV LPSOLHV WKDW IRU D VFKHGXOH WR EH IHDVLEOH QR RSHUDWLRQ EXW RO FDQ EH SURFHVVHG RQ PDFKLQH 0 O IURP WLPH K WR WLPH N 5HFDOOLQJ WKH GHnQLWLRQ RI EORFNLQJ RSHUDWLRQ OHW XV QRZ FRQVLGHU WZR RSHUDWLRQV RL DQG RM  RL EORFNLQJ VXFK WKDW 0 L 0 M  6LQFH RL DQG RM FDQQRW EH H[HFXWHG DW WKH VDPH WLPH ZH DVVRFLDWH ZLWK WKHP D SDLU RI DOWHUQDWLYH DUFV (DFK DUF UHSUHVHQWV WKH IDFW WKDW RQH RSHUDWLRQ PXVW EH SURFHVVHG EHIRUH WKH RWKHU ,I RL LV SURFHVVHG EHIRUH RM  DQG VLQFH RL LV EORFNLQJ 0 L FDQ VWDUW SURFHVVLQJ RM RQO\ DIWHU WKH VWDUWLQJ WLPH RI R} L  ZKHQ RL OHDYHV 0 L  +HQFH ZH UHSUHVHQW WKLV VLWXDWLRQ ZLWK WKH DOWHUQDWLYH DUF } L  M KDYLQJ OHQJWK D} L M  7KH RWKHU DOWHUQDWLYH DUF GHSHQGV RQ WKH IDFW WKDW RM FDQ EH HLWKHU EORFNLQJ RQ QRW ,I RM LV EORFNLQJ WKHQ ZH DGG WKH DOWHUQDWLYH DUF } M  L RI OHQJWK D} M L  ,I RM LV LGHDO WKHQ ZH DGG WKH DUF M L  ZKRVH OHQJWK LV DML SM  ,Q )LJXUH  D DQG  E WKH FDVH RI RM EORFNLQJ DQG RM LGHDO UHVSHFWLYHO\ LV VKRZQ +HUH WKH n[HG >DOWHUQDWLYH@ DUFV DUH GHSLFWHG ZLWK VROLG >GDVKHG@ OLQHV pi

i

σ(i) 0

σ(i)

pj

0 j

pi

i

σ(j)

pj

0

j

(a)

(b)

)LJXUH  7KH DOWHUQDWLYH DUFV IRU D SDLU RI RSHUDWLRQV RL DQG RM ,W LV LQWHUHVWLQJ WR QRWLFH WKDW LQ WKH SDUWLFXODU FDVH RI oRZ VKRS SUREOHPV ZLWK OLPLWHG EXmHUV JLYHQ DQ\ IHDVLEOH VFKHGXOH WKH JUDSK UHVXOWLQJ IURP WKH FRUUHVSRQGLQJ FRPSOHWH FRQVLVWHQW VHOHFWLRQ RQ WKH DVVRFLDWHG DOWHUQDWLYH JUDSK LV HTXLYDOHQW WR WKH 3UHFHGHQFH &RQVWUDLQWV *UDSK RI 0F &RUPLFN HW DO   DVVRFLDWHG ZLWK WKH VDPH VFKHGXOH ,Q )LJXUH  WKH JUDSK UHSUHVHQWDWLRQ RI D IHDVLEOH VFKHGXOH IRU D EORFNLQJ oRZ VKRS ZLWK WKUHH MREV DQG IRXU PDFKLQHV LV VKRZQ ZKLOH LQ )LJXUH  WKH DOWHUQDWLYH JUDSK IRUPXODWLRQ RI WKH VDPH SUREOHP LV GHSLFWHG 1RWH WKDW D MRE KDYLQJ FRPSOHWHG SURFHVVLQJ RQ WKH ODVW PDFKLQH OHDYHV WKH V\VWHP +HQFH WKH ODVW PDFKLQH LV QRW EORFNLQJ 1

p1

0

p2

0

0 0

2

5

6 0

0 9

p9

p3

0 0

p5

3

0 0

p6

7 0

10

p10

4 0

p7 0

11

p11

p4 8 p8

p4

p4 p8

13

p12

12

)LJXUH  $ IHDVLEOH VFKHGXOH IRU D EORFNLQJ oRZ VKRS ZLWK WKUHH MREV DQG IRXU PDFKLQHV



0

1

2

3

4

5

6

7

8

9

10

11

12

13

)LJXUH  7KH DOWHUQDWLYH JUDSK IRU D EORFNLQJ oRZ VKRS ZLWK WKUHH MREV DQG IRXU PDFKLQHV 6LQFH ZH GLVWLQJXLVK WZR GLmHUHQW FDVHV RI EORFNLQJ QDPHO\ EORFNLQJ ZLWK VZDS DOORZHG DQG EORFNLQJ QR VZDS ZH PXVW UHSUHVHQW WKLV IDFW ZKHQ PRGHOLQJ D SUREOHP E\ PHDQV RI WKH DOWHUQDWLYH JUDSK ,Q RXU IRUPXODWLRQ D VHOHFWLRQ LV FRQVLVWHQW LI WKHUH DUH QR SRVLWLYH OHQJWK F\FOHV DQG WKHUHIRUH D ]HUR OHQJWK F\FOH LV IHDVLEOH 2Q WKH RWKHU KDQG LQ EORFNLQJ QR VZDS SUREOHPV D F\FOH RI WZR RU PRUH EORFNLQJ RSHUDWLRQV HDFK RQH ZDLWLQJ IRU D PDFKLQH EORFNHG E\ DQRWKHU RSHUDWLRQ LQ WKH F\FOH UHSUHVHQW D GHDGORFN VLWXDWLRQ +HQFH ZH SXW D VPDOO SRVLWLYH ZHLJKW RQ WKH DOWHUQDWLYH DUFV FRUUHVSRQGLQJ WR QR VZDS EORFNLQJ RSHUDWLRQV LQ RUGHU WR PDNH XQIHDVLEOH D VHOHFWLRQ FRQWDLQLQJ F\FOHV RI DOWHUQDWLYH DUFV ,Q IDFW ZH REVHUYH WKDW LQ D VDPH LQVWDQFH WKHUH PD\ EH DW WKH VDPH WLPH EORFNLQJ RSHUDWLRQV ZLWK VZDS DOORZHG DQG EORFNLQJ QR VZDS RSHUDWLRQV ,Q WKLV FDVH D F\FOH RI EORFNLQJ RSHUDWLRQV LV IHDVLEOH RQO\ LI QR EORFNLQJ QR VZDS RSHUDWLRQ LV LQYROYHG LQ LW 1RWH WKDW RXU GHnQLWLRQ RI EORFNLQJ RSHUDWLRQ RL QHHGV WKH VSHFLnFDWLRQ RI D XQLTXH VXFFHVVRU R} L  $IWHU WKH VWDUWLQJ WLPH RI R} L  PDFKLQH 0 L LV DYDLODEOH IRU D QHZ RSHUDWLRQ :H REVHUYH WKDW ZLWK WKLV GHnQLWLRQ ZH FDQ PRGHO DV ZHOO WKH FDVH LQ ZKLFK D PDFKLQH EHFRPHV DYDLODEOH RQO\ DIWHU WKH VWDUWLQJ WLPH RI D VHW RI RSHUDWLRQV 7R WKLV DLP OHW XV FRQVLGHU IRU H[DPSOH WKH FDVH RI D GLVDVVHPEO\ RSHUDWLRQ RL ZKLFK SURGXFHV WZR FRPSRQHQWV $ DQG % $ DQG % ZLOO EH SURFHVVHG ODWHU RQ WZR GLmHUHQW EORFNLQJ PDFKLQHV DQG OHW RK DQG RN  EH WKH RSHUDWLRQV DVVRFLDWHG WR WKH SURFHVVLQJ RI WKH WZR FRPSRQHQWV $ DQG % UHVSHFWLYHO\ ,Q WKLV FDVH 0 L EHFRPHV DYDLODEOH IRU D QHZ RSHUDWLRQ RQO\ ZKHQ ERWK $ DQG % DUH UHPRYHG IURP 0 L  :H PRGHO WKLV VLWXDWLRQ E\ DGGLQJ D GXPP\ RSHUDWLRQ R} L DQG WZR ]HUROHQJWK DUF K } L DQG N } L VHH )LJXUH   h 0

pi

σ(i)

i pi

0 k

)LJXUH  7KH JUDSK UHSUHVHQWDWLRQ RI D GRXEOHEORFNLQJ RSHUDWLRQ 7KH UHSUHVHQWDWLRQ RI D QRQUHOD[DEOH WLPH ZLQGRZV HL  OL IRU RSHUDWLRQ RL  LH DQ HDUOLHVWODWHVW SRVVLEOH VWDUW WLPH ZLQGRZ LV VLPSO\ REWDLQHG E\ DGGLQJ WR VHW ' WKH DUFV  L DQG L  ZLWK ZHLJKWV HL DQG bOL  UHVSHFWLYHO\ )LQDOO\ LI D UHOD[DEOH GXH GDWH GL IRU RSHUDWLRQ RL LV VSHFLnHG L      Q WKHQ WKH PLQLPL]DWLRQ RI PD[LPXP ODWHQHV LV 

REWDLQHG E\ ZHLJKWLQJ DOO DUFV L Q ZLWK SL b GL  DQG VWLOO PLQLPL]LQJ WKH FRPSOHWLRQ WLPH RI RSHUDWLRQ RQ  &OHDUO\ WKH DOWHUQDWLYH JUDSK DOORZV WR IRUPXODWH VLWXDWLRQV E\ IDU PRUH JHQHUDO WKDW WKH RQHV ZH KDYH PHQWLRQHG ,Q WKH UHVW RI WKLV VHFWLRQ ZH ZLOO LQWURGXFH WZR DSSOLFDWLRQV RI WKH DOWHUQDWLYH JUDSK WKH nUVW DULVHV LQ VWHHOPDNLQJ LQGXVWU\ DQG WKH VHFRQG LQ WUDLQ VFKHGXOLQJ 7KH SXUSRVH RI WKH H[DPSOHV LV WR VKRZ KRZ PRUH FRPSOH[ VFKHGXOLQJ SUREOHPV FDQ EH IRUPXODWHG E\ PHDQV RI WKH DOWHUQDWLYH JUDSK +HQFH LQ ZKDW IROORZV ZH ZLOO JLYH RQO\ EULHI LQWURGXFWLRQV DQG IRUPXODWLRQV RI VLPSOLnHG YHUVLRQV RI WKH SUREOHPV



3URGXFWLRQ VFKHGXOLQJ LQ D VWHHOPDNLQJ SODQW

+LJK JUDGH VWHHOPDNLQJ SODQWV SURGXFH D JUHDW YDULHW\ RI VWHHO JUDGHV WR EH XVHG LQ D QXPEHU RI DSSOLFDWLRQV /RW VL]HV DUH W\SLFDOO\ VPDOO DQG WKH SURGXFWLRQ SURFHVV LV VXEMHFW WR D QXPEHU RI FRPSOH[ PHWDOOXUJLFDO UHTXLUHPHQWV LQ RUGHU WR DFKLHYH VXLWDEOH SURSHUWLHV RQ WKH nQDO SURGXFW :H ZLOO UHIHU LQ SDUWLFXODU WR D OLQH IRU WKH SURGXFWLRQ RI VWDLQOHVV VWHHO VLWXDWHG LQ D VWHHOPDNLQJ SODQW LQ FHQWUDO ,WDO\ )LJXUH  VKRZV WKH OD\RXW RI WKH SURGXFWLRQ OLQH 7KH SURGXFWLRQ VFKHGXOLQJ SUREOHP FRQVLVWV RI GHWHUPLQLQJ WKH VHTXHQFLQJ RI RSHUDWLRQV WR EH SHUIRUPHG RQ PROWHQ VWHHO DW WKH GLmHUHQW SURGXFWLRQ VWDJHV IURP VWHHOPDNLQJ WR FRQWLQXRXV FDVWLQJ 7KH VWHHO SURGXFWLRQ SURFHVV LV ZHOO NQRZQ WR KDYH H[WUHPHO\ VWULFW UHTXLUHPHQWV RI PDWHULDO FRQWLQXLW\ DQG oRZ WLPH VHH IRU H[DPSOH 'RUQ DQG 6KDPV   /L[LQ 7DQJ HW DO   ,Q SDUWLFXODU WKH SURFHVVLQJ RI VWDLQOHVV VWHHO FRQVLVWV RI D VHTXHQFH RI KLJK WHPSHUDWXUH RSHUDWLRQV VWDUWLQJ ZLWK WKH ORDGLQJ RI VFUDS LURQ LQ D (OHFWULF $UF )XUQDFH ($)  7KH WLPH WR PHOW WKH VFUDS LURQ UDQJHV IURP  WR  PLQXWHV LQFOXGLQJ D IHZ PLQXWHV IRU VHWXS DQG IXUQDFH PDLQWHQDQFH RSHUDWLRQV

Scrap iron

LF

Buffer EAF

AOD

CC

Slabs

)LJXUH  /D\RXW RI WKH VWDLQOHVV VWHHO SURGXFWLRQ OLQH 7KH OLTXLG VWHHO LV SRXUHG LQWR ODGOHV WKDW D FUDQH WUDQVSRUWV WR D VXEVHTXHQW PDFKLQH FDOOHG $UJRQ 2[\JHQ 'HFDUEXUL]DWLRQ XQLW $2'  ZKHUH QLFNHO FKURPLXP DQG RWKHU HOH PHQWV DUH DGGHG WR WKH VWHHO LQ RUGHU WR PHHW WKH FKHPLFDO TXDOLW\ UHTXLUHPHQWV %HWZHHQ ($) DQG $2' WKHUH LV URRP IRU VWRULQJ XS WR WKUHH ODGOHV EXW VLQFH WKH VWRUHG VWHHO FRROV GRZQ LW PXVW EH UHKHDWHG LQ WKH $2' DGGLQJ H[WUD FRVWV $IWHU WKH $2' WKH ODGOHV DUH WUDQVSRUWHG WR D /DGOH )XUQDFH /) ZKLFK FDQ KRVW DW PRVW WZR ODGOHV (YHQ LI VRPH RSHUDWLRQV DUH H[HFXWHG LQ WKH /) LQ SUDFWLFH LW DFWV DV D EXmHU WR PDLQWDLQ WKH ODGOHV DW WKH SURSHU WHPSHUDWXUH EHIRUH WKH ODVW RSHUDWLRQ WR EH H[HFXWHG LQ WKH FRQWLQXRXV FDVWHU &&  +HUH WKH OLTXLG VWHHO LV FDVWHG DQG FRROHG WR IRUP VODEV 7KH && QHHGV WR EH WRROHG ZLWK D SDUWLFXODU WRRO FDOOHG o\LQJ WXQGLVK ZKLFK GHWHUPLQH WKH IRUPDW RI VODEV ,I WZR VXEVHTXHQW ODGOHV EHORQJ WR WKH VDPH ORW WKH\ PXVW EH FDVWHG ZLWKRXW LQWHUUXSWLRQ RWKHU ZLVH WKH WXQGLVK GHWHULRUDWHV DQG D VHWXS LV QHFHVVDU\ LQ RUGHU WR VXEVWLWXWH LW +RZHYHU 

WKH WXQGLVK PXVW EH FKDQJHG DQ\ZD\ ZKHQ VZLWFKLQJ IURP D ORW WR DQRWKHU DV ZHOO DV DIWHU D JLYHQ QXPEHU RI ODGOHV UDQJLQJ IURP  WR  ZKLFK GHSHQGV RQ WKH VWHHO TXDOLW\ 7KH VL]H RI D ORW PD\ YDU\ WKHUHIRUH IURP  WR  ODGOHV 7KH VHWXS WLPH QHHGV DERXW  PLQXWHV GXULQJ ZKLFK WKH && LV EORFNHG )LQDOO\ WKH WLPH KRUL]RQ IRU D SODQQLQJ SHULRG LV RQH ZHHN ZKLFK FRUUHVSRQGV WR DERXW DQ DYHUDJH RI  ODGOHV MREV DQG  ORWV +HQFH WKH VFKHGXOLQJ SUREOHP FDQ EH PRGHOHG DV D SHUPXWDWLRQ oRZ VKRS ZLWK OLPLWHG EXmHUV DQG WKUHH DGGLWLRQDO FRQVWUDLQWV q DOO SDUWV LQ D ORW PXVW EH VHTXHQFHG FRQVHFXWLYHO\ q WKHUH DUH VHTXHQFH LQGHSHQGHQW VHWXS WLPH RQ WKH ODVW PDFKLQH && EHWZHHQ WZR FRQVHFXWLYH ORWV q WKHUH LV D QRZDLW FRQVWUDLQW EHWZHHQ DQ\ WZR FRQVHFXWLYH FDVWLQJ RSHUDWLRQV LQ WKH VDPH ORW 7KH SUREOHP LV WR nQG D VHTXHQFH RI ORWV PD[LPL]LQJ WKH SURGXFWLRQ UDWH RI WKH SODQW GXULQJ D ZHHN 7KHUH LV DOVR WKH VHFRQGDU\ JRDO RI UHGXFLQJ WKH DPRXQW RI WLPH VSHQW E\ WKH ODGOHV LQ WKH nUVW EXmHU EHWZHHQ ($) DQG $2' HYHQ LI WKH SULPDU\ REMHFWLYH SXUVXHG E\ WKH VFKHGXOHUV LQ WKH SODQW LV WR PLQLPL]H WKH FRPSOHWLRQ WLPH RI DOO ORWV B1 EAF pEAF 0 0

B2

B3 0

0

0

0

0

0

pEAF

0

0

0

0

0

pEAF

0

0 0

LF2 AOD CC LF1 pLF2 pAOD pLF1

0 0

0 pAOD

0 pLF1

0 -pCC pCC pLF2

0 pAOD

0 pLF1

0 -pCC pCC pCC + pset-up pLF2

)LJXUH  7KH JUDSK UHSUHVHQWDWLRQ IRU D ORW ZLWK WKUHH ODGOHV ,Q )LJXUH  WKH DOWHUQDWLYH JUDSK FRUUHVSRQGLQJ WR D ORW ZLWK WKUHH ODGOHV LV UHSRUWHG 7KH SURFHVVLQJ RI D ODGOH LV D FKDLQ RI  QRGHV 7KH nUVW RQH FRUUHVSRQGV WR WKH VWDUWLQJ WLPH RI WKH KHDWLQJ RSHUDWLRQV LQ WKH ($) WKH QH[W WKUHH QRGHV UHSUHVHQWV WKH WKUHH SRVLWLRQV RI WKH VXEVHTXHQW EXmHU WKH nIWK QRGH LV DVVRFLDWHG WR WKH SURFHVVLQJ LQ $2' XQLW WKH VL[WK DQG VHYHQWK QRGHV DUH DVVRFLDWHG ZLWK WKH /) DQG WKH HLJKWK LV WKH FDVWLQJ RSHUDWLRQ 7KH SDLU RI DUFV EHWZHHQ WZR FRQVHFXWLYH FDVWLQJ RSHUDWLRQV UHSUHVHQWV WKH QR ZDLW FRQVWUDLQW RQ WKH && 7KH VHWXS WLPH RQ WKH FRQWLQXRXV FDVWHU LV UHSUHVHQWHG LQ )LJXUH  E\ LQFUHDVLQJ WKH ZHLJKW RQ WKH DUF RXWJRLQJ WKH ODVW QRGH 7KH ]HUR OHQJWK GLDJRQDO DUFV UHSUHVHQWV WKH EORFNLQJ FRQVWUDLQWV DQG DUH H[DFWO\ WKH GXPP\ DUFV RI 0F &RUPLFN HW DO  PHQWLRQHG HDUOLHU LQ WKLV VHFWLRQ 1RWLFH WKDW LQ )LJXUH  WKHUH DUH VRPH F\FOHV RI OHQJWK S/)  b S&& DQG S/)   S/)  b S&&  &OHDUO\ IRU D VROXWLRQ WR EH IHDVLEOH S/)  › S&& DQG S/)  › S&& PXVW KROG *LYHQ D SDLU RI ORWV ZH IRUPXODWH WKH FDSDFLW\ FRQVWUDLQW RI WKH PDFKLQHV E\ DGGLQJ DQ DOWHUQDWLYH SDLU RI DUFV IRU HDFK PDFKLQH LQFOXGLQJ EXmHU SRVLWLRQV  1RWLFH WKDW DOO PDFKLQHV EXW WKH && KHUH DUH EORFNLQJ PDFKLQHV 7KH FRPSOHWH DOWHUQDWLYH JUDSK IRU WZR ORWV LV UHSRUWHG LQ )LJXUH  +HUH WKH nUVW ORW KDV  ODGOHV DQG WKH VHFRQG ORW KDV  ODGOHV )L[HG >DOWHUQDWLYH@ DUFV DUH GHSLFWHG ZLWK VROLG >GDVKHG@ OLQHV (DFK SDLU RI DOWHUQDWLYH DUFV UHSUHVHQW WKH FRQVWUDLQW 

WKDW WKH ODVW RSHUDWLRQ LQ D ORW WR EH H[HFXWHG RQ D JLYHQ PDFKLQH PXVW SUHFHGH WKH nUVW RSHUDWLRQ RI WKH RWKHU ORW WR EH H[HFXWHG RQ WKH VDPH PDFKLQH RU YLFHYHUVD ,Q RUGHU WR WDNH LQWR DFFRXQW WKH VHFRQGDU\ JRDO DOVR LH UHGXFLQJ WKH DPRXQW RI WLPH VSHQW E\ WKH ODGOHV EHWZHHQ ($) DQG $2' ZH DGGHG IRU HDFK ODGOH DQ DUF IURP WKH $2' QRGH WR WKH % QRGH 7KH ZHLJKW RQ WKLV DUF LV QHJDWLYH DQG HTXDOV LQ YDOXH WKH PD[LPXP VWRUDJH WLPH : DOORZHG IRU D ODGOH LQ WKLV EXmHU :H WKHQ UXQ WKH DOJRULWKP IRU GLmHUHQW YDOXHV RI : WKXV UHGXFLQJ WRWDO DPRXQW RI WLPH VSHQW E\ WKH ODGOHV LQ WKLV EXmHU ZLWKRXW DmHFWLQJ WKH WKURXJKSXW RI WKH OLQH

0

0

0

pEAF

0

0

0

pEAF

0

0

0

pEAF

0

0

p’ EAF 0 p’ EAF

0

0

0 0 0

0 -W 0

0

0 -W 0

0 -W 0 0 -W

0 pAOD

0 0

0

0

0

0

0

p’ AOD

0

0 p’ AOD

0 0

pLF2

pLF1

0 pAOD

0

0 -W 0

0

pAOD

0

0 pLF1

0 -pCC pCC pLF2

0 pLF1

pCC

0

p’ LF1 0 p’ LF1

0 -pCC pLF2

0

0

p’ CC + p’ set-up

pCC + pset-up

pCC + pset-up

p’ LF2 0 -p’ CC p’ LF2

p’ CC

p’ CC + p’ set-up

)LJXUH  7KH DOWHUQDWLYH JUDSK IRU WZR ORWV



7UDLQ VFKHGXOLQJ

7UDLQ VFKHGXOLQJ SUREOHP LV DQ LPSRUWDQW VFKHGXOLQJ SUREOHP WKDW KDV UHFHLYHG DQ LQ FUHDVLQJO\ DWWHQWLRQ LQ UHFHQW \HDUV ,Q IDFW PRVW UDLO FRPSDQLHV DUH QRZ GHYHORSLQJ DQG LPSOHPHQWLQJ DGYDQFHG WUDLQ FRQWURO V\VWHPV WKDW SURYLGH UHDO WLPH LQIRUPDWLRQ RQ WKH SRVLWLRQ DQG VSHHG RI WKH WUDLQV 7KLV V\VWHPV VKRXOG KHOS LQ UHGXFLQJ HQHUJ\ FRQVXPS WLRQ DQG LQFUHDVLQJ WUDLQ SXQFWXDOLW\ DQG OLQH FDSDFLW\ $V SRLQWHG RXW IRU H[DPSOH E\ +DOORZHOO DQG +DUNHU   LQ RUGHU WR UHDFK WKH DERYH JRDOV WKH WUHQG LV IRU D PDV WHU VFKHGXOLQJ RSHUDWLQJ VWUDWHJ\ ,W FRQVLVWV LQ RmOLQH GHYHORSLQJ D GHWDLOHG WLPHWDEOH IRU WKH WUDLQV DG RSHUDWH LQ UHDO WLPH ZLWK VWULFW DGKHUHQFH WR WKHVH VFKHGXOHV &OHDUO\ XQIRUHVHHQ HYHQWV VXFK DV WKH WHPSRUDU\ XQDYDLODELOLW\ RI UHVRXUFHV HJ GULYHUV ZDJ RQV HQJLQHV VLJQDOV HQHUJ\ SRZHU HWF PD\ UHTXLUH WR SDUWLDOO\ PRGLI\ LQ UHDO WLPH WKH SODQQHG PDVWHU VFKHGXOH 7KLV RQOLQH SURFHVV LV FDOOHG FRQoLFW UHVROXWLRQ D FRQoLFW RFFXUV HJ ZKHQ WZR WUDLQV UHTXLUH WKH VDPH VHJPHQW RI WUDFN DW WKH VDPH WLPH  (YHQ LI WKH FRQoLFW UHVROXWLRQ LV SHUIRUPHG E\ KXPDQ GLVSDWFKHUV DOO RYHU WKH ZRUOG VHYHUDO FRPSXWHUL]HG V\VWHPV KDV EHHQ GHVLJQHG DQG LPSOHPHQWHG WR VXSSRUW WKH GLVSDWFKHUV WR TXLFNO\ DQG HmHFWLYHO\ UHVFKHGXOH WKH WUDLQ PRYHPHQWV DPRQJ WKH SXEOLVKHG UHVXOWV ZH FLWH WKH SDSHUV RI $GHQVR'urD] 2OLYD *RQ]uDOH] DQG *RQ]uDOH]7RUUH   DQG &DL *RK DQG 0HHV   

7KH PDLQ JRDO IRU D FRPSXWHUL]HG FRQoLFW UHVROXWLRQ V\VWHP VKRXOG EH WR SUHYHQW WKH GLVSDWFKHU IURP WDNLQJ ZURQJ GHFLVLRQV VXFK DV FDXVLQJ D GHDGORFN VLWXDWLRQ LQ WKH QHWZRUN +HQFH WKH SUREOHP LV WR TXLFNO\ nQG D IHDVLEOH VDWLVIDFWRU\ VROXWLRQ WKLV LV FDOOHG FRQoLFWIUHH VFKHGXOH  LH D GHDGORFNIUHH VFKHGXOH FORVH HQRXJK WR WKH PDVWHU VFKHGXOH ,Q RWKHU ZRUGV ZKHQ D SUHFLVH GHnQLWLRQ RI VDWLVIDFWRU\ VROXWLRQ LV JLYHQ WKH SUREOHP EHFRPHV D FRQVWUDLQW VDWLVIDFWLRQ SUREOHP $V VKRZQ LQ WKH UHFHQW VXUYH\ SDSHU RI &RUGHDX 7RWK DQG 9LJR   PRVW RI WKH SDSHUV RQ WKLV VXEMHFW DUH FRQFHUQHG ZLWK WKH VLQJOH OLQH FDVH ZKHUHDV ZH REVHUYH WKDW D JHQHUDO FRQoLFW UHVROXWLRQ V\VWHP VKRXOG EH DEOH WR FRQWURO DW OHDVW D VLPSOH QHWZRUN :H QH[W VKRZ WKDW WKLV SUREOHP FDQ EH HDVLO\ IRUPXODWHG E\ PHDQV RI WKH DOWHUQDWLYH JUDSK 7R WKLV DLP ZH QHHG D EULHI GHVFULSWLRQ RI WKH WUDLQ VFKHGXOLQJ SUREOHP ,Q LWV EDVLF IRUP D UDLOZD\ QHWZRUN LV FRPSRVHG E\ WUDFN OLQHV VWDWLRQV DQG VLJQDOV 6LJQDOV DOORZV WR FRQWURO WKH WUDpF RQ WKH QHWZRUN DQG WR DYRLG DQ\ SRWHQWLDO FROOLVLRQ DPRQJ WUDLQV 7KHUH DUH VLJQDOV EHIRUH HYHU\ VWDWLRQ SDVVLQJ ORRS MXQFWLRQ HWF DV ZHOO DV DORQJ WKH OLQHV $ EORFN VHFWLRQ LV D WUDFN VHJPHQW EHWZHHQ WZR VLJQDOV 6LJQDOLQJ V\VWHPV YDU\ TXLWH D ORW IURP FRXQWU\ WR FRXQWU\ :H QH[W GHVFULEH D VLP SOLnHG YHUVLRQ RI WKH ,WDOLDQ VLJQDOLQJ V\VWHP DORQJ WKH OLQHV WKH VLJQDOLQJ V\VWHP LQ WKH VWDWLRQV LV PRUH FRPSOH[  $ VLJQDO PD\ EH HLWKHU UHG \HOORZ RU JUHHQ $ UHG VLJQDO PHDQV WKDW WKH VXEVHTXHQW EORFN VHFWLRQ LV HLWKHU RXW RI VHUYLFH RU RFFXSLHG E\ DQRWKHU WUDLQ D \HOORZ VLJQDO PHDQV WKDW WKH VXEVHTXHQW EORFN VHFWLRQ LV HPSW\ EXW WKH IROORZLQJ EORFN VHFWLRQ LV RFFXSLHG E\ DQRWKHU WUDLQ DQG D JUHHQ VLJQDO PHDQV WKDW WKH QH[W WZR EORFN VHFWLRQV DUH HPSW\ $ WUDLQ LV DOORZHG WR HQWHU D EORFN VHFWLRQ GHSHQGLQJ ERWK RQ LWV VSHHG DQG RQ WKH VLJQDO FRORU 6ORZ WUDLQV FDQ HQWHU D EORFN VHFWLRQ RQO\ LI WKH VLJQDO LV HLWKHU JUHHQ RU \HOORZ IDVW WUDLQV FDQ HQWHU D EORFN VHFWLRQ DW KLJK VSHHG RQO\ LI WKH VLJQDO LV JUHHQ +HQFH HDFK VHFWLRQ FDQ KRVW DW PRVW RQH WUDLQ DW D WLPH $ EORFN VHFWLRQ WDNHV D JLYHQ WLPH WR EH FRYHUHG ZKLFK LV NQRZQ LQ DGYDQFH IRU HDFK WUDLQ &OHDUO\ EHVLGHV WKH FRYHU WLPH D GHOD\ PD\ RFFXU DW WKH HQG RI D EORFN VHFWLRQ LI WKH VLJQDO LV UHG RU \HOORZ 7KH PDWKHPDWLFDO PRGHO RI WKH WUDLQ VFKHGXOLQJ SUREOHP LV WKHUHIRUH VLPLODU WR WKDW RI EORFNLQJ MRE VKRS VFKHGXOLQJ SUREOHP D EORFN VHFWLRQ FRUUHVSRQGLQJ WR D EORFNLQJ PDFKLQH DQG D WUDLQ FRUUHVSRQGLQJ WR D MRE +HQFH D QRGH LQ WKH DOWHUQDWLYH JUDSK FRUUHVSRQGV WR WKH WLPH DW ZKLFK D JLYHQ WUDLQ HQWHU D JLYHQ EORFN VHFWLRQ 7KH PDLQ GLmHUHQFH LV WKDW D IDVW WUDLQ QHHGV WZR HPSW\ VHFWLRQV DQG WKLV FDQ EH HDVLO\ PRGHOHG E\ VXLWDEO\ FKRRVLQJ WKH RSHUDWLRQ R} L  DVVRFLDWHG WR RSHUDWLRQ RL  )LJXUH  VKRZV DQ H[DPSOH IRU WKH FDVH RI WZR WUDLQV PRYLQJ LQ WKH VDPH GLUHFWLRQ WUDLQ $ LV VORZ DQG WUDLQ % LV IDVW QRGHV L DQG M UHIHU WR WKH VDPH EORFN VHFWLRQ N +HUH SKN LV WKH FRYHU WLPH IRU WUDLQ K DQG EORFN VHFWLRQ N ,I WUDLQ % SUHFHGHV $ RQ EORFN VHFWLRQ N WUDLQ $ PXVW ZDLW XQWLO WKH VHFWLRQ LV HPSW\ LH XQWLO WUDLQ % HQWHUV VHFWLRQ N   2Q WKH FRQWUDU\ LI WUDLQ $ HQWHUV EORFN VHFWLRQ N EHIRUH % WKHQ WUDLQ % PXVW ZDLW XQWLO WKH QH[W WZR VHFWLRQV DUH HPSW\ LH XQWLO WUDLQ $ UHDFKHV EORFN VHFWLRQ N   :H REVHUYH WKDW GLmHUHQW WUDLQV KDV GLmHUHQW IXUWKHU UHTXLUHPHQWV )RU HQHUJ\ VDYLQJ UHDVRQV IUHLJKW WUDLQV VKRXOG QRW YDU\ WKHLU VSHHG 0RUH LPSRUWDQW LI D UDLOZD\ OLQH VORSHV XS RYHU D FHUWDLQ JUDGLHQW WKHQ WKHUH DUH VRPH IUHLJKW WUDLQV WKDW VKRXOG QRW GHFUHDVH WKHLU VSHHG XQGHU D FHUWDLQ OLPLW RWKHUZLVH WKH\ ZRXOG QRW EH DEOH WR UHDFK WKH WRS GXH WR KRUVHSRZHU UHDVRQV $OO WKHVH FRQVWUDLQWV FDQ EH HDVLO\ PRGHOHG E\ VSHFLI\LQJ D PD[LPXP WLPH IRU PRYLQJ IURP RQH SRLQW WR DQRWKHU LH E\ LQWURGXFLQJ SHULVKDELOLW\ FRQVWUDLQWV 7KH UHTXLUHPHQW WKDW D SDVVHQJHU WUDLQ VKRXOG QRW EH WRR LQ ODWH DW WKH VWRS 

i

p A(k+1) σ(i) p A(k+2)

pAk

A

0 0

B

pBk

j

0 0

σ(j)

p B(k+1)

p B(k+2)

)LJXUH  7KH JUDSK UHSUHVHQWDWLRQ IRU WZR WUDLQV VWDWLRQV FDQ DOVR EH HDVLO\ PRGHOHG DV D GXH GDWH FRQVWUDLQW )LJXUH  VKRZV D VPDOO UDLOZD\ QHWZRUN ZLWK D VLPSOH VWDWLRQ ZLWK WZR SODWIRUPV GHQRWHG DV  DQG   IRXU EORFN VHFWLRQV GHQRWHG DV    DQG   DQG IRXU RWKHU UHVRXUFHV GHQRWHG DV    DQG   HDFK FRPSRVHG E\ D VHW RI WUDFN VHJPHQWV WKDW DOORZ D WUDLQ WR HQWHU RU WR OHDYH WKH VWDWLRQ $OO WKHVH UHVRXUFHV KDYH FDSDFLW\ RQH $VVXPH WKDW DW WLPH W WKHUH DUH WKUHH VORZ WUDLQV LQ WKH QHWZRUN 7UDLQ $ LV D IUHLJKW WUDLQ JRLQJ IURP EORFN VHFWLRQ  WR EORFN VHFWLRQ  DQG SDVVLQJ WKURXJK SODWIRUP  ZLWKRXW VWRSSLQJ +HUH m LV WKH WLPH QHHGHG WR SDVV WKURXJK DOO WKH WUDFN VHJPHQWV DW WKH ORZHVW VSHHG DOORZHG 7UDLQ % LV D SDVVHQJHU WUDLQ JRLQJ IURP EORFN VHFWLRQ  WR EORFN VHFWLRQ  DQG SDVVLQJ WKURXJK SODWIRUP  )LQDOO\ WUDLQ & LV D SDVVHQJHU WUDLQ JRLQJ IURP EORFN VHFWLRQ  WR EORFN VHFWLRQ  DQG VWRSSLQJ RQ SODWIRUP  ,WV ODWHVW GHSDUWXUH WLPH IURP WKH VWDWLRQ LV n C

7

4 A

1

2

3

5

10

6

8

B

9

)LJXUH  $ VPDOO UDLO QHWZRUN -α A 1

2

3

5

6

8

10

1

2

4

5

6

8

9 B

1

2

4

5

6

7 C



)LJXUH  7KH DOWHUQDWLYH JUDSK IRU WKH H[DPSOH ZLWK WKUHH WUDLQV ,Q )LJXUH  WKH DOWHUQDWLYH JUDSK IRU WKLV H[DPSOH LV UHSRUWHG )RU VDNH RI FODULW\ ZH PDNH XVH RI D GLmHUHQW QRWDWLRQ KHUH (DFK QRGH RI WKH DOWHUQDWLYH JUDSK LV GHQRWHG E\ 

WKH SDLU WUDLQ WUDFN VHJPHQW  (DFK DOWHUQDWLYH SDLU RI DUFV LV DVVRFLDWHG WR WKH XVDJH RI VRPH FRPPRQ UHVRXUFH ,Q SDUWLFXODU WUDLQV $ DQG % VKDUH UHVRXUFHV     DQG  7UDLQV $ DQG & VKDUH UHVRXUFHV    DQG  7UDLQV % DQG & VKDUH UHVRXUFHV     DQG  1RWH WKDW WKH LQLWLDO SRVLWLRQ RI WUDLQ $ LPSOLHV WKDW % DQG & DUH QRW DOORZHG WR SUHFHGH $ RQ EORFN VHFWLRQ  DQG WKHUHIRUH ZH KDYH WKH VHOHFWHG DOWHUQDWLYH DUFV $ % DQG $ &  7KH UHVSHFWLYH IRUELGGHQ DOWHUQDWLYH DUFV DUH QRW GHSLFWHG 2Q DOO WKH DOWHUQDWLYH DUFV WKHUH LV DQ DUELWUDULO\ VPDOO ZHLJKW q !  ZKLOH WKH n[HG DUFV ZLWK QHJDWLYH ZHLJKW UHSUHVHQWV WKH SHULVKDELOLW\ DQG GXH GDWH FRQVWUDLQWV ,Q )LJXUH  WKH GXPP\ QRGH  DQG Q DUH QRW GHSLFWHG DQG WKHUHIRUH DUH QRW GHSLFWHG WKH n[HG DUFV  $   %   &  $ Q  % Q  DQG & Q  )LQDOO\ WKH DUF ZLWK QHJDWLYH ZHLJKW bn LV WKH DUF &  



)LQGLQJ D IHDVLEOH VROXWLRQ

,Q WKLV VHFWLRQ ZH DGGUHVV WKH SUREOHP RI nQGLQJ DQ H[WHQVLRQ RI D FRQVLVWHQW VHOHFWLRQ ,Q SDUWLFXODU ZH WU\ WR LGHQWLI\ D ERXQGDU\ EHWZHHQ SRO\QRPLDOO\ VROYDEOH DQG 13FRPSOHWH FDVHV RI WKLV IHDVLELOLW\ SUREOHP 0RUH IRUPDOO\ WKH IHDVLELOLW\ SUREOHP FDQ EH VWDWHG DV IROORZV 3UREOHP  *LYHQ DQ DOWHUQDWLYH JUDSK * WKHUH DQ H[WHQVLRQ RI 6"

1 ) $ DQG D FRQVLVWHQW VHOHFWLRQ 6 LV

3URSRVLWLRQ  3UREOHP  LV 13FRPSOHWH HYHQ LI WKHUH LV RQO\ RQH DUF ZLWK QHJDWLYH ZHLJKW 3URRI ,Q RUGHU WR SURYH WKH SURSRVLWLRQ LW LV VXpFLHQW WR REVHUYH WKDW WKHUH LV DQ 13 FRPSOHWH SUREOHP ZKLFK FDQ EH IRUPXODWHG DV WKH SUREOHP RI nQGLQJ D FRPSOHWH VHOHFWLRQ LQ D FHUWDLQ DOWHUQDWLYH JUDSK ZLWK RQH QHJDWLYH OHQJWK DUF &RQVLGHU WKH GLVMXQFWLYH JUDSK IRUPXODWLRQ RI WKH MRE VKRS SUREOHP ZLWK LQnQLWH EXmHUV LQ ZKLFK DOO DUFV DUH QRQ QHJDWLYH  DQG DGG WR WKH IRUPXODWLRQ WKH DUF Q  ZLWK QHJDWLYH OHQJWK b' 7KLV LV FOHDUO\ D SDUWLFXODU DOWHUQDWLYH JUDSK $V D SDUWLFXODU VHOHFWLRQ FRQVLGHU WKH HPSW\ VHOHFWLRQ 6  LH DOO WKH SDLUV RI DOWHUQDWLYH DUFV DUH XQVHOHFWHG 7KHQ nQGLQJ DQ H[WHQVLRQ RI 6 FRUUHVSRQGV WR nQGLQJ D VFKHGXOH ZLWK PDNHVSDQ VPDOOHU RU HTXDO WR ' ZKLFK LV DQ 13FRPSOHWH SUREOHP VHH *DUH\ DQG -RKQVRQ   ,PSRUWDQW VXEFDVHV RI 3UREOHP  DULVH ZKHQ GHDOLQJ ZLWK D MRE VKRS SUREOHP LQ ZKLFK DOO WKH RSHUDWLRQV DUH RI WKH VDPH W\SH :H VD\ WKDW D SDUWLFXODU DOWHUQDWLYH JUDSK LV D IRUPXODWLRQ RI D MRE VKRS SUREOHP LI WKH n[HG DUFV IRUP D VHW RI GLVWLQFW FKDLQV FRQ QHFWLQJ WKH VWDUW QRGH  WR WKH nQLVK QRGH Q :H GLVWLQJXLVK WKUHH VXEFDVHV RI 3UREOHP  L LGHDO MRE VKRS SUREOHP ,-6  LQ WKLV FDVH DOO WKH RSHUDWLRQV DUH LGHDO LH WKH DOWHUQDWLYH JUDSK IRUPXODWLRQ RI WKH SUREOHP FRLQFLGHV ZLWK D GLVMXQFWLYH JUDSK LL EORFNLQJ QR VZDS MRE VKRS SUREOHP %16  LQ WKLV FDVH DOO WKH RSHUDWLRQV DUH EORFNLQJ DQG WKH VZDS LV QRW DOORZHG 0RUH IRUPDOO\ IRU HDFK SDLU RI RSHUDWLRQV L DQG M WR EH SHUIRUPHG RQ WKH VDPH PDFKLQH WKHUH LV D SDLU RI DOWHUQDWLYH DUFV } L  M  } M  L VHH )LJXUH  D  )RU DOO WKH DOWHUQDWLYH DUFV WKHUH LV D VPDOO ZHLJKW q LLL EORFNLQJ MRE VKRS SUREOHP ZLWK VZDS DOORZHG %:6  LQ WKLV FDVH DOO WKH RSHUDWLRQV 

DUH EORFNLQJ DQG WKH VZDS LV DOORZHG 7KLV FDVH LV VLPLODU WR WKH SUHYLRXV RQH EXW DOO WKH DOWHUQDWLYH DUFV KDYH OHQJWK ]HUR ,Q ZKDW IROORZV ZH GHWHUPLQH WKH FRPSOH[LW\ RI WKH DERYH WKUHH VXEFDVHV RI 3UREOHP  :H VWDUW E\ SURYLQJ WKH 13FRPSOHWHQHVV RI SUREOHP %16 $V LQ 3URSRVLWLRQ  ZH VKRZ WKDW WKHUH LV DQ 13FRPSOHWH SUREOHP ZKLFK FDQ EH IRUPXODWHG DV WKH SUREOHP RI nQGLQJ D FRPSOHWH VHOHFWLRQ LQ D FHUWDLQ DOWHUQDWLYH JUDSK 7R WKLV DLP ZH PXVW LQWURGXFH VRPH GHnQLWLRQV $ SDFNHW VZLWFKLQJ NQHWZRUN DOVR FDOOHG VWRUHDQGIRUZDUG NQHWZRUN EULHo\ 6) N QHWZRUN FDQ EH UHSUHVHQWHG DV DQ XQGLUHFWHG JUDSK + 9 (  ZKHUH WKH YHUWLFHV VWDQG IRU SURFHVVRUV DQG WKH HGJHV IRU FRPPXQLFDWLRQ OLQNV :LWK HDFK YHUWH[ LV DVVRFLDWHG D EXmHU RI FDSDFLW\ N $ SDFNHW LV D PHVVDJH DYDLODEOH RQ D VRXUFH SURFHVVRU ZKLFK PXVW EH VHQW WR DQRWKHU GHVWLQDWLRQ SURFHVVRU $Q DF\FOLF URXWH IRU D SDFNHW S LV D GLUHFWHG SDWK RQ WKH QHWZRUN DVVRFLDWHG ZLWK S LH JRLQJ IURP WKH VRXUFH WR WKH GHVWLQDWLRQ YHUWH[ RI S $ SDFNHW LV VXEMHFW WR WKUHH NLQG RI PRYHV  *HQHUDWLRQ $W DQ\ WLPH D YHUWH[ Y LQ WKH QHWZRUN PD\ FUHDWHV D SDFNHW S ZKLFK LV SODFHG LQ RQH RI LWV HPSW\ EXmHUV WKHQ Y LV VDLG WR EH WKH VRXUFH RI S  &RQVXPSWLRQ $ YHUWH[ Y FDQ UHPRYH D SDFNHW S SUHVHQW LQ LWV EXmHU SURYLGHG WKDW Y LV WKH GHVWLQDWLRQ RI S  3DVVLQJ $ YHUWH[ Y FDQ WUDQVIHUV D SDFNHW S IURP RQH RI LWV EXmHUV WR DQ HPSW\ EXmHU RI YHUWH[ Z ZKHUH Y Z LV DQ HGJH RI ( RQ WKH SDWK VSHFLI\LQJ WKH URXWH RI S $IWHU S KDV EHHQ PRYHG S LV UHPRYHG IURP WKH EXmHU RI Y KROGLQJ LW 2I FRXUVH LI QR EXmHU RI Z LV HPSW\ WKHQ S FDQQRW EH WUDQVIHUUHG DQG UHPDLQV RQ Y LQ WKLV FDVH S LV EORFNHG $ 6) NQHWZRUN LV LQ D GHDGORFN VWDWH LI WKHUH DUH SDFNHWV ZKLFK ZLOO UHPDLQ EORFNHG IRU HYHU *LYHQ D 6) NQHWZRUN D VHW RI SDFNHWV DQG EHLQJ n[HG WKH LQLWLDO SRVLWLRQ DQG WKH URXWH IRU HDFK SDFNHW WKH QHWZRUN LV GHDGORFN VDIH LI WKHUH LV D VHTXHQFH RI PRYHV VXFK WKDW DOO SDFNHWV FDQ UHDFK WKHLU UHVSHFWLYH GHVWLQDWLRQV 2Q WKH FRQWUDU\ WKH QHWZRUN LV ERXQG WR GHDGORFN LI D GHDGORFN ZLOO QHFHVVDULO\ RFFXU IRU DQ\ VHTXHQFH RI PRYHV $UELE ,WDOLDQR DQG 3DQFRQHVL  VWXGLHG WKH IROORZLQJ SUREOHP 3UREOHP  *LYHQ D 6) NQHWZRUN + DQG D VHW RI URXWHV LQ + LV WKH QHWZRUN GHDGORFN VDIH" 7KHRUHP  3UREOHP  LV 13&RPSOHWH RQ 6) QHWZRUNV 3URRI VHH $UELE ,WDOLDQR DQG 3DQFRQHVL   &OHDUO\ E\ YLHZLQJ WKH 6) QHWZRUN YHUWLFHV DV EORFNLQJ PDFKLQHV WKLV LV WKH SUREOHP RI SUHGLFWLQJ ZKHWKHU D IHDVLEOH VFKHGXOH LQ D %16 SUREOHP H[LVWV RU QRW EHLQJ n[HG WKH LQLWLDO SRVLWLRQ IRU D VXEVHW RI WKH MREV 7R n[ WKH LQLWLDO SRVLWLRQ RI D MRE FRUUHVSRQGV WR WKH IDFW WKDW WKH nUVW RSHUDWLRQ RI WKH MRE PXVW SUHFHGH DOO WKH RWKHU RSHUDWLRQV WR EH SURFHVVHG RQ WKH VDPH PDFKLQH LH LW FRUUHVSRQGV WR D SDUWLFXODU VHOHFWLRQ 6 )RU DQ LQLWLDO DVVLJQPHQW WR EH IHDVLEOH QR WZR MREV FDQ EH DVVLJQHG WR WKH VDPH PDFKLQH DV 

LQLWLDO SRVLWLRQ +HQFH WKH VHOHFWLRQ LV FRQVLVWHQW LI DQG RQO\ LI WKH LQLWLDO SRVLWLRQ RI WKH MREV LV IHDVLEOH ,Q WKH UHVW RI WKH SDSHU ZH ZLOO UHIHU WR VXFK D VHOHFWLRQ DV SRVLWLRQDO VHOHFWLRQ 0RUH SUHFLVHO\ JLYHQ DQ DOWHUQDWLYH JUDSK * 1 ) $  FRQVLGHU D SDUWLWLRQ RI WKH VHW RI DOO QRGHV LQWR WZR VHWV 3 DQG 4 VXFK WKDW WKH VWDUW QRGH   3  DQG WKH nQLVK QRGH Q  4 DQG WKHUH DUH QRW WZR QRGHV L  4 M  3 VXFK WKDW L M  )  :H GHnQH ERUGHU RI 3 DV WKH VHW RI QRGHV %3 IL  3 MM  4 L M  ) J DQG ERUGHU RI 4 DV WKH VHW RI QRGHV %4 IM  4ML  3 L M  ) J 'HnQLWLRQ  *LYHQ WKH DOWHUQDWLYH JUDSK FRUUHVSRQGLQJ WR D MRE VKRS SUREOHP ZH VD\ WKDW D VHOHFWLRQ LV D SRVLWLRQDO VHOHFWLRQ LI WKHUH DUH WZR VHWV 3 DQG 4 VXFK WKDW  DOO WKH DOWHUQDWLYH DUFV K N VXFK WKDW K  3 DUH HLWKHU IRUELGGHQ RU VHOHFWHG  DOO WKH DOWHUQDWLYH DUFV K N VXFK WKDW K  4 N  3 DUH IRUELGGHQ  DOO WKH DOWHUQDWLYH DUFV K N VXFK WKDW K  4 b %4  N  4 DUH XQVHOHFWHG 3UREOHP  RQ 6) QHWZRUNV FDQ EH WKHUHIRUH IRUPXODWHG E\ PHDQV RI DQ DOWHUQDWLYH JUDSK DQG D FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ 6 7KH SUREOHP FRQVLVWV RI GHFLGLQJ ZKHWKHU DQ DF\FOLF H[WHQVLRQ RI 6 H[LVWV RU QRW 6LQFH LQ WKH SDFNHW VZLWFKLQJ QHWZRUNV SUREOHP WKH SURFHVVLQJ WLPHV RI WKH MREV DUH QRW VSHFLnHG ZH FDQ n[ WKHP DUELWUDULO\ 7KH RQO\ UHTXLUHPHQWV IRU WKH DUF ZHLJKWV HLWKHU n[HG RU DOWHUQDWLYH  LQ WKH DVVRFLDWHG DOWHUQDWLYH JUDSK IRUPXODWLRQ LV WKDW WKH\ PXVW EH DOO SRVLWLYH ,Q IDFW D F\FOH RI EORFNLQJ MREV LV QRW IHDVLEOH LQ WKLV FDVH DQG WKH SRVLWLYH OHQJWK DUFV JXDUDQWHH WKDW D FRQVLVWHQW VHOHFWLRQ LV DOVR DF\FOLF 1RWLFH WKDW DQ DF\FOLF H[WHQVLRQ RI 6 FRUUHVSRQGV WR D IHDVLEOH VFKHGXOH LQGHSHQGHQWO\ RQ WKH SURFHVVLQJ WLPHV RI WKH MREV +HQFH WKH IROORZLQJ SURSRVLWLRQV DUH SURYHG 3URSRVLWLRQ  3UREOHP  RQ QHWZRUNV LV HTXLYDOHQW WR WKH SUREOHP RI SUHGLFWLQJ ZKHWKHU D IHDVLEOH VFKHGXOH H[LVWV RU QRW LQ D %16 SUREOHP JLYHQ D FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ 3URSRVLWLRQ  3UREOHP  LV 13FRPSOHWH HYHQ LI DOO DUFV KDYH WKH VDPH SRVLWLYH ZHLJKW 3URSRVLWLRQ  ,Q %16 SUREOHP JLYHQ D FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ 6 SUHGLFWLQJ ZKHWKHU D IHDVLEOH VFKHGXOH H[LVWV RU QRW LV DQ 13FRPSOHWH SUREOHP 7KH UHVW RI WKLV VHFWLRQ LV GHYRWHG WR SRO\QRPLDOO\ VROYDEOH FDVHV RI WKH MRE VKRS SUREOHP :H nUVW UHFDOO D ZHOO NQRZQ UHVXOW IRU WKH ,-6 FDVH 3URSRVLWLRQ  ,Q ,-6 SUREOHP IRU DQ\ FRQVLVWHQW VHOHFWLRQ DOZD\V H[LVWV DQ H[WHQVLRQ 3URRI ,Q RUGHU WR SURYH 3URSRVLWLRQ  LW LV VXpFLHQW WR REVHUYH WKDW JLYHQ DQ LGHDO MRE VKRS IRUPXODWLRQ D FRQVLVWHQW VHOHFWLRQ 6 DQG DQ XQVHOHFWHG SDLU RI DOWHUQDWLYH DUFV L M  M L  $ LW LV SRVVLEOH WR REWDLQ D ODUJHU FRQVLVWHQW VHOHFWLRQ E\ DGGLQJ WR 6 RQH RI WKH WZR DOWHUQDWLYH DUFV 

&RQVLGHU WKH WZR VHOHFWLRQV 6  6 > I L M J DQG 6  6 > I M L J ,I 6  LV QRW FRQVLVWHQW WKHQ WKH JUDSK * 6  FRQWDLQV D F\FOH LQFOXGLQJ DUF L M  DQG WKHUHIRUH * 6 FRQWDLQV D GLUHFWHG SDWK IURP M WR L ,I 6  LV QRW FRQVLVWHQW WKHQ WKH JUDSK * 6  FRQWDLQV D F\FOH LQFOXGLQJ DUF M L  DQG WKHUHIRUH * 6 FRQWDLQV D GLUHFWHG SDWK IURP L WR M 7KHVH WZR SDWKV IRUP D F\FOH LQ * 6  ZKLFK FRQWUDGLFWV WKH K\SRWKHVLV WKDW 6 LV FRQVLVWHQW %\ UHSHDWHGO\ DSSO\LQJ WKLV DUJXPHQW LW LV SRVVLEOH WR REWDLQ DQ H[WHQVLRQ RI 6 /HW XV QRZ FRQVLGHU %:6 SUREOHP :H nUVW REVHUYH WKDW 3URSRVLWLRQ  GRHV QRW KROG LQ WKH EORFNLQJ FDVH IRU D JHQHUDO FRQVLVWHQW VHOHFWLRQ $ VLPSOH FRXQWHUH[DPSOH DULVHV LQ D oRZ VKRS ZLWK WZR MREV DQG WKUHH EORFNLQJ PDFKLQHV VHH )LJXUH   +HUH 0   RSHUDWLRQV R DQG R KDYH WR EH SURFHVVHG RQ WKH VDPH PDFKLQH LH 0  0RUHRYHU 0  0   0  0   ZKLOH WKH VWDUW DQG nQLVK RSHUDWLRQV R DQG R  UHVSHFWLYHO\ DUH GXPP\ RSHUDWLRQV 7KH VHOHFWLRQ 6 I      J LV FRQVLVWHQW EXW QR H[WHQVLRQ H[LVWV LQ WKLV FDVH VLQFH LW LV QRW SRVVLEOH WR VHOHFW RQH DUF IURP WKH SDLU      ZLWKRXW FUHDWLQJ D SRVLWLYH OHQJWK F\FOH LQ WKH JUDSK :H QH[W VKRZ WKDW IRU D UHVWULFWHG FODVV RI VHOHFWLRQV D SURSHUW\ VLPLODU WR WKH RQH LQ 3URSRVLWLRQ  KROGV DOVR LQ WKH EORFNLQJ FDVH

0

1

2

0

0 0

p1

p2 0

3 p6

0 4

p4

5

p5

p3

6

7 p6

)LJXUH  $ FRQVLVWHQW VHOHFWLRQ DGPLWWLQJ QR H[WHQVLRQV 7KHRUHP  ,Q %:6 SUREOHP IRU DQ\ FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ DOZD\V H[LVWV DQ H[WHQVLRQ 7KHRUHP  DOVR VKRZV DQ LPSRUWDQW GLmHUHQFH EHWZHHQ SUREOHPV %16 DQG %:6 ,Q RUGHU WR SURYH LW ZH QHHG VRPH SUHOLPLQDU\ UHVXOWV )LUVW UHFDOO WKDW LQ WKH DOWHUQDWLYH JUDSK IRUPXODWLRQ RI WKH %:6 SUREOHP WKH IROORZLQJ SURSHUWLHV KROG L DOO WKH DOWHUQDWLYH DUFV KDYH OHQJWK ]HUR LL WKH n[HG DUFV IRUP D VHW RI GLVWLQFW FKDLQV JRLQJ IURP WKH VWDUW QRGH  WR WKH nQLVK QRGH Q LLL IRU HDFK n[HG DUF L M  )  DOO DOWHUQDWLYH DUFV KDYLQJ WDLO LQ M DUH SDLUHG ZLWK DOWHUQDWLYH DUFV KDYLQJ KHDG LQ L VHH )LJXUH  D  /HPPD  ,Q %:6 SUREOHP JLYHQ DQ\ FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ 6 DQG WKH FRU UHVSRQGLQJ SDUWLWLRQ 3 4 RI WKH QRGH VHW WKHUH DUH QR XQVHOHFWHG DOWHUQDWLYH DUFV KDYLQJ WDLO LQ D QRGH RI %4 



3URRI )LUVW REVHUYH WKDW QR DOWHUQDWLYH DUF KDV WDLO LQ D QRGH FRUUHVSRQGLQJ WR WKH nUVW RSHUDWLRQ RI D MRE )RU DOO WKH RWKHU QRGHV WKH SURRI LPPHGLDWHO\ IROORZV IURP WKH WKLUG DERYH SURSHUW\ VLQFH DOO WKH DOWHUQDWLYH DUFV KDYLQJ WDLO LQ D QRGH RI %4 DUH SDLUHG ZLWK DUFV KDYLQJ WKH KHDG LQ D QRGH RI 3  WKXV E\ 'HnQLWLRQ  EHLQJ HLWKHU IRUELGGHQ RU VHOHFWHG /HPPD  ,Q %:6 SUREOHP OHW 6 EH D FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ DQG OHW 3 4 EH WKH FRUUHVSRQGLQJ SDUWLWLRQ RI WKH QRGH VHW 7KHQ DOO QRGHV LQ %3 FRUUHVSRQG WR RSHUDWLRQV WR EH SURFHVVHG RQ GLmHUHQW PDFKLQHV 3URRI )RU WKH SXUSRVH RI FRQWUDGLFWLRQ OHW FRQVLGHU WZR RSHUDWLRQV L  %3 DQG K  %3 VXFK WKDW 0 L 0 K  DQG OHW M  %4 DQG N  %4 EH WKH WZR RSHUDWLRQV IROORZLQJ L DQG K LQ WKHLU UHVSHFWLYH MREV LH L M  )  K N  )  6LQFH L DQG K KDYH WR EH SURFHVVHG RQ WKH VDPH PDFKLQH WKHUH LV D SDLU RI DOWHUQDWLYH DUFV M K  N L  $ DQG HLWKHU M K RU N L LV VHOHFWHG 7KHQ WKHUH LV D VHOHFWHG DUF IURP D QRGH RI 4 WR D QRGH RI 3  WKXV FRQWUDGLFWLQJ 'HnQLWLRQ  :H DUH QRZ LQ WKH SRVLWLRQ RI SURYLQJ 7KHRUHP  :H QH[W VKRZ WKDW JLYHQ D FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ 6 LW LV SRVVLEOH WR REWDLQ D ODUJHU FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ E\ DGGLQJ WR 6 VHYHUDO DOWHUQDWLYH DUFV %\ UHSHDWHGO\ DSSO\LQJ WKLV DUJXPHQW ZH REWDLQ DQ H[WHQVLRQ RI 6 7KH DOJRULWKP FRQVLVWV RI UHSHDWHGO\ DSSO\LQJ WKH VWHS GHVFULEHG LQ )LJXUH  :H GHnQH D VWURQJO\ FRQQHFWHG FRPSRQHQW LQ %4 DQ\ VHW RI QRGHV 1   %4 VXFK WKDW IRU DQ\ SDLU RI QRGHV L  %4  M  %4  WKHUH H[LVWV D SDWK LQ * 6 IURP L WR M SDVVLQJ RQO\ WKURXJK QRGHV RI 1   1  LV PD[LPDO LI LW LV QRW FRQWDLQHG LQ D ODUJHU VWURQJO\ FRQQHFWHG FRPSRQHQW 6WHS  )LQG D VHW RI QRGHV 5  %4 WKDW IRUPV D PD[LPDO VWURQJO\ FRQQHFWHG FRPSRQHQW LQ %4 SRVVLEO\ D XQLTXH QRGH  VXFK WKDW WKHUH DUH QR VHOHFWHG DOWHUQDWLYH DUFV KDYLQJ WKH KHDG LQ D QRGH RI 5 0RYH VHW 5 IURP 4 WR 3  IRUELG DOO WKH XQVHOHFWHG DOWHUQDWLYH DUFV KDYLQJ KHDG LQ D QRGH RI 5 DQG VHOHFW WKHLU UHVSHFWLYH SDLUHG DUFV )LJXUH  7KH VWHS IRU HQODUJLQJ D FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ /HPPD  ,Q %:6 SUREOHP JLYHQ DQ\ FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ 6 DIWHU DQ DS SOLFDWLRQ RI 6WHS  D QHZ FRQVLVWHQW SRVLWLRQDO VHOHFWLRQ 6  LV REWDLQHG 3URRI :H nUVW REVHUYH WKDW D FRPSRQHQW 5 DOZD\V H[LVWV IRU %4  ,Q IDFW E\ UHSODFLQJ DOO VWURQJO\ FRQQHFWHG FRPSRQHQWV RI %4 ZLWK VLQJOH QRGHV WKH UHVXOWLQJ JUDSK LV DF\FOLF DQG WKHUHIRUH WKHUH PXVW EH DW OHDVW RQH FRPSRQHQW 5 VXFK WKDW WKHUH DUH QR VHOHFWHG DOWHUQDWLYH DUFV KDYLQJ WKH KHDG LQ D QRGH RI 5 &RQVLGHU nUVW WKH FDVH LQ ZKLFK WKH VHW 5 LV FRPSRVHG E\ D XQLTXH QRGH N )URP /HPPD  IROORZV WKDW WKH QHZ VHOHFWLRQ LV D SRVLWLRQDO VHOHFWLRQ DQG ZH RQO\ KDYH WR SURYH WKDW LW LV FRQVLVWHQW 5HFDOO IURP 6HFWLRQ  WKDW } N LV WKH QRGH IROORZLQJ N LQ LWV MRE LH DUF N } N  )  DQG OHW 6  EH WKH QHZ VHOHFWLRQ REWDLQHG E\ DGGLQJ WR 6 WKH 

XQVHOHFWHG DOWHUQDWLYH DUFV KDYLQJ WDLO LQ } N WKDW DUH SDLUHG ZLWK WKH DOWHUQDWLYH DUFV KDYLQJ KHDG LQ N  /HW 3  3 > INJ 4 4 b INJ DQG %4 EH WKH ERUGHU RI 4  )RU WKH DLP RI FRQWUDGLFWLRQ DVVXPH WKDW WKHUH LV D SRVLWLYH OHQJWK F\FOH LQ WKH JUDSK * 6   &OHDUO\ VLQFH 6 LV FRQVLVWHQW WKH F\FOH PXVW FRQWDLQ DW OHDVW RQH RI WKH QHZ VHOHFWHG DUFV KDYLQJ WDLO LQ } N  6LQFH DOO WKH DOWHUQDWLYH DUFV KDYH OHQJWK ]HUR WKH F\FOH PXVW DOVR FRQWDLQ DW OHDVW RQH n[HG DUF 2Q WKH RWKHU KDQG FRQVLGHU D QRGH M  4 b %4  6LQFH 6 LV D SRVLWLRQDO VHOHFWLRQ WKHUH DUH QR VHOHFWHG DUFV KDYLQJ WDLO LQ M DQG WKHUHIRUH WKHUH LV QRW D SDWK LQ * 6 IURP M WR } N  0RUHRYHU DOO WKH DUFV DGGHG WR 6 E\ VWHS  KDYH WKH WDLO LQ } N  DQG FDQQRW FUHDWH D SDWK IURP M WR } N  +HQFH WKH QRGHV LQ 4 b %4 FDQQRW EHORQJ WR WKH SRVLWLYH OHQJWK F\FOH &RQVLGHU QRZ D QRGH L  3   6LQFH 6  LV SRVLWLRQDO DQG } N  %4  WKHUH LV QRW D SDWK LQ * 6  IURP } N WR L DQG WKHUHIRUH DOVR WKH QRGHV LQ 3  FDQQRW EHORQJ WR WKH SRVLWLYH OHQJWK F\FOH ,Q FRQFOXVLRQ D SRVLWLYH OHQJWK F\FOH LQ * 6  FDQ RQO\ FRQWDLQ QRGHV LQ %4  DQG WKHUHIRUH LW FRQWDLQV QR n[HG DUFV D FRQWUDGLFWLRQ &RQVLGHU QRZ WKH FDVH LQ ZKLFK WKH VHW 5 FRQWDLQV PRUH WKDQ RQH QRGH ,Q WKLV FDVH ZH PXVW nUVW SURYH WKDW VWHS  \LHOGV D QHZ SRVLWLRQDO VHOHFWLRQ 6   7R WKLV DLP OHW 7 IL  1MM  5 M } L J &OHDUO\ 7  %3  )URP /HPPD  LW IROORZV WKDW WKHUH DUH QR WZR QRGHV LQ 7 WR EH SURFHVVHG RQ WKH VDPH PDFKLQH DQG WKHUHIRUH WKDW WKHUH DUH QR WZR VHOHFWHG DUFV LQGXFHG E\ 5 LH KDYLQJ ERWK WDLO DQG KHDG LQ 5 KDYLQJ WKH VDPH KHDG +HQFH LI 5 FRQWDLQV PRUH WKDQ RQH QRGH LW LQGXFHV H[DFWO\ D VLPSOH F\FOH LQ * 6  1RZ FRQVLGHU D QRGH L  7  WKH QRGH } L  5 DQG WKH XQLTXH QRGH M  5 VXFK WKDW } L  M LV DQ DUF RI * 6  LH LV D VHOHFWHG DOWHUQDWLYH DUF 7KHQ UHFDOOLQJ WKH PHDQLQJ RI DQ DOWHUQDWLYH DUF IRU D EORFNLQJ MRE VKRS IRUPXODWLRQ RSHUDWLRQV RL DQG RM DUH SURFHVVHG RQ WKH VDPH PDFKLQH 7KLV IDFW LPSOLHV WKDW WKHUH DUH QR WZR QRGHV LQ 5 WR EH SURFHVVHG RQ WKH VDPH PDFKLQH DQG WKHUHIRUH WKDW WKHUH LV QR D SDLU RI DOWHUQDWLYH DUFV LQ $ KDYLQJ ERWK WKH KHDGV LQ WZR QRGHV RI 5 +HQFH QR DOWHUQDWLYH DUF LQ 6  LV VHOHFWHG DQG IRUELGGHQ DW WKH VDPH WLPH LH 6  LV D VHOHFWLRQ  DQG 6  LV D SRVLWLRQDO VHOHFWLRQ 6LQFH 6  LV SRVLWLRQDO WKH VDPH DUJXPHQW XVHG LQ WKH FDVH RI 5 FRPSRVHG E\ D VLQJOH QRGH \LHOG WR SURYH WKDW 6  LV FRQVLVWHQW DQG WKLV FRQFOXGHV WKH SURRI









+HXULVWLFV

,Q WKLV VHFWLRQ ZH GHDO ZLWK KHXULVWLF SURFHGXUHV IRU nQGLQJ JRRG FRPSOHWH FRQVLVWHQW VHOHFWLRQV JLYHQ D JHQHUDO DOWHUQDWLYH JUDSK :H ZLOO UHIHU LQ SDUWLFXODU WR IRXU VXEFDVHV RI 3UREOHP  QDPHO\ WKH LGHDO MRE VKRS SUREOHP ,-63  WKH EORFNLQJ QRVZDS SUREOHP %163  WKH EORFNLQJ SUREOHP ZLWK VZDS DOORZHG %:63 DQG WKH QRZDLW MRE VKRS SUREOHP 1:3  7KH nUVW WKUHH FDVHV DUH WKH RSWLPL]DWLRQ IRUPDW RI WKH DQDORJRXV WKUHH FDVHV GHnQHG LQ WKH SUHYLRXV VHFWLRQ ZKLOH WKH ODWWHU FDVH DULVHV ZKHQ GHDOLQJ ZLWK D MRE VKRS SUREOHP LQ ZKLFK DOO WKH RSHUDWLRQV RI HDFK MRE KDYH WR EH SURFHVVHG ZLWKRXW DQ\ LQWHUUXSWLRQ LH DOO MREV DUH QRZDLW $ FRQVLGHUDEOH HmRUW KDV EHHQ GHYRWHG LQ WKH SDVW IRUW\ \HDUV WR GHVLJQ KHXULVWLF SURFHGXUHV IRU VROYLQJ ,-63 0RVW RI WKHVH SURFHGXUHV DUH JUHHG\ DOJRULWKPV EDVHG RQ OLVW VFKHGXOHV DVVRFLDWHG ZLWK GLVSDWFKLQJ UXOHV $V UHSRUWHG E\ VHYHUDO DXWKRUV VHH IRU H[DPSOH 3LQVRQ   WKH EHKDYLRU RI VXFK DQ DSSURDFK LV TXLWH HUUDWLF ,W LV WKHUHIRUH FRPPRQ WR FRQVLGHU WKH EHVW GLVSDWFKLQJ VROXWLRQ RYHU D VHW RI GLmHUHQW UXOHV DV IRU H[DPSOH LQ 2YDFLN DQG 8]VR\   $V IDU DV WKH JHQHUDO VFKHGXOLQJ SUREOHP DQDO\]HG LQ WKLV SDSHU LV 

FRQFHUQHG ZH REVHUYH WKDW D GLVSDWFKLQJ UXOH PD\ IDLO LQ nQGLQJ D IHDVLEOH VROXWLRQ GXH WR WKH FRPSOH[LW\ UHVXOWV VKRZQ LQ 6HFWLRQ  ,Q WKLV FDVH UXQQLQJ VHYHUDO GLVSDWFKLQJ UXOHV LV DQ HmHFWLYH ZD\ IRU nQGLQJ DW OHDVW RQH IHDVLEOH VFKHGXOH LQ PRVW FDVHV 0RUH VLJQLnFDQW UHVXOWV KDYH EHHQ UHSRUWHG E\ VHYHUDO UHVHDUFKHUV LQ ORFDO VHDUFK VR OXWLRQ SURFHGXUHV $V IDU DV ,-63 LV FRQFHUQHG VLPXODWHG DQQHDOLQJ YDQ /DDUKRYHQ $DUWV DQG /HQVWUD   WDERR VHDUFK 'HOO $PLFR DQG 7UXELDQ   1RZLFNL DQG 6PXWQLFNL   7DLOODUG  DQG JHQHWLF DOJRULWKPV 'HOOD &URFH 7DGHL DQG 9ROWD   6WRUHU :X DQG 9DFFDUL  DUH WKH PDLQ ORFDO VHDUFK WHFKQLTXHV WKDW KDYH EHHQ WHVWHG )RU ZKDW FRQFHUQ %163 D WDERR VHDUFK KHXULVWLF ZDV GHYHORSHG E\ 'H 6WHIDQR DQG 0DVFLV   EDVHG RQ D HDUO\ YHUVLRQ RI WKH DOWHUQDWLYH JUDSK IRUPXODWLRQ RI WKH SURE OHP ,Q JHQHUDO ORFDO VHDUFK WHFKQLTXHV \LHOG TXLWH JRRG VROXWLRQV ,-63 EXW XQIRUWXQDWHO\ DOO WKHVH SURFHGXUHV DUH EDVHG RQ VHYHUDO SURSHUWLHV WKDW GR QRW KROG IRU PRUH JHQHUDO VFKHGXOLQJ SUREOHPV )RU H[DPSOH D FRPPRQ QHLJKERUKRRG LQ ORFDO VHDUFK SURFHGXUHV IRU ,-63 LV REWDLQHG E\ UHYHUVLQJ D GLVMXQFWLYH DUF RQ D ORQJHVW SDWK RI * 6  7KLV FKRLFH LV PRWLYDWHG E\ WKH IROORZLQJ SURSRVLWLRQ WKDW GRHV QRW KROG IRU D JHQHUDO DOWHUQDWLYH JUDSK DQG HYHQ GRHV QRW KROG IRU %:63 RU %163 3URSRVLWLRQ  ,Q D ,-63 FRQVLGHU D FRPSOHWH FRQVLVWHQW VHOHFWLRQ 6 DQG OHW L M  6 EHORQJ WR D ORQJHVW SDWK LQ * 6  7KHQ WKH FRPSOHWH VHOHFWLRQ 6 b I L M J > I M L J LV FRQVLVWHQW 3URRI 6HH 9DQ /DDUKRYHQ $DUWV /HQVWUD   $ GLmHUHQW DSSURDFK ZKLFK KDV EHHQ SURYHG WR EH YHU\ HmHFWLYH IRU ,-63 FRQVLVWV RI UHSHDWHGO\ HQODUJLQJ D FRQVLVWHQW VHOHFWLRQ 7KLV LV WKH LGHD IRU H[DPSOH RI WKH VKLIWLQJ ERWWOHQHFN DOJRULWKP RI $GDPV %DODV =DZDFN   LQ ZKLFK DW HDFK VWHS DOO WKH DUFV LQ D FOLTXH DUH VHOHFWHG RU IRUELGGHQ $OVR LQ WKLV FDVH WKH NH\ SURSHUW\ ZKLFK LV VKRZQ LQ 3URSRVLWLRQ  GRHV QRW KROG HYHQ IRU D VOLJKWO\ PRUH JHQHUDO VLWXDWLRQ VXFK DV IRU %:63 UHFDOO WKDW %:63 LQFOXGH WKH FDVH RI D MRE VKRS ZLWK OLPLWHG EXmHUV  :H QH[W SUHVHQW VRPH IDVW JUHHG\ DOJRULWKPV UHIHUUHG WR LQ WKH IROORZLQJ DV $YRLG 0D[LPXP &XUUHQW &PD[ $0&&  6HOHFW 0RVW &ULWLFDO 3DLU 60&3  6HOHFW 0RVW %DO DQFHG 3DLU 60%3  DQG 6HOHFW 0D[ 6XP 3DLU 6063  UHVSHFWLYHO\ $OO WKH KHXULVWLFV DUH EDVHG RQ WKH LGHD RI UHSHDWHGO\ HQODUJLQJ D FRQVLVWHQW VHOHFWLRQ JLYHQ D JHQHUDO DOWHU QDWLYH JUDSK LQ WKH IRUP RI 3UREOHP  DQG FRQFOXGLQJ HLWKHU ZLWK D IHDVLEOH VROXWLRQ RU ZLWK D QRQ FRQVLVWHQW VHOHFWLRQ ,Q SDUWLFXODU WKH KHXULVWLFV VHOHFW RQH DUF DW D WLPH LQ RUGHU WR SUHVHUYH WKH FRQVLVWHQF\ RI WKH FXUUHQW VHOHFWLRQ DV ORQJ DV SRVVLEOH (YHU\ WLPH DQ DOWHUQDWLYH DUF LV LPSOLHG E\ WKH FXUUHQW VHOHFWLRQ WKH KHXULVWLFV VHOHFWV LW ,I ERWK DUFV LQ DQ XQVHOHFWHG SDLU FDXVH D SRVLWLYH OHQJWK F\FOH LQ * 6  WKH SURFHGXUH IDLOV LQ nQGLQJ D IHDVLEOH VROXWLRQ 7KH VWHS LV UHSHDWHG XQWLO D FRPSOHWH VHOHFWLRQ LV EXLOW RU DQ LQFRQVLVWHQF\ LV GHWHFWHG :H QH[W GHVFULEH LQ )LJXUH  WKH JHQHUDO VNHWFK RI WKH IRXU KHXULVWLFV )LUVW UHFDOO IURP 6HFWLRQ  WKH GHnQLWLRQ RI O L M  DV WKH OHQJWK RI WKH ORQJHVW SDWK LQ * 6 IURP QRGH L WR QRGH M :H XVH WKH FRQYHQWLRQ WKDW LI WKHUH LV QR SDWK IURP L WR M WKHQ O L M  ,Q SDUWLFXODU WKH VHOHFWLRQ RI WKH XQVHOHFWHG SDLU K N  L M  $ LV SHUIRUPHG GLmHUHQWO\ LQ WKH WKUHH KHXULVWLFV $0&& VHOHFWV WKH SDLU VXFK WKDW O  K  DKN  O N Q

PD[ IO  X  DXY  O X Q J

XY $





$OJRULWKP KHXULVWLF ,QSXW $OWHUQDWLYH JUDSK *

1 ) $ 

EHJLQ 6  :KLOH $  GR EHJLQ 6HOHFW D SDLU K N  L M  $ 6HOHFW L M  LH 6  6 > I L M J $  $ b I K N  L M J ,I  K N  L M  $  O N K  DKN !  O M L  DLM !  WKHQ 6723 WKH SURFHGXUH IDLOHG LQ nQGLQJ D IHDVLEOH VROXWLRQ HOVH ZKLOH I X Y  S T  $  O Y X  DXY J  GR EHJLQ 6  6 > I S T J $  $ b I X Y  S T J KHUH DOO DUFV LPSOLHG E\ 6 DUH VHOHFWHG HQG HQG HQG )LJXUH  WKH JHQHUDO VNHWFK RI WKH IRXU KHXULVWLFV ,Q RWKHU ZRUGV K N LV DQ DUF WKDW LI VHOHFWHG ZRXOG LPSURYH PRVW WKH OHQJWK RI WKH ORQJHVW SDWK LQ * 6  +HQFH $0&& VHOHFW LWV DOWHUQDWLYH L M  60&3 VHOHFWV WKH SDLU VXFK WKDW WKH TXDQWLW\ PLQIO  K  DKN  O N Q  O  L  DLM  O M Q J LV PD[LPL]HG 7KHQ WKH VHOHFWHG DUF L M LV VXFK WKDW O  K  DKN  O N Q w O  L  DLM  O M Q  7KH WKLUG KHXULVWLF 60%3 LV TXLWH VLPLODU WR WKH SUHYLRXV RQH 60%3 VHOHFWV WKH SDLU VXFK WKDW WKH TXDQWLW\ MO  K  DKN  O N Q b O  L  DLM  O M Q M LV PLQLPL]HG 7KHQ WKH VHOHFWHG DUF L M LV VXFK WKDW O  K  DKN  O N Q w O  L  DLM  O M Q  )LQDOO\ 6063 VHOHFWV WKH SDLU VXFK WKDW WKH TXDQWLW\ MO  K  DKN  O N Q  O  L  DLM O M Q M LV PD[LPL]HG 7KHQ WKH VHOHFWHG DUF L M LV VXFK WKDW O  K DKN O N Q w O  L  DLM  O M Q  1RWH WKDW ZKHQ DSSO\LQJ WKH UXOH GHVFULEHG LQ HTXDWLRQ   D WLJKW PD\ RFFXU DPRQJ GLmHUHQW DUF SDLUV +HQFH ZH GHYHORSHG WZR YHUVLRQV RI $0&& $0&& FKRRVHV DPRQJ WKH SDLUV IXOnOOLQJ   WKH RQH VXFK WKDW O  L DLM O M Q LV PLQLPXP $0&& FKRRVHV DPRQJ WKH SDLUV IXOnOOLQJ   WKH RQH VXFK WKDW O  L  DLM  O M Q LV PD[LPXP ,Q ZKDW IROORZV ZH FDOO $0&& WKH EHVW VROXWLRQ IRXQG E\ $0&& DQG $0&& :H WHVWHG WKH SHUIRUPDQFH RI WKH KHXULVWLFV RQ D VDPSOH RI LQVWDQFHV IURP WKH OLWHU DWXUH 3UREOHPV $E] ZHUH JHQHUDWHG E\ $GDPV %DODV =DZDFN   SUREOHPV 2UE ZHUH JHQHUDWHG E\ $SSOHJDWH DQG &RRN   SUREOHPV /$ FRPH IURP WKH  SUREOHPV JHQHUDWHG E\ /DZUHQFH   DQG SUREOHPV )W )W DQG )W DUH WKH WKUHH H[DPSOHV SURSRVHG LQ WKH SDSHU RI )LVKHU DQG 7KRPSVRQ   6LQFH WKHUH DUH QR WHVW LQVWDQFHV IRU EORFNLQJ RU QRZDLW MRE VKRS SUREOHPV ZH GHULYHG WKHP IURP WKH DERYH LQVWDQFHV )URP HDFK LQVWDQFH RI ,-63 ZH GHULYHG IRXU LQVWDQFHV 

HDFK REWDLQHG E\ FRQVLGHULQJ DOO PDFKLQHV DV LGHDO EORFNLQJ ZLWK VZDS DOORZHG EORFNLQJ QR VZDS DQG QRZDLW UHVSHFWLYHO\ ,Q 7DEOH  ZH UHSRUW RXU UHVXOWV IRU GLmHUHQW KHXULVWLFV 6LQFH WKH SHUIRUPDQFH RI 60&3 DQG 60%3 DUH TXLWH VLPLODU LQ 7DEOH  ZH UHSRUW WKH EHVW UHVXOW RYHU WKH WZR KHXULVWLFV RQO\ ,Q FROXPQ  ZH UHSRUW WKH QDPH RI WKH LQVWDQFH DQG LQ FROXPQ  ZH UHSRUW WKH SDLU QXPEHU RI MREV QXPEHU RI PDFKLQHV IRU HDFK LQVWDQFH ,Q WKH VXEVHTXHQW WZHOYH FROXPQV ZH UHSRUW IRU HDFK LQVWDQFH WKH VROXWLRQV IRXQG E\ WKH WKUHH KHXULVWLFV IRU HDFK RQH RI WKH IRXU YHUVLRQ RI WKH SUREOHP +HUH LG VWDWHV IRU WKH LQVWDQFH RI ,-63 EO VWDWHV IRU WKH LQVWDQFH RI %:63 EQV VWDWHV IRU WKH LQVWDQFH RI %163DQG QZ VWDWHV IRU WKH LQVWDQFH RI 1:3 )URP RXU FRPSXWDWLRQDO H[SHULHQFH $0&& WXUQV RXW WR EH WKH PRVW HmHFWLYH KHXULVWLF HVSHFLDOO\ IRU ,-63 HYHQ LI LW IDLOV LQ nQGLQJ D IHDVLEOH VROXWLRQ LQ PRVW FDVHV ,Q SDUWLFXODU RYHU WKH  WHVW LQVWDQFHV $0&& nQGV D VROXWLRQ LQ  FDVHV 7KH VROXWLRQ IRXQG E\ $0&& LV WKH EHVW VROXWLRQ LQ  FDVHV RYHU  $Q RSSRVLWH UHVXOW LV REWDLQHG E\ WKH SDLU RI KHXULVWLF 60&360%3 ,W IDLOV LQ nQGLQJ D IHDVLEOH VROXWLRQ LQ  FDVHV RQO\ RYHU  2Q WKH RWKHU KDQG LW SHUIRUPV TXLWH SRRUO\ $Q LQWHUPHGLDWH SHUIRUPDQFH DUH SURYLGHG E\ 6063 :H QRWH WKDW WKH YDOXHV UHSRUWHG LQ WKH WDEOH IRU $0&& DQG 60&360%3 DUH WKH EHVW RXW RI WZR UXQV IRU HDFK LQVWDQFH ZKLOH WKH YDOXHV IRU 6063 DUH UHIHUUHG WR RQH UXQ RQO\ 4XLWH VXUSULVLQJO\ WKH FRPSXWDWLRQDO UHVXOWV IRU WKH EORFNLQJ SUREOHPV ZLWK VZDS DOORZHG DUH ZRUVH WKDQ WKH UHVXOWV IRU WKH EORFNLQJ QR VZDS SUREOHPV ,I ZH FRQVLGHU WKH EHVW UHVXOW RYHU WKH  UXQV RI WKH JUHHG\ KHXULVWLFV ZH nQG QR VROXWLRQ LQ  FDVHV IRU %:63 DQG LQ  FDVHV IRU %163 0RUHRYHU LQ WKH  FDVHV LQ ZKLFK D VROXWLRQ ZDV IRXQG IRU ERWK SUREOHPV WKH VXP RI WKH VROXWLRQV IRXQG RYHU WKH  LQVWDQFHV LV  IRU %:63 DQG  IRU %163 7KLV LV TXLWH VXUSULVLQJ VLQFH WKH %163 LV PRUH FRQVWUDLQHG WKDQ WKH %:63 :H DOVR QRWH WKDW 7KHRUHP  VXJJHVWV DQ DOJRULWKP IRU nQGLQJ D IHDVLEOH VROXWLRQ IRU DOO LQVWDQFHV RI %:63 ,Q 7DEOH  ZH FRPSDUH WKH SHUIRUPDQFH RI $0&& RYHU WKH  LQVWDQFHV RI ,-63 ZLWK DOO JUHHG\ SURFHGXUHV IRU ZKLFK ZH FRXOG nQG UHVXOWV LQ WKH OLWHUDWXUH &OHDUO\ VLQFH WKHUH DUH QR SUHYLRXV UHVXOWV IRU WKH EORFNLQJ DQG QRZDLW MRE VKRS SUREOHPV ZH FDQ RQO\ FRPSDUH RXU UHVXOWV IRU WKH LGHDO MRE VKRS SUREOHPV %LGLU ZDV SURSRVHG LQ 'HOO $PLFR 7UXELDQ   ,16$ ZDV SURSRVHG LQ 1RZLFNL DQG 6PXWQLFNL   %-6 LV WKH LQLWLDO KHXULVWLF XVHG E\ %UXFNHU -XULVK DQG 6LHYHUV  IRU WKHLU EUDQFK DQG ERXQG FRGH DQG 'VSW LV WKH EHVW GLVSDWFKLQJ VROXWLRQ RYHU nYH GLmHUHQW OLVW VFKHGXOHV DV UHSRUWHG LQ WKH ERRN RI 2YDFLN DQG 8]VR\   7KH nUVW FROXPQ UHSRUWV WKH LQVWDQFH QDPH WKH VHFRQG FROXPQ UHSRUWV WKH QXPEHU RI PDFKLQHV DQG MREV RI WKH LQVWDQFH DQG LQ WKH WKLUG FROXPQ WKH EHVW NQRZQ ORZHU ERXQG RQ WKH LQVWDQFH LV UHSRUWHG $Q DVWHULVN LQGLFDWHV D SURYHQ RSWLPXP VROXWLRQ )URP FROXPQ  WR FROXPQ  WKH VROXWLRQV IRXQG E\ WKH nYH KHXULVWLFV DUH UHSRUWHG ,Q FROXPQV FROXPQ ^ ZH UHSRUW WKH UHODWLYH HUURUV RI WKH KHXULVWLFV SHUFHQWDJH  FRPSXWHG DV WKH GLmHUHQFH EHWZHHQ WKH KHXULVWLF YDOXH DQG WKH EHVW ERXQG RQ WKH RSWLPDO YDOXH GLYLGHG E\ WKH EHVW ERXQG 7KH ODVW WKUHH URZV UHSRUW WKH DYHUDJH DQG WKH PD[LPXP HUURUV RI WKH GLmHUHQW UXOHV RYHU DOO LQVWDQFHV DQG WKH DYHUDJH HUURUV RYHU WKH  FRPPRQ LQVWDQFHV UHVSHFWLYHO\ 7KLV FRPSXWDWLRQDO H[SHULHQFH FOHDUO\ VKRZ WKDW $0&& RXWSHUIRUPV WKH RWKHU IRXU KHXULVWLFV



,QVWDQFH $E] $E] $E] $E] $E] )W )W )W 2UE 2UE 2UE 2UE 2UE 2UE 2UE 2UE 2UE 2UE /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D

6L]H                                                                                                                    

$0&&

60&3 60%3

6063

LG

EO

EQV

QZ

LG

EO

EQV

QZ

LG

EO

EQV

QZ

                                                         

^ ^ ^ ^ ^  ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^

^ ^ ^ ^ ^  ^  ^ ^  ^ ^ ^ ^  ^ ^ ^    ^ ^ ^  ^ ^  ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^

^ ^ ^ ^ ^  ^   ^  ^ ^ ^ ^   ^  ^  ^ ^ ^ ^ ^ ^  ^ ^  ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^

                                                         

  ^ ^                                ^         ^    ^ ^ ^  ^     

   ^                                     ^        ^  ^ ^    ^  ^

                                                  ^      ^ 

                                                         

^ ^ ^ ^ ^  ^ ^  ^ ^   ^ ^ ^  ^   ^  ^ ^ ^ ^ ^  ^ ^ ^ ^ ^  ^ ^ ^ ^ ^ ^ ^ ^ ^  ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^

^ ^ ^ ^ ^      ^  ^  ^  ^                 ^  ^ ^  ^ ^ ^ ^  ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^

^ ^ ^ ^ ^  ^ ^  ^   ^  ^     ^   ^ ^   ^  ^   ^  ^ ^ ^ ^  ^ ^ ^ ^ ^ ^ ^ ^   ^ ^ ^ ^ ^ ^ ^ ^ ^ ^

7DEOH  3HUIRUPDQFH RI WKH GLVSDWFKLQJ UXOHV



,QVWDQFH

6L]H

/%

$0&&

%LGLU

,16$

%-6

'VSW

 $0&& IURP /%

 %LGLU IURP /%

 ,16$ IURP /%

 %-6 IURP /%

 'VSW IURP /%

$E] $E] $E] $E] $E] )W )W )W 2UE 2UE 2UE 2UE 2UE 2UE 2UE 2UE 2UE 2UE /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D /D $95* :& $95*

                                                                                                                   

                                                         

                                                         

             ^ ^ ^ ^ ^                                        

  ^ ^ ^    ^ ^ ^ ^ ^ ^ ^ ^ ^ ^                                        

  ^ ^ ^    ^ ^ ^ ^ ^ ^ ^ ^ ^ ^                                        

                                                         

                                                            

             ^ ^ ^ ^ ^                                           

  ^ ^ ^    ^ ^ ^ ^ ^ ^ ^ ^ ^ ^                                           

  ^ ^ ^    ^ ^ ^ ^ ^ ^ ^ ^ ^ ^                                           

                                                            

7DEOH  3HUIRUPDQFH RI WKH nYH KHXULVWLFV





([DFW DOJRULWKPV

,Q WKLV VHFWLRQ ZH GHDO ZLWK H[DFW SURFHGXUHV IRU nQGLQJ RSWLPDO FRPSOHWH FRQVLVWHQW VHOHFWLRQV LQ DQ DOWHUQDWLYH JUDSK RU SURYLQJ WKDW QR FRPSOHWH FRQVLVWHQW VHOHFWLRQ H[LVWV ,Q SDUWLFXODU ZH H[WHQG WR WKH FRQWH[W RI WKH DOWHUQDWLYH JUDSK WKH LGHDV RI &DUOLHU DQG 3LQVRQ   7R WKLV DLP ZH QHHG VRPH SUHOLPLQDU\ QRWDWLRQ /HW 8 % EH D JLYHQ LQWHJHU :H GHnQH D VROXWLRQ DV D VFKHGXOH ZLWK D PDNHVSDQ VPDOOHU WKDQ RU HTXDO WR 8 % $ FOLTXH RI RSHUDWLRQV LV D VHW . RI RSHUDWLRQV VXFK WKDW JLYHQ DQ\ WZR RSHUDWLRQV RI WKH FOLTXH VD\ RL DQG RM  WKHQ LQ DOO VROXWLRQV HLWKHU WM b WL w SAL RU WL b WM w SAM  IRU VRPH SAL w SL  SAM w SM  &OLTXHV DUH REWDLQHG IRU H[DPSOH E\ FRQVLGHULQJ D JURXS RI RSHUDWLRQV WR EH SURFHVVHG RQ D VSHFLnF PDFKLQH 7KH FRQFHSW RI FOLTXH KDV EHHQ SURYHG WR EH YHU\ HmHFWLYH IRU nQGLQJ JRRG ORZHU ERXQGV IRU ,-63 ,Q RXU JHQHUDOL]DWLRQ WKH YDOXHV SAL  ZKHQ UHODWHG WR EORFNLQJ RSHUDWLRQV PD\ YDU\ G\QDPLFDOO\ GXULQJ WKH H[HFXWLRQ RI WKH RSWLPL]DWLRQ SURFHGXUH *LYHQ D FOLTXH . H  . >UHVSHFWLYHO\ V  .@ LV FDOOHG WKH LQSXW >UHVSHFWLYHO\ RXWSXW@ RI WKH FOLTXH . LI LQ DOO VROXWLRQV H LV VHTXHQFHG EHIRUH >UHVSHFWLYHO\ V LV VHTXHQFHG DIWHU@ DOO WKH RWKHU RSHUDWLRQV RI . *LYHQ D FRQVLVWHQW VHOHFWLRQ 6 ZH FDQ DVVRFLDWH D UHOHDVH WLPH UAL  D oRZ WLPH SAL  DQG D GHOLYHU\ WLPH TAL ZLWK HDFK RSHUDWLRQ RL  7KH UHOHDVH WLPH RI RSHUDWLRQ RL LV D ORZHU ERXQG IRU WKH ODWHVW SRVVLEOH VWDUWLQJ WLPH RI RL LQ D PLQLPXP PDNHVSDQ H[WHQVLRQ RI 6 $ SRVVLEOH YDOXH IRU UAL LV FOHDUO\ WKH KHDG UL  7KH oRZ WLPH SAL RI RSHUDWLRQ RL LV D ORZHU ERXQG IRU WKH WLPH SHULRG EHWZHHQ WKH VWDUWLQJ WLPH RI RSHUDWLRQ RL RQ PDFKLQH P L DQG WKH WLPH DW ZKLFK PDFKLQH P L EHFRPHV DYDLODEOH IRU SURFHVVLQJ WKH QH[W RSHUDWLRQ LQ D PLQLPXP PDNHVSDQ H[WHQVLRQ RI 6 &OHDUO\ SAL w SL  DQG WKH HTXDOLW\ KROGV LI RL LV DQ LGHDO RSHUDWLRQ :H GHnQH WKH GHOLYHU\ WLPH TAL DV TAL TL b SAL  ,Q RWKHU ZRUGV TAL LV D ORZHU ERXQG IRU WKH WLPH SHULRG EHWZHHQ WKH WLPH DW ZKLFK RSHUDWLRQ RL OHDYHV PDFKLQH P L DQG WKH PDNHVSDQ RI DQ H[WHQVLRQ RI 6 $ ORZHU ERXQG IRU WKH PLQLPXP PDNHVSDQ RI DQ H[WHQVLRQ RI D FRQVLVWHQW VHOHFWLRQ 6 FDQ EH REWDLQHG E\ VROYLQJ D RQHPDFKLQH VFKHGXOLQJ SUREOHP ZLWK UHOHDVH WLPHV oRZ WLPHV DQG GHOLYHU\ WLPHV IRU DQ\ FOLTXH RI RSHUDWLRQV VHH IRU H[DPSOH &DUOLHU   DQG &DUOLHU DQG 3LQVRQ    ,I RL  . LV DQ LGHDO RSHUDWLRQ LW LV ZHOO NQRZQ WKDW SRVVLEOH YDOXHV IRU LWV UHOHDVH WLPH oRZ WLPH DQG GHOLYHU\ WLPH DUH UAL UL  SAL SL  TAL TL b SL  UHVSHFWLYHO\ ,I RL  . LV D EORFNLQJ RSHUDWLRQ ZH FDQ VWUHQJWK WKHVH YDOXHV E\ VHWWLQJ SAL O L } L  UAL PD[IUL  U} L b SAL J TAL TL b SAL  ,Q IDFW OHW VL EH WKH VWDUWLQJ WLPH RI RL RQ PDFKLQH 0 L  &OHDUO\ 0 L ZLOO EHFRPH DYDLODEOH IRU SURFHVVLQJ WKH QH[W RSHUDWLRQ RQO\ DIWHU WKH VWDUWLQJ WLPH RI RSHUDWLRQ R} L  LH DW OHDVW DW WLPH VL  O L } L  'XULQJ WKLV WLPH 0 L FDQQRW SURFHVV DQ\ RWKHU RSHUDWLRQ DQG WKHUHIRUH ZH FDQ VHW SAL O L } L  /HW QRZ FRQVLGHU WKH FDVH LQ ZKLFK UL  U} L b SAL  DQG OHW DVVXPH WKDW DQ H[WHQVLRQ RI 6 H[LVWV LQ ZKLFK UL › VL  U} L b SAL  ,Q WKLV FDVH WKH PDFKLQH 0 L ZLOO UHPDLQ EORFNHG DW OHDVW EHWZHHQ WLPH VL  SAL DQG WLPH U} L  %\ GHOD\LQJ WKH VWDUWLQJ WLPH RI RL  ZH FDQ REWDLQ D QHZ VROXWLRQ KDYLQJ WKH VDPH PDNHVSDQ LQ ZKLFK VL U} L b SAL  +HQFH LQ WKH FRPSXWDWLRQ RI WKH ORZHU ERXQG ZH FDQ VHW UAL U} L b SAL  )RU HDFK FOLTXH . D ORZHU ERXQG IRU WKH PLQLPXP PDNHVSDQ RI WKH RQH PDFKLQH SURE 

OHP ZLWK UHOHDVH DQG GHOLYHU\ WLPH FDQ EH FRPSXWHG LQ 2 M.M ORJ M.M VWHSV E\ EXLOGLQJ WKH -DFNVRQ V SUHHPSWLYH VFKHGXOH HLWKHU LQ WKH SULPDO RU LQ WKH GXDO YHUVLRQ VHH HJ &DUOLHU DQG 3LQVRQ   7KHLU PDNHVSDQ DUH HTXDO WR PD[- t. K -  ZKHUH K -



PLQ UM  M -

; S  PLQ T 

M -

M

M -

M



,PPHGLDWH VHOHFWLRQV

/HW XV QRZ FRQVLGHU D VHOHFWLRQ 6 DQG D XQVHOHFWHG SDLU L M  K N RI DOWHUQDWLYH DUFV ,I ZH FDQ SURYH WKDW QR VROXWLRQ H[LVWV LQ ZKLFK DUF K N LV VHOHFWHG ZH FDQ DGG DUF L M WR 6 ,Q WKLV FDVH ZH VD\ WKDW DUF K N LV IRUELGGHQ DQG DUF L M LV LPSOLHG E\ 6 ,PPHGLDWH VHOHFWLRQV DUH YHU\ LPSRUWDQW LQ RUGHU WR HpFLHQWO\ VROYH WKH MRE VKRS SUREOHP E\ PHDQV RI D EUDQFK DQG ERXQG DOJRULWKP VLQFH WKH\ DOORZ WR OLPLW WKH QXPEHU RI EUDQFKHV WKDW DUH QHHGHG WR SURYH WKH RSWLPDOLW\ RI D VROXWLRQ $ nUVW UXOH IRU GHWHFWLQJ DUFV WKDW DUH LPSOLHG E\ 6 LV WKH IROORZLQJ 3URSRVLWLRQ  *LYHQ D VHOHFWLRQ 6 LI L M  K N LV D XQVHOHFWHG SDLU RI DOWHUQDWLYH DUFV DQG O N K  DKN !  WKHQ DUF K N LV IRUELGGHQ DQG DUF L M LV LPSOLHG E\ 6 7KH IROORZLQJ VWUDLJKWIRUZDUG UHVXOW FRUUHVSRQGV WR DQ DQDORJRXV UHVXOW RI &DUOLHU DQG 3LQVRQ   3URSRVLWLRQ  *LYHQ D VHOHFWLRQ 6 LI L M  K N LV D XQVHOHFWHG SDLU RI DOWHUQDWLYH DUFV DQG UAK  DKN  TAN ! 8 % WKHQ DUF K N LV IRUELGGHQ DQG DUF L M LV LPSOLHG E\ 6 *LYHQ D VHOHFWLRQ 6 DQG D XQVHOHFWHG SDLU L M  K N RI DOWHUQDWLYH DUFV ZH VD\ WKDW L M LV UHGXQGDQW LI O L M w DLM  &OHDUO\ D UHGXQGDQW DUF FDQ DOZD\V EH DGGHG WR 6 VLQFH LW FDQQRW DmHFW WKH PDNHVSDQ RI D VROXWLRQ $OVR LQ WKLV FDVH ZH VD\ WKDW DUF K N LV IRUELGGHQ DQG DUF L M LV LPSOLHG E\ 6 ,Q WKH UHPDLQGHU RI WKLV VHFWLRQ ZH URXJKO\ GHVFULEH VRPH RI WKH LGHDV RI &DUOLHU DQG 3LQVRQ   DQG VKRZ WKDW WKHVH LGHDV FDQ EH XVHIXOO\ HPSOR\HG DOVR LQ RXU FRQWH[W $ VXEVHW - RI RSHUDWLRQV LV FDOOHG DQ DVFHQGDQW VHW RI F LI F   - DQG PLQ UM 

M - >IFJ

;

M - >IFJ

SM  PLQ TM ! 8% M -



&OHDUO\ LI - LV DQ DVFHQGDQW VHW RI F F LV RXWSXW RI WKH FOLTXH . - > IFJ %\ OHWWLQJ O S T b LI WKHUH LV QR SDWK IURP S WR T LQ * 6  ZH FDQ IRUELG DOO XQVHOHFWHG DOWHUQDWLYH DUFV K N VXFK WKDW O F K  DKN  PD[IO N M J !  M -



,Q SDUWLFXODU LI F LV DQ LGHDO RSHUDWLRQ WKHQ DOO DUFV F M  M  - DUH IRUELGGHQ LI F LV D EORFNLQJ RSHUDWLRQ WKHQ DOO DUFV } F  M  M  - DUH IRUELGGHQ 6\PPHWULFDOO\ LW LV SRVVLEOH WR GHnQH D GHVFHQGDQW VHW - RI F LI F   - DQG PLQM - UM  - >IFJ DQG ZH FDQ M - >IFJ SM PLQM - >IFJ TM ! 8 % &OHDUO\ LQ WKLV FDVH F LV LQSXW RI . IRUELG DOO XQVHOHFWHG DOWHUQDWLYH DUFV K N VXFK WKDW PD[M - IO M K J  DKN  O N F ! 

3



,Q &DUOLHU DQG 3LQVRQ  D 2 M.M ORJ M.M DOJRULWKP LV SURYLGHG IRU nQGLQJ D PD[LPDO VHW RI DUFV WKDW FDQ EH HLWKHU VHOHFWHG RU IRUELGGHQ E\ XVLQJ WKHVH DUJXPHQWV &OHDUO\ WKH DOJRULWKP DSSOLHV DV ZHOO WR RXU FRQWH[W :KHQHYHU VRPH DUFV DUH VHOHFWHG ZLWK WKLV SURFHGXUH ZH REWDLQ D QHZ VHOHFWLRQ 6   $V D FRQVHTXHQFH QHZ YDOXHV IRU KHDGV DQG WDLOV RI DOO RSHUDWLRQV VKRXOG EH FRPSXWHG RQ WKH JUDSK * 6  DQG WKLV PLJKW UHVXOW LQ D QHZ VHW RI DUFV LPSOLHG E\ 6   ,Q RUGHU WR VSHHG XS WKLV SURFHGXUH VHYHUDO DXWKRUV &DUOLHU DQG 3LQVRQ     %UXFNHU -XULVK DQG 6LHYHUV  SURSRVH HpFLHQW DOJRULWKPV IRU DGMXVWLQJ KHDGV DQG WDLOV ZLWKRXW UHFRPSXWLQJ WKHP RQ * 6  



%UDQFK DQG ERXQG

2XU EUDQFK DQG ERXQG SURFHGXUH PDNHV XVH RI WKH DERYH GHVFULEHG ORZHU ERXQGV DQG LPPHGLDWH VHOHFWLRQ WHFKQLTXHV 7KH VHDUFK VWUDWHJ\ LV D GHSWKnUVW DQG WKH EUDQFKLQJ VFKHPH LV EDVHG RQ WKH LGHD RI WKH $0&& KHXULVWLF $PRQJ XQVHOHFWHG DOWHUQDWLYH SDLUV ZH FKRRVH WKH SDLU K N  O M  $ VXFK WKDW WKH TXDQWLW\ O  K  DKN  O N Q LV PD[LPXP DQG WKHQ ZH VHOHFW DUF O M  ,Q RWKHU ZRUGV ZH DLP WR DYRLG WKH DUF K N WKDW ZRXOG LQFUHDVH PRVW WKH FXUUHQW PDNHVSDQ RI WKH VROXWLRQ



&RPSXWDWLRQDO UHVXOWV

:H KDYH LPSOHPHQWHG WKH EUDQFK DQG ERXQG SURFHGXUH LQ & ODQJXDJH RQ D 3& ZLWK D 3HQWLXP ,,  0K] UXQQLQJ WKH RSHUDWLQJ V\VWHP :LQGRZV  :H WHVWHG WKH SHUIRU PDQFH RI WKH EUDQFK DQG ERXQG SURFHGXUH RQ WKH   d  LQVWDQFHV IURP WKH VDPSOH RI SUREOHPV GHVFULEHG LQ 6HFWLRQ  ,Q WDEOH  ZH UHSRUW RXU UHVXOWV LQ WHUPV RI FRPSXWLQJ WLPH DQG YDOXH RI WKH RSWLPDO VROXWLRQ IRU WKH  LQVWDQFHV +HUH WKH nUVW FROXPQ UHSRUWV WKH QDPH RI WKH LQVWDQFH ,6 LV WKH YDOXH RI WKH LQLWLDO VROXWLRQ REWDLQHG DV WKH EHVW VROXWLRQ UHSRUWHG LQ WDEOH  26 LV WKH SURYHQ RSWLPXP IRXQG ZLWK RXU EUDQFK DQG ERXQG SURFHGXUH DQG 7LPH LV WKH FRPSXWLQJ WLPH RI WKH FRGH LQ VHFRQGV 7KH DLP RI RXU FRPSXWDWLRQDO H[SHULHQFH LV WR VKRZ WKDW WKH JHQHUDO MRE VKRS SUREOHP DGGUHVVHG LQ WKLV SDSHU FDQ EH VROYHG ZLWKLQ D OLPLWHG FRPSXWLQJ WLPH &OHDUO\ IRU WKH LGHDO MRE VKRS LQVWDQFHV WKH FRPSXWLQJ WLPH LV LQ IDFW ODUJHU WKDQ WKH YDOXHV REWDLQHG E\ RWKHU DXWKRUV :H WKLQN WKDW WKLV LV LQ SDUW GXH WR WKH IDFW WKDW RXU LPSOHPHQWDWLRQ LV QRW RSWLPL]HG DQG LQ SDUW WR WKH IDFW WKDW RXU FRGH GHDOV ZLWK D JHQHUDO DOWHUQDWLYH JUDSK DQG WKHUHIRUH LW FDQQRW WDNH DGYDQWDJH RI WKH SDUWLFXODU VWUXFWXUH RI WKH LGHDO MRE VKRS :H QH[W UHSRUW VRPH FRPPHQWV RQ WKH FRPSXWDWLRQDO UHVXOWV :H nUVW REVHUYH WKDW HYHQ LI WKH JDS DW URRW LV PXFK ODUJHU IRU QRZDLW LQVWDQFHV LQ SUDFWLFH WKH\ DUH WKH PRVW HDV\ WR VROYH 7KLV LV PDLQO\ GXH WR WKH IDFW WKDW WKH DYHUDJH QXPEHU RI LPPHGLDWH VHOHFWLRQV IRU WKHVH LQVWDQFHV LV PXFK ODUJHU WKDQ LQ WKH RWKHU FDVHV 7KH PRVW GLpFXOW FDVH IURP WKH SRLQW RI YLHZ RI WKH FRPSXWLQJ WLPH LV REWDLQHG IRU WKH MRE VKRS EORFNLQJ ZLWK VZDS DOORZHG :H DOVR REVHUYH WKDW WKH QRVZDS FRQVWUDLQW KDV D VWURQJ HmHFW RQ WKH RSWLPDO PDNHVSDQ ,Q IDFW WKH GLmHUHQFH EHWZHHQ WKH DYHUDJH RSWLPDO PDNHVSDQV LQ WKH MRE VKRS EORFNLQJ ZLWK QR VZDS DQG WKH MRE VKRS EORFNLQJ ZLWK VZDS DOORZHG LV DURXQG  )LQDOO\ ZH GHVFULEH WKH SHUIRUPDQFH RI WKH JUHHG\ KHXULVWLFV ZLWK UHVSHFW WR WKH RSWLPDO VROXWLRQV RYHU WKH   d  LQVWDQFHV 7KH UHODWLYH HUURU RYHU WKH  LQVWDQFHV IRU WKH LGHDO MRE VKRS SUREOHP LV DSSUR[LPDWHO\  WKH UHODWLYH HUURU IRU WKH -6%:6



,QVWDQFH QDPH $E] $E] )W 2UE 2UE 2UE 2UE 2UE 2UE 2UE 2UE 2UE 2UE /D /D /D /D /D

,-63 ,6

26

                 

                 

%:63 7LPH

                 

,6

26

                 

                 

%163

7LPH

                 

,6

26

                 

                 

1:3 7LPH

                 

,6

26

                 

                 

7LPH

                 

7DEOH  3HUIRUPDQFH RI WKH EUDQFK DQG ERXQG SURFHGXUH RYHU  RI WKH  LQVWDQFHV LV  WKH HUURU IRU WKH -6%16 RYHU WKH  LQVWDQFHV LV  DQG nQDOO\ WKH UHODWLYH HUURU IRU WKH QR ZDLW FDVH RYHU WKH  LQVWDQFHV LV 



&RQFOXVLRQV

,Q WKLV SDSHU ZH LQWURGXFHG WKH DOWHUQDWLYH JUDSK DQG VKRZHG LWV HmHFWLYHQHVV LQ PRG HOLQJ D ZLGH YDULHW\ RI VFKHGXOLQJ SUREOHPV :H DOVR VKRZHG WKDW WKH PRVW VLJQLnFDQW DOJRULWKPLF LPSURYHPHQWV REWDLQHG IRU WKH MRE VKRS SUREOHP ZLWK LQnQLWH EXmHUV LQ WKH SDVW WKLUW\ \HDUV FDQ EH H[WHQGHG WR GHDO ZLWK JHQHUDO DOWHUQDWLYH JUDSKV )URP WKH WKHRUHWLFDO SRLQW RI YLHZ ZH LGHQWLnHG D ERXQGDU\ EHWZHHQ SRO\QRPLDO DQG 13FRPSOHWH SUREOHPV LQ WKLV FRQWH[W :H GLG QRW LPSOHPHQW WKH EUDQFKLQJ VFKHPH SURSRVHG E\ &DUOLHU DQG 3LQVRQ   DQG QHLWKHU WKHLU JOREDO RSHUDWLRQV IRU nQGLQJ LPPHGLDWH VHOHFWLRQV ,Q IDFW LQ RXU RSLQ LRQ WKHUH VKRXOG EH D ORW RI VSDFH IRU LPSURYLQJ WKH SHUIRUPDQFH RI RXU SURFHGXUH +HQFH IXWXUH UHVHDUFK VKRXOG DGGUHVV DOJRULWKPLF LPSURYHPHQWV DV ZHOO DV EHWWHU LPSOHPHQWD WLRQV RI H[DFW VROXWLRQ SURFHGXUHV )XWXUH UHVHDUFK VKRXOG DOVR FRQFHUQ ZLWK VSHFLDOL]HG DOJRULWKPV IRU WKH MRE VKRS SUREOHP ZLWK VZDS DOORZHG GXH WR WKH SRRU SHUIRUPDQFH RI ERWK WKH JUHHG\ DOJRULWKPV DQG WKH EUDQFK DQG ERXQG FRGH IRU WKLV VXEFDVH

5HIHUHQFHV >@ $GDPV - ( %DODV DQG ' =DZDFN  7KH VKLIWLQJ ERWWOHQHFN SURFHGXUH IRU MRE VKRS VFKHGXOLQJ 0DQDJHPHQW 6FLHQFH   ^ >@ $GHQVR'urD] % 0 2OLYD *RQ]uDOH] DQG 3 *RQ]uDOH]7RUUH  2QOLQH WLPHWDEOH UHVFKHGXOLQJ LQ UHJLRQDO WUDLQ VHUYLFHV 7UDQVSRUWDWLRQ 5HVHDUFK 3DUW %  ^ >@ $SSOHJDWH ' DQG : &RRN  $ FRPSXWDWLRQDO VWXG\ RI WKH MRE VKRS VFKHGXOLQJ SUREOHP 2UVD -RXUQDO RQ &RPSXWLQJ   ^



>@ $UELE & *) ,WDOLDQR DQG $ 3DQFRQHVL  3UHGLFWLQJ GHDGORFN LQ VWRUHDQG IRUZDUG QHWZRUNV 1HWZRUNV  ^ >@ $UELE & ' 3DFFLDUHOOL DQG 6 6PULJOLR  $ WKUHHGLPHQVLRQDO PDWFKLQJ PRGHO IRU SHULVKDEOH SURGXFWLRQ VFKHGXOLQJ 'LVFUHWH $SSOLHG 0DWKHPDWLFV  ^ >@ %DODV (  'LVMXQFWLYH SURJUDPPLQJ $QQDOV RI 'LVFUHWH 0DWKHPDWLFV  ^ >@ %UXFNHU 3 7 +LOELJ DQG - +XULQN  $ EUDQFK DQG ERXQG DOJRULWKP IRU D VLQJOHPDFKLQH VFKHGXOLQJ SUREOHP ZLWK SRVLWLYH DQG QHJDWLYH WLPHODJV 'LVFUHWH $SSOLHG 0DWKHPDWLFV   ^ >@ %UXFNHU 3 % -XULVK DQG % 6LHYHUV  $ EUDQFK DQG ERXQG DOJRULWKP IRU WKH MREVKRS VFKHGXOLQJ SUREOHP 'LVFUHWH $SSOLHG 0DWKHPDWLFV  ^ >@ &DL ; &- *RK DQG $, 0HHV  *UHHG\ KHXULVWLFV IRU UDSLG VFKHGXOLQJ RI WUDLQV RQ D VLQJOH WUDFN ,,( 7UDQVDFWLRQV  ^ >@ &DUOLHU -  7KH RQHPDFKLQH VHTXHQFLQJ SUREOHP (XURSHDQ -RXUQDO RI 2SHUD WLRQDO 5HVHDUFK  ^ >@ &DUOLHU - DQG ( 3LQVRQ  $Q DOJRULWKP IRU VROYLQJ WKH MREVKRS SUREOHP 0DQDJHPHQW 6FLHQFH   ^ >@ &DUOLHU - DQG ( 3LQVRQ  $ SUDFWLFDO XVH RI -DFNVRQ V SUHHPSWLYH VFKHGXOH IRU VROYLQJ WKH MREVKRS SUREOHP $QQDOV RI 2SHUDWLRQV 5HVHDUFK  ^ >@ &DUOLHU - DQG ( 3LQVRQ  $GMXVWPHQW RI KHDGV DQG WDLOV IRU WKH MREVKRS SUREOHP (XURSHDQ -RXUQDO RI 2SHUDWLRQDO 5HVHDUFK  ^ >@ &RUGHDX -) 3 7RWK DQG ' 9LJR  $ 6XUYH\ RI 2SWLPL]DWLRQ 0RGHOV IRU 7UDLQ 5RXWLQJ DQG 6FKHGXOLQJ 7UDQVSRUWDWLRQ 6FLHQFH   ^ >@ 'HOOD &URFH ) 5 7DGHL DQG * 9ROWD  $ JHQHWLF DOJRULWKP IRU WKH MREVKRS SUREOHP &RPSXWHUV DQG 2SHUDWLRQV 5HVHDUFK   ^ >@ 'HOO $PLFR 0 DQG 0 7UXELDQ  $SSO\LQJ WDERR VHDUFK WR WKH MREVKRS VFKHGXO LQJ SUREOHP $QQDOV RI 2SHUDWLRQV 5HVHDUFK  ^ >@ 'H 6WHIDQR ) DQG $ 0DVFLV  -RE VKRS VFKHGXOLQJ ZLWK EORFNLQJ FRQVWUDLQWV 5HSRUW  'LSDUWLPHQWR GL ,QIRUPDWLFD H 6LVWHPLVWLFD 8QLYHUVLWtD GL 5RPD ?/D 6DSLHQ]D 5RPD ,WDO\ >@ 'RUQ - DQG 5 6KDPV  6FKHGXOLQJ KLJKJUDGH VWHHOPDNLQJ ,((( ([SHUW   ^ >@ *DUH\ 05 DQG '6 -RKQVRQ  &RPSXWHUV DQG LQWUDFWDELOLW\ D JXLGH WR WKH WKHRU\ RI 13FRPSOHWHQHVV )UHHPDQ &R 6 )UDQFLVFR >@ *UDERZVNL - - 3HPSHUD DQG & 6PXWQLFNL  6FKHGXOLQJ LQ SURGXFWLRQ RI FRQ FUHWH ZDUHV 2SHUDWLRQV 5HVHDUFK 3URFHHGLQJV  %UDXQVFKZHLJ  6SULQJHU %HUOLQ ^ 

>@ +DOO 1- DQG & 6ULVNDQGDUDMDK  $ VXUYH\ RQ PDFKLQH VFKHGXOLQJ SUREOHPV ZLWK EORFNLQJ DQG QRZDLW LQ SURFHVV 2SHUDWLRQV 5HVHDUFK   ^ >@ +DOO 1- 0( 3RVQHU DQG &1 3RWWV D 6FKHGXOLQJ ZLWK nQLWH FDSDFLW\ LQSXW EXmHUV 2SHUDWLRQV 5HVHDUFK   ^ >@ +DOO 1- 0( 3RVQHU DQG &1 3RWWV E 6FKHGXOLQJ ZLWK nQLWH FDSDFLW\ RXWSXW EXmHUV 2SHUDWLRQV 5HVHDUFK   ^ >@ +DOORZHOO 6) DQG 37 +DUNHU  3UHGLFWLQJ RQWLPH SHUIRUPDQFH LQ VFKHGXOHG UDLOURDG RSHUDWLRQV PHWKRGRORJ\ DQG DSSOLFDWLRQ WR WUDLQ VFKHGXOLQJ 7UDQVSRUWDWLRQ 5HVHDUFK 3DUW $   ^ >@ /DZUHQFH 6  6XSSOHPHQW WR 5HVRXUFH FRQVWUDLQHG SURMHFW VFKHGXOLQJ DQ H[ SHULPHQWDO LQYHVWLJDWLRQ RI KHXULVWLF VFKHGXOLQJ WHFKQLTXHV *6,$ &DUQDJLH 0HOORQ 8QLYHUVLW\ 3LWWVEXUJ 3$ >@ /L[LQ 7DQJ -L\LQ /LX $L\LQJ 5RQJ DQG =LKRX @ 0F &RUPLFN 67 0/ 3LQHGR 6 6KHQNHU DQG % :ROI  6HTXHQFLQJ LQ DQ DVVHPEO\ OLQH ZLWK EORFNLQJ WR PLQLPL]H F\FOH WLPH 2SHUDWLRQV 5HVHDUFK   ^  >@ 0DUWLQ 3 DQG '% 6KPR\V  $ QHZ DSSURDFK WR FRPSXWH RSWLPDO VFKHGXOHV IRU WKH MRE VKRS VFKHGXOLQJ SUREOHP /HFWXUH 1RWHV LQ &RPSXW 6FL  6SULQJHU %HUOLQ   DQG ,QWHJHU DQG &RPELQDWRULDO 2SWLPL]DWLRQ 9DQFRXYHU %&  ^ >@ 0XWK -) DQG */ 7KRPSVRQ HGV   ,QGXVWULDO VFKHGXOLQJ .OXYHU $FDGHPLF 3XEOLVKHUV >@ 1DKPLDV 6  3HULVKDEOH LQYHQWRU\ WKHRU\ D UHYLHZ 2SHUDWLRQV 5HVHDUFK   ^ >@ 1RZLFNL ( DQG & 6PXWQLFNL  $ IDVW WDERR VHDUFK DOJRULWKP IRU WKH MRE VKRS VFKHGXOLQJ SUREOHP 0DQDJHPHQW 6FLHQFH   ^ >@ 2YDFLN ,0 DQG 5 8]VR\  'HFRPSRVLWLRQ PHWKRGV IRU FRPSOH[ IDFWRU\ VFKHGXO LQJ SUREOHPV 3UHQWLFH+DOO (QJOHZRRG &OLmV 1- >@ 3LQHGR 0  6FKHGXOLQJ  WKHRU\ DOJRULWKPV DQG V\VWHPV 3UHQWLFH +DOO ,QW 6HULHV LQ ,QGXVWULDO DQG 6\VWHP (QJLQHHULQJ (QJOHZRRG &OLmV 1- >@ 3LQVRQ (  7KH MRE VKRS VFKHGXOLQJ SUREOHP D FRLQFLVH VXUYH\ DQG VRPH UHFHQW GHYHORSPHQWV ,Q &KUuHWLHQQH 3 (* &RmPDQ -. /HQVWUD DQG = /LX HGV  6FKHGXOLQJ WKHRU\ DQG LWV DSSOLFDWLRQV :LOH\ ^ >@ 5HNODLWLV *9  5HYLHZ RI VFKHGXOLQJ RI SURFHVV RSHUDWLRQV $,&K( 6\PSRVLXP 6HULHV  ^ 

>@ 5R\ % DQG % 6XVVPDQ  /HV SUREOtHP G RUGRQQDQFHPHQW DYHF FRQWUDLQWHV GLV MRQFWLYHV 1RWH '6 1R ELV 6(0$ 3DULV >@ 6DGHK 1 . 6\FDUD @ 6zDKLQ , oLFW PDQDJHPHQW 7UDQVSRUWDWLRQ 5HVHDUFK 3DUW %  ^ >@ 6WRUHU 5+ 6' :X DQG 5 9DFFDUL  3UREOHP DQG KHXULVWLF VSDFH VHDUFK VWUDWHJLHV IRU MRE VKRS VFKHGXOLQJ 256$ -RXUQDO RQ &RPSXWLQJ   ^ >@ 6WUXVHYLFK 9$  6KRS VFKHGXOLQJ SUREOHPV XQGHU SUHFHGHQFH FRQVWUDLQWV $Q QDOV RI 2SHUDWLRQV 5HVHDUFK  ^ >@ 7DLOODUG (  3DUDOOHO WDEX VHDUFK WHFKQLTXH IRU WKH MRE VKRS VFKHGXOLQJ SUREOHP 256$ -RXUQDO RQ &RPSXWLQJ  ^ >@ YDQ /DDUKRYHQ 3-0 (+/ $DUWV DQG -. /HQVWUD  -RE VKRS VFKHGXOLQJ E\ VLPXODWHG DQQHDOLQJ 2SHUDWLRQV 5HVHDUFK  ^