Feasible two-way circuit partitioning with complex resource constraints

Abstract

HDVLEOH 7ZR:D\ &LUFXLW 3DUWLWLRQLQJ ZLWK &RPSOH[ 5HVRXUFH &RQVWUDLQWV +VXQ&KHQJ /HH DQG 7LQJ&KL :DQJ 'HSDUWPHQW RI ,QIRUPDWLRQ DQG &RPSXWHU (QJLQHHULQJ &KXQJ <XDQ &KULVWLDQ 8QLYHUVLW\ &KXQJOL 7DLZDQ $EVWUDFW ¥ :H VWXG\ LQ WKLV SDSHU WKH IHDVLELOLW\ SUREOHP IRU WZRZD\ FLUFXLW SDUWLWLRQLQJ VXEMHFW WR FRPSOH[ UHVRXUFH FRQVWUDLQWV :H ILUVW SURYH WKDW WKH SUREOHP LV LQ JHQHUDO 13 FRPSOHWH :H WKHQ FRQVLGHU WZR VSHFLDO FDVHV RI WKH SUREOHP DQG SUHVHQW SRO\QRPLDOWLPH DOJRULWKPV IRU WKHP )LQDOO\ ZH JLYH D EDFNWUDFNLQJ DOJRULWKP WR VROYH WKH JHQHUDO FDVH 7R UHGXFH WKH UXQ WLPH DQG WKH VWRUDJH VSDFH RI WKH EDFNWUDFNLQJ DOJRULWKP DQ LQFUHPHQWDO IORZ FRPSXWDWLRQ WHFKQLTXH LV HPSOR\HG )RU HDFK DOJRULWKP SUHVHQWHG LQ WKLV SDSHU WKH FRUUHVSRQGLQJ H[SHULPHQWDO UHVXOWV DUH DOVR JLYHQ WR VXSSRUW LWV HIILFLHQF\ 7R WKH EHVW RI RXU NQRZOHGJH WKLV SDSHU LV WKH ILUVW RQH WR DGGUHVV WKH IHDVLELOLW\ SUREOHP IRU WZRZD\ FLUFXLW SDUWLWLRQLQJ ZLWK FRPSOH[ UHVRXUFH FRQVWUDLQWV ,QWURGXFWLRQ &LUFXLW SDUWLWLRQLQJ KDV SOD\HG DQ LPSRUWDQW UROH DW GLIIHUHQW VWDJHV RI 9/6, GHVLJQ ,W LV WR SDUWLWLRQ D FLUFXLW LQWR WKH UHTXLUHG QXPEHU RI VXEFLUFXLWV VXFK WKDW HDFK JLYHQ FRQVWUDLQW LV VDWLVILHG DQG WKH JLYHQ FRVW IXQFWLRQ LV RSWLPL]HG >@ 'HSHQGLQJ RQ WKH QXPEHU RI VXEFLUFXLWV WR EH JHQHUDWHG FLUFXLW SDUWLWLRQLQJ FDQ EH GLYLGHG LQWR WZR FDWHJRULHV WZRZD\ DQG PXOWLZD\ 6LQFH PXOWL ZD\ SDUWLWLRQLQJ FDQ EH LPSOHPHQWHG E\ WZRZD\ SDUWLWLRQLQJ LQ D UHFXUVLYH PDQQHU PRVW RI WKH SUHYLRXV ZRUN RQ FLUFXLW SDUWLWLRQLQJ ZDV IRFXVHG RQ WZRZD\ SDUWLWLRQLQJ 7UDGLWLRQDOO\ WZRZD\ FLUFXLW SDUWLWLRQLQJ LV IRUPXODWHG DV WKH SUREOHP RI PLQFXW SDUWLWLRQLQJ ZLWK VL]H FRQVWUDLQWV 7KH REMHFWLYH RI WKH SUREOHP LV WR SDUWLWLRQ WKH FLUFXLW LQWR WZR GLVMRLQW VXE FLUFXLWV VXFK WKDW WKH QXPEHU RI FXW QHWV EHWZHHQ WKH WZR VXE FLUFXLWV LV DV VPDOO DV SRVVLEOH ZKLOH WKH FRQVWUDLQWV LPSRVHG RQ WKH DUHD RI HDFK VXEFLUFXLW DUH VDWLVILHG 1RUPDOO\ WKH DUHD RI D FLUFXLW LV PHDVXUHG LQ WHUPV RI WKH WRWDO QXPEHU RI JDWHV RU WKH WRWDO DUHD RI WKH JDWHV LQ WKH FLUFXLW 0DQ\ KHXULVWLFV KDYH EHHQ UHSRUWHG LQ WKH OLWHUDWXUH IRU WKH SUREOHP RI WZRZD\ PLQFXW FLUFXLW SDUWLWLRQLQJ ZLWK VL]H FRQVWUDLQWV 7KH KHXULVWLFV LQFOXGH WKH LWHUDWLYH LPSURYHPHQW EDVHG PHWKRGV >@ WKH VLPXODWHG DQQHDOLQJ EDVHG PHWKRG >@ DQG WKH QHWZRUN IORZ EDVHG PHWKRG >@ HWF 5HFHQWO\ /LX HW DO SURSRVHG D QHZ WZRZD\ PLQFXW FLUFXLW SDUWLWLRQLQJ SUREOHP LQ ZKLFK WKH FRPSOH[ UHVRXUFH LQVWHDG RI WKH DUHD FRQVWUDLQWV DUH LPSRVHG RQ WKH WZR VXEFLUFXLWV >@ 7ZR WDUJHW UHVRXUFH VHWV DUH JLYHQ LQ WKH SUREOHP (DFK UHVRXUFH VHW FRQVLVWV RI D VHW RI KHWHURJHQHRXV UHVRXUFH W\SHV DQG HDFK UHVRXUFH W\SH LV DVVRFLDWHG ZLWK D FDSDFLW\ WKDW GHQRWHV WKH DYDLODEOH DPRXQW RI WKDW UHVRXUFH W\SH ,Q DGGLWLRQ HDFK QRGH LQ WKH FLUFXLW LV GHFRPSRVHG LQWR D VHW RI EDVLF FHOOV HDFK RI ZKLFK LQ WXUQ LV LPSOHPHQWHG E\ RQH RI FHUWDLQ UHVRXUFH W\SHV 7KLV LPSOLHV WKDW HDFK QRGH LQ WKH FLUFXLW PD\ EH LPSOHPHQWHG LQ PRUH WKDQ RQH SRVVLEOH ZD\ )RU H[DPSOH WKH $FWHO (6 )3*$ IDPLO\ FRQWDLQV /87 DQG /87 >@ DQG KHQFH D LQSXW JDWH FDQ EH LPSOHPHQWHG ZLWK HLWKHU D /87 RU D /87 $...