An approximation algorithm for vertex cover problem

$Q$SSUR[LPDWLRQ$OJRULWKPIRU9HUWH[&RYHU

3UREOHP

1LVKDQW-DLQ

6KLSUD6KXNOD

$EVWUDFW7KH9HUWH[&RYHUSUREOHPIDVFLQDWHVFRPSXWHUVFLHQWLVWVDQGVXUIDFHVLQYDULRXVUHDOZRUOGDSSOLFDWLRQV7KLV SUREOHPKDVEHHQSURYHG13FRPSOHWHLQUHFHQWIXWXUH7KHUHIRUHRQHQHHGVWRORRNIRUSRO\QRPLDOWLPHDSSUR[LPDWLRQ DOJRULWKPVWRVROYHWKHSUREOHP0DQ\DOJRULWKPVKDYHEHHQGHYHORSHG\HWZKLFKFDQILQGDQDSSUR[LPDWHDQVZHUWRWKH SUREOHP:HKDYHGHVLJQHGDQDSSUR[LPDWLRQDOJRULWKPWRVROYHYHUWH[FRYHUSUREOHP7KLVDOJRULWKPLVWHVWHGRQDODUJH QXPEHU RI JUDSKV DGRSWHG IURP OLWHUDWXUH >@ 3URSRVHG DSSUR[LPDWLRQ DOJRULWKP \LHOGV EHWWHU FRYHUV WKDQ DSSUR[LPDWLRQDOJRULWKP3URSRVHGDOJRULWKPRIIHUVVXSHULRUUXQQLQJWLPHWKDQEUXWHIRUFHVWUDWHJ\

.H\ZRUGV0LQLPXPYHUWH[FRYHU$SSUR[LPDWLRQDOJRULWKP%UHDNLQJJUDSK5HMRLQLQJHWF

,,1752'8&7,21

5LFKDUG .DUS SUHVHQWHG D OLVW RI 13FRPSOHWH SUREOHPV LQ KLV SDSHU ³5HGXFLELOLW\ DPRQJ &RPELQDWRULDO 3UREOHPV´LQ2QHRIWKHVH13FRPSOHWHSUREOHPVWRDSSHDULQWKHOLVWLVWKHYHUWH[FRYHUSUREOHP,Q FRPSXWDWLRQDO FRPSOH[LW\ WKHRU\ LW LV D FODVVLFDO 13FRPSOHWH SUREOHP WKHUHIRUH LW LV XQOLNHO\ WR EH VROYHG LQ SRO\QRPLDOWLPHIRUWKHZRUVWFDVHSUREOHPLQVWDQFH7KHPLQLPXPYHUWH[FRYHUSUREOHPLQFOXGHVJUDSKWKHRU\DQG ILQLWHFRPELQDWRU\

,QDJLYHQJUDSKZHKDYHWRILQGasmallestsetofverticessuchthateveryedgeofthegraphKDVDWOHDVWRQH

HQGYHUWH[LQWKHVHW,WFRYHUVDOOWKHHGJHVRIWKHJLYHQJUDSK(YHQWKRXJKWKHSUREOHPLV13FRPSOHWHLWFDQEH VROYHGLQSRO\QRPLDOWLPHIRUELSDUWLWHJUDSKVDQGWUHHJUDSKVEXWIRUZRUVWFDVHJUDSKVSRO\QRPLDOWLPHDOJRULWKPV DUHXQOLNHO\WRH[LVW

7ZRYHUVLRQVRIYHUWH[FRYHUSUREOHPDUHWKHGHFLVLRQYHUVLRQDQGWKHRSWLPL]DWLRQYHUVLRQ,QWKHGHFLVLRQYHUVLRQ WKHJRDOLVWRYHULI\IRUDJLYHQJUDSKZKHWKHUWKHUHH[LVWVDYHUWH[FRYHURIDVSHFLILHGVL]HRUQRW2QWKHRWKHU KDQGLQWKHRSWLPL]DWLRQYHUVLRQRIWKLVSUREOHPWKHJRDOLVWRILQGDPLQLPXPYHUWH[FRYHURXWRIDOOIHDVLEOH FRYHUV2XUDOJRULWKPLVZRUNLQJRQWKHVHFRQGRQHLHRSWLPL]DWLRQSUREOHP

,,352326('$/*25,7+0,1)250$/'(6&5,37,21 7KHDOJRULWKPZRUNVLQWZRSKDVHV

1. Breaking the

graph-,QWKHEUHDNLQJSKDVHZHVHOHFWDVHWRIYHUWLFHVRQWKHEDVLVRIWKHLUGHJUHH&KRRVHDPD[LPXPGHJUHHYHUWH[WKHQ UHPRYHWKLVYHUWH[DQGFRUUHVSRQGLQJHGJHVIURPWKHJUDSK6WRUHWKLVYHUWH[LQWRDVWDFNDQGDOVRPDLQWDLQDUHFRUG RI LWV QHLJKERUV 1RZ FKRRVH D QHLJKERU RI WKLV PD[LPXP GHJUHH YHUWH[ DQG GHOHWH WKLV QHLJKERU YHUWH[ DQG FRUUHVSRQGLQJHGJHV6WRUHLWLQWRDVWDFNDQGPDLQWDLQDUHFRUGRILWVQHLJKERUV$JDLQFKRRVHWKHPD[LPXPGHJUHH YHUWH[DQGUHSHDWWKHSURFHVVXQWLOWKHJUDSKEHFRPHVHGJHOHVV1RZZHKDYHDVHWRIYHUWLFHVVWRUHGLQDVWDFN7KLV VHWZLOOEHXVHGLQWKHUHMRLQLQJSKDVH

Rejoining-6HOHFWHGVHWRIYHUWLFHVDUHDJDLQDSSOLHGWRWKHJUDSKLQUHYHUVHRUGHUWRILQGWKHYHUWH[FRYHU,QLWLDOO\WKHFRYHULV HPSW\3LFNDFRYHUIURPWKHOLVWRIFRYHUQRGHVDQGGHOHWHLWIURPWKHOLVW$GGDYHUWH[IURPWKHWRSRIWKHVWDFNWR WKHDQGFKHFNWKHIROORZLQJWKUHHFRQGLWLRQV

L,IDOOWKHQHLJKERUVQRIWKHYHUWH[DUHSUHVHQWLQWKHFRYHUWKHQGRQRWDGGLWWRWKHFRYHU

LL,IQQHLJKERUVDUHSUHVHQWLQWKHFRYHUWKHQHLWKHUDGGWKHQRGHRUQHLJKERUWRWKHFRYHU1RZLWZLOOJHQHUDWH WZRFRYHUV±RQHKDYLQJWKHQRGHDQGRWKHUKDYLQJWKHQHLJKERU6WRUHWKHVHFRQGFRYHULQWRDOLVWRIFRYHUQRGHV LLL,IOHVVWKDQQQRGHVDUHSUHVHQWLQWKHFRYHUWKHQDGGWKHYHUWH[WRWKHFRYHU

5HSHDWWKLVSURFHVVXQWLOWKHZKROHVHWRIYHUWLFHVEHFRPHVHPSW\DQGVKRZWKHJHQHUDWHGFRYHUDVRXWSXW1RZSLFN WKHVHFRQGFRYHUDQGGHOHWHLWIURPWKHOLVWRIFRYHUQRGHV$SSO\DOOWKHYHUWLFHVIURPWKHVHOHFWHGVHWRQWKLVFRYHU DQGFRPSDUHWKHJHQHUDWHGDQVZHUWRWKHSUHYLRXVRQH,IWKHVHFRQGFRYHULVOHVVWKDQWKHSUHYLRXVFRYHUVKRZLWDV RXWSXW5HSHDWWKHSURFHVVIRUOLPLWHGQXPEHURIWLPHVDFFRUGLQJWRRXUQHHG,IZHLQFUHDVHWKHOLPLWWKHQPRUH QXPEHURIFRYHUQRGHVZLOOEHSURFHVVHGDQGZHZLOOJHWEHWWHUDQVZHUEXWSURFHVVLQJWLPHZLOOLQFUHDVH

7KLVDOJRULWKPZLOOJHQHUDWHQXPEHURIRXWSXWVDQGHDFKWLPHWKHJHQHUDWHGRXWSXWZLOOEHEHWWHUWKDQWKHSUHYLRXV RXWSXW

Code

LQW9HUWH[&RYHUFRQVW*UDSK D ^

9HUWH[E QHZ9HUWH[>1@ *UDSKWHPS D

LQWM LQWRGG

ZKLOHWHPS1RGH&RXQW ^ LIRGG ^

LQWLG WHPS0D['HJUHH9HUWH[

E>M@ WHPS*LYH9HWH[,QIRLG

M

WHPS5HPRYH9HUWH[LG RGG

` HOVH^

LQWLG E>M@$GMDFHQW>@ E>M@ WHPS*LYH9HWH[,QIRLG M

WHPS5HPRYH9HUWH[LG RGG

` `

&RYHU1RGHS S6L]H SM M 6WDFN& &3XVKS &RYHU1RGHT LQW0LQ 1 LQWFRXQWHU

ZKLOH&6WDFN(PSW\ ^

EUHDN FRXQWHU T &3RS TM

LQWM TM ZKLOHM! ^ LIT6L]H! 0LQ EUHDN

LQWHH 0LQT6L]H LIM!HH

EUHDN

$SSO\TME& M

`

LIT6L]H0LQ^ LIM ^ S T 3ULQW S 0LQ T6L]H `

` `

3ULQW S `

,,,$1$/<6,6

7KHDQDO\VLVSHUIRUPHGRQWKHSURSRVHGDOJRULWKPVKRZVWKDWLWLVDSRO\QRPLDOWLPHDOJRULWKP$VZHWDNHDORRN RQWKHEUHDNLQJSKDVHWKHQXPEHURIWLPHLWZLOOEUHDNWKHJUDSKFDQ¶WEHJUHDWHUWKDQWKHWRWDOQXPEHURIQRGHVLQ WKH JUDSK %HFDXVH WKH ORRS LV UXQQLQJ WLOO WKH QRGH FRXQW LV ]HUR 6R WKH UXQQLQJ WLPH RI WKH SURFHVVHV ZLOO EH SRO\QRPLDO

,QWKHUHMRLQLQJSKDVHZHZLOODGGWKHSUHYLRXVO\VHOHFWHGVHWRIYHUWLFHVWRWKHYHUWH[FRYHU7KHUHDUHWZRORRSV ZRUNLQJIRUWKLVSKDVH1XPEHURILWHUDWLRQVIRUWKHILUVWORRSZLOOEHEHFDXVHZHDUHWDNLQJILUVWFRYHUVIURP WKHYHUWH[FRYHUOLVWIRUSURFHVVLQJ)RUVHFRQGORRSWKHQXPEHURILWHUDWLRQZLOOEHHTXDOWRWKHQXPEHURIYHUWLFHV LQWKHVHOHFWHGVHW7KHQXPEHURIVHOHFWHGYHUWLFHVZLOODOZD\VEHOHVVWKDQWKHWRWDOQXPEHURIYHUWLFHV6RWKLV SKDVHDOVRJHQHUDWHVDSRO\QRPLDOWLPHVROXWLRQ7KXVZHFDQFRQFOXGHWKDWWKHJLYHQDOJRULWKPLVDSRO\QRPLDO WLPHDOJRULWKP

7KHSURSRVHGDOJRULWKPLVPXFKEHWWHUWKDQDSSUR[LPDWLRQDOJRULWKP,QWKHEUHDNLQJSKDVHZHDUHVHOHFWLQJWKH YHUWLFHVRQWKHEDVLVRIDSSUR[LPDWLRQZLWKVRPHPRGLILFDWLRQVWDNLQJWKHPD[GHJUHHYHUWH[DQGLWVQHLJKERU HDFKWLPH6RLWZLOOJHQHUDWHDUHGXFHGVHWRIYHUWLFHVWKDQWKDWRIDSSUR[LPDWLRQ$JDLQZHDUHUHGXFLQJWKLVVHW LQ WKH UHMRLQLQJ SKDVH WR ILQG D EHWWHU YHUWH[ FRYHU 7KXV WKH SURGXFHG FRYHU ZLOO EH PXFK EHWWHU WKDQ DSSUR[LPDWLRQ

:HKDYHGLVFXVVHGKHUHVRPHNH\SRLQWVWKDWZHKDYHXVHGIRUWKHGHYHORSPHQWRIDOJRULWKP:HKDYHVHOHFWHG PD[LPXPGHJUHHYHUWH[IRUEUHDNLQJWKHJUDSKVRWKDWWKHJUDSKFDQEHEURNHQHDVLO\:HKDYHDSSOLHGWRSGRZQ DSSURDFKIRUEUHDNLQJWKHJUDSKDQGERWWRPXSDSSURDFKIRUUHFRQVWUXFWLRQ:HKDYHDSSOLHGWKHFRQFHSWRISDUWLDO GLYLGHDQGFRQTXHUWHFKQLTXH

,9&21&/86,21

9$&.12:/('*(0(17

:HKDYHQRZRUGVWRH[SUHVVRXUJUDWLWXGHWRZDUGVP\JXLGH'U'HHSDN$EK\DQNDU6RIWZDUH(QJLQHHU6FKRRORI &RPSXWHU6FLHQFH$QG,QIRUPDWLRQ7HFKQRORJ\'$8QLYHUVLW\,QGRUHZKRKDVSURYLGHGDOOWKHHVVHQWLDOPDWHULDO IRUWKHUHVHDUFKSDSHU+LVJXLGDQFHDQGPRWLYDWLRQHQFRXUDJHGXVDQGSURYLGHGXVDQLGHDRQKRZWRZRUNIRUWKLV SDSHU:HDUHKLJKO\WKDQNIXOWRKLP

5()(5(1&(6

>@ KWWSZZZGKDUZDGNHURUJYHUWH[BFRYHU >@ KWWSVHQZLNLSHGLDRUJZLNL9HUWH[BFRYHU

>@ KWWSZZZGKDUZDGNHURUJSLU]DGDDSSOLFDWLRQV

>@ 50.DUS5HGXFLELOLW\DPRQJFRPELQDWRULDOSUREOHPV&RPSOH[LW\RI&RPSXWHU&RPSXWDWLRQV3OHQXP3UHVV >@ 6WDQOH\/LSSPDQ(VVHQWLDO&$GGLVRQ:HVOH\

>@ &RUPHQ7KRPDV+/HLVHUVRQ&KDUOHV(5LYHVW5RQDOG/,QWURGXFWLRQWR$OJRULWKPVILUVWHG0,73UHVVDQG0F*UDZ+LOO ,6%1

$33(1',; LQFOXGHLRVWUHDP! LQFOXGHIVWUHDP! LQFOXGHVWULQJ! XVLQJQDPHVSDFHVWG LQW1 LQWVWRS

VWUXFW9HUWH[^ LQWYHUWH[,G LQWQHLJKERXU&RXQW LQW$GMDFHQW

9HUWH[ RSHUDWRU FRQVW9HUWH[ RWKHU^ LIWKLV RWKHU^

YHUWH[,G RWKHUYHUWH[,G

QHLJKERXU&RXQW RWKHUQHLJKERXU&RXQW $GMDFHQW QHZLQW>QHLJKERXU&RXQW@ LQWM

ZKLOHMQHLJKERXU&RXQW^ $GMDFHQW>M@ RWKHU$GMDFHQW>M@ M

`

`

UHWXUQWKLV

` `

FODVV*UDSK^ LQWYHUWH[&RXQW

9HUWH[D SXEOLF

*UDSKLIVWUHDP )LOH^ LQWQXPEHU

YHUWH[&RXQW 1 D QHZ9HUWH[>1@ LQWM

LQWFRXQW ZKLOHM1^ FRXQW D>M@YHUWH[,G M

D>M@$GMDFHQW QHZLQW>1@ LQWN

ZKLOHN1^ )LOH!!QXPEHU LIQXPEHU ^

D>M@$GMDFHQW>FRXQW@ N FRXQW

` N `

D>M@QHLJKERXU&RXQW FRXQW

LQW1HE&RXQWLQWLGFRQVW^ UHWXUQD>LG@QHLJKERXU&RXQW `

LQW1RGH&RXQWFRQVW^ UHWXUQYHUWH[&RXQW `

*UDSKFRQVW*UDSK RE^ YHUWH[&RXQW REYHUWH[&RXQW D QHZ9HUWH[>1@

LQWM ZKLOHM1^

D>M@QHLJKERXU&RXQW RED>M@QHLJKERXU&RXQW D>M@YHUWH[,G M

LQWFRXQW D>M@QHLJKERXU&RXQW D>M@$GMDFHQW QHZLQW>FRXQW@ LQWN

ZKLOHNFRXQW^

D>M@$GMDFHQW>N@ RED>M@$GMDFHQW>N@ N

` M `

`

YRLG5HPRYH(GJHLQWFLQWG^ LQWFRXQW D>F@QHLJKERXU&RXQW LQWM

ZKLOHMFRXQW^

LID>F@$GMDFHQW>M@ G EUHDN

M `

D>F@$GMDFHQW>M@ D>F@$GMDFHQW>FRXQW@ D>F@QHLJKERXU&RXQW

LID>F@QHLJKERXU&RXQW ^ GHOHWHD>F@$GMDFHQW YHUWH[&RXQW `

`

YRLG5HPRYH9HUWH[LQWLG^ LQWFRXQW D>LG@QHLJKERXU&RXQW LQWM

ZKLOHMFRXQW^

LQWQHE D>LG@$GMDFHQW>M@ 5HPRYH(GJHQHELG

M `

LIFRXQW!^

D>LG@QHLJKERXU&RXQW GHOHWHD>LG@$GMDFHQW YHUWH[&RXQW `

`

LQW*LYH1HLJKERXULQWLGFRQVW^ UHWXUQD>LG@$GMDFHQW>@

`

LQW/HDVW'HJUHH9HUWH[FRQVW^ LQWFRXQW 1

LQWM LQWUHVXOW ZKLOHM1^

LID>M@QHLJKERXU&RXQW^

LID>M@QHLJKERXU&RXQWFRXQW^ UHVXOW M

FRXQW D>M@QHLJKERXU&RXQW `

` M `

UHWXUQUHVXOW `

LQW0D['HJUHH9HUWH[^ LQWFRXQW

LQWM LQWUHVXOW ZKLOHM1^

LID>M@QHLJKERXU&RXQW!FRXQW^ UHVXOW M

FRXQW D>M@QHLJKERXU&RXQW `

M `

UHWXUQUHVXOW `

9HUWH[*LYH9HWH[,QIRLQWM^ UHWXUQD>M@

VWUXFW&RYHU1RGH^ LQW6L]H LQWM LQW[ &RYHU1RGH^

[ QHZLQW>1@ `

`

YRLG3ULQW9HUWH[Y^ LQWM

FRXW1HEVHQGO ZKLOHMY!QHLJKERXU&RXQW^

FRXWY!$GMDFHQW>M@ M

` `

YRLG3ULQW&RYHU1RGH$QVZHU^ FRXW?QDQVZHU

FRXW$QVZHU!6L]H FRXWHQGO

LQWM

LQWP $QVZHU!6L]H ZKLOHMP^

FRXW$QVZHU![>M@ M

`

`

FODVV6WDFN^ &RYHU1RGH\ LQW7RS SXEOLF 6WDFN^

\ QHZ&RYHU1RGH>1@ 7RS

`

YRLG3XVK&RYHU1RGH H^ 7RS

\>7RS@ H `

&RYHU1RGH3RS^ 7RS

UHWXUQ\>7RS@ `

LQW6WDFN(PSW\^ LI7RS UHWXUQ UHWXUQ `

`

LQW6HDUFKLQWDLQWQLQWN^ LQWM

ZKLOHMQ^ LID>M@ N UHWXUQ M ` UHWXUQ `

6WDFN&

YRLG$SSO\&RYHU1RGH TLQWL9HUWH[E6WDFN &

^ TM L

LQWD E>L@$GMDFHQW

LQWQFRXQW E>L@QHLJKERXU&RXQW LQWG T[

LQWVL]H T6L]H LQWV

LQWM LQWH

ZKLOHMQFRXQW^

LI6HDUFKGVL]HD>M@ V

HOVH^ H D>M@ `

M `

LIV QFRXQW^

UHWXUQ `

G>VL]H@ E>L@YHUWH[,G T6L]H T6L]H LIVQFRXQW UHWXUQ &RYHU1RGH] ]6L]H T6L]H ]M L

][>-@ T[>-@

-`

][>]6L]H@ H

&3XVK] `

LQW9HUWH[&RYHUFRQVW*UDSK D^

9HUWH[E QHZ9HUWH[>1@

*UDSKWHPS D

LQWM LQWRGG

ZKLOHWHPS1RGH&RXQW ^ LIRGG ^

LQWLG WHPS0D['HJUHH9HUWH[

E>M@ WHPS*LYH9HWH[,QIRLG

M

WHPS5HPRYH9HUWH[LG RGG

` HOVH^

LQWLG E>M@$GMDFHQW>@ E>M@ WHPS*LYH9HWH[,QIRLG M

WHPS5HPRYH9HUWH[LG RGG

` `

&RYHU1RGHS S6L]H SM M 6WDFN& &3XVKS &RYHU1RGHT LQW0LQ 1 LQWFRXQWHU

ZKLOH&6WDFN(PSW\ ^ LIFRXQWHU

,QFUHDVHWKHYDOXHRIFRXQWHUWRJHWEHWWHUUHVXOW EUHDN

FRXQWHU T &3RS TM

LQWM TM ZKLOHM! ^ LIT6L]H! 0LQ EUHDN

LQWHH 0LQT6L]H LIM!HH

EUHDN

$SSO\TME& M

`

LIT6L]H0LQ^ LIM ^ S T 3ULQW S 0LQ T6L]H `

` `

3ULQW S `

UXQWKLVSURJUDPXVLQJWKHFRQVROHSDXVHURUDGG \RXURZQJHWFKV\VWHPSDXVHRULQSXWORRS

LQWPDLQLQWDUJFFKDUDUJY^

LIVWUHDP)LOH

)LOHRSHQJUDSKW[W )LOH!!1

FRXWWRWDOQXPEHURIQRGHV 1 *UDSKD)LOH