Disjunctive logic programming with negation as failure in the head

'LVMXQFWLYH /RJLF 3URJUDPPLQJ

ZLWK 1HJDWLRQ $V )DLOXUH LQ WKH +HDG

/DXUD $ &HFFKL

'HSDUWDPHQWR GH ,QIRUP˜DWLFD \ (VWDG˜•VWLFD )DFXOWDG GH (FRQRP˜•D \ $GPLQLVWUDFL˜RQ 8QLYHUVLGDG 1DFLRQDO GHO &RPDKXH

HPDLOOFHFFKL#XQFRPDHGXDU

3DEOR 5 )LOORWWUDQL

*XLOOHUPR 5 6LPDUL

*UXSR GH ,QYHVWLJDFL˜RQ HQ ,QWHOLJHQFLD $UWL‘FLDO 'HSDUWDPHQWR GH &LHQFLDV GH OD &RPSXWDFL˜RQ

8QLYHUVLGDG 1DFLRQDO GHO 6XU HPDLO IFFILOOR JUVJ#FULEDHGXDU

.H\ZRUGV 'LVMXQFWLYH ORJLF SURJUDPPLQJ 1HJDWLRQ DV IDLOXUH LQ KHDG 1RQ PLQ LPDO PRGHO VHPDQWLFV $QVZHU VHW VHPDQWLF

-897,.9

'LVMXQFWLYH ORJLF SURJUDPV KDYH EHHQ VWXGLHG LQ RUGHU WR LQFUHDVH H[SUHVVLYLW\ HVSHFLDOO\ LQ UHSUHVHQWLQJ LQGH‘QLWH LQIRUPDWLRQ (YHQ WKRXJK WKHUH LV QR JHQHUDO FRQVHQVXV RQ DQ\ VSHFL‘F VHPDQWLF IRU GLVMXQFWLYH ORJLF SURJUDPV ZLWK QHJDWLRQ PRVW RI ZHOO NQRZQ VHPDQWLFV DUH PLQLPDO PRGHO EDVHG 6RPHWLPHV UHDO DSSOLFDWLRQV QHHG WR FDSWXUH QRQ PLQLPDO PRGHOV LQ VSLWH RI WKH IDFW WKDW WKH\ FRQWDLQ UHGXQGDQW LQIRUPDWLRQ ,Q UHSUHVHQWLQJ GLVMXQFWLYH NQRZOHGJH IRU LQVWDQFH PLQLPDO DSSURDFKHV FDSWXUH H[FOXVLYH GLVMXQFWLRQ EXW WKH\ FDQQRW PDQDJHG WKH LQFOXVLYH PHDQLQJ

7KH SXUSRVH RI WKLV SDSHU LV WR DQDO\]H WKH H[SUHVVLYH SRZHU RI D VSHFLDO FRP ELQDWLRQ RI GLVMXQFWLYH ORJLF SURJUDPPLQJ QHJDWLRQ DV IDLOXUH 1$) DQG VWURQJ QHJDWLRQ 7KLV FODVV RI SURJUDPV DUH V\QWDFWLFDOO\ XQLIRUP VLQFH ERWK NLQGV RI QHJD WLRQ DUH DOORZHG WR DSSHDU LQ WKH KHDG DQG LQ WKH ERG\ RI D UXOH DQG LWV VHPDQWLFV DOORZV QRQ PLQLPDO PRGHOV :H LQWURGXFH D QRQ LQMHFWLYH V\QWDFWLF WUDQVIRUPDWLRQ RI GLVMXQFWLYH ORJLF SURJUDPV ZLWK 1$) LQ KHDG LQWR GLVMXQFWLYH ORJLF SURJUDPV ZLWKRXW 1$) LQ KHDG LQ RUGHU WR FRPSDUH VHPDQWLFDOO\ ERWK FODVV RI SURJUDPV

)LQDOO\ ZH SURYH WKDW WKH VHW RI DQVZHU VHWV RI WKH WUDQVIRUPHG GLVMXQFWLYH ORJLF SURJUDP LV VWULFWO\ LQFOXGHG LQ WKH VHW RI PLQLPDO DQVZHU VHWV RI WKH RULJLQDO SURJUDP DQG ZH GLVFXVV LWV FRQVHTXHQFHV

'LVMXQFWLYH /RJLF 3URJUDPPLQJ

ZLWK 1HJDWLRQ $V )DLOXUH LQ WKH +HDG

,

QWURGXFWLRQ

/RJLF SURJUDPV DUH QRZDGD\V ZLGHO\ UHFRJQL]HG DV D YDOXDEOH WRRO IRU NQRZOHGJH UHS UHVHQWDWLRQ DQG FRPPRQVHQVH UHDVRQLQJ ,Q RUGHU WR LQFUHDVH WKH DSSOLFDELOLW\ RI ORJLF SURJUDPPLQJ LQ PDQ\ ‘HOGV VHYHUDO H[WHQVLRQV RI WKH FODVV RI GH‘QLWH SURJUDPV KDYH EHHQ SURSRVHG 1RUPDO SURJUDPV >/OR@ DGG QHJDWLRQ DV IDLOXUH LQ SURJUDP FODXVH ERG LHV EDVLF SURJUDPV >*/@ DOORZ VWURQJ QHJDWLRQ QRW RQO\ LQ WKH FODXVH ERGLHV EXW LQ WKH FODXVH KHDGV DV ZHOO DQG GLVMXQFWLYH SURJUDPV >0LQ@ DOORZ GLVMXQFWLRQ DV KHDGV RI SURJUDP FODXVHV

'LVMXQFWLYH ORJLF SURJUDPV KDYH EHHQ VWXGLHG LQ RUGHU WR LQFUHDVH H[SUHVVLYLW\ HVSH FLDOO\ LQ UHSUHVHQWLQJ LQGH‘QLWH LQIRUPDWLRQ (YHQ WKRXJK WKHUH LV QR JHQHUDO FRQVHQVXV RQ DQ\ VSHFL‘F VHPDQWLF IRU GLVMXQFWLYH ORJLF SURJUDPV ZLWK QHJDWLRQ PRVW RI ZHOO NQRZQ VHPDQWLFV DUH PLQLPDO PRGHO EDVHG 6HYHUDO PRGHO FODVVHV GH‘QHG VXFK DV WKH SHUIHFW DQG VWDEOH PRGHOV IRU WKHRULHV ZLWK ERG\ QHJDWLRQ DUH VXEVHWV RI WKH PLQLPDO PRGHOV DQG FRLQFLGH ZLWK WKH PLQLPDO PRGHO LQ WKH DEVHQFH RI QHJDWLRQ LQ WKH UXOH ERGLHV 6RPH WLPHV UHDO DSSOLFDWLRQV QHHG WR FDSWXUH QRQ PLQLPDO PRGHOV LQ VSLWH RI WKH IDFW WKDW WKH\ FRQWDLQ UHGXQGDQW LQIRUPDWLRQ ,Q UHSUHVHQWLQJ GLVMXQFWLYH NQRZOHGJH IRU LQVWDQFH PLQLPDO DSSURDFKHV FDSWXUH H[FOXVLYH GLVMXQFWLRQ EXW WKH\ FDQQRW PDQDJHG WKH LQFOXVLYH PHDQLQJ

7KH SXUSRVH RI WKLV SDSHU LV WR DQDO\]H WKH H[SUHVVLYH SRZHU RI D VSHFLDO FRPELQDWLRQ RI GLVMXQFWLYH ORJLF SURJUDPPLQJ QHJDWLRQ DV IDLOXUH 1$) DQG VWURQJ QHJDWLRQ 7KLV FODVV RI SURJUDPV DUH V\QWDFWLFDOO\ XQLIRUP VLQFH ERWK NLQGV RI QHJDWLRQ DUH DOORZHG WR DSSHDU LQ WKH KHDG DQG LQ WKH ERG\ RI D UXOH DQG LWV VHPDQWLFV DOORZV QRQ PLQLPDO PRGHOV 7KLV LGHD ZDV LQWURGXFHG E\ /LIWFKLW] DQG :RR >/:@ $UJXLQJ WKH ODFN RI XQLIRUPLW\ RI ORJLF SURJUDPPLQJ /LIWFKLW] >/LI@ GH‘QHG WKH ORJLF RI PLQLPDO EHOLHI DQG QHJDWLRQ DV IDLOXUH ZKLFK SURYLGHV D XQL‘HG IUDPHZRUN IRU VHYHUDO ORJLF SURJUDPPLQJ ODQJXDJHV DQG QRQ PRQRWRQLF IRUPDOLVPV

,Q >/:@ D FODVV RI SURSRVLWLRQDO IRUPXODV RI PLQLPDO EHOLHI DQG QHJDWLRQ DV IDLOXUH FDOOHG WKHRULHV ZLWK SURWHFWHG OLWHUDOV 3/7KHRULHV LV GH‘QHG 3URWHFWHG OLWHUDOV DUH IRUPXODV RI WKH IRUP / DQG QRW / ZKHUH / LV D OLWHUDO DQG DQG QRW DUH WZR QRQ PRQRWRQLF RSHUDWRUV UHSUHVHQWLQJ PLQLPDO EHOLHI DQG 1$) UHVSHFWLYHO\ $ 3/WKHRU\ LV D VHW RI 3/IRUPXOD ZKLFK FDQ EH FKDUDFWHUL]HG E\ IRUPXODV WKDW FDQ EH EXLOW IURP SURWHFWHG OLWHUDOV XVLQJ QRW DQG A 7KH FODVV RI GLVMXQFWLYH SURJUDPV ZLWK 1$) LQ WKH KHDG ZDV LQWURGXFHG DV DQ HTXLYDOHQW ZD\ RI ZULWWLQJ D GLVMXQWLRQ RI SURWHFWHG OLWHUDOV DQG WKHLU QHJDWLRQ 7KHUHIRUH GLVMXQFWLYH ORJLF SURJUDPV ZLWK 1$) LQ KHDG DUH HPEHGGHG LQWR PLQLPDO EHOLHI DQG QHJDWLRQ DV IDLOXUH

2 ' 5 0 8

3URJUDPV ZLWK 1$) LQ WKH +HDG

2%3# $ 2 9 :

” 'HIDXOW ,PSOLFLW )DOVLW\ :HDN 1HJDWLRQ: * QHJDWLRQ DV IDLOXUH 1$) QRW /0

” 'LUHFWO\ (VWDEOLVKHG )DOVLW\ 6WURQJ 1HJDWLRQ_{: -}

-

” 1HJDWLRQ DV ,QFRQVLVWHQF\: /

- ZHDN VWURQJ

'H‘QLWLRQ / GLVMXQFWLYH SURJUDP ZLWK QHJDWLRQ DV IDLOXUH

/M M/NM QRW /NM MQRW /P¥ /PA A /UA QRW /UA A QRW /Q

.;1

M B /LV LV HLWKHU D JURXQG DWRP $ RU LWV VWURQJ QHJDWLRQ

$ DQG Q š U š P š N š 7KH OHIWKDQG VLGH RI WKH UXOH LV FDOOHG +HDG ZKLOH WKH ULJKWKDQG VLGH RI WKH UXOH LV FDOOHG %RG\ 7KH VHW RI DOO GLVMXQFWLYH SURJUDPV ZLWK 1$) ZLOO EH GHQRWH E\ '31$) _{7KRVH SURJUDPV VXFK WKDW N P DQG U Q ZLOO EH FDOOHG}

SRVLWLYH GLVMXQFWLYH SURJUDPV 7KH VHW RI DOO SRVLWLYH GLVMXQFWLYH SURJUDPV ZLOO EH GHQRWHG E\ '3 )LQDOO\ ZH ZLOO GHQRWH WKH VHW RI DOO GLVMXQFWLYH SURJUDPV ZLWK N P LH ZLWK QHJDWLRQ DV IDLOXUH RQO\ LQ WKH ERG\ RI WKH UXOHV E\ *'3 B

$ IRUPXOD RI WKH IRUP ZLWK P N LV FDOOHG FRQVWUDLQW $ VHW ; RI OLWHUDOV YLRODWHV D FRQVWUDLQW LI I/P /UJ — ; DQG ; ? I/U /QJ 2WKHUZLVH

; VDWLV‘HV WKH FRQVWUDLQW &RQVWUDLQWV ZLOO QRW EH FRQVLGHUHG LQ SDUWLFXODU HYHQ WKRXJK DOO GH‘QLWLRQV DQG UHVXOWV LQFOXGH WKHP

:H XVH M UDWKHU WKDQ B LQ GLVMXQFWLYH UXOH KHDGV EHFDXVH WKHUH LV D VXEWOH GLHUHQFH EHWZHHQ WKH XVH RI GLVMXQFWLRQ LQ WKH KHDGV RI UXOHV DQG WKH XVH RI GLVMXQFWLRQ LQ FODVVLFDO ORJLF &RQVLGHU WKH IROORZLQJ SURJUDP IURP >*/@ IT ¥ S SMS ¥J 7KH GLVMXQFWLYH UXOH H[SUHVVHV WKDW S LV HLWKHU NQRZQ WR EH WUXH RU NQRZQ WR EH IDOVH ,QWXLWLYHO\ HYHU\ PRGHO RI WKLV SURJUDP LQFOXGHV HLWKHU S RU S DQG WKHUHIRUH WKH SRVVLEOH PLQLPDO PRGHOV

_{,Q VRPH RI WKH OLWHUDWXUH VWURQJ QHJDWLRQ LV FDOOHG FODVVLFDO QHJDWLRQ $QVZHU VHW VHPDQWLF LV QRW}

DUH IS TJ DQG ISJ 8QOLNH WKH ODZ RI WKH H[FOXGHG PLGGOH $ B $ LQ FODVVLFDO ORJLF WKH UXOH SMS FDQQRW EH UHPRYHG IURP WKH SURJUDP ZLWKRXW FKDQJLQJ LWV PHDQLQJ

/HWV SUHVHQW VRPH QRWDWLRQ )RU DQ\ VHW ; RI OLWHUDOV ZH ZLOO GHQRWH WKH VHW IQRW / / ;J E\ QRW; +HQFHIRUWK D GLVMXQFWLYH UXOH ZLOO EH UHSUHVHQWHG LQ WKH IRUP >/LI@ +3 RV > QRW+1HJ ¥ %3 RV > QRW%1HJ ZKHUH +3 RV +1HJ %3 RV %1HJ DUH VRPH ‘QLWH VHWV RI OLWHUDOV ,Q SDUWLFXODU LV UHSUHVHQWHG E\ VHWWLQJ

+3 RV I/ /NJ

+1HJ I/N /PJ

%3 RV I/P /UJ

%1HJ I/U /QJ

%\ GH‘QLWLRQ D SURJUDP LV D VHW RI DWRPLF UXOHV +RZHYHU UHDO DSSOLFDWLRQ SURJUDPV XVXDOO\ XVH YDULDEOHV LQ RUGHU WR H[SUHVV JHQHUDO LQIRUPDWLRQ )ROORZLQJ /LIWFKLW]V QR WDWLRQ >/LI@ OLWHUDOV WKDW FRQWDLQ YDULDEOHV ZLOO EH FDOOHG VFKHPDWLF OLWHUDOV 6FKHPDWLF UXOH DQG VFKHPDWLF SURJUDP GH‘QLWLRQV DUH SDUDOOHO WR WKH GH‘QLWLRQV RI D UXOH DQG RI D SURJUDP JLYHQ LQ GH‘QLWLRQ ZLWK VFKHPDWLF OLWHUDOV LQVWHDG RI OLWHUDOV

/HW 5 EH D VFKHPDWLF UXOH DQG 3 D VFKHPDWLF SURJUDP *URXQG5 VWDQGV IRU WKH VHW RI DOO JURXQG LQVWDQFHV RI 5 DQG

*URXQG3 >

#!

*URXQG5

+HQFHIRUWK ZH ZLOO XVH WKH WHUPV SURJUDP DQG *URXQG3 ZKLFK FOHDUO\ LV D SURJUDP LQ WKH VHQVH RI WKH GH‘QLWLRQ LQWHUFKDQJHDEO\

([DPSOH :H ZRXOG OLNH WR UHSUHVHQW WKH IDFW WKDW D SHUVRQ ZKR OLNHV OLWHUDWXUH HLWKHU UHDGV %˜HFTXHUV ZRUN RU %UDGEXU\V ZRUN )XUWKHUPRUH ZH ZDQW WR GLVWLQJXLVK EHWZHHQ SHRSOH ZKR OLNH ‘FWLRQ DQG URPDQWLF ERRNV 7KH IROORZLQJ VFKHPDWLF SURJUDP HQFRGHV WKH DERYH LQWHQGHG PHDQLQJ WRJHWKHU ZLWK WKH IDFW WKDW -HDQ LV D SHUVRQ ZKR OLNHV OLWHUDWXUH 1RWH WKDW *URXQG3 '3

UHDGV; EHFTXHU M UHDGV; EUDGEXU\ ¥ SHUVRQ; OLNHV OLWHUDWXUH; OLNHV; ILFWLRQ ¥ UHDGV; EUDGEXU\

OLNHV; URPDQWLF ¥ UHDGV; EHFTXHU SHUVRQMHDQ ¥

OLNHV OLWHUDWXUHMHDQ ¥

B

([DPSOH 6XSSRVH ZH ZDQW WR HQFRGH WKH RSHUDWLRQ RI VZLWFK WKDW WXUQV RQ D OLJKW $VVXPLQJ WKDW WKH OLJKW DQG WKH VZLWFK DUH QRW SURQH WR EH EURNHQ ZH ZDQW WR UHSUHVHQW WKDW WKH OLJKW ZLOO EH RQ LI WKH VZLWFK LV RQ DQG WKDW WKH VZLWFK ZLOO EH RQ ZKHQHYHU WKH OLJKW LV RQ 7KH IROORZLQJ VFKHPDWLF SURJUDP 3 UHSUHVHQWV WKLV LQIRUPDWLRQ DQG WKH IDFW WKDW D SHUVRQ ZLOO IDOO GRZQ LI WKH OLJKW LV QRW RQ *URXQG3 LV LQ'3

3 OLJKW RQ M QRW VZLWFK RQ ¥ VZLWFK RQ M QRW OLJKW RQ ¥

IDOOV GRZQ; ¥ SHUVRQ; A QRW OLJKW RQ SHUVRQPDULH ¥

(, - & .&

'LVMXQFWLYH $QVZHU

6

HW

/ % & / 012334 1 2- , 012564 01254

02574 2 ORJLFDOO\ FORVHG _{DQG WKHUHIRUH ;}

LV HTXDOV WR WKH VHW RI DOO JURXQGHG OLWHUDOV WKDW ZH ZLOO GHQRWH /LW ; RI OLWHUDOV LV VDLG WR EH FORVHG XQGHU 3 LI IRU HYHU\ GLVMXQFWLYH UXOH +HDG ¥ %RG\ LQ 3 +HDG ? ; ZKHQHYHU %RG\ — ; ; LV DQ DQVZHU VHW IRU 3 LI LW LV D PLQLPDO UHODWLYH WR VHW LQFOXVLRQ VHW RI OLWHUDOV WKDW LV ERWK FORVHG XQGHU 3 DQG ORJLFDOO\ FORVHG B

([DPSOH /HWV FRQVLGHU DJDLQ WKH SURJUDP LQ H[DPSOH 7KH SRVVLEOH DQVZHU VHW RI 3 DUH

ISHUVRQMHDQ UHDGVMHDQ EHFTXHU OLNHVMHDQ URPDQWLFJ

DQG

ISHUVRQMHDQ UHDGVMHDQ EUDGEXU\ OLNHVMHDQ ILFWLRQJ

$V WKH SURSHUW\ RI PLQLPDOLW\ KROGV XQGHU WKH DQVZHU VHW VHPDQWLF D SHUVRQ FDQQRW UHDG ERWK %˜HFTXHU DQG %UDGEXU\ ZKLFK LV RXU LQWHQGHG PHDQLQJ B

'H‘QLWLRQ >/LI@/HW 3 EH LQ '31$) _{7KH UHGXFW RI 3 UHODWLYH WR D VHW RI OLWHUDOV}

; LV REWDLQHG IURP ; E\

” GHOHWLQJ HDFK GLVMXQFWLYH UXOH VXFK WKDW +1HJ — ; RU %1HJ ? ; DQG ” UHSODFLQJ HDFK UHPDLQLQJ GLVMXQFWLYH UXOH E\ +3 RV ¥ %3 RV

7KLV SURJUDP LQ '3 ZLOO EH GHQRWHG E\ 3;

; LV DQ DQVZHU VHW IRU 3 LI ; LV DQ DQVZHU VHW IRU 3; _{$ FRQVHTXHQFH RI 3 LV D OLWHUDO}

WKDW EHORQJV WR DOO LWV DQVZHU VHWV B

([DPSOH /HWV FRQVLGHU WKH H[DPSOH 7KH DQVZHU VHWV RI 3 DUH

; ISHUVRQPDULH IDOOV GRZQPDULHJ

DQG

; ISHUVRQPDULH OLJKW RQ VZLWFK RQJ

ZKHUH WKH UHGXFWV DUH

3; IDOOV GRZQPDULH ¥ SHUVRQPDULH

SHUVRQPDULH ¥ DQG

3; OLJKW RQ ¥

VZLWFK RQ ¥

SHUVRQPDULH ¥ B

,Q YLHZ RI H[DPSOH ZH FDQ LQIRUPDOO\ GHVFULEH WKH PHDQLQJ RI WKH 349 LQ WKH KHDG RI D UXOH DV IROORZV ,I WKH VHW RI FRQVHTXHQFHV RI D SURJUDP GRHV QRW LQFOXGH +1HJ WKHQ LW ZLOO H[LVW + +1HJ VXFK WKDW LW LV QRW D FRQVHTXHQFH RI WKH SURJUDP 7KHUHIRUH QRW+ DQG WKH GLVMXQFWLRQ ZLOO KROG 6R ZH GR QRW QHHG WR WDNH LQWR DFFRXQW WKLV UXOH ,Q WKH H[DPSOH XQGHU WKH ‘UVW DQVZHU VHW WKH GLVMXQFWLRQ OLJKW RQ M QRW VZLWFK RQ KROGV EHFDXVH QRW VZLWFK RQ KROGV ,I +1HJ LV LQFOXGHG LQ WKH VHW RI FRQVHTXHQFHV RI D SURJUDP WKHQ WKH WUXWK YDOXH RI WKH GLVMXQFWLRQ ZLOO GHSHQG RQO\ RQ +3 RV 7KH VHFRQG DQVZHU VHW RI WKH SURJUDP 3 LQWURGXFHG LQ WKH H[DPSOH UH’HFWV WKLV VLWXDWLRQ

/LIVFKLW] DQG :RR SRLQWHG RXW WKDW PLQLPDOLW\ GRHV QRW KROG LQ WKH DQVZHU VHW VH PDQWLF RI D SURJUDP LQ !1$) _{)RU LQVWDQFH OHWV FRQVLGHU WKH IROORZLQJ SURJUDP 3}

ZLWK RQO\ RQH UXOH IU M QRW UJ ,I ; IUJ WKHQ 3IUJ _{IUJ DQG LI ; IJ WKHQ 3}IJ _IJ

%RWK IUJ DQG IJ DUH DQVZHU VHWV

7KH QRQ PLQLPDOLW\ SURSHUW\ LV XVHIXO WR GLVWLQJXLVK EHWZHHQ WKH LQFOXVLYH DQG H[ FOXVLYH PHDQLQJ RI GLVMXQFWLRQ 6XSSRVH ZH ZDQW WR UHSUHVHQW WKH IROORZLQJ GLVMXQFWLRQ D M E ZKRVH LQWHQGHG PHDQLQJ LV LQFOXVLYH :H FDQ WUDQVODWH D M E LQWR

D M QRW D ¥ E M QRW E ¥

¥ QRW D A QRW E

7KH DQVZHU VHWV DUH IDJ IEJ DQG ID EJ FDSWXULQJ WKH LQWHQGHG LQFOXVLYH PHDQLQJ 3RVVLEOH PRGHO VHPDQWLFV >6DN &KD@ DQG WKH PL[HG FRPSOHWLRQ WKHRU\ >'/@ DUH DOWHUQDWLYHV DSSURDFKHV SURSRVHG WR VROYH WKLV SUREOHP IRU SRVLWLYH GLVMXQFWLYH SUR JUDPV +HQFH WKH LPSRUWDQFH RI WKLV DSSOLFDWLRQ LV WKDW LW LV SRVVLEOH WR PDNH DQ H[SOLFLW GLVWLQFWLRQ EHWZHHQ LQFOXVLYH DQG H[FOXVLYH PHDQLQJ LQ D PRUH JHQHUDO FODVV RI SURJUDPV

7

UDQV

I

RUPDWLRQ

([WHQGLQJ ORJLF SURJUDPPLQJ ZLWK 1$) LQ WKH KHDG LQFUHDVHV WKH H[SUHVVLYLW\ DOORZLQJ QRQ PLQLPDO DQVZHU VHWV 7KHUHIRUH JLYHQ D SURJUDP LQ !1$) _{ZH FDQQRW ‘QG DQ HTXLY}

DOHQW SURJUDP LQ *'3 +RZHYHU ZH DUH LQWHUHVWHG LQ WKH VHPDQWLF UHODWLRQVKLS EHWZHHQ WKHP ,Q RUGHU WR LQYHVWLJDWH WKLV SUREOHP ZH QRZ GH‘QH D V\QWDFWLF WUDQVIRUPDWLRQ DQG VKRZ VRPH H[DPSOHV RI LWV DSSOLFDWLRQ DQG FRQVHTXHQFHV

'H‘QLWLRQ /HW 3 '3 _{7KH WUDQVIRUPDWLRQ ‹'3 *'3 LV GH‘QHG}

DV

‹3 I +3 RV ¥ %3 RV > +1HJ > QRW %1HJ M

+3 RV > QRW +1HJ ¥ %3 RV > QRW %1HJ LV LQ 3 J

B

/HW EH WKH SURJUDP LQWURGXFHG LQ WKH H[DPSOH 7KHQ ‹ LV

‹

7KH VHPDQWLF RI ‹ KDV EHHQ UHVWULFWHG WR WKH XQLTXH DQVZHU VHW

B

7KH IROORZLQJ H[DPSOH VKRZV WKDW WKH SUHYLRXVO\ GH‘QHG WUDQVIRUPDWLRQ LV QRW LQMHF WLYH

‹ _{LV HTXDO WR ‹ ZKHUH LV WKH SURJUDP RI WKH H[DPSOH}

1RWH WKDW LQ WKLV FDVH WKH XQLTXH DQVZHU VHW RI _{LV WKH DQVZHU VHW RI ‹} B

,Q YLHZ RI WKH DERYH H[DPSOHV ZH FDQ FRQFOXGH WKDW WKHUH H[LVW VRPH SURJUDPV LQ _{WKDW DUH HTXLYDOHQW WR WKHLU WUDQVIRUPHG SURJUDPV $W WKLV SRLQW WKH SUREOHP}

RI VSHFLI\LQJ WKLV VXEVHW DULVHV 3URJUDPV LQ _{WKDW FDSWXUH D QRQ PLQLPDO DQVZHU}

VHW GR QRW KDYH DQ HTXLYDOHQW SURJUDP LQ )RU LQVWDQFH ZKLFK FDQ EH UHDG ? LV EHOLHYHG RU LV QRW EHOLHYHG KDV WZR DQVZHU VHWV DQG EXW ZKLFK FDQ EH UHDG ? LV EHOLHYHG LI LV EHOLHYHG KDV RQO\ RQH DQVZHU VHW

$QRWKHU H[DPSOH LV DQG DUH LWV DQVZHU VHWV +RZHYHU ‹ KDV DQ XQLTXH DQVZHU VHW

7KHVH H[DPSOHV KDYH D IHDWXUH LQ FRPPRQ?QRW LQ WKH KHDG LV SDUW RI DQ LQ‘QLWH ORRS 7KHVH SURJUDPV LQ _{KDYH DW OHDVW WZR DQVZHU VHWV 7KH QRQ PLQLPDO RQH}

LQFOXGHV DOO WKH OLWHUDOV LQ WKH ORRS WKH PLQLPDO RQH LQFOXGHV QRQH RI WKHP

$ WUDQVIRUPHG SURJUDP LQ FDSWXUHV RQO\ PLQLPDO DQVZHU VHW ,Q WKH IROORZLQJ VHFWLRQ ZH ZLOO VKRZ WKDW LW FDQQRW HYHQ FDSWXUH DOO PLQLPDO DQVZHU VHWV RI WKH RULJLQDO SURJUDP LQ

&

RP

S

DULQJ '3

ZLWK

*

'3

,Q OLJKW RI WKH GLVFXVVLRQ RI WKH SUHYLRXV VHFWLRQ ZH FDQ DVVXUH WKDW LQFOXGLQJ 1$) LQ KHDG LQFUHDVHV WKH H[SUHVVLYH SRZHU 6LQFH SURJUDPV LQ FDSWXUH RQO\ PLQLPDO PRGHOV ZH FDQ DVN RXUVHOI LI WKH VHW RI WUDQVIRUPHG SURJUDPV DUH SRZHUIXO HQRXJK WR FDSWXUH DOO PLQLPDO DQVZHU VHWV RI WKH RULJLQDO SURJUDP LQ _{,Q WKLV VHFWLRQ ZH}

ZLOO SURYH WKDW WKH VHW RI DQVZHU VHWV RI WUDQVIRUPHG SURJUDPV LV VWULFWO\ LQFOXGHG LQ WKH VHW RI PLQLPDO DQVZHU VHWV RI WKH RULJLQDO SURJUDPV LQ

$

_{! "}$

B

! "$ !%"

#

/HWV FRQVLGHU WKH IROORZLQJ FDVHV

D ,I %3 RV > +1HJ — 6 _{WKHQ %3 RV > +1HJ — 6 7KHUHIRUH}

+3 RV ¥ %3 RV 3$ 6LQFH 6 _{LV FORVHG XQGHU 3}$

DQG %3 RV Ÿ 6 _{+3 RV ? 6 WKHQ LV VDWLV‘HG}

E\ 6

E ,I %3 RV > +1HJ — 6 _{WKHQ 6 VDWLV‘HV}

6 _{LV FORVHG XQGHU ‹3} $

B

7KHRUHP /HW 3 EH D '3 _{,I 6 LV D DQVZHU VHW RI ‹3 WKHQ 6 LV D PLQLPDO}

DQVZHU VHW RI 3

3URRI /HW 6 EH DQ DQVZHU VHW RI ‹3 ,Q RUGHU WR SURYH WKDW 6 LV DQ DQVZHU VHW RI 3 ZH PXVW SURYH WKDW 6 LV DQ DQVZHU VHW RI 3$ _LH

L 6 LV ORJLFDOO\ FORVHG 7ULYLDO LL 6 LV FORVHG XQGHU 3$

/HW +3 RV ¥ %3 RV 3$ _{VXFK WKDW %3 RV — 6 7KHQ H[LVWV}

+3 RV > QRW +1HJ ¥ %3 RV > QRW %1HJ 3

VXFK WKDW +1HJ — 6 DQG %1HJ ? 6 6R

+3 RV ¥ %3 RV > +1HJ > QRW %1HJ ‹3

DQG

+3 RV ¥ %3 RV > +1HJ ‹3 $

$V 6 LV DQ DQVZHU VHW RI ‹3 LV DQ DQVZHU VHW RI ‹3 $ _{DQG 6 LV FORVHG XQGHU}

‹3 $ _{7KHUHIRUH +3 RV ? 6}

LLL 7KHUH LV QR 6_{Ÿ 6 VXFK WKDW 6 VDWLV‘HV L DQG LL}

/HWV VXSSRVH WKDW H[LVWV 6 _{$V 6 VDWLV‘HV LL WKHQ E\ OHPPD 6 LV FORVHG}

XQGHU ‹3 $ _{7KHUHIRUH 6 VDWLV‘HV L DQG LV FORVHG XQGHU ‹3} $ _{ZKDW FRQWUDGLFWV}

! "# ! !

$

( !! & ' $

! ! B

) "# ! ! "! "

"! _{*! "#}

! "! ! ! "!

# ! $!"

+ "! !

! ! ,#

- ! .%* ## " # B

# / ! " ! ! ! # ! ! ! ! $" " "" " !

&

RQFOXVLRQ DQG )XWXUH

:

RU

N

) # ! !" "! _"!

! ! ) # $"# " 0 # "!! " ! ! *! # "# ! "! ! ! "!

_{! , ! "! "}

" ! ! "!

) # " !! "" # $# ! 1" # ! 2 " ! ! !

1 /! 3456 # " 0 WLYH SURJUDPV ZLWK 1$) LQ KHDG UHVWULFWLQJ WKH VXEVHW RI '3 _{ZKLFK DUH VHPDQ}

WLFDOO\ HTXLYDOHQW WR WKH FODVV RI SURJUDPV LQ *'3 )XUWKHUPRUH WKH\ KDYH VKRZHG WKDW '3 _{FRPSXWDWLRQDO FRPSOH[LW\ UHPDLQ LQ WKH VDPH FRPSOH[LW\ FODVV DV QRUPDO}

GLVMXQFWLYH SURJUDPV

5

H

I

HUHQFHV

&'!# ( ) & ) * + , - &+ '! ./ & + 0 * 1!'! !"# 23 4 5 6

+ )XQGDPHQWD ,QIRUPDWLFDH 776689:5;;/<;"" 1!!"

!"# 23 4 5 66 *% )XQGDPHQWD ,QIRUPDWLFDH 776689:5;"/<;'' 1!!"

!"# 23 + 5 , 6 = > - /RJLF $FWLRQ DQG ,QIRUPDWLRQ ;;/<919 ? @ A% 1!!"

B!.# ) C > B $QQDOV RI 0DWKHPDWLFV DQG $UWL‘FLDO ,QWHOOLJHQFH 1;5;"<"1 1!!.

?B''# C ? D B$ , 6 - E% E @ /RJLF 3URJUDPPLQJ 3URFHHG LQJV RI WKH )LIWK ,QWHUQDWLRQDO &RQIHUHQFH DQG 6\PSRVLXP 1F/F<1F'F C6, ) 1!''

?B!F# C ? D B$ B 6 * ) +$ /RJLF 3URJUDPPLQJ 3URFHHGLQJV RI WKH 6HY HQWK ,QWHUQDWLRQDO &RQIHUHQFH "/!<"!/ 1!!F

?B!1# C ? D B$ & 1HZ *HQHUDWLRQ &RPSXWLQJ !59G"<9'" 1!!1

6+!'# E 6 &% +% -RXUQDO RI /RJLF 3URJUDPPLQJ 9"81:59!</' 1!!'

B!.# D B$ C @ $UWL‘FLDO ,QWHOOL JHQFH /F5"9</; 1!!.

B!G# D B$ 6 ? @%

3ULQFLSOHV RI .QRZOHGJH 5HSUHVHQWDWLRQ 1<"/ &+B6 ) 1!!G B'/# 2 * B )RXQGDWLRQV RI /RJLF 3URJUDPPLQJ + D

A% 1!'/

B*!;# D B$ ,A& * + ? - 8) -: 6 & - @ * + 3ULQ FLSOHV RI .QRZOHGJH 5HSUHVHQWDWLRQ DQG 5HDVRQLQJ 3URFHHGLQJV RI WKH 7KLUG ,QWHUQDWLRQDO &RQIHUHQFH GF9<G1. C E 1!!;

+%'!# &% +% ) C + 6 ) 0120 )1 *)00),-3/ 9G!<9'9 > 1!'!