arxiv: v3 [cs.ds] 22 Jun 2016

Transcription

1 O the spcemet for Coverg Ut Iterv wth Rdomy Pced Sesors Rfł Kpeko Evgeos Krks b eprtmet of Computer Scece Fcuty of Fudmet Probems of Techoogy Wrocłw Uversty of Techoogy Pod b Schoo of Computer Scece Creto Uversty Ottw ON Cd rxv:57893v3 [css] Ju 6 Abstrct Cosder mobe sesors pced depedety t rdom wth the uform dstrbuto o brrer represeted s the ut e segmet [ ] The sesors hve detc sesg rdus sy r Whe sesor s dspced o the e dstce equ to d t cosumes eergy movemet whch s proporto to some fxed power > of the dstce d trveed The eergy cosumpto of system of sesors thus dspced s defed s the sum of the eergy cosumptos for the dspcemet of the dvdu sesors We focus o the probem of eergy effcet dspcemet of the sesors so tht ther f pcemet the sesor system esures coverge of the brrer d the eergy cosumed for the dspcemet of the sesors to these f postos s mmzed expectto I prtcur we yze the probem of dspcg the sesors from ther t postos so s to tt coverge of the ut terv d derve trde-offs for ths dspcemet s fucto of the sesor rge We obt sever tght bouds ths settg thus geerzg sever of the resuts of [] to y power > Keywords: brrer dspcemet dstce rdom sesors Itroducto Oe of the most mportt probems sesor etworks s mmzg bttery cosumpto whe ccompshg vrous tsks such s motorg evromet trckg evets og brrer d commuctg I ths study the evromet beg cosdered cossts of e segmet brrer whch for smpcty s set to the ut terv [ ] whe the ccompyg motorg probem vestgted s esurg coverge of the brrer the sese tht every pot the e segmet s wth the rge of sesor We cosder the cse where the sesors re equpped wth omdrecto sesg tes of detc rge r>; thus sesor pced t octo x the ut terv c sese y pot t dstce t most r ether to the eft or rght of x The t pcemet of the sesors does ot gurtee brrer coverge sce the sesors hve bee pced ty depedety t rdom wth the uform dstrbuto o brrer To tt coverge of the e segmet t s requred to dspce the sesors from ther org octos to ew postos o the e whe t the sme tme tkg to ccout ther sesg rge r Further for some fxed costt > f sesor s dspced dstce d the eergy cosumed by ths sesor s cosdered to be proporto to d More geery for set of sesors Correspodg uthor t: eprtmet of Computer Scece Fcuty of Fudmet Probems of Techoogy Wrocłw Uversty of Techoogy Wybrzeże Wyspńskego Wrocłw Pod Te: ; fx: Em ddresses: rfkpeko@pwredup Rfł Kpeko krks@scscretoc Evgeos Krks Reserch supported by grt r S59/K Reserch supported prt by NSERC scovery grt f the th sesor s dspced dstce d for the the eergy cosumed by the whoe system of sesors s d I ths pper we study the mmum tot or sum eergy cosumpto expectto the movemet of the sesors so s to tt coverge of the ut segmet whe the eergy cosumed per sesor s proporto to some fxed power of the dstce trveed The preset study geerzes some kow resuts see [] o the sesor dspcemet for to rbtrry > Motvto for the exteded mode beg proposed s tht the eergy cosumpto duced by dvdu sesor dspcemet my ot be er ths dspcemet but rther be depedet o some power of the dstce trversed Further the prmeter the expoet my we represet vrous codtos of the surfce of the brrer eg frcto ubrcto etc whch my ffect the over eergy cosumpto of the sesor system Reted work There s extesve terture bout re d brrer so kow s permeter coverge by set of sesors eg see [ ] The coverge probem for pr doms wth pre-exstg chor or destto pots ws troduced [4] The determstc verso of the sesor dspcemet probem o er dom or terv ws troduced [6] Sever optmzto vrts of the dspcemet probem were cosderedthe compexty of fdg gorthm tht optmzes the dspcemet depeds o the types of the sesors the type of the dom d 3 whether oe s mmzg the sum or mxmum of the sesor movemets For the ut terv the probem of mmzg the sum s NP-compete f

2 the sesors my hve dfferet rges but s poyom tme whe the sesor rges re detc [7] The probem of mmzg the mxmum s NP-compete f the rego cossts of two tervs [6] but s poyom tme for sge terv eve whe the sesors my hve dfferet rges [5] Reted work o determstc gorthms for mmzg the tot d mxmum movemet of sesors for brrer coverge of pr rego my be foud [4] More mportty our work s cosey reted to the work of [] where the uthors cosder the expected mmum tot dspcemet for estbshg fu coverge of ut terv for sesors pced uformy t rdom Our yss d probem sttemet geerzes some of the work of [] from to expoets > A comprehesve study of sesor dspcemet to rbtrry probbty dstrbutos usg techques from queueg theory c be foud the forthcomg [] Oute d resuts of the pper Our work geerzes some of the work of [] to the more geer settg whe the cost of movemet s proporto to fxed power of the dstce dspcemet The over orgzto of the pper s s foows I Secto we provde sever bsc combtor fcts tht w be used the seque I Secto 3 we prove combtory how to obt tght bouds whe the rge of the sesors s r We show tht the expected sum of dspcemet to the power s! + + O whe s eve postve umber d Θ whe s odd tur umber I Secto 4 we prove the occurrece of threshod whereby the expected mmum sum of dspcemets to the power s postve tur umber rems Θ provded tht r where f > + f d f o 3/ I Secto 5 we study the more geer verso of the sesors movemet to the power where > d r> 6 If r we frst preset the Agorthm tht uses expected O tot movemet to power where > Fy Secto 6 provdes the cocusos Bsc fcts I ths secto we rec some kow fcts bout spec fuctos d spec umbers whch w be usefu the yss the ext sectos The Euer Bet fucto see [3] Bc d x c x d dx s defed for compex umbers c d such src> d Rd > Moreover for postve teger umbers c d we hve c+d Bc d c c Let us defe fucto g c:d x x c x d o the terv [ ] We sy tht rdom vrbe X cd cocetrted o the terv [ ] hs the Bc d dstrbuto wth prmeters c d f t hs the probbty desty fucto f xbc d x c x d Hece Pr[X cd < t] Bc d t g c:d xdx 3 We w use the foowg ottos for the rsg d fg fctor respectvey [9] k for k + +k for k k for k k for k Let [ { k] k} be the Strg umbers of the frst d secod kd respectvey whch re defed for teger umbers such tht k The foowg two equtos for Strg umbers of the frst d secod kd re we kow see [9 detty 6] d [9 detty 63]: { } m x m x 4 [ ] m x m m x 5 Assume tht b s costt depedet of m The the foowg Strg umbers [ ] [ ] { } { } m m+b m m+b 6 m b m m b m re poyoms the vrbe m d of degree b see [9] Let k be the Euer umbers whch re defed for teger umbers such tht k The foowg three dettes for Euer umbers re we kow see dettes d 644 [9]: m m! m! m 7 { } m b m+b m b b [ ] m b m+ m b b Let d f be o-egtve tegers Notce tht see [9 detty 54] d d d+ + d!d! d+! 8 9

3 Observe tht d f d f+ d f+ f+ d+ Appyg ths formu for to we esy derve d f f+ d+ d f+ We w so use Euer s Fte fferece Theorem see [8 detty ] Assume tht s tur umber Let f m d m N The f f m<! f m 3 Tght bouds for tot dspcemet to the power whe r I ths secto we exted Theorem from [] for the dspcemet to the power where s postve tur umber Assume tht sesors wth rge re throw uformy d depedety t rdom the ut terv d move from ther curret octo to the chor octo t for Notce tht the oy wy to tt the coverge s for the sesors to occupy the postos t for We prove tht the expected sum of dspcemet to the power s! +O whe s eve postve umber d + Θ whe s odd tur umber We beg wth the foowg emm whch w be hepfu the proof of Theorem It s worth potg out tht the proof of Lemm s techcy compcted Our proof of Lemm proceeds og the foowg steps Frsty we reduce the er sum + to the sum whch s kow see equto + The we hve the foowg sum x m + we deduce tht + + { } + { } { }[ ] Hece C + k + k + Now we prove tht C + k s the poyom of vrbe of degree ess th or equ k Observe tht C + k { }[ ] + +k+ + k + + { }[ ] +4 k k + k + k+ 4 4 k + C + k + k k where C + k s the poyom of vrbe of degree ess th or equ k Fy the symptotc foows from Euer s Fte fferece Theorem see equto Lemm Assume tht s eve postve umber The! O Proof As frst step we evute the er sum Let {} Appyg equto 4 for x m d equto for d f s we equto 5 for 3 Sce s the poyom of vrbe of degree { + 4 k} s the poyom of vrbe of degree k 4 d [ ] + 4 k+ + k s the poyom of vrbe + k of degree 4 see 6 we obt tht C + k s the poyom of vrbe of degree ess th or equ k Now we gve the coeffcet of the term k the poyoms C + k Appyg detty 8 for m bk 4 d detty 9 for m + 4 k+ b 4 we observe tht the coeffcet of the term k the poyoms C + k equs k 4 d +k 4 k 4! 4 4 4! + k+ 4

4 Therefore from equto 7 we hve d +k k k! k k 4 + k+ 4 4 Usg detty we deduce tht d +! +! We ow ppy equto order to get C + k 4 f k<! f k + Puttg everythg together we fy obt for { } d { } Observe tht From the defto of Bet fucto d detty we get + Hece ppyg Lemm we cocude tht! + + O Ths fshes the proof of Theorem + + k k! + C + k + + O Ths competes the proof of Lemm 3 Tght boud for tot dspcemet to the power whe r d s eve postve umber Theorem Let be eve postve umber Assume tht mobe sesors re throw uformy d depedety t rdom the ut terv The expected sum of dspcemets to the power of sesors to move from ther curret octo to the chor octo t for respectvey s! + + O Proof Let X be the th order sttstc e the posto of the th sesor terv [ ] We kow tht the rdom vrbe X hs the B + dstrbuto For exmpe see [] Assume tht s eve postve umber Let be the expected dstce to the power betwee X d the th sesor chor octo t o the ut terv hece gve by: x t g : + xdx t x g : + xdx Now we defe t x g : + xdx 4 3 Tght boud for tot dspcemet to the power whe d s odd tur umber r Theorem 3 Let be odd tur umber Assume tht mobe sesors re throw uformy d depedety t rdom the ut terv The expected sum of dspcemets to the power of sesors to move from ther curret octo to chor octo t for respectvey s Θ Proof Let be odd tur umber Frsty observe tht the resut for foows from [[] Theorem ] Therefore we my ssume tht 3 Let be the expected dstce to the power betwee X d the th trget chor octo t o the ut terv hece gve by: t x g : + xdx Frst we prove the upper boud We use dscrete Höder equty wth prmeters + + d get Next we use Höder equty for tegrs wth prmeters + d get + so t x g : + x dx t x + g : + x dx

5 Puttg together Theorem for : + d equtos 3 4 we deduce tht Θ Θ Next we prove the ower boud We use dscrete Höder equty wth prmeters d get 5 Next we use Höder equty for tegrs wth prmeters d get so t x g : + x dx t x g : + x dx 6 Puttg together Theorem for : d equtos 5 6 we obt Θ Θ Ths fshes the proof of the ower boud d competes the proof of Theorem 3 Proof Let be tur umber Assume tht r + f where f > d f o 3/ Throughout the proof we use the fct tht E Θ Frst we prove the upper boud E r O Ths s esy becuse we c dspce the sesors to the chor octos t for t tot dspcemet cost of O Ths suffces f r sce ths cse the cotguous coverge s ssured Next we prove the ower boud E r Ω We woud ke to kow how much we c reduce the sum of dspcemets f we chge the rdus from to + f where f > d f o 3/ Let b be the sequece such tht b b b b r b r d b + b r for Let X be the posto of the th sesor the terv [ ] It s suffcet to show tht E [ X b ] Ω Let us rec tht t for Usg the equty for N + we get X t X b + b t E [ X b ] + E [ X t ] By Theorem Theorem 3 we kow E [ X t ] Θ b t 7 + f 8 Assume tht b m + f + for Let m + be the smest postve such tht + f + + f > 4 A Threshod o the mmum dspcemet I ths secto we prove the occurrece of threshod whereby the expected mmum sum of dspcemets to power where s postve tur umber rems Θ provded tht r + f where f > d f o 3/ efto 4 Gve r we deote by E r the expected mmum sum of dspcemet to the power where s postve tur umber of sesors wth rge r Theorem 5 Assume tht s tur umber Let r> be the rge of the sesors If r + f where f > d f o 3/ the E r Θ 5 Cery f the th sesor occupes posto b for m the the dstce betwee cosecutve sesors s equ to r Observe tht b t b + + for m d Hece mx b t f b t + f Therefore we cocude tht for sequeces b such tht b b b b r b r d b + b r for b t + f o 9

6 Puttg together 7 8 d 9 we get E [ X b ] + Θ o Θ Ths s suffcet to compete the proof of Theorem 5 5 Upper bouds for tot dspcemet whe r> Now we study more geer verso of the sesor movemet to power where > Suppose tht sesors wth rdus r f re throw rdomy d depedety wth the uform dstrbuto the ut terv The questo s how to estmte the tot expected movemet to the power for f >? If f > 6 we preset Agorthm tht uses expected O tot movemet to power where > The correctess of the gorthm s derved from Theorem 8 We beg wth theorem whch dctes how to ppy the resuts of Theorem d Theorem 3 to dspcemets to the frcto power Theorem 6 Let > Assume tht mobe sesors re throw uformy d depedety t rdom the ut terv The expected sum of dspcemets to the power of sesors to move from ther curret octo to chor octo t for respectvey s O Proof By Theorem d Theorem 3 we my ssume tht > d N + Let be the expected dstce to the power betwee X d the th chor octo t o the ut terv hece gve by: t x g : + xdx The we use dscrete Höder equty wth prmeters d get Next we use Höder equty for tegrs wth prmeters d get so t x g : + x dx t x g : + x dx 6 Puttg together Theorem Theorem 3 d equtos we deduce tht Θ Ths fshes the proof of Theorem 6 Θ Now we gve emm whch dctes how to sce the resuts of Theorem 6 to tervs of rbtrry egth Lemm 7 Let > Assume tht m mobe sesors re throw uformy d depedety t rdom the terv of egth x The sesors re to be moved to equdstt postos wth the terv t dstce x/m from ech other The the tot expected movemet to the power of the sesors s O x m Proof Assume tht m sesors re the terv [ x] The mutpy ther coordtes by /x From Theorem 6 the tot movemet to the power the ut terv s O m Now by mutpyg ther coordtes by x we get the desred resut Our upper boud o the tot sesor movemet to power s bsed o the Agorthm Agorthm spcemet to the power whe > p q x s the re souto of the equto x x 3 such tht x 3 Requre: x mobe sesors wth detc sesg rdus r f f> 6 pced uformy d depedety t rdom o the terv [ ] Esure: The f postos of sesors to tt coverge of the terv [ ] : vde the terv to subtervs of egth ; p p : f there s subterv wth fewer th 3 sesors the 3: moves sesors to postos tht re equdstt; 4: ese 5: ech subterv choose q sesors t rdom d move the chose sesors to equdstt posto so s to cover the subterv; 6: ed f Theorem 8 Let > f > 6 d x where x s the x souto of the equto x 3 such tht x 3 Assume tht sesors of rdus r f re throw rdomy d depedety wth uform dstrbuto o ut terv The the tot expected movemet to power of sesors requred to cover the terv s O Proof Assume tht > Let p d q x x s the souto of the equto x 3 such tht x 3 Frst of observe tht p > 3 for x We w prove

7 tht the tot expected movemet to power of Agorthm s O There re two cses to cosder Cse : There exsts subterv wth fewer th 3 p sesors I ths cse the tot expected movemet to power s O by Theorem 6 Cse : A subtervs cot t est 3 p sesors From the equty x x we deduce tht q 3 p Hece t s possbe to choose q sesors t rdom ech subterv wth more th 3 sesors Let us cosder the p sequece q 6 for x p Appyg equty x > x we see tht > p q Observe tht p 3 q 4 for x 3 Puttg together Equto d Equto 3 we get q f > p Therefore q chose sesors re eough to tt the coverge By the depedece of the sesors postos the q chose sesors y gve subterv re dstrbuted rdomy d depedety wth uform dstrbuto over the subterv of egth By Lemm 7 the tot expected p movemet to power sde ech subterv s O q p O Sce there re p subtervs the tot expected movemet to power over subtervs must be O It rems to cosder the probbty wth whch ech of these cses occurs The proof of the theorem w be cosequece of the foowg Cm Cm 9 Let p The probbty tht fewer th 3 p sesors f y subterv s< p + Proof Cm 9 Frst of from the equty x x we get + p 3 7 Hece 3 p p + 4 p The umber of sesors fg subterv s Berou process wth probbty of success By Cheroff bouds p the probbty tht gve subterv hs fewer th + p p sesors s ess th e + < Cheroff boud + Pr[X< δm]<e δ m/ + p As there re p subter- m δ p vs the evet tht oe hs fewer th p Specfcy we use the + p Ths d Equ- sesors occurs wth probbty ess th to 4 competes the proof of Cm 9 p + Usg Cm 9 we c upper boud the tot expected movemet to power s foows: p + O + p + O O whch proves Theorem 8 6 Cocuso I ths pper we studed the expected mmum tot or sum eergy cosumpto the movemet of sesors wth detc rge whe the eergy cosumed per sesor s proporto to some fxed power of the dstce trveed We obted bouds o the expected mmum eergy cosumed depedg o the rge of the sesors Refereces [] AA Abbs M Yous d K Akky Movemet-sssted coectvty restorto wreess sesor d ctor etworks Pre d strbuted Systems IEEE Trs o 9: [] B Arod N Bkrsh d H Ngr A frst course order sttstcs voume 54 SIAM 99 [3] P Bster B Boobs A Srkr d S Kumr Rebe desty estmtes for coverge d coectvty th strps of fte egth I Proc of MobCom 7 pges [4] B Bhttchry M Burmester Y Hu E Krks Q Sh d A Wese Optm movemet of mobe sesors for brrer coverge of pr rego TCS 45:

8 [5] Che Y Gu J L d H Wg Agorthms o mmzg the mxmum sesor movemet for brrer coverge of er dom Agorthm Theory SWAT pges [6] J Czyzowcz E Krks Krzc I Lmbdrs L Nry J Optry L Stcho J Urrut d M Yzd O mmzg the mxmum sesor movemet for brrer coverge of e segmet A- HOCNOW pges 94 9 [7] J Czyzowcz E Krks Krzc I Lmbdrs L Nry J Optry L Stcho J Urrut d M Yzd O mmzg the sum of sesor movemets for brrer coverge of e segmet A- HOCNOW pges 9 4 [8] H Goud d J Qutce Tbes of Combtor Idettes From the seve upubshed muscrpts of H W Goud voume 4 goud/vo4pf My 3 [9] R Grhm Kuth d O Ptshk Cocrete Mthemtcs A Foudto for Computer Scece Addso-Wesey Redg MA 994 [] E Krks Krzc O Mores-Poce L Nry J Optry d S Shede Expected sum d mxmum of dspcemet of rdom sesors for coverge of dom I Proceedgs of the 5th ACM symposum o Presm gorthms d rchtectures pges 73 8 ACM 3 [] E Krks d G Shkhet Sesor octo probems o the re e Jour of Apped Probbty 6 to pper [] S Kumr T H L d A Aror Brrer coverge wth wreess sesors I Proceedgs of the th u Iterto Coferece o Mobe Computg d Networkg pges ACM 5 [3] NIST gt Lbrry of Mthemtc Fuctos [4] A Spu C Westph B Lu d J Wg Brrer coverge of ebsed depoyed wreess sesor etworks I INFOCOM pges 7 35 IEEE 9 [5] C K Seow W K G Seh d Z Lu Hybrd mobe wreess sesor etwork coopertve oczto I Proceedgs of IEEE d It Symposum o Iteget Cotro pges