A Winner Determination Algorithm for Auction-Based ... - IFAAMAS

A Winner Determination Algorithm for Auction-Based Decentralized Scheduling

Chun Wang, Hamada H. Ghenniwa

Weiming Shen

Department of Electrical and Computer Engineering The University of Western Ontario Thompson Engineering Building Room 279, London, Ontario, Canada, N6A5B9 +1 519 6612111-80334, +1 519 6612111-88262

Integrated Manufacturing Technologies Institute, National Research Council Canada 800 Collip Circle, London, Ontario, Canada N6G4X8 Tel: +1 519 4307134

[email protected], [email protected]

[email protected]

ABSTRACT 7KLVSDSHUSUHVHQWVDIRUPXODWLRQDQGDQDOJRULWKPIRUWKHZLQQHU GHWHUPLQDWLRQSUREOHPLQDXFWLRQEDVHGGHFHQWUDOL]HGVFKHGXOLQJ :LWKRXW LPSRVLQJ D WLPH OLQH GLVFUHWL]DWLRQ WKH SURSRVHG DSSURDFKDOORZVELGGHUVWRELGIRUWKHSURFHVVLQJRIDVHWRIWDVNV XQGHU UHOHDVH WLPH DQG GXH GDWH FRQVWUDLQWV XVLQJ DQ H[SUHVVLYH ELGGLQJ ODQJXDJH GHVLJQHG IRU GHFHQWUDOL]HG VFKHGXOLQJ 7KH SURSRVHGZLQQHUGHWHUPLQDWLRQDOJRULWKPXVHVDGHSWKILUVWEUDQFK DQG ERXQG VHDUFK 7KH VHDUFK EUDQFKHV RQ ELGV DQG D FRQVWUDLQW GLUHFWHG VFKHGXOLQJ SURFHGXUH LV XVHG DW HDFK QRGH WR YHULI\ WKH IHDVLELOLW\ RI WKH DOORFDWLRQ ([SHULPHQWV DJDLQVW D FRPPHUFLDO RSWLPL]DWLRQ SDFNDJH &3/(; VKRZ WKDW WKH SURSRVHG DOJRULWKP LV PRUH WKDQ DQ RUGHU RI PDJQLWXGH IDVWHU RQ DYHUDJH RYHU D VHW RI ZLQQHU GHWHUPLQDWLRQ SUREOHPV RI GHFHQWUDOL]HG VFKHGXOLQJ JHQHUDWHG EDVHG RQ D VXLWH RI MRE VKRS FRQVWUDLQW VDWLVIDFWLRQ EHQFKPDUN SUREOHPV SUHYLRXVO\ GHYHORSHG LQ WKH OLWHUDWXUH

KDYHWDVNVWKDWQHHGWREHFRPSOHWHGGXULQJDVSHFLILFWLPHSHULRG DQGWKH\FRPSHWHZLWKHDFKRWKHUIRUWKHSURFHVVLQJWLPHVRIWKH UHVRXUFHV$QDJHQWLQDGHFHQWUDOL]HGVFKHGXOLQJSUREOHPXVXDOO\ KDVFRQVWUDLQWVRYHULWVVHWRIWDVNVVXFKDVUHOHDVHWLPHGHDGOLQH DQG SUHFHGHQFH FRQVWUDLQWV ,Q DGGLWLRQ D WDVN PD\ RQO\ EH SURFHVVHGRQDVSHFLILFVXEVHWRIUHVRXUFHV7KHUHIRUHDQDJHQWLV RQO\ LQWHUHVWHG LQ WKH FRPELQDWLRQV RI VSHFLILF WLPH SHULRGV RI UHVRXUFHVZKLFKVDWLVI\WKHFRQVWUDLQWVRILWVWDVNV7KDWLVIRUWKH DJHQWV WKHUH DUH FRPSOHPHQWDULWLHV EHWZHHQ GLIIHUHQW SURFHVVLQJ WLPHSHULRGVRIUHVRXUFHV

Categories and Subject Descriptors ,>Artificial Intelligence@*HQHUDO

General Terms (FRQRPLFV$OJRULWKPV Keywords :LQQHU GHWHUPLQDWLRQ FRPELQDWRULDO DXFWLRQV GHFHQWUDOL]HG VFKHGXOLQJFRQVWUDLQWGLUHFWHGVHDUFK

1. INTRODUCTION 'HFHQWUDOL]HG VFKHGXOLQJ SUREOHPV DUH FKDUDFWHUL]HG ZLWK GLVWULEXWHG LQIRUPDWLRQ DERXW WKH RYHUDOO SUREOHP DQG PXOWLSOH FRQIOLFWLQJ LQ PDQ\ FDVHV REMHFWLYHV RI DJHQWV ,Q D GHFHQWUDOL]HG VFKHGXOLQJ SUREOHP DXWRQRPRXV DJHQWV UHSUHVHQWLQJ LQGLYLGXDOV HQWHUSULVHV RU FRPSXWDWLRQDO GHYLFHV

3HUPLVVLRQWRPDNHGLJLWDORUKDUGFRSLHVRIDOORUSDUWRIWKLVZRUNIRU SHUVRQDORUFODVVURRPXVHLVJUDQWHGZLWKRXWIHHSURYLGHGWKDWFRSLHVDUH QRW PDGH RU GLVWULEXWHG IRU SURILW RU FRPPHUFLDO DGYDQWDJH DQG WKDW FRSLHV EHDU WKLV QRWLFH DQG WKH IXOO FLWDWLRQ RQ WKH ILUVW SDJH 7R FRS\ RWKHUZLVH RU UHSXEOLVK WR SRVW RQ VHUYHUV RU WR UHGLVWULEXWH WR OLVWV UHTXLUHVSULRUVSHFLILFSHUPLVVLRQDQGRUDIHH $$0$6¶0D\+RQROXOX+DZDL L86$ &RS\ULJKW,)$$0$S

,I WKH SURFHVVLQJ WLPHV DYDLODEOH RQ UHVRXUFHV DUH FRQVLGHUHG DV JRRGV WR EH VROG D GHFHQWUDOL]HG VFKHGXOLQJ SUREOHP FDQ EH PDSSHG WR D FRPELQDWRULDO DOORFDWLRQ SUREOHP ZKLFK FDQ EH VROYHG XVLQJ FRPELQDWRULDO DXFWLRQV $Q REYLRXV LVVXH ZLWK WKH PDSSLQJLVKRZWRPDSWKHSURFHVVLQJWLPHVRIUHVRXUFHVZKLFK LVGLYLVLEOHWRLQGLYLVLEOHGLVWLQFWLWHPVUHTXLUHGLQFRPELQDWRULDO DOORFDWLRQ SUREOHPV 2QH SRVVLEOH DSSURDFK LV WR LPSRVH D GLVFUHWL]DWLRQ RQ WKH WLPH ZLQGRZV RI UHVRXUFHV WR EH VFKHGXOHG DQGWUHDWWKHWLPHVORWVJHQHUDWHGE\WKHGLVFUHWL]DWLRQDVGLVWLQFW LWHPV+RZHYHUWKLVGLVFUHWL]DWLRQDSSURDFKFDQJHQHUDWHDODUJH QXPEHU RI LWHPV LI WKH WLPH ZLQGRZV LQ TXHVWLRQ DUH ELJ )RU H[DPSOH D RQH ZHHN WLPH ZLQGRZ RQ UHVRXUFHV FDQ EH GLVFUHWL]HGLQWRPRUHWKDQPLOOLRQWLPHVORWVLIWKHWLPHDFFXUDF\ ZHQHHGLVLQPLQXWHVZKLFKLVDSUDFWLFDOUHTXLUHPHQWLQPDQ\ DSSOLFDWLRQ GRPDLQV *HQHUDOO\ VSHDNLQJ LQ FRPELQDWRULDO DXFWLRQWKHQXPEHURISRVVLEOHELGVLVH[SRQHQWLDOLQWKHQXPEHU RIWKHLWHPVWREHVROG$ODUJHQXPEHURILWHPVFDQLQIOLFWKHDY\ EXUGHQV RQ ERWK DJHQWV LQ WHUPV RI ELGV HYDOXDWLRQ DQG WKH DXFWLRQHHULQWHUPVRIZLQQHUGHWHUPLQDWLRQ 7KLVSDSHUSUHVHQWVDIRUPXODWLRQDQGDQDOJRULWKPIRUWKHZLQQHU GHWHUPLQDWLRQ SUREOHP :'3 LQ GHFHQWUDOL]HG VFKHGXOLQJ $V RQH FDQQRW KRSH IRU D JHQHUDOSXUSRVH DOJRULWKP WKDW FDQ HIILFLHQWO\ VROYH HYHU\ LQVWDQFH RI WKH :'3 >@ ZH GHYHORS D GRPDLQ VSHFLILF ZLQQHU GHWHUPLQDWLRQ DOJRULWKP XVLQJ EUDQFK ERXQG DQG FRQVWUDLQWEDVHG QRGH IHDVLELOLW\ YDOLGDWLRQ WR RYHUFRPH WKH UHVWULFWLRQ RI KDYLQJ WR GLVFUHWL]H UHVRXUFH SURFHVVLQJWLPHVLQWRXQLWV7KHUHVWRIWKHSDSHULVRUJDQL]HGDV IROORZV6HFWLRQFRPSDUHVWKHSURSRVHGVFKHGXOLQJEDVHG:'3 IRUPXODWLRQ ZLWK D JHQHUDO :'3 IRUPXODWLRQ LQ WKH FRQWH[W RI GHFHQWUDOL]HG VFKHGXOLQJ ,Q 6HFWLRQV DQG ZH SURSRVH D ZLQQHU GHWHUPLQDWLRQ DOJRULWKP IRU WKH VFKHGXOLQJ EDVHG :'3 IRUPXODWLRQ DQG SUHVHQW FRPSDUDWLYH UHVXOWV RQ D VXLWH RI WHVW SUREOHPV7KHDOJRULWKPLVIXUWKHUUHILQHGLQ6HFWLRQ6HFWLRQ SUHVHQWVFRQFOXVLRQDQGIXWXUHUHVHDUFKGLUHFWLRQV

686 c 978-81-904262-7-5 (RPS) 2007 IFAAMAS

2. WDP FORMULATIONS FOR DECENTRALIZED SCHEDULING 2.1 A General WDP Formulation 7RIRUPXODWHWKH:'3DVDQLQWHJHUSURJUDPOHW 1 EHWKHVHWRI ELGGHUVDQG 0 WKHVHWRIGLVWLQFWREMHFWV)RUHYHU\VXEVHW % RI 0 OHW Y M % EHWKHSULFHWKDWDJHQW M 1 KDVDQQRXQFHGVKHLV

ZLOOLQJ WR SD\ IRU % /HW [ M % LI WKH EXQGOH % 0 LV

DOORFDWHGWR M 1 DQG]HURRWKHUZLVH

PD[

¦ ¦ [ % Y M

M

%

% 0 M1

VW

¦ [ % d M

M 1

Figure 1. An Example of Decentralized Scheduling Problem

% 0

¦ ¦ [ M % d

L 0

% 0 L% M1

[`^M %

M 1 % 0

7KLV IRUPXODWLRQ LV FDOOHG FRPELQDWRULDO DXFWLRQ SUREOHP &$3 LQ>@7RDSSO\&$3WRGHFHQWUDOL]HGVFKHGXOLQJSUREOHPVRQH FDQLPSRVHDGLVFUHWL]DWLRQRIWLPHOLQHLQWRILQLWHVORWVDQG WUHDW WKH WLPH VORWV DV D VHW RIGLVWLQFW LWHPVWREHDOORFDWHGWRDJHQWV )LJXUHLOOXVWUDWHVKRZWKLVLGHDLVLPSOHPHQWHGWKURXJKDVLPSOH GHFHQWUDOL]HG VFKHGXOLQJ SUREOHP ZKLFK LV D VOLJKW PRGLILFDWLRQ IRUP WKH )DFWRU\ 6FKHGXOLQJ (FRQRP\ H[DPSOH DGRSWHG LQ >@ ,Q)LJXUHDQXQVFKHGXOHGGD\VKLIWRIDIDFWRU\LVGLYLGHGLQWR HLJKWRQHKRXUWLPHVORWVODEHOHGWRDFFRUGLQJWRWKHLU UHVSHFWLYHHQGWLPHV6ORWVDUHWUHDWHGDVGLVWLQFWLWHPVWKDWFDQEH DOORFDWHG IRU WKH SURGXFWLRQ RI FXVWRPHU RUGHUV $VVXPH HDFK FXVWRPHUDJHQWKDVRQHVLQJOHRSHUDWLRQMREWREHFRPSOHWHG$Q DJHQW¶VMRELVGHILQHGE\LWVGXUDWLRQOHQJWK LWVUHOHDVHWLPHWKH WLPH ZKHQ WKH MRE LV DYDLODEOH IRU SURFHVVLQJ LWV GHDGOLQH DQG WKH SULFH H[SUHVVHG LQ GROODUV WKH DJHQW SODFHV RQ WKH MRE 7R FRPSOHWHLWVMREWKHDJHQWPXVWDFTXLUHDQXPEHURIVORWVQROHVV WKDQ WKH OHQJWK QRW QHFHVVDULO\ FRQWLJXRXV ZLWKLQ LWV IHDVLEOH WLPH ZLQGRZ WKH WLPH SHULRG EHWZHHQ LWV UHOHDVH WLPH DQG LWV GHDGOLQH )RUWKLVH[DPSOHZHPD\FRQVWUXFWDQDXFWLRQLQZKLFKDQDJHQW FDQELGDQ\FRPELQDWLRQRIWLPHVORWVZLWKWKHVXPRIVORWVHTXDO RU JUHDWHU WKDQ WKH OHQJWK RI LWV MRE ZLWKLQ LWV IHDVLEOH WLPH ZLQGRZ )RU H[DPSOH $JHQW FDQ VXEPLW ;25 ELGV ZKLFK DUH ^ ` ^ ` ^ ` DQG ^ ` ,Q WKLVFDVHWKH:'3LVWRDOORFDWHWLPHVORWVWRDJHQWVVXFKWKDWQR VORW LV DOORFDWHG WR PRUH WKDQ RQH DJHQW QR DJHQW UHFHLYHV PRUH WKDQ RQH ELG DQG WKH UHYHQXH VXP RI ZLQQLQJ DJHQWV¶ SULFHV LV PD[LPL]HG ,Q WKH DERYH H[DPSOH WKH QXPEHU RI IHDVLEOH ELGV WKDW DQ DJHQW FDQVXEPLWLVUHVWULFWHGE\WKHUHOHDVHWLPHWKHGHDGOLQHDQG WKH QXPEHU RI WLPH VORWV WKDW WKH DJHQW QHHGV WR SURFHVV LWV MRE +RZHYHUZHKDYHDVVXPHGWKDW MRESUHHPSWLRQLVDOORZHG:H PD\IXUWKHUUHVWULFWWKHIHDVLEOHELGVE\UHPRYLQJWKLVDVVXPSWLRQ ZKLFK PHDQV WKDW DQ DJHQW FDQ ELG RQO\ RQ WLPH VORWV WKDW DUH

DGMDFHQW$VVKRZQLQ7KHRUHPWKHSUREOHPUHPDLQV13KDUG HYHQZLWKDERYHDQGRWKHUUHVWULFWLRQV Theorem 1 7KH &$3 UHPDLQV 13KDUG HYHQ LI ZH UHVWULFW WR LQVWDQFHVZKHUHWKHLWHPVWREHVROGDUHDVHWRIOLQHDUO\RUGHUHG WLPHVORWVRIDVLQJOHUHVRXUFHDELGKDVRQO\RQHRSHUDWLRQWREH VFKHGXOHG RQ WKH UHVRXUFH EHWZHHQ LWV UHOHDVH WLPH U M DQG GHDGOLQH G M SUHHPSWLRQ LV QRW DOORZHG DOO RSHUDWLRQV KDYH LGHQWLFDOSURFHVVLQJWLPH W DQG G M U M W d Proof. 7R VKRZ WKDW WKH &$3 ZLWK UHVWULFWLRQV LV 13KDUG ZH SURYH LWV GHFLVLRQ YHUVLRQ LV 13FRPSOHWH E\ FRQVWUXFWLQJ D SRO\QRPLDOO\ FRPSXWDEOH UHGXFWLRQ IURP WKH IROORZLQJ YDULDWLRQ RIWKHMRELQWHUYDOVHOHFWLRQSUREOHP-,63 ZKLFKLV13FRPSOHWH >@ *LYHQ D VHW RI - ^- - - Q ` MREV LQ D -,63 HDFK RI ZKLFKUHTXLUHVWKHVDPHH[HFXWLRQWLPH W DQG - M PD\EHVWDUWHG IRU H[HFXWLRQ DW DQ\ RI D VHW RI JLYHQ GLVFUHWH VWDUWLQJ WLPHV 6 M V M V M N M ZKHUH N M d d M d Q ZH FDQ

^

`

FRQVWUXFWDQLQVWDQFHRIWKH&$3DVIROORZV%LG M KDVMRE - M WR EH

H[HFXWHG

GHDGOLQH G M

ZLWK

WKH

UHOHDVH

WLPH

UM

V M DQG

V M N M W Y M LVWKHSULFHWKDWDJHQW M LVZLOOLQJ

WR SD\ IRU DQ\ EXQGOHV WKDW VDWLVI\ LWV FRQVWUDLQWV %HFDXVH N M d G M U M W d LVVDWLVILHG/HW 9

Q

¦ Y M 7R M

DQVZHUWKHTXHVWLRQLIWKH&$3KDVDVROXWLRQZLWKUHYHQXH 9 LV HTXLYDOHQWWRVROYLQJWKH13FRPSOHWH,-63Ű

2.2 Time Window Scaling Problem 7KH WLPH GLVFUHWL]DWLRQ DSSURDFK WR :'3 LQ GHFHQWUDOL]HG VFKHGXOLQJ LV TXLWH VWUDLJKWIRUZDUG +RZHYHU LW FDQ OHDG WR LQFUHDVHGQXPEHURIELGVWREHVXEPLWWHGZKHQWKHIHDVLEOHWLPH ZLQGRZRIDQDJHQWLQFUHDVHV7RVHHZK\VXSSRVHWKDWDQDJHQW M KDVDMREZLWK Q M RSHUDWLRQVWREHSURFHVVHGLQDIHDVLEOHWLPH ZLQGRZ : ZLWK UHOHDVH WLPH U M DQG GHDGOLQH G M :

The Sixth Intl. Joint Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 07)

G M U M

687

)RU HDFK RSHUDWLRQ

SN N

RN N

Q M D SURFHVVLQJ WLPH

Q M LVJLYHQ7KHUHDUHOLQHDUSUHFHGHQFHFRQVWUDLQWV

DPRQJRSHUDWLRQVWKDWLV RN PXVWSUHFHGH RN 7RVFKHGXOHWKH VHWRIRSHUDWLRQVLQ : FRQVWUDLQWVKDYHWREHVDWLVILHG

6 N S N d 6 N 6 t U M

IRU N d Q M

6 Q M d G M SQ M

&RQVLGHUDGHFHQWUDOL]HGVFKHGXOLQJSUREOHPZLWKDVHWRI Q ELGV (DFKELG M M Q UHTXLUHVWKHSURFHVVLQJRIDVHTXHQFHRI

RSHUDWLRQV R M N N

Q M

$Q

R M N

RSHUDWLRQ

d M d Q d N d Q M KDV D VSHFLILHG SURFHVVLQJ WLPH

S M N 5 DQG LWV H[HFXWLRQ UHTXLUHV WKH H[FOXVLYH XVH RI D GHVLJQDWHGUHVRXUFHIRUWKHGXUDWLRQRILWVSURFHVVLQJ,I R M N DQG

R ÖM NÖ QHHG WR EH SURFHVVHG RQ WKH VDPH UHVRXUFH T M N ÖM NÖ RWKHUZLVH T M N ÖM NÖ

$OOWKHRSHUDWLRQVRIELG M FDQRQO\EHJLQ

ZKHUH 6 N LVWKHVWDUWLQJWLPHRI RN

DIWHU LWV UHOHDVH WLPH U M DQG PXVW EH ILQLVKHG EHIRUH LWV

*LYHQ WKH FRQVWUDLQWV WKH QXPEHU RI IHDVLEOH VFKHGXOHV LQ WLPH ZLQGRZ : LVFDOFXODWHGE\WKHIROORZLQJIRUPXOD

GHDGOLQH G M 7KHUH DUH SUHFHGHQFH FRQVWUDLQWV DPRQJ RSHUDWLRQV

: S S SQ M : S S SQ M

¦ ¦

¦

6 S 6

6

: SQ M

6 Q M SQ M 6 Q M

$FFRUGLQJ WR WKH QXPEHU RI IHDVLEOH VFKHGXOHV LQ WLPH ZLQGRZ LV QRW H[SRQHQWLDO LQ : EHFDXVH DQ XSSHU ERXQG

: Q M Q S

S

M

+RZHYHU WKH IHDVLEOH ELGV WKDW DQ DJHQW

7KH 7LPH :LQGRZ 6FDOLQJ SUREOHP LV FDXVHG E\ WKH WLPH GLVFUHWL]DWLRQ ZKHQ PDSSLQJ SURFHVVLQJ WLPHV RI UHVRXUFHV WR GLVWLQFW LWHPV LQ &$3 +RZHYHU LQ FODVVLFDO VFKHGXOLQJ PRGHOV WKH WLPH OLQH WR EH VFKHGXOHG LV QRWGLVFUHWL]HG,QWKHVHPRGHOV WKH H[WHQVLRQ RI D MRE¶V IHDVLEOH WLPH ZLQGRZ RQO\ FKDQJHV WKH YDOXHV RI FRQVWUDLQW SDUDPHWHUV 7KH SUREOHP VL]H ZLOO QRW EH VLJQLILFDQWO\LPSDFWHG %DVHGRQWKLVREVHUYDWLRQZHSURSRVHD QHZ:'3IRUPXODWLRQIRUDXFWLRQVGHVLJQHGIRUWKHGHFHQWUDOL]HG VFKHGXOLQJ SUREOHP ZKLFK GRHV QRW LPSRVH D GLVFUHWL]DWLRQ RQ WKHWLPHOLQHWREHVFKHGXOHG:HFDOOLWWKH&$3IRUVFKHGXOLQJ 6&$3

2.3 SCAP ,Q 6&$3 LQVWHDG RI LPSRVLQJ D ILQLWH WLPH GLVFUHWL]DWLRQ RQ WKH V\VWHP ZH SURYLGH DQ H[SUHVVLYH ELGGLQJ ODQJXDJH WKDW DOORZV ELGGHUV WR ELG IRU WKH SURFHVVLQJ RI D VHW RI WDVNV XQGHU UHOHDVH WLPHDQGGHDGOLQHFRQVWUDLQWV,QWKLVODQJXDJHDELGLVDWXSOH %LG RSHUDWLRQV FRQVWUD LQWV SULFH &RQVWUDLQWV PD\ KDYH VHYHUDO HQWULHV :H RQO\ FRQVLGHU UHOHDVH WLPH GHDGOLQH DQG SUHFHGHQFH FRQVWUDLQWV LQ WKLV SDSHU :H GHPRQVWUDWH WKH FRQVWUXFWLRQ RI D 6&$3 LQ WKH FRQWH[W RI D VSHFLILF FODVV RI GHFHQWUDOL]HGVFKHGXOLQJSUREOHPVGHVFULEHGDVIROORZV 7KHSUREOHPVL]HZLOOVOLJKWO\JRXSEHFDXVHELQDU\HQFRGLQJLV XVHGWRFDOFXODWHWKHVL]HRIDSUREOHP

688

6 M N

WKHVWDUWLQJWLPHRIWKHRSHUDWLRQ N RIELG M

LI ELG MZLQV ® ¯ RWKHUZLVH

=M

FDQEHREWDLQHGE\UHOD[LQJFRQVWUDLQW DQGVHW

SQ M

FDQVXEPLWVWLOOLQFUHDVHGUDVWLFDOO\ZKHQ : LQFUHDVHV$FFRUGLQJ WR7KHRUHPWKH&$3UHPDLQV13KDUGZLWKVFKHGXOLQJGRPDLQ UHVWULFWLRQV,QFUHDVHGQXPEHURIELGVOHDGVWRODUJHUSUREOHPVL]H ZKLFK GHPDQGV H[SRQHQWLDOO\ JURZLQJ FRPSXWDWLRQ WLPH :H UHIHU WKLV SUREOHP DV 7LPH :LQGRZ 6FDOLQJ SUREOHP LQ WKH &$3 IRUPXODWLRQIRUGHFHQWUDOL]HGVFKHGXOLQJ

RIDELG7KH:'3LQYROYHVWKHVHOHFWLRQRIDVXEVHWRIELGVVXFK WKDW WKH VXP RIELGSULFHVDUHPD[LPL]HGDQGDOOFRQVWUDLQWVDUH VDWLVILHG8VLQJWKHIROORZLQJYDULDEOHV

< M N ÖM NÖ

° LI R MN LV SHUIRUPHGEHIRUHR ÖMNÖ ® °¯ RWKHUZLVH M z ÖM

WKH:'3FDQEHIRUPXODWHGDVIROORZV

PD[

¦= Y

M M

ZKHUH Y M LVWKHSULFHRIELG M

M7

6XEMHFWWR

6 M t U M = M

M Q

6 M Q M S M Q M d G M + = M

M Q

ZKHUH + LVDODUJHILQLWHSRVLWLYHQXPEHU

6 M N S M N 6 M N d + = M M Q

N d QM

6 M N S M N 6 ÖM NÖ +T M N ÖM NÖ

+= M += ÖM +< M N ÖM NÖ d +

M Q ÖM Q M z ÖM d N d Q M d NÖ d Q ÖM < M N ÖM NÖ < ÖM NÖ M N + t += M += ÖM M Q ÖM Q M z ÖM d N d Q M d NÖ d Q ÖM

< M N ÖM NÖ < ÖM NÖ M N += M += ÖM d + M Q ÖM Q M z ÖM d N d Q M d NÖ d Q ÖM


< M N ÖM NÖ ^` M Q ÖM Q M z ÖM d N d Q M d NÖ d Q ÖM = M ^`

M Q

6 M N t

M Q d N d Q M

7KH VHW RI FRQVWUDLQWV DQG HQVXUH WKDW WKH RSHUDWLRQV RI D ELG GR QRW VWDUW EHIRUH WKH UHOHDVH WLPH DQG ILQLVK DIWHU WKH GHDGOLQH7KHVHWRIFRQVWUDLQWV HQVXUHWKDWDQRSHUDWLRQGRHV QRW VWDUW EHIRUH WKH SUHYLRXV RSHUDWLRQ RI WKH VDPH ELG LV FRPSOHWHG 7KH VHW RI FRQVWUDLQWV DQG HQVXUHWKDWDW PRVWRQHRSHUDWLRQFDQEHSURFHVVHGE\DSDUWLFXODUUHVRXUFHDWD WLPH &RQVWUDLQWV DUH QRQQHJDWLYH DQG LQWHJHU FRQVWUDLQWV&OHDUO\WKDWLQIRUPXODWLRQ6&$3WKHH[WHQVLRQRID ELG¶VIHDVLEOHWLPHZLQGRZZLOOQRWDIIHFWWKHQXPEHURIWKHELGV VXEPLWWHG

3. WINNER DETERMINATION ALGORITHM :KLOH WKH 6&$3 IRUPXODWLRQ GRHV QRW VXIIHU IURP WKH 7LPH :LQGRZ 6FDOLQJ SUREOHP KRZHYHU LW LQWURGXFHV D FKDOOHQJLQJ LVVXH WKH IHDVLELOLW\ YDOLGDWLRQ RI VROXWLRQV )RU WKH &$3 IRUPXODWLRQ DV ORQJ DV DQ\ WZR ZLQQLQJ ELGV GR QRW VKDUH DQ LWHP WKH VROXWLRQ LV IHDVLEOH +RZHYHU LQ 6&$3 YDOLGDWLQJ WKH IHDVLELOLW\RIDVROXWLRQLVHTXDOWRDQVZHULQJWKHTXHVWLRQJLYHQD VHW RI ELGV ZLWK FRQVWUDLQWV GRHV D VFKHGXOH H[LVW WKDW DOORFDWHV WKH RSHUDWLRQV RI ELGV RQ WKH UHVRXUFHV VXFK WKDW DOO FRQVWUDLQWV DUH VDWLVILHG" 7KLV GHFLVLRQ SUREOHP LV DFWXDOO\ D MRE VKRS &RQVWUDLQW 6DWLVIDFWLRQ 3UREOHP &63 >@ 7KLV SUREOHP LV NQRZQWREH13FRPSOHWH>@$PRQJSURSRVHGDSSURDFKHVWRWKH SUREOHPFRQVWUDLQWGLUHFWHGVHDUFKSURYLGHVJRRGUHVXOWV

3.1 Constraint-Based Feasibility Validation :H GHVFULEH WKH IHDVLELOLW\ YDOLGDWLRQ DOJRULWKP EDVHG RQ D GLVMXQFWLYHJUDSKUHSUHVHQWDWLRQRIWKHMREVKRS&63&RQVLGHU D GLUHFWHG JUDSK * ZLWK D VHW RI QRGHV 1 DQG WZR VHWV RI DUFV $ DQG % $ QRGH FRUUHVSRQGV WR DQ RSHUDWLRQ R M N DQG LWV

GHVLJQDWHG UHVRXUFHV X R M N GHQRWHG E\ X R M N R M N

X R M N LV D VHW RI UHVRXUFHV ZKLFK KDV WKH FDSDELOLW\ RI

SURFHVVLQJ R M N ,Q MRE VKRS &63 X R M N

7KH VRFDOOHG

FRQMXQFWLYHVROLG DUFV $ UHSUHVHQWWKHSUHFHGHQFHFRQVWUDLQWVRI WZR RSHUDWLRQV EHORQJ WR WKH VDPH MRE ,I DUF X R M N R M N o X R M NÖ R M NÖ LVSDUWRI $ WKHQ R M N KDVWR

EH SURFHVVHG RQ X R M N EHIRUH R M NÖ LV SURFHVVHG RQ X R M NÖ 7ZRRSHUDWLRQVWKDWEHORQJWRWZRGLIIHUHQWMREVDQGWKDWKDYHWR EH SURFHVVHG RQ WKH VDPH UHVRXUFH DUH FRQQHFWHG WR RQH DQRWKHU E\ WZR VRFDOOHG GLVMXQFWLYH EURNHQ DUFV WKDW JR LQ RSSRVLWH GLUHFWLRQV7KHGLVMXQFWLYHDUFV % IRUP P FOLTXHVRIGRXEOHDUFV RQH FOLTXH IRU HDFK UHVRXUFH $OO RSHUDWLRQV LQ WKH VDPH FOLTXH KDYHWREHGRQHRQWKHVDPHUHVRXUFH$OODUFVHPDQDWLQJIURPD QRGH KDYH DV OHQJWK WKH SURFHVVLQJ WLPH RI WKH RSHUDWLRQ WKDW LV UHSUHVHQWHG E\ WKDW QRGH ,Q DGGLWLRQ WKHUH LV D VRXUFH

Figure 2. Disjunctive graph for a job shop CSP

8 UHSUHVHQWLQJ WLPH ]HUR DQG D VLQN 9 UHSUHVHQWLQJ DQ XSSHU ERXQG 7 RI WKH PLQLPDO PDNHVSDQ RI WKH SUREOHP ZKLFK DUH GXPP\ QRGHV 7KH ILUVW RSHUDWLRQ RI HDFK MRE LV FRQQHFWHG WR 8 E\ D FRQMXQFWLYH DUF HPDQDWLQJ IURP 8 ZLWK DV OHQJWK WKH UHOHDVH WLPH RI WKDW MRE 7KH ODVW RSHUDWLRQ RI HDFK MRE LV FRQQHFWHG WR 9 E\ D FRQMXQFWLYH DUF HPDQDWLQJ WR 9 ZLWK DV 7KLV JUDSK LV GHQRWHG OHQJWK RI S M Q M 7 G M

E\ * 1 $ % $ IHDVLEOH VFKHGXOH RI MRE VKRS &63 FRUUHVSRQGV WR D VHOHFWLRQ RI RQH GLVMXQFWLYH DUF IURP HDFK SDLU VXFK WKDW WKH UHVXOWLQJ GLUHFWHG JUDSK *

1 $ % LV DF\FOLF

DQGWKHORQJHVWSDWKLQ * IURPWKHVRXUFH 8 WRWKHVLQN 9 LVQRW ORQJHU WKDQ 7 ZKHUH % GHQRWHV WKH VXEVHW RI WKH VHOHFWHG GLVMXQFWLYH DUFV )LJXUH VKRZV DQ H[DPSOH RI WKH GLVMXQFWLYH JUDSKUHSUHVHQWDWLRQRIDVPDOOMREVKRS&63 ,IZHPRGHOHDFKGLVMXQFWLYHDUFSDLULQ % DVDYDULDEOHDQGWKH WZR RSSRVLWH GLUHFWLRQV DV WZR SRVVLEOH YDOXHV WKLV FRQVWUDLQW VDWLVIDFWLRQ SUREOHP FDQ EH VROYHG E\ D FRQVWUDLQW GLUHFWHG EDFNWUDFNVHDUFKSURFHGXUHLQZKLFKWKHVROXWLRQLVLQFUHPHQWDOO\ H[WHQGHG WKURXJK WKH UHSHDWHG ELQGLQJ RI D GLUHFWLRQ WR XQFRQVWUDLQHGGLVMXQFWLYHDUFSDLUV8VXDOO\DFRQVWUDLQWGLUHFWHG VHDUFK SURFHGXUH FRQVLVWV RI SURSDJDWRUV KHXULVWLFFRPPLWPHQW WHFKQLTXHV DQG UHWUDFWLRQ WHFKQLTXHV 7KH IHDVLELOLW\ YDOLGDWLRQ DOJRULWKP LQWHJUDWHV &RQVWUDLQW%DVHG $QDO\VLV D SURSDJDWRU GHYHORSHG LQ >@ 3UHFHGHQFH &RQVWUDLQW 3RVWLQJDFRPPLWPHQW KHXULVWLF GHYHORSHG LQ >@ DQG D FKURQRORJLFDO EDFNWUDFNLQJ 7KHYDOLGDWLRQIXQFWLRQLVLQYRNHGE\FDOOLQJ& +(&.)($6,%,/,7@>@ RU EUDQFK RQ ELGV >@ 6LQFH WKHUH DUH QRW LWHPV LQ WKH 6&$3 IRUPXODWLRQ %%6 EUDQFKHV RQ ELGV 7KH DOJRULWKP LV D GHSWKILUVW WUHH VHDUFK )LJXUH GHSLFWV D ELGV VHDUFK WUHH RI %%6 7KH VHDUFK VWDUWV ZLWK DQ HPSW\ WHPSRUDO VFKHGXOH FDOOHG 7(03 $ORQJ WKH SDWK 7(03 LV H[SHQGHG E\ DGGLQJ PRUHELGVIRUP $9 ZKLFKLVDVHWWKDWFRQVWUDLQWVDYDLODEOHQRW

ZLQQLQJ ELGV7KHEHVW 7(03 IRXQGVRIDULV 7(03 VXP LV WKHUHYHQXHRI 7(03 ZKLFKLVWKHVXPPDWLRQRISULFHVRIELGV

VXP SULFH2I ELG

5(&856,9(%5$1&+,1* $9 VXP DGG ELG WR $9 return

%LGRUGHULQJKHXULVWLFV 6HDUFK VSHHG RI %%6 FDQ EH LPSURYHG E\ LQFRUSRUDWLQJ ELG RUGHULQJKHXULVWLFVLQWKHIXQFWLRQ6(/(&781$66,*1('%,'$9 :HJLYHELGVWKDWFRQWULEXWHDORWWRWKHUHYHQXHDQGOHDYHPRUH SRVVLELOLWLHV WR WKH SRWHQWLDO FRQWULEXWLRQ RI RWKHU ELGV PRUH ZHLJKW&OHDUO\WKHSULFHRIELGVLVDPHDVXUHRIFRQWULEXWLRQWR WKH UHYHQXH :H XVH WKH IOH[LELOLW\ RI D ELG WR PHDVXUH WKH SRVVLELOLW\ WKDW LW OHDYHV WR RWKHU ELGV WR FRQWULEXWH )RU D ELG M WKHIOH[LELOLW\RI M LVGHILQHGDV IOH[ M

VODFN M G M U M ZKHUH

LQ 7(03 DQG VXP EHWKHUHYHQXHRI 7(03 K LVDQXSSHU ERXQGRQKRZPXFKWKHELGVLQ $9 FDQFRQWULEXWH7KHVHDUFKLV LQYRNHGE\FDOOLQJ%5$1&+%281'6&+('8/,1*ELGV

VODFN M

Algorithm 2

VSDFH LQ ELG M ¶V WLPH ZLQGRZ G M U M LQ ZKLFK ELG M ¶V

function %5$1&+%281'6&+('8/,1*ELGV returnsVROXWLRQ

7(03 I 7(03

I DQG VXP

5(&856,9(%5$1&+,1* ELGV

return 7(03 function5(&856,9(%5$1&+,1* $9 VXP if VXP ! VXP then VXP m VXP , 7(03 m 7(03 if $9

I then return

Km

¦ SULFH2I ELG

ELG $9

690

QM

G M UM

¦S

M

&OHDUO\ VODFN M UHSUHVHQWV WKH IUHH

N

RSHUDWLRQV FDQ EH IHDVLEO\ VKXIIOHG DURXQG $ ELG ZLWK KLJK IOH[LELOLW\ FDQ HDVLO\ DGMXVW WKH SURFHVVLQJ RI LWV RSHUDWLRQV WR DFFRPPRGDWH RWKHU ELGV LQ WKH VFKHGXOH $W D VHDUFK QRGH ZH VHOHFW D ELG WKDW PD[LPL]HV Y M H[S IOH[ M 4 WR EH DGGHG

WR 7(03 4 LV WKH VFDOLQJ SDUDPHWHU WKDW FDQ EH GHWHUPLQHG HPSLULFDOO\ ,QWXLWLYHO\ D ODUJH 4 JLYHV WRR PXFK SUHIHUHQFH WR ELGVZLWKKLJKSULFHV2QWKHRWKHUKDQGDVPDOOHU 4 JLYHVPRUH SUHIHUHQFHWRELGVZLWKKLJKIOH[LELOLWLHV

4. A COMPUTATIONAL STUDY 4.1 Design of the Test Data 6LQFH FRPPRQ FRPELQDWRULDO DXFWLRQ EHQFKPDUNV GLVWULEXWLRQV VXFK DV WKRVH SUHVHQWHG LQ >@>@ DUH GHYHORSHG IRU WKH &$3


FDOOHG VODFN SDUDPHWHU ZKLFK LV D IXQFWLRQ RI 5* DQG %. 7KH UDWLRQDORIXVLQJ 6 LVWRPDNHVXUHWKDWPRVWSUREOHPVJHQHUDWHG UHPDLQ IHDVLEOH LQFOXGLQJ DOO MREV ,Q RXU WHVW SUREOHP GHVLJQ ZH VHW 6 EHFDXVH LI DOO ELGV FDQ EH LQFOXGHG LQ DQ RSWLPDO VROXWLRQ WKH ZLQQHU GHWHUPLQDWLRQ SUREOHP EHFRPHV WULYLDO IRU WKH%%6%\FRQVLGHULQJGLIIHUHQWYDOXHVRIWKHSDUDPHWHUVVHYHQ JURXSV RI SUREOHPV RI GLIIHUHQW VL]HV QXPEHU RI ELGV ZHUH UDQGRPO\JHQHUDWHG7KHGHWDLOVDUHVXPPDUL]HGLQ7$%/(

Table 1. Configuration of the test problem set

4.2 Experimental Results 7KLV VHFWLRQ UHSRUWV WKH SHUIRUPDQFH RI %%6 RYHU WKH GHFHQWUDOL]HG VFKHGXOLQJ WHVW SUREOHP VHW DJDLQVW &3/(; ,W ZDVUHSRUWHGLQ>@WKDWDVDJHQHUDOSXUSRVHLQWHJHUSURJUDPPLQJ SDFNDJH&3/(;SHUIRUPVYHU\ZHOOIRUPDQ\RIWKHFRPPRQ EHQFKPDUNV GLVWULEXWLRQV FRPSDUDEOH WR WKH VSHFLDOSXUSRVH ZLQQHU GHWHUPLQDWLRQ DOJRULWKPV VXFK DV WKRVH LQ >@>@ $ GHWDLOHGFRPSDULVRQEHWZHHQ&3/(;DQGDUHFHQWO\GHYHORSHG VRSKLVWLFDWHGDOJRULWKP&$%2%FDQEHIRXQGLQ>@

IRUPXODWLRQZHGHVLJQRXUGHFHQWUDOL]HGVFKHGXOLQJWHVWSUREOHPV EDVHGRQDVXLWHRIMREVKRS&63EHQFKPDUNSUREOHPVGHYHORSHG LQ >@ 7ZR SDUDPHWHUV ZHUH DGMXVWHG WR FRYHU GLIIHUHQW VFKHGXOLQJFRQGLWLRQVLQ>@7KHILUVWRQHLVDUDQJHSDUDPHWHU 5* ZKLFK FRQWUROV WKH GLVWULEXWLRQ RI MRE GHDGOLQHV DQG UHOHDVH WLPHV 7KH VHFRQG LV D ERWWOHQHFN SDUDPHWHU %.ZKLFKFRQWUROV WKH QXPEHU RI PDMRU ERWWOHQHFN UHVRXUFHV ,Q RXU GHFHQWUDOL]HG VFKHGXOLQJ WHVW SUREOHPV ZH KDYH LQWURGXFHG D WKLUG SDUDPHWHU 3 WR FRQWURO WKH GLVWULEXWLRQ RI WKH SULFHV RI ELGV 'HDGOLQHV DUH UDQGRPO\ GUDZQ IURP D XQLIRUP GLVWULEXWLRQ 08 5*

:HWHVWHG%%6DQG&3/(;RQWKHILUVWVL[JURXSVRIWKHWHVW SUREOHPV 7KHUH DUH SUREOHP LQVWDQFHV LQ D JURXS 7KHVH LQVWDQFHV DUH GLYLGHG LQWR VXEJURXSV DFFRUGLQJ WR WKH QXPEHU RI ELGV DQ LQVWDQFH KDV 7KH QXPEHU RI ELGV FDQ EH VHHQ DV D PHDVXUH RI WKH VL]H RI DQ LQVWDQFH (DFK VXEJURXS KDV LQVWDQFHVRIWKHVDPHVL]H7KHLQVWDQFHVL]HVFDOHVIURPWR LQ D JURXS :H KDYH LPSRVHG D VHFRQG WLPH OLPLW IRU ERWK DOJRULWKPV $OO WKH LQVWDQFHV XQGHU VL]H FDQ EH VROYHG E\ERWK DOJRULWKPVZLWKLQWKHWLPHOLPLW:KHQWKHVL]HVFDOHVWRDQG VRPH RI WKHP FDQQRW EH VROYHG ZLWKLQ WKH WLPH OLPLW )RU D VXE JURXSLIWKHQXPEHURIWKHLQVWDQFHVVROYHGZLWKLQWKHWLPHOLPLW LV OHVV WKDQ ZH GR QRW FRQVLGHU WKH VXEJURXS LQ RXU FRPSDULVRQ

ZKHUH 8 D E UHSUHVHQWV D XQLIRUP SUREDELOLW\ GLVWULEXWLRQ

EHWZHHQ D DQG E 0 LVDQHVWLPDWHRIWKHPLQLPXPPDNHVSDQRI WKH SUREOHP ZKLFK LV GHWHUPLQHG E\ WKH DYHUDJH GXUDWLRQ RI DOO RSHUDWLRQV DQG WKH DYHUDJH GXUDWLRQ RI WKH RSHUDWLRQV UHTXLULQJ ERWWOHQHFN UHVRXUFHV 7KLV HVWLPDWH ZDV ILUVW VXJJHVWHG LQ >@ 6LPLODUO\ UHOHDVH WLPHV DUH UDQGRPO\ GUDZQ IURP D XQLIRUP GLVWULEXWLRQ RI WKH IRUP 08 5* 7KH SULFH RI ELG M LV UDQGRPO\ GURZQ IURP D XQLIRUP GLVWULEXWLRQ RQ 8 3GX M GX 3GX M ZKHUH GX LVWKHDYHUDJHGXUDWLRQRIDOO

ELGV DQG GX M LV WKH GXUDWLRQ RI ELG M ,Q WKH RULJLQDO MRE VKRS

)LJXUH VKRZV WKH UXQQLQJ WLPHV RI %%6 DQG &3/(; RYHU WKHVL[JURXSVRIWKHWHVWSUREOHPV2QDYHUDJH%%6LVDURXQGDQ

&63 EHQFKPDUN GHVLJQ 0 LV LQIODWHG WR 6 0 ZKHUH 6 LV Group#1:(BK=1,RG=0.4,P=0) 100

100

BBS

1 0.1

CPLEX

10

BBS

1 0.1

0.01 6

7 Bids

8

9

5

Group#4:(BK=2,RG=0.4,P=0) 100

6

7 8 Bids

9

5

0.01

BBS

1 0.1

0.01 7 Bids

8

9

8 Bids

9

10

CPLEX Time (s)

Time (s)

0.1

7

Group#6:(BK=1,RG=0.4,P=1)

CPLEX

1

6

100

10

BBS

6

0.1


CPLEX

5

BBS

1

10

100

10

CPLEX

10

0.01

0.01

5

Time (s)

Time (s)

Time (s)

Time (s)

CPLEX 10


Group#2:(BK=1,RG=0.5,P=0) 100

10

BBS

1 0.1

0.01 5

6

7

8 Bids

9

10

5

6

7 Bids

8

9

Figure 4. Run times on 6 groups of test problems


691

RG=0.3

100 Time (s)

7KDW LV LW QHHGV WR SURYH WKH LQIHDVLELOLW\ RI DQ XQGHUO\LQJ MRE VKRS&63ZKLFKLV13KDUG ZLWKDELJJHUVL]H7RSURYHWKDWD &63 LV LQIHDVLEOH XVXDOO\ WDNHV ORQJHU EHFDXVH HDFK SRVVLEOH VROXWLRQ KDV WR EH H[SOLFLWO\ RU LPSOLFLWO\ HQXPHUDWHG 7KLV PD\ OHDGWREDGDQ\WLPHSHUIRUPDQFHIRU%%6:HKDYHREVHUYHGLQ RXUH[SHULPHQWVWKDW%%6JRHVVORZLQWKHHDUO\VWDJHVRIVHDUFK

BBS: Group#5,#6,#7

1000

RG=0.4

10

RG=0.5

1 0.1 0.01 5

6

7 8 9 Bids Figure 5. BBS run times on 3 group of test problem with different RG values CPLEX:Group#5,#6,#7

1000

% % % DQG % % % %HFDXVH %%6 VWDUWV ZLWK ELJJHU VL]H LW PD\ HQFRXQWHU DQGRU % % % % % % EHIRUH % % %%6 ZRXOG QRW NQRZ ZKDW FDXVHG WKH SUREOHP XQWLO % % LV VROYHG ,Q OLJKW RI WKLV REVHUYDWLRQ ZH

Time (s)

RG=0.3 100

RG=0.4

10

RG=0.5

VROXWLRQV

1 0.1 5

6

7 Bids

8

9

Figure 6. CPLEX Run times on 3 groups of test problems with different RG values RUGHU RI PDJQLWXGH IDVWHU WKDQ &3/(; +RZHYHU WKHUH DUH H[FHSWLRQV)RUWKHLQVWDQFHVRIVL]HDQGLQJURXSVDQG &3/(; LV FORVH DQG VRPH WLPHV IDVWHU WKDQ %%6 2Q WKH RWKHUKDQGIRUWKHLQVWDQFHVRIDOOVL]HVLQJURXS%%6LVPRUH WKDQ RQH RUGHU DURXQG WZR RUGHUV LQ VRPH FDVHV RI PDJQLWXGH IDVWHU WKDQ &3/(; )LJXUH DQG )LJXUH GHSLFW WKH SHUIRUPDQFHRI%%6DQG&3/(;RYHUWKUHHSUREOHPJURXSV ,QVWDQFHVLQWKHVHJURXSVZHUHJHQHUDWHGZLWKGLIIHUHQWYDOXHVRI 5*9DOXHVIRURWKHUSDUDPHWHUVZHUHNHSWVDPHDPRQJJURXSV,W LV REVHUYHG WKDW %%6 DQG &3/(; KDYH VLPLODU WUHQGV LQ )LJXUH DQG 7KDW LV LQVWDQFHV ZLWK WLJKW FRQVWUDLQWV ELJJHU 5* WHQGWREHVROYHGTXLFNHU

5. CONSTRAINT-BASED PRUNING SCHEME :KLOH %%6 SHUIRUPHG TXLWH ZHOO RYHU WKH WHVWHG SUREOHP VHW LW GRHV QRW LQ IDFW XWLOL]H DOO RI WKH LQIRUPDWLRQ SURYLGHG E\ WKH 6&$3 IRUPXODWLRQ $V VKRZQ LQ )LJXUH WKH VROXWLRQV RI D 6&$3ZLWK Q Q LQ)LJXUH ELGVFDQEHRUJDQL]HGXVLQJDQ QOHYHO VWUXFWXUH $ VROXWLRQ DW OHYHO N d N d Q FRQWDLQV H[DFWO\ N ELGV DQG WKH QXPEHU RI VROXWLRQV DW OHYHO N LV Q Q N N %%6 DGRSWV D WRS GRZQ DSSURDFK VDPH DV &$%2%LQ >@ ,QRUGHUWRILQGDJRRGVROXWLRQTXLFNO\LWVWDUWV ZLWK ELJJHU VL]H VROXWLRQV IURP ULJKW WR OHIW LQ WKH VHDUFK WUHH VKRZQLQ)LJXUH WU\LQJWRLQFOXGHDVPDQ\ELGVDVSRVVLEOHLQ WKH EHJLQQLQJ ,I D VROXWLRQ WKDW LQFOXGHV DOO ELGV KDSSHQV WR EH IHDVLEOH WKH VHDUFK ILQGV WKH RSWLPDO VROXWLRQ ZLWKRXW DQ\ EDFNWUDFNV +RZHYHU LI D VROXWLRQ LQFOXGHV DOO RU D KLJK SHUFHQWDJH RI ELGV LV QRW IHDVLEOH LQ RUGHU WR EDFNWUDFN WR DOWHUQDWLYH VROXWLRQV %%6 KDV WR ILUVW SURYH WKDW LQIHDVLELOLW\

692

,Q DGGLWLRQ %%6 FDQQRW HIIHFWLYHO\ XWLOL]H WKH UHVXOWV RI SUHYLRXVO\ VROYHG MRE VKRS &63V WR SUXQH VHDUFK VSDFH )RU H[DPSOH VXSSRVH WKDW % DQG % QHHG WR XVH D ERWWOH QHFN UHVRXUFH DW WKH VDPH WLPH DQG WKLV FRQIOLFW FDQQRW EH UHVROYHG DFFRUGLQJ WR WKHLU FRQVWUDLQWV ,Q RWKHU ZRUGV % DQG % FDQQRW FRH[LVW LQ D IHDVLEOH VROXWLRQ ,W EHFRPHV REYLRXV WKDW DQ\ VROXWLRQV WKDW LQFOXGH % % LV QRW IHDVLEOH DV ZHOO VXFK DV

KDYHGHYHORSHGDQLPSURYHGFRQVWUDLQWEDVHGSUXQLQJVFKHPHWR IXUWKHU SUXQH WKH VHDUFK VSDFH XVLQJ D VLPSOH FRQVWUDLQW SURSDJDWRU DQ\ VROXWLRQ WKDW LQFOXGHV DQ LQIHDVLEOH VROXWLRQ LV LQIHDVLEOH 7KH DOJRULWKP VWDUWV ZLWK VPDOOHU VL]H VROXWLRQV DQG WULHV WR LGHQWLI\ FRQIOLFWV DW HDUO\ VWDJH DQG XVH WKH FRQIOLFWV LQIRUPDWLRQ WR SUXQH WKH VHDUFK VSDFH +RZHYHU WKLV SUXQLQJ VFKHPHGRHVQRWDOZD\VOHDGVWRVKRUWHUFRPSXWDWLRQWLPHDVIRU PDQ\SUREOHPVWKHUHDUHQRKDUGFRQIOLFWVEHWZHHQELGV(YHQ LI WKHUH DUH VRPH WKH\ PD\ KDYH EHHQ SUXQHG E\ WKH XSSHU

Figure 7. Improved pruning in BBS ERXQGLQJ VFKHPH RI %%6 EHIRUH WKH\ DUHLGHQWLILHG3UHOLPLQDU\ H[SHULPHQWV VKRZ WKDW IRU VRPH PRGHUDWH VL]H SUREOHPV WKDW XVXDOO\ WDNH %%6 VHFRQGV LI D FHUWDLQ SHUFHQWDJH DERYH RI MRE VKRS &63V LV SUXQHG E\ WKH VFKHPH GXULQJ VHDUFK XVXDOO\ VLPLODU SHUFHQWDJH RI FRPSXWDWLRQ WLPH FDQ EH VDYHG ,I WKHSHUFHQWDJHLVWRRORZWKHFRQVWUDLQWEDVHGSUXQLQJVFKHPHFDQ FDXVHORQJHUFRPSXWDWLRQWLPHEHFDXVHWKHUHLVDFRVWDVVRFLDWHG ZLWKWKHSURSDJDWLQJRILQIHDVLELOLW\FRQVWUDLQWV:HOHDYHIXUWKHU LQYHVWLJDWLRQRIWKLVSUXQLQJVFKHPHWRIXWXUHUHVHDUFK

6. RELATED WORKS /LPLWHG DWWHQWLRQ KDV EHHQ GHYRWHG WR DXFWLRQV IRU GHFHQWUDOL]HG VFKHGXOLQJ:HOOPDQHWDO>@LQYHVWLJDWHGDXFWLRQSURWRFROVIRU GHFHQWUDOL]HG VFKHGXOLQJ 7KH\ LPSRVHG D GLVFUHWL]DWLRQ RI WLPH LQWR ILQLWH VORWV ZKLOH RXU DSSURDFK DOORZV DJHQWV WR XVH DQ


H[SUHVVLYHELGGLQJODQJXDJHWRELGIRUWKHSURFHVVLQJRIDVHW RI WDVNV XQGHU FHUWDLQ FRQVWUDLQWV ,Q >@ 3DUNHV DQG 8QJDU SUHVHQWHG DQ DXFWLRQEDVHG PHWKRG IRU GHFHQWUDOL]HG WUDLQ VFKHGXOLQJ7KHELGGLQJODQJXDJHGHVLJQHGLQWKHWUDLQVFKHGXOLQJ DXFWLRQ DYRLGV XVH RI GLVFUHWH WLPH VORWV %LGV DUH H[SUHVVHG E\ VSHFLI\LQJ D SULFH WR HQWHU D WUDFN OLQH DQG D WLPH ZLQGRZ 7KH ZLQQHUGHWHUPLQDWLRQSUREOHPZDVIRUPXODWHGZLWKPL[HGLQWHJHU SURJUDPPLQJZLWKPDQ\GRPDLQVSHFLILFFRQVWUDLQWVDQGVROYHG ZLWK &3/(; 1R GRPDLQVSHFLILF ZLQQHU GHWHUPLQDWLRQ DOJRULWKPZDVSURSRVHG,Q >@DXFWLRQVRYHUWDVNVZLWKFRPSOH[ WLPH FRQVWUDLQWV DQG LQWHUGHSHQGHQFLHV ZHUH SURSRVHG 7KH SUREOHP ZDV QRW WR VFKHGXOH UHVRXUFHV WKH DJHQW KDV EXW WR SURGXFH D VFKHGXOH RI WDVNV WKDW RWKHU DJHQWV ZRXOG GR 7KH REMHFWLYH ZDV WR RSWLPL]H WKH H[SHFWHG FXVWRPHU¶V XWLOLW\ EHIRUH ELGV DUH VXEPLWWHG DQG VFKHGXOHV DUH ILQDOL]HG ,Q >@ FRPELQDWRULDO DXFWLRQV ZHUH DSSOLHG WR WKH MRE VKRS VFKHGXOLQJ SUREOHP 7KH IRFXV RI WKLV ZRUN ZDV WR LQYHVWLJDWH WKH OLQNV EHWZHHQ FRPELQDWRULDO DXFWLRQV DQG /DJUDQJHDQ UHOD[DWLRQ DQG WRGHVLJQDXFWLRQVEDVHGRQWKH/DJUDQJHDQEDVHGGHFRPSRVLWLRQ $ ³VFKHGXOH VHOHFWLRQ JDPH´ ZDV SUHVHQWHG LQ >@ IRU FROODERUDWLYH SURGXFWLRQ VFKHGXOLQJ 7KH HPSKDVLV RI WKLV ZRUN ZDV RQ WKH LQFHQWLYH FRPSDWLELOLW\ RI WKH PHFKDQLVP UDWKHU WKDQ ZLQQHU GHWHUPLQDWLRQ 5HFHQWO\ SURSRVHG ZLQQHU GHWHUPLQDWLRQ DOJRULWKPV FDQ EH IRXQG LQ >@>@>@ 7KHVH DOJRULWKPV WDUJHW WKH &$3 DQG FDQQRW EH GLUHFWO\ DSSOLHG WR RXU ZLQQHU GHWHUPLQDWLRQ SUREOHP IRUPXODWLRQ IRU WKH GHFHQWUDOL]HG VFKHGXOLQJSUREOHPV

7. CONCLUSION 7KH REMHFWLYH RI WKLV UHVHDUFK LV WR LQYHVWLJDWH KRZ WKH GRPDLQ VSHFLILFSURSHUWLHVRIVFKHGXOLQJSUREOHPVFDQIDFLOLWDWHHIILFLHQW ZLQQHU GHWHUPLQDWLRQ DOJRULWKPV :H KDYH SUHVHQWHG D IRUPXODWLRQ DQG DQ DOJRULWKP IRU WKH ZLQQHU GHWHUPLQDWLRQ SUREOHPRIDXFWLRQEDVHGGHFHQWUDOL]HGVFKHGXOLQJ7KHSURSRVHG PHWKRG WDNHV DGYDQWDJH RI WKH IDFW WKDW GHGLFDWHG VFKHGXOLQJ WHFKQLTXHV DUH PRUH HIILFLHQW WKDQ JHQHUDO PL[HG LQWHJHU SURJUDPPLQJ PHWKRGV :H XVH D FRQVWUDLQWGLUHFWHG VFKHGXOLQJ DOJRULWKPWRYHULI\WKHIHDVLELOLW\RIWKHDOORFDWLRQDWHDFKQRGHRI WKHEUDQFKDQGERXQGVHDUFK:HKDYHDOVRSURSRVHGDFRQVWUDLQW EDVHG SUXQLQJ VFKHPH ZKLFK XVHV WKH GRPDLQVSHFLILF KHXULVWLFV WRIXUWKHUSUXQHWKHVHDUFKVSDFH7KHFXUUHQWIRUPXODWLRQUHVWULFWV ELGVWRRQHGLPHQVLRQZKLFKLVSULFHRQO\,QRXUIXWXUHZRUNZH SODQ WR H[WHQG WKLV ZRUN WR PXOWLDWWULEXWH ZLQQHU GHWHUPLQDWLRQ SUREOHPVLQGHFHQWUDOL]HGVFKHGXOLQJ

8. REFERENCES >@ $QGHUVVRQ $ 7HQKXQHQ 0 DQG @ %DEDQRY$&ROOLQV-DQG*LQL06FKHGXOLQJWDVNVZLWK SUHFHGHQFHFRQVWUDLQWVWRVROLFLWGHVLUDEOHELGFRPELQDWLRQV ,Q3URFRIWKH6HFRQG,QW O&RQIRQ$XWRQRPRXV$JHQWVDQG 0XOWL$JHQW6\VWHPV0HOERXUQH$XVWUDOLD-XO\ >@ (UVFKOHU - 5RXEHOODW ) DQG 9HUQKHV -3 &KDUDFWHUL]LQJ WKHVHWRIIHDVLEOHVHTXHQFHVIRUQMREVWREHFDUULHGRXWRQD

VLQJOHPDFKLQH(XURSHDQ-RXUQDORI2SHUDWLRQDO5HVHDUFK >@ )XMLVKLPD @ .XWDQRJOX(:X6',QFHQWLYHFRPSDWLEOHFROODERUDWLYH SURGXFWLRQ VFKHGXOLQJ ZLWK VLPSOH FRPPXQLFDWLRQ DPRQJ GLVWULEXWHG DJHQWV ,QWHUQDWLRQDO -RXUQDO RI 3URGXFWLRQ 5HVHDUFK >@ /H\WRQ%URZQ . 3HDUVRQ 0 6KRKDP @ 3DUNHV ' & DQG 8QJDU / $Q $XFWLRQ%DVHG 0HWKRG IRU 'HFHQWUDOL]HG 7UDLQ 6FKHGXOLQJ ,Q 3URFHHGLQJV RI WK ,QWHUQDWLRQDO&RQIHUHQFHRQ $XWRQRPRXV$JHQWV$*(176 0RQWUHDO4XHEHF&DQDGD >@ 6DGHK 1 DQG )R[ 0 9DULDEOH DQG YDOXH RUGHULQJ KHXULVWLFVIRUWKHMREVKRSVFKHGXOLQJFRQVWUDLQWVDWLVIDFWLRQ SUREOHP$UWLILFLDO,QWHOOLJHQFH >@ 6DQGKROP7$OJRULWKPIRURSWLPDOZLQQHUGHWHUPLQDWLRQLQ FRPELQDWRULDODXFWLRQV $UWLILFLDO,QWHOOLJHQFH >@ 6DQGKROP76XUL6*LOSLQ$DQG/HYLQH'&$%2%$ )DVW 2SWLPDO $OJRULWKP IRU :LQQHU 'HWHUPLQDWLRQ LQ &RPELQDWRULDO $XFWLRQV 0DQDJHPHQW 6FLHQFH >@ 6PLWK 6) DQG &KHQJ & 6ODFN%DVHG +HXULVWLFV IRU &RQVWUDLQW 6DWLVIDFWLRQ 6FKHGXOLQJ ,Q 3URFHHGLQJV RI WK 1DWLRQDO &RQIHUHQFH RQ $UWLILFLDO ,QWHOOLJHQFH :DVKLQJWRQ '&-XO\ >@ GH9ULHV69RKUD59&RPELQDWRULDO$XFWLRQV$6XUYH\ ,1)2506MRXUQDORQ&RPSXWLQJ >@ :HOOPDQ 0 3 :DOVK ( :XUPDQ 3 5 DQG 0DF.LH 0DVRQ - . $XFWLRQ 3URWRFROV IRU 'HFHQWUDOL]HG 6FKHGXOLQJ*DPHVDQG(FRQRPLF%HKDYLRU


693