arxiv: v1 [cs.ds] 31 Jul 2015

Transcription

1 O the Dspcemet for Coverg Ut Iterv wth Rdomy Pced Sesors Rfł Kpeko,, Evgeos Krks b, rxv:57893v [csds] 3 Ju 5 Deprtmet 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 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 [8] to y power > Keywords: brrer, dspcemet, dstce, eergy, rdom, sesors, ut terv 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 cossts of e segmet d for the motorg probem we re terested esurg coverge of the brrer the sese tht every pot the e segmet s wth the rge of sesor Correspodg uthor t: Deprtmet of Computer Scece, Fcuty of Fudmet Probems of Techoogy, Wrocłw Uversty of Techoogy, Wybrzeże Wyspńskego 7, 5-37 Wrocłw, Pod Te: ; fx: Em ddresses: rfkpeko@pwredup Rfł Kpeko, krks@scscretoc Evgeos Krks Reserch supported prt by NSERC Dscovery grt

2 We cosder the cse where the sesors re equpped wth omdrecto sesg tes of detc rge r > Brrer coverge s ot gurteed 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, 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 Reted work There s extesve terture bout re d brrer so kow s permeter coverge by set of sesors eg, see [9, ] The coverge probem for pr doms wth pre-exstg chor or destto pots ws troduced [] The determstc verso of the sesor dspcemet probem o er dom or terv ws troduced [4] Sever optmzto vrts of the dspcemet probem were cosdered The 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 the sesors my hve dfferet rges but s poyom tme whe the sesor rges re detc [5] The probem of mmzg the mxmum s NP-compete f the rego cossts of two tervs[4] but s poyom tme for sge terv eve whe the sesors my hve dfferet rges[3] Reted work o determstc gorthms for mmzg the tot d mxmum movemet of sesors for brrer coverge of pr rego my be foud [] More mportty, our work s cosey reted to the work of [8] 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 [8] from to expoets > Oute d resuts of the pper Our work geerzes some of the work of [8] 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 shove tht expected sum of dspcemet to the powers! +Θ, + whes eve tur umber, d Θ, whes odd tur umber I Secto 4 we prove the occurrece of threshod whereby the expected mmum sum

3 of dspcemets to the power s tur umber rems Θ + f provded tht r, where f > d f o 3/ I Secto 5 we study the more geer verso of the sesors movemet to the power, where > d r > Ifr 6 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 [] Bc,d x c x d dx s defed for compex umbersc,d such src > drd > Moreover, for teger umberc,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 c,d cocetrted o the terv [,] hs the Bc,d dstrbuto wth prmetersc,d f t hs the probbty desty fucto fx Bc,d x c x d Hece, Pr[X c,d < t] Bc, d We w use the foowg ottos for the rsg fctor [7] { k fork ++k fork, k t { fork k fork g c:d xdx 3 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 [7, detty 6] d [7, detty 63]: x m { } m x, 4 3

4 x m [ ] m m x, 5 Assume thtbbe costt depedet ofm The the foowg Strg umbers [ ] [ ] { } { } m m+b m m+b,, 6 m b m m b m re poyoms the vrbed of degreeb see [7] 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 dettes64,643 d644 [7]: m m! m! { } m b m+b m b b [ ] m b m+ m b b Let d, f N {} Notce tht see [7, detty 54] d d d f j d d++ d!d! d+! m, 7, 8 9 f +d+ d f+ We w so use Euer s Fte Dfferece Theorem see [6, detty ] Assume tht s tur umber Let fj j m dm N {} The { j f m < fj j! f m 3 Tght boud for tot dspcemet to the powerwhe r I ths secto we exted Theorem from [8] for the dspcemet to the power, where s tur umber Assume thtsesors wth rge re throw uformy d depedety t rdom the ut terv d move from ther curret octo to the chor octot, for,, Notce tht the oy wy to tt the coverge s for the sesors to occupy the postos t, for,, We prove tht expected sum of dspcemet to the power s! +Θ, whe + s eve tur umber, d Θ, whes odd tur umber We beg wth the foowg emm whch w be hepfu the proof of Theorem 4

5 Lemm Assume thts eve tur umber The j j j j! j + j + j +Θ Proof Let j {,,} Appyg equto 4, equto 5 d equto we deduce tht j j j j j j j + j + j j { } j j j j + j j { } j j j j { }[ j + Hece, d j j j j j 3 j j j + j 3 +j + + ] + 3 +j + 3+j + C + k + k k C + k { }[ j k j ] +k+j +j + { }[ ] j j +4 k+ 4 j + 4 k + k j + k + 4 Sce j j s the poyom of vrbe j of degree, { j j+ 4 k} s the poyom of vrbe j of degree k 4 d [ j+ 4 k+] + k j s the poyom of vrbe + j k of degree 4 see 6, we obt tht, C + k s the poyom of vrbe j of degree ess the k Appyg detty 8 for m j, b k 4 d detty 9 form j + 4 k+,b 4 we observe tht the coeffcet of the termj k the poyomsc + k equs j 4 d +,k k 4 j k 4! j 4 j 4 4! + k + 4 5

6 Therefore, from equto 7 we hve d +,k k k! k k 4 + k Appyg detty we deduce tht d +,! +! Hece from equto we get j j C + k j j 4 fk <! fk + Puttg everythg together, we obt j j j j j + j + k + k j j C + k j Ths competes the proof of Lemm! + +Θ 3 Tght boud for tot dspcemet to the powerwhe r ds eve tur umber Theorem Let be eve 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 the chor octot, for,,, respectvey s! +Θ + 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 tur umber Let D be the expected dstce to the power betwee X d the th sesor chor posto, t, o the ut terv, hece gve by: D x t g : + xdx t x g : + xdx Now we defe D,j j t j x j g : + xdx j 6

7 forj {,,,} d {,,,} Observe tht D j D,j From the defto of Bet fucto d detty we get D,j j j j j j + j Hece ppyg Lemm we cocude tht D,j! + j Ths fshes the proof of Theorem +Θ 3 Tght boud for tot dspcemet to the power whe r d s odd tur umber Theorem 3 Letbe odd tur umber Assume thtmobe sesors re throw uformy d depedety t rdom the ut terv The expected sum of dspcemets to the powerof sesors to move from ther curret octo to chor octot, for,,, respectvey sθ Proof Letbe odd tur umber Frsty, observe tht the resut for foows from [[8], Theorem ] Therefore, we my ssume tht 3 LetD be the expected dstce to the powerbetweex d the th trget sesor posto,v, o the ut terv, hece gve by: D t x g : + xdx Frst we prove the upper boud We use dscrete Höder equty wth prmeters +, + d get D D D Next we use Höder equty for tegrs wth prmeters +, + d get t x g : + x dx 7 t x + g : + x dx +,

8 so D + D + 4 Puttg together Theorem d equtos 3, 4 we deduce tht D + Θ + + Θ Next we prove the ower boud We use dscrete Höder equty wth prmeters,d get D D D 5 Next we use Höder equty for tegrs wth prmeters, d get v x g : + x dx v x g : + x dx so D Puttg together Theorem d equtos 5, 6 we obt D D D 6 Θ Θ Ths fshes the proof of the ower booud d competes the proof of Theorem 3, 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 tur umber, rems Θ provded tht r + f, wheref > df o 3/ Defto 4 Gve,r we deote bye r the expected mmum sum of dspcemet to the powerwhere s tur umber of sesors wth rger Theorem 5 Assume thts tur umber Letr > be the rge of the sesors Ifr + f, wheref > df o 3/, thee r Θ 8

9 Proof Let be tur umber Assume tht r +f, wheref > d f o 3/ Throughout the proof we use the fct thte Θ Frst we prove the upper boud E r O Ths s esy becuse we c dspce the sesors to the chor postos, 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 + f to, where f > d f o 3/ Let b be the sequece such tht b b b, b r, b r db + b r, for,, LetX be the posto of the th sesor the terv[,] It s suffcet to show tht E[ X b ] Ω Let us rec tht, for,,, Usg the equty for N we get X X b + b E[ X b ] + E[ X ] By Theorem, Theorem 3 we kow b 7 E[ X ] Θ 8 Assume tht b m +f + + f,, for,,, Let m+ be the smest postve, such tht +f + + f > Cery, f the th sesor occupes posto b, for,,,m, the the dstce betwee cosecutve sesors s equ to r Observe tht b b + +, for,,,m d mx,,, b f Hece, b + f 9

10 Therefore, we cocude tht for sequecesb, such tht b b b, b r, b r db + b r, for,,, Puttg together 7, 8 d 9 we get b + f o E[ X b ] + Θ o Θ Ths s suffcet to compete the proof of Theorem 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 octot, for,,, respectvey so Proof By Theorem d Theorem 3 we my ssume tht > d / N Let D be the expected dstce to the power betwee X d the th sesor posto, t, o the ut terv, hece gve by: D t x g : + xdx The we use dscrete Höder equty wth prmeters, d get D D D

11 Next we use Höder equty for tegrs wth prmeters, d get so t x g : + x dx D t x g : + x dx D Puttg together Theorem, Theorem 3 d equtos, we deduce tht D 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 powerof the sesors so 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 Now by mutpyg ther coordtes byxwe get the desred resut m Our upper boud o the tot sesor movemet to power s bsed o the Agorthm Agorthm Dspcemet to the power whe >, p 9 4 +, A 3 4 +, s the souto of the equto such tht 3 Requre: 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[, ] : Dvde the terv to subtervs of egth p ; : f there s subterv wth fewer th 3 sesors the p 3: moves sesors to postos tht re equdstt; 4: ese 5: ech subterv choose A sesors t rdom d move the chose sesors to equdstt posto so s to cover the subterv; 6: ed f,

12 Theorem 8 Fx > Let f > 6 d, where s the souto of the equto such tht 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 powerof sesors requred to cover the terv s O Proof Assume tht > Let p da 3 4 +, s the souto of the equto such tht 3 Frst of, observe tht p > 3 for We w prove tht the tot expected movemet to powerof Agorthm s O There re two cses to cosder Cse : There exsts subterv wth fewer th 3 sesors I ths cse p the tot expected movemet to powerso by Theorem 6 Cse : A subtervs cot t est 3 x x we deduce tht, A 3 p p sesors t rdom ech subterv wth more th 3 the sequece A 6 p Appyg equty x > x we see tht > A sesors From the equty Hece t s possbe to choose A p for p sesors Let us cosder Observe tht p 3, A 4 for 3 Puttg together Equto d Equto 3 we get A f > p Therefore, A chose sesors re eough to tt the coverge By the depedece of the sesors postos, the A chose sesors y gve subterv re dstrbuted rdomy d depedety wth uform dstrbuto over the subterv of egth By Lemm 7 the tot expected movemet to power sde ech subterv s p O A p O Sce, there re p subtervs, the tot expected movemet to power over subtervs must be O

13 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 + y subterv s< Proof Cm 9 Frst of, from the equty x x we get + p 3 Hece, 3 p p p sesors f + 4 p The umber of sesors fg subterv s Berou process wth probbty of success By Cheroff bouds, the probbty tht gve subterv hs fewer th p p + p sesors s ess the + < Specfcy we use the Cheroff boud + m p, δ tht oe hs fewer th + Pr[X < δm] < e δ m/, p p As there re + sesors occurs wth probbty ess th the proof of Cm 9 p p + p subtervs, the evet Ths d Equto 4 competes Usg Cm 9 we c upper boud the tot expected movemet to power s foows: p + O whch proves Theorem 8 + O, p + O 3

14 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 cosummed depedg o the rge of the sesors A terestg ope probem woud be to study ths cosumpto cost two dmesos Refereces [] B Arod, N Bkrsh, d H Ngrj A frst course order sttstcs, voume 54 SIAM, 99 [] 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: , 9 [3] D 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 77 88, [4] J Czyzowcz, E Krks, D 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 ADHOCNOW, pges 94, 9 [5] J Czyzowcz, E Krks, D 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 ADHOCNOW, pges 9 4, [6] H Goud d J Qutce Tbes of Combtor Idettes, voume 4 goud/vo4pdf [7] R Grhm, D Kuth, d O Ptshk Cocrete Mthemtcs A Foudto for Computer Scece Addso-Wesey, Redg, MA, 994 [8] E Krks, D 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 [9] 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 [] NIST Dgt Lbrry of Mthemtc Fuctos [] A Spu, C Westph, B Lu, d J Wg Brrer coverge of e-bsed depoyed wreess sesor etworks I INFOCOM, pges 7 35 IEEE, 9 4