A Polynomial-Time Approximation Scheme for the Minimum-Connected Dominating Set in Ad Hoc Wireless Networks

Size: px
Start display at page:

Download "A Polynomial-Time Approximation Scheme for the Minimum-Connected Dominating Set in Ad Hoc Wireless Networks"

Transcription

1 A Polynomial-Tim Approximation Schm for th Minimum-Connctd Dominating St in Ad Hoc Wirlss Ntworks Xiuzhn Chng Dpartmnt of Computr Scinc, Gorg Washington Univrsity, Washington, DC Xiao Huang 3M Cntr, Building F-08, St. Paul, MN Dying Li Dpartmnt of Computr Scinc, City Univrsity of Hong Kong, Hong Kong, China Wili Wu Dpartmnt of Computr Scinc, Univrsity of Txas at Dallas, Richardson, Txas Ding-Zhu Du Dpartmnt of Computr Scinc and Enginring, Univrsity of Minnsota, Minnapolis, Minnsota A connctd dominating st in a graph is a subst of vrtics such that vry vrtx is ithr in th subst or adjacnt to a vrtx in th subst and th subgraph inducd by th subst is connctd. A minimum-connctd dominating st is such a vrtx subst with minimum cardinality. An application in ad hoc wirlss ntworks rquirs th study of th minimum-connctd dominating st in unit-disk graphs. In this papr, w dsign a (1 1/s)-approximation for th minimum-connctd dominating st in unit-disk graphs, running in tim n O ((s log s) 2 ) Wily Priodicals, Inc. Kywords: connctd dominating st; unit disk graph; polynomial-tim approximation schm; partition 1. INTRODUCTION Ad hoc wirlss ntworking has attractd mor and mor attntion rcntly [2, 6, 8, 12]. It will rvolutioniz information gathring and procssing in both urban nvironmnts and inhospitabl trrain. An ad hoc wirlss ntwork is an autonomous systm consisting of mobil hosts (or Rcivd Fbruary 2002; accptd July Corrspondnc to: D.-Z. Du; -mail: dzd@cs.umn.du 2003 Wily Priodicals, Inc. routrs) connctd by wirlss links. It can b quickly and widly dployd. Exampl applications of ad hoc wirlss ntworks includ mrgncy sarch-and-rscu oprations, dcision making in th battlfild, data acquisition oprations in inhospitabl trrain, tc. Two important faturs of an ad hoc wirlss ntwork ar its dynamic topology and rsourc limitation. In an ad hoc wirlss ntwork, vry host can mov in any dirction at any tim and any spd. Thr is no fixd infrastructur and cntral administration. A tmporary infrastructur can b formd in any way. Du to multipath fading, multipl accss, background nois, and intrfrnc from othr transmissions, an activ link btwn two hosts may bcom invalid abruptly. Thus, th communication link is unrliabl and rtransmission is quit oftn ncssary for rliabl srvics. Th rsourc constraints for an ad hoc wirlss ntwork includ battry capacity, bandwidth, CPU spd, tc. Ths two faturs mak routing dcisions vry challnging. Existing routing protocols rly on flooding for th dissmination of topology updat packts (proactiv routing protocols [5]) or rout rqust packts (ractiv routing protocols [9, 13]). Ntworkwid flooding (global flooding) may caus th following two problms: Broadcast storm problm [12]. Ntwork-wid flooding may rsult in xcssiv rdundancy, contntion, and col- NETWORKS, Vol. 42(4),

2 lision. This causs high protocol ovrhad and intrfrnc with othr ongoing communication traffic. Flooding is unrliabl [8]. In modratly spars graphs th xpctd numbr of nods in th ntwork that will rciv a broadcast mssag was shown to b as low as 80% [14]. To ovrcom or, at last, allviat ths problms, a virtual backbon-basd routing stratgy has bn introducd [2, 6, 16]). Th most important bnfit of virtual backbon-basd routing is th dramatic rduction of protocol ovrhad; thus, it gratly improvs th ntwork throughput. This is achivd by propagating control packts insid th virtual backbon, not th whol ntwork. Othr bnfits includ th support of broadcast/multicast traffic and th propagation of link quality information for QoS routing [15]. Basd on ths applications, w can summariz th ssntial rquirmnts for a virtual backbon as follows: (i) Th numbr of hosts in th backbon is minimizd; (ii) all hosts in th backbon ar connctd; and (iii) ach of th hosts not in th backbon has at last on nighbor in th backbon. This is clarly th ida of a minimum-connctd dominating st. A connctd dominating st on a graph is a subst of vrtics such that (a) vry vrtx is ithr in th subst or adjacnt to a vrtx in th subst and (b) th subgraph inducd by th subst is connctd. Th problm of a minimum-connctd dominating st (MCDS) is to comput a connctd dominating st of minimum cardinality. On th othr hand, w assum that an ad hoc wirlss ntwork contains only homognous mobil hosts. Each host is supplid with an qual-powr omnidirctional antnna. Similar assumptions ar takn by most rsarchrs in th fild of mobil ad hoc wirlss ntworking. Thus, th footprint of an ad hoc wirlss ntwork is a unit-disk graph. Indd, in a unit-disk graph, th vrtx st consists of a finit numbr of points in th Euclidan plan and an dg xists btwn two vrtics (points) if and only if th distanc btwn thm is at most on. According to th abov analysis, w formulat th problm of constructing a virtual backbon as th problm of an MCDS in unit-disk graphs. Th MCDS in gnral graphs was studid in [7], which proposd a rduction from th st-covr problm. This implis that, for any fixd 0 1, no polynomial tim algorithm with prformanc ratio (1 ) H( ) xists unlss NP DTIME[n O(log log n) ] [10], whr is th maximum dgr and H is th harmonic function. Th MCDS in unit-disk graphs is still NP-hard [4]. Th bstknown prformanc ratio of prvious polynomial-tim approximations is a constant 7 [1, 3, 11]. In this papr, w will propos a Polynomial Tim Approximation Schm (PTAS) for th MCDS in unit-disk graphs. An algorithm A is a PTAS for a minimization problm with optimal cost OPT if th following is tru: Givn an instanc I of th problm and a small positiv rror paramtr, (i) th algorithm outputs a solution with cost at most (1 )OPT, and (ii) whn is fixd, th running tim is boundd by a polynomial in th siz of th instanc I. If thr xists a PTAS for an optimization problm, th problm s instanc can b approximatd to any rquird dgr. 2. PRELIMINARIES A dominating st in a graph is a subst of vrtics such that vry vrtx is ithr in th subst or adjacnt to at last on vrtx in th subst. If, in addition, th subgraph inducd by a dominating st is connctd, thn th dominating st is calld a connctd dominating st. Th following is a wll-known fact about dominating sts and connctd dominating sts: Lmma 2.1. For any dominating st D in a connctd graph, w can find at most 2( D 1) vrtics to connct D. Morovr, if D* 1 and D* 2 ar, rspctivly, a minimum dominating st and an MCDS, thn D* 2 3 D* 1 2. W ar intrstd in th minimum-connctd dominating st in unit-disk graphs. Th unit-disk graph has th following proprty: Lmma 2.2. Suppos that a unit-disk graph G lis in an m m squar such that vry vrtx is away from th boundary with distanc at last 1/2. Thn, G has at most 4m 2 / connctd componnts. Proof. Lt x dnot th numbr of connctd componnts of such a unit-disk graph. From ach connctd componnt, w choos a vrtx and idntify it with th cntr of a unit-disk. (A unit-disk has diamtr on.) Such unit-disks ar disjoint and all li in th cll. Thrfor, w hav Hnc, x 4m 2 /. x 1/2 2 m 2. It has bn known that th MCDS has som polynomialtim approximation with a constant prformanc ratio [1, 3, 11]. Hr, w quot a rsult from [3]: Lmma 2.3. Thr xists a polynomial-tim approximation for th MCDS in unit-disk graphs, with prformanc ratio ight. In dsign of a PTAS for th MCDS, w somtims considr th following gnralization of th concpt of dominating st and connctd dominating st: Considr a graph G (V, E). Suppos that H is a subgraph of G. A subst D of vrtics in G is said to b a connctd dominating st in G for H if vry vrtx in H is ithr in D or adjacnt to a vrtx in D and, in addition, th subgraph of G inducd by D is connctd. NETWORKS

3 FIG. 2. Cntral ara and boundary ara. FIG. 1. Squars Q and Q. 3. MAIN RESULTS In this sction, w will construct a PTAS for th MCDS in unit-disk graphs. Th gnral pictur of this construction is as follows: First, w divid a spac, containing all vrtics of th input unit-disk graphs, into a grid of small clls. For ach small cll, tak th points h distanc away from th boundary (th cntral ara of th cll). Thn, w optimally comput a minimum union of connctd dominating sts in ach cll for connctd componnts of th cntral ara of th cll. Th ky lmma is to prov that th union of all such minimum unions is no mor than th MCDS for th whol graph. Thn, for vrtics not in cntral aras, just us th part of an 8-approximation lying in boundary aras (within distanc h 1 away from th boundary, with som ovrlap with th cntral aras) to dominat thm. This part, togthr with th abov union, forms a connctd dominating st for th whol input unit-disk graph. Finally, using th shifting argumnt (i.., shift th grid around to gt partitions at diffrnt coordinats) to mak sur thr ar at last half good partitions having good approximations ovrall. Nxt, w work out dtails along th abov lins: For th input connctd unit-disk graph G (V, E), w initially find a minimal squar Q containing all vrtics in V. Without loss of gnrality, assum that Q {(x, y) 0 x q, 0 y q}. Lt m b a larg intgr that w will dtrmin latr. Lt p q/m 1. Considr th squar Q {(x, y) m x mp, m y mp}. Partition Q into a ( p 1) ( p 1) grid so that ach cll is an m m squar xcluding th top and th right boundaris and, hnc, no two clls ar ovrlapping ach othr. This partition of Q is dnotd by P(0, 0) (Fig. 1). In gnral, th partition P(a, b) is obtaind from P(0, 0) by shifting th bottom-lft cornr of Q from ( m, m) to( m a, m b). For ach cll as an m m squar, w dnot by C (d) th st of points in away from th boundary by distanc at last d, for xampl, C (0) is th cll itslf. Fix a positiv intgr h whos valu will b dtrmind latr. W will call C (h) th cntral ara of and C (0) C (h 1) th boundary ara of (Fig. 2). For simplicity of notation, w dnot B (d) C (0) C (d). Not that, for ach cll, its boundary ara and cntral ara ar ovrlapping with th width on. For ach partition P(a, a), dnot by C a (d) (B a (d)) th union of C (d)(b (d)) for ovr all clls in P(a, a). C a (h) and B a (h 1) ar calld th cntral ara and th boundary ara of P(a, a). For a graph G, dnot by G (d)(g (d)) th subgraph of G inducd by all vrtics lying in C (d)(b (d)) and by G a (d)(g a(d)) th subgraph of G inducd by all vrtics lying in C a (d)(b a (d)). Lt G (V, E) b an input connctd unit-disk graph. Considr a subgraph G (h). This subgraph may consist of svral connctd componnts. Lt K b a dominating st in G (0) for G (h) with minimum cardinality such that, for ach connctd componnt H of G (h), K contains a connctd componnt dominating H. In othr words, K is a minimum union of connctd dominating sts in G (0) for connctd componnts of G (h). Now, w dnot by K a th union of K for ovr all clls in partition P(a, a). By Lmma 2.3, w can comput, in polynomial tim, a connctd dominating st F for an input connctd graph G within a factor of 8 from optimal. St A a K a F a(h 1). [Not that w considr F as a graph without dgs. According to th abov dfinition, F a(h 1) F B a (h 1).] Lmma 3.1. For 0 a m 1, A a is a connctd dominating st for input graph G. Morovr, A a can b computd in tim n O(m2). Proof. A a is clarly a dominating st for input graph G. W nxt show its connctivity. Not that for any connctd componnt H of th subgraph G (h) for som cll in partition P(a, a), if a connctd componnt E of F a(h 1) has a vrtx in H, thn E must connct to th connctd dominating st D H for H. This mans that D H has bn making up th connctions of F lost from cutting a part in H. Thrfor, th connctivity of A a follows from th connctivity of F. To stablish th tim for computing A a, w not th fact that, for a squar with dg lngth 2/2, all vrtics lying insid th squar induc a complt subgraph in which any vrtx must dominat all othr vrtics. It follows from this 204 NETWORKS 2003

4 FIG. 3. Two dgs (u, v) and ( x, y) hav crosspoint w. fact that th minimum dominating st for th subst V of vrtics lying in cll has siz ( 2m ) 2. Hnc, th MCDS for V has siz at most 3( 2m ) 2 by Lmma 2.1. Thrfor, K 3( 2m ) 2. Suppos that cll contains n vrtics of th input unit-disk graph. Thn, th numbr of candidats for ach dominator in K is at most 3 2m 2 n O m k n 2. k 0 Hnc, computing A a can b don in tim n O m 2 n O m2 n O m2. By Lmma 3.1, w may tak A a to approximat th MCDS. Th nxt lmma will hlp us stimat th approximation prformanc of A a : Lmma 3.2. Suppos that h 7 3 log 2 (4m 2 / ). Lt D* b an MCDS for input graph G. Thn, K a D* for 0 a m 1. Proof. Rcall that G a (h) is th subgraph of input graph G (V, E) inducd by its vrtics lying in th cntral ara C a (h) of th partition P(a, a). Lt D b an MCDS in G for G a (h). Thn, w must hav D D*. Now, lt G[D] dnot th subgraph of G inducd by D. W first claim that G[D] has a spanning tr T without crossing dgs in th plan. In fact, suppos that T is a spanning tr of G[D] with th minimum total dg lngth. Suppos that T contains two dgs (u, v) and ( x, y) crossing at a point w in th plan. Without loss of gnrality, assum that sgmnt (v, w) is th shortst on among th four sgmnts (u, w), (v, w), (x, w), and ( y, w) (Fig. 3). Rmoval of ( x, y) from T would brak T into two connctd componnts containing vrtics x and y, rspctivly. On of thm contains dg (u, v). Not that d( x, v) d( x, w) d(v, w) d( x, w) d(w, y) 1 and d( y, v) d( y, w) d(v, w) d( y, w) d(w, x) 1. Thrfor, w can add ithr ( x, v) or(y, v) to connct th two connctd componnts of T ( x, y) into on. [In Fig. 3, th right sid shows a cas whr (u, v) is in th FIG. 4. Opration 2. connctd componnt containing y and, hnc, (v, x) is addd to connct th two componnts into on.] This opration rducs th total dg lngth of th tr, contradicting th assumption on T. Assum that T is a spanning tr of G[D] without any crosspoint. Lt T b b th subforst of T inducd by thos vrtics not dominating any vrtx in G a (h). W nxt modify T to a forst with thr oprations: Opration 1: If, aftr dlting a vrtx u of T b, T still kps th following proprty (B1), thn dlt u. (B1) For any connctd componnt H of G a (h), T conncts vry two vrtics in H T, that is, T has a connctd componnt dominating H. Opration 2: If, aftr dlting an dg of T, T still kps th proprty (B1), thn dlt th dg (Fig. 4). Through Oprations 1 and 2, T bcoms a forst with th proprty that dlting any vrtx or dg would dstroy proprty (B1). Now, w apply th third opration to T. Opration 3: If T b has two adjacnt vrtics u and v both with dgr two, thn dlt thm and rstor th proprty (B1) as follows: Not that dlting u and v braks a connctd componnt of T into two parts, say C 1 and C 2. Sinc T alrady passd Opration 1, thr must xist a connctd componnt H of G (h) such that T H xists in both C 1 and C 2. Sinc T C 1 and T C 2 dominat H, thr must xist ithr on vrtx x in H such that x is dominatd by both T C 1 and T C 2 or two adjacnt vrtics x and y in H such that x is dominatd by T C 1 and y is dominatd by T C 2. Thrfor, adding ithr x or x and y to T would rstor th proprty (B1). Aftr Opration 3 is mployd onc, it may b possibl to apply Oprations 1 and 2 again. At any tim, if Opration 1 or 2 can b applid, thn w us it; if Oprations 1 and 2 cannot b applid but Opration 3 can b, thn w mploy Opration 3. Sinc both Oprations 1 and 3 rduc th numbr of vrtics in T b and Opration 2 rducs th NETWORKS

5 FIG. 5. Tr T. numbr of dgs of T without incrasing th numbr of vrtics of T b, this procss has to nd in finitly many stps. At th nd, forst T would still hav proprty (B1) and in addition hav th following proprtis: (B2) T b has no adjacnt two vrtics both with dgr two. (B3) T has at most D* vrtics. (Not that initially T is a spanning tr for G[D] and D D*. Sinc Oprations 1, 2, and 3 do not incras th numbr of vrtics in T, th final T has at most D* vrtics.) Nxt, w mov som dgs of T to th insid of C a (h 1) by th following opration: Opration 4: If T has two vrtics u and v lying in C a (h 1) such that d(u, v) 1 and T has a path btwn u and v which contains an dg not lying in C a (h 1), thn dlt th dg and add dg (u, v). Aftr Opration 4 is mployd onc, it may b possibl to apply Oprations 1, 2, and 3 again. At any tim, if Opration 1, 2, or 3 can b applid, thn w us it; if Oprations 1, 2, and 3 cannot b applid but Opration 4 can b, thn w mploy Opration 4. Sinc Opration 4 rducs th numbr of dgs of T not lying in C a (h 1) and Oprations 1, 2, and 3 do not incras th numbr of dgs of T not lying in C a (h 1), this procss has to nd in finitly many stps. At th nd, forst T would still hav proprtis (B1), (B2), and (B3) and, in addition, hav th following proprty: (B4) Opration 4 cannot b applid. Sinc any vrtx dominating som vrtx in th cntral ara of a cll must li in C (h 1), vry vrtx of T lying in B (h 1) must blong to T b. Now, w considr a maximal subtr T of T such that (C) T has all lavs in C (h 1) and all othr vrtics not in C (h 1) (Fig. 5). For simplicity, w call such a maximal subtr satisfying (C) an ar of th cntral ara of cll. W claim that T lis in cll. To show our claim, suppos that T has k lavs. Sinc h 7, vry dg of T incidnt to a laf dos not li in C a (h 1). Thus, vry path in T conncting two lavs must contain an dg not lying in C a (h 1). By (B4), vry two lavs of T hav distanc mor than on. By Lmma 2.2, k 4m 2 /. Plas rcall th notation that T (h 1) is th subgraph of T inducd by its vrtics lying in th ara C (h 1) and T is a forst obtaind in th abov proof. Not that T (h 1) consists of k lavs of T and, hnc, has k connctd componnts. Th outr path p of T is a path btwn two lavs such that T lis in th ara btwn th path p and th boundary of C (h). Sinc T has no crosspoint and T is a maximal subtr satisfying (C), only vrtics in path p may mt an dg in T but not in T. For contradiction, suppos that T has a vrtx r lying outsid of cll. Without loss of gnrality, w may assum that r is on th path p. W considr r as a root for T and study th k paths from lavs to r. Th path p is brokn at r into two such paths. Not that any path passing through ara C (h 4) C (h 1) must mt an dg not on th path. (Othrwis, th path would contain two vrtics in T b both with dgr two.) It follows that, xcpt for th two paths obtaind from path p, vry path has to b mrgd into anothr on in ara C (h 4) C (h 1). This mans that ths k paths bcom at most 2 k/ 2 paths whn thy go out from C (h 4), namly, T (h 4) contains at most 2 (k 2)/ 2 connctd componnts. Similarly, T (h 1 3( log 2 (k 2) ))( T (6)) contains at most thr connctd componnts and T (3) contains at most two connctd componnts, that is, all k paths in C (3) hav mrgd into two paths. Not that ths two paths will mrg into on at r lying outsid cll. Thrfor, ach of thm has a vrtx u in ara C (0) C (3) incidnt to an dg in T T. This mans that thr must xist anothr cll whos cntral ara has an ar T touching T at a point in cll. (Not that aftr Oprations 1, 2, and 3 T b is containd in th union of ars of all cntral aras of clls.) So, T cannot li in cll. Similarly, this implis th xistnc of anothr cll whos cntral ara has an ar T touching T at a point in cll. Sinc T contains no cycl, this procss may go on indfinitly, so that a path of infinit lngth is found in T, a contradiction. This contraction complts th proof of our claim that T lis in cll. By (B1) and our claim, T (0) is a union of connctd dominating sts for connctd componnts of G (h). It follows that th numbr of vrtics in T (0) is at last K sinc K is a minimum on. Thus, K a K T 0 T D*, whr T dnots th numbr of vrtics in T. W ar rady to prsnt th following main thorm: 206 NETWORKS 2003

6 Thorm 3.3. Suppos that h 7 3 log 2 (4m 2 / ) and m/(h 1) 32s. Thn, thr is at last half of i 0, 1,..., m/(h 1) 1 such that A i(h 1) is a (1 1/s)- approximation for th minimum connctd dominating st. Proof. By Lmma 3.2, for vry i 0, 1,..., m/(h 1) 1, K i(h 1) D*, whr D* is an MCDS for G. Rcall that F is a connctd dominating st for G such that F 8 D* and F a(h 1) F B a (h 1). Morovr, lt F a H (F a V ) dnot th subst of vrtics in F a(h 1) ach with distanc h 1 from th horizontal (vrtical) boundary of som cll in P(a, a). Thn, F a(h 1) F a H F a V. Morovr, all F i(h 1) H for i 0, 1,..., m/(h 1) 1 ar disjoint. Hnc, i h F 1 H F 8 D*. Similarly, all F V i(h 1) for i 0, 1,..., m/(h 1) 1 ar disjoint and Thus, i h F 1 V F 8 D*. F i h 1 h 1 F i h 1 H F i h 1 V Thrfor, 16 D*. A i h 1 K i h 1 F i h 1 h 1 that is, m/ h 1 16 D*, 1 A m/ h 1 i h 1 1 1/ 2s D*. This mans that thr ar at last half of A i(h 1) for i 0, 1, m/(h 1) 1 satisfying A i h 1 1 1/s D*. Th following corollary follows immdiatly from th thorm: Corollary 3.4. Thr is a (1 1/s)-approximation for an MCDS in connctd unit-disk graphs, running in tim n O((s log s)2). Proof. Not that computing ach A a nds tim n O(m2). By Thorm 3.3, a (1 1)/s)-approximation can b obtaind by computing all m/(h 1) A a s and choosing th bst on. Thus, th total running tim is mn O(m2) n O(m2). Choos m to b th last intgr satisfying m/(h 1) 32s, whr h 7 3 log 2 (4m 2 / ). Thn, m O(s log s). This complts th proof. 4. CONCLUSIONS W hav dsignd a PTAS for th MCDS in unit-disk graphs. Thr is vidnc to show that currntly xisting implmntd approximations hav a larg spac for improvmnt. Acknowldgmnts Th authors wish to thank Dr. Pnjun Wan for his hlpful suggstions and corrctions and also wish to thank a rfr for insightful commnts. REFERENCES [1] K.M. Alzoubi, P.-J. Wan, and O. Fridr, Nw distributd algorithm for connctd dominating st in wirlss ad hoc ntworks, Proc HICSS, Hawaii, 2002, pp [2] A.D. Amis and R. Prakash, Load-balancing clustrs in wirlss ad hoc ntworks, Proc 3rd IEEE Symp on Application- Spcific Systms and Softwar Enginring Tchnology, 2000, pp [3] X. Chng and D.-Z. Du, Virtual backbon-basd routing in ad hoc wirlss ntworks, Tchnical rport , Dpartmnt of Computr Scinc and Enginring, Univrsity of Minnsota. [4] B.N. Clark, C.J. Colbourn, and D.S. Johnson, Unit disk graphs, Discr Math 86 (1990), [5] T. Clausn, P. Jacqut, A. Laouiti, P. Mint, P. Muhlthalr, and L. Vinnot, Optimizd link stat routing protocol, IETF Intrnt Draft, draft-itf-mant-olsr-05.txt, Octobr [6] B. Das and V. Bharghavan, Routing in ad hoc ntworks using minimum connctd dominating sts, ICC 97, Montral, Canada, Jun 1997, pp [7] S. Guha and S. Khullr, Approximation algorithms for connctd dominating sts, Algorithmica 20 (1998), [8] P. Johansson, T. Larsson, N. Hdman, B. Milczark, and M. Dgrmark, Scnario-basd prformanc analysis of routing protocols for mobil ad hoc ntworks, Proc IEEE MOBICOM, Sattl, August 1999, pp [9] D.B. Johnson and D.A. Maltz, Dynamic sourc routing in ad hoc wirlss ntworks, Mobil computing, Tomasz Imi- NETWORKS

7 linski and Hank Korth (Editors), Kluwr, Boston, 1996, pp [10] C. Lund and M. Yannakakis, On th hardnss of approximating minimization problms, J ACM 41 (1994), [11] M.V. Marath, H. Bru, H.B. Hunt III, S.S. Ravi, and D.J. Rosnkrantz, Simpl huristics for unit-disk graphs, Ntworks 25 (1995), [12] S.-Y. Ni, Y.-C. Tsng, Y.-S. Chn, and J.-P. Shu, Th broadcast storm problm in a mobil ad hoc ntwork, Proc MOBICOM, Sattl, 1999, pp [13] C.E. Prkins and E.M. Royr, Ad hoc on-dmand distanc vctor routing, Proc 2nd IEEE Workshop on Mobil Computing Systms and Applications, Nw Orlans, LA, Fbruary 1999, pp [14] P. Sinha, R. Sivakumar, and V. Bharghavan, Enhancing ad hoc routing with dynamic virtual infrastructurs, INFO- COM 3 (2001), [15] R. Sivakumar, P. Sinha, and V. Bharghavan, CEDAR: A cor-xtraction distributd ad hoc routing algorithm, IEEE J Sl Aras Commun 17 (1999), [16] J. Wu and H. Li, On calculating connctd dominating st for fficint routing in ad hoc wirlss ntworks, Proc 3rd Int Workshop on Discrt Algorithms and Mthods for MOBILE Computing and Communications, Sattl, WA, 1999, pp NETWORKS 2003

Week 3: Connected Subgraphs

Week 3: Connected Subgraphs Wk 3: Connctd Subgraphs Sptmbr 19, 2016 1 Connctd Graphs Path, Distanc: A path from a vrtx x to a vrtx y in a graph G is rfrrd to an xy-path. Lt X, Y V (G). An (X, Y )-path is an xy-path with x X and y

More information

On spanning trees and cycles of multicolored point sets with few intersections

On spanning trees and cycles of multicolored point sets with few intersections On spanning trs and cycls of multicolord point sts with fw intrsctions M. Kano, C. Mrino, and J. Urrutia April, 00 Abstract Lt P 1,..., P k b a collction of disjoint point sts in R in gnral position. W

More information

Mutually Independent Hamiltonian Cycles of Pancake Networks

Mutually Independent Hamiltonian Cycles of Pancake Networks Mutually Indpndnt Hamiltonian Cycls of Pancak Ntworks Chng-Kuan Lin Dpartmnt of Mathmatics National Cntral Univrsity, Chung-Li, Taiwan 00, R O C discipl@ms0urlcomtw Hua-Min Huang Dpartmnt of Mathmatics

More information

The Equitable Dominating Graph

The Equitable Dominating Graph Intrnational Journal of Enginring Rsarch and Tchnology. ISSN 0974-3154 Volum 8, Numbr 1 (015), pp. 35-4 Intrnational Rsarch Publication Hous http://www.irphous.com Th Equitabl Dominating Graph P.N. Vinay

More information

Construction of asymmetric orthogonal arrays of strength three via a replacement method

Construction of asymmetric orthogonal arrays of strength three via a replacement method isid/ms/26/2 Fbruary, 26 http://www.isid.ac.in/ statmath/indx.php?modul=prprint Construction of asymmtric orthogonal arrays of strngth thr via a rplacmnt mthod Tian-fang Zhang, Qiaoling Dng and Alok Dy

More information

cycle that does not cross any edges (including its own), then it has at least

cycle that does not cross any edges (including its own), then it has at least W prov th following thorm: Thorm If a K n is drawn in th plan in such a way that it has a hamiltonian cycl that dos not cross any dgs (including its own, thn it has at last n ( 4 48 π + O(n crossings Th

More information

Section 6.1. Question: 2. Let H be a subgroup of a group G. Then H operates on G by left multiplication. Describe the orbits for this operation.

Section 6.1. Question: 2. Let H be a subgroup of a group G. Then H operates on G by left multiplication. Describe the orbits for this operation. MAT 444 H Barclo Spring 004 Homwork 6 Solutions Sction 6 Lt H b a subgroup of a group G Thn H oprats on G by lft multiplication Dscrib th orbits for this opration Th orbits of G ar th right costs of H

More information

Derangements and Applications

Derangements and Applications 2 3 47 6 23 Journal of Intgr Squncs, Vol. 6 (2003), Articl 03..2 Drangmnts and Applications Mhdi Hassani Dpartmnt of Mathmatics Institut for Advancd Studis in Basic Scincs Zanjan, Iran mhassani@iasbs.ac.ir

More information

(Upside-Down o Direct Rotation) β - Numbers

(Upside-Down o Direct Rotation) β - Numbers Amrican Journal of Mathmatics and Statistics 014, 4(): 58-64 DOI: 10593/jajms0140400 (Upsid-Down o Dirct Rotation) β - Numbrs Ammar Sddiq Mahmood 1, Shukriyah Sabir Ali,* 1 Dpartmnt of Mathmatics, Collg

More information

Strongly Connected Components

Strongly Connected Components Strongly Connctd Componnts Lt G = (V, E) b a dirctd graph Writ if thr is a path from to in G Writ if and is an quivalnc rlation: implis and implis s quivalnc classs ar calld th strongly connctd componnts

More information

That is, we start with a general matrix: And end with a simpler matrix:

That is, we start with a general matrix: And end with a simpler matrix: DIAGON ALIZATION OF THE STR ESS TEN SOR INTRO DUCTIO N By th us of Cauchy s thorm w ar abl to rduc th numbr of strss componnts in th strss tnsor to only nin valus. An additional simplification of th strss

More information

1 Minimum Cut Problem

1 Minimum Cut Problem CS 6 Lctur 6 Min Cut and argr s Algorithm Scribs: Png Hui How (05), Virginia Dat: May 4, 06 Minimum Cut Problm Today, w introduc th minimum cut problm. This problm has many motivations, on of which coms

More information

Basic Polyhedral theory

Basic Polyhedral theory Basic Polyhdral thory Th st P = { A b} is calld a polyhdron. Lmma 1. Eithr th systm A = b, b 0, 0 has a solution or thr is a vctorπ such that π A 0, πb < 0 Thr cass, if solution in top row dos not ist

More information

Searching Linked Lists. Perfect Skip List. Building a Skip List. Skip List Analysis (1) Assume the list is sorted, but is stored in a linked list.

Searching Linked Lists. Perfect Skip List. Building a Skip List. Skip List Analysis (1) Assume the list is sorted, but is stored in a linked list. 3 3 4 8 6 3 3 4 8 6 3 3 4 8 6 () (d) 3 Sarching Linkd Lists Sarching Linkd Lists Sarching Linkd Lists ssum th list is sortd, but is stord in a linkd list. an w us binary sarch? omparisons? Work? What if

More information

Computing and Communications -- Network Coding

Computing and Communications -- Network Coding 89 90 98 00 Computing and Communications -- Ntwork Coding Dr. Zhiyong Chn Institut of Wirlss Communications Tchnology Shanghai Jiao Tong Univrsity China Lctur 5- Nov. 05 0 Classical Information Thory Sourc

More information

3 Finite Element Parametric Geometry

3 Finite Element Parametric Geometry 3 Finit Elmnt Paramtric Gomtry 3. Introduction Th intgral of a matrix is th matrix containing th intgral of ach and vry on of its original componnts. Practical finit lmnt analysis rquirs intgrating matrics,

More information

Finding low cost TSP and 2-matching solutions using certain half integer subtour vertices

Finding low cost TSP and 2-matching solutions using certain half integer subtour vertices Finding low cost TSP and 2-matching solutions using crtain half intgr subtour vrtics Sylvia Boyd and Robrt Carr Novmbr 996 Introduction Givn th complt graph K n = (V, E) on n nods with dg costs c R E,

More information

Combinatorial Networks Week 1, March 11-12

Combinatorial Networks Week 1, March 11-12 1 Nots on March 11 Combinatorial Ntwors W 1, March 11-1 11 Th Pigonhol Principl Th Pigonhol Principl If n objcts ar placd in hols, whr n >, thr xists a box with mor than on objcts 11 Thorm Givn a simpl

More information

Square of Hamilton cycle in a random graph

Square of Hamilton cycle in a random graph Squar of Hamilton cycl in a random graph Andrzj Dudk Alan Friz Jun 28, 2016 Abstract W show that p = n is a sharp thrshold for th random graph G n,p to contain th squar of a Hamilton cycl. This improvs

More information

u 3 = u 3 (x 1, x 2, x 3 )

u 3 = u 3 (x 1, x 2, x 3 ) Lctur 23: Curvilinar Coordinats (RHB 8.0 It is oftn convnint to work with variabls othr than th Cartsian coordinats x i ( = x, y, z. For xampl in Lctur 5 w mt sphrical polar and cylindrical polar coordinats.

More information

COHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim.

COHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim. MTH rviw part b Lucian Mitroiu Th LOG and EXP functions Th ponntial function p : R, dfind as Proprtis: lim > lim p Eponntial function Y 8 6 - -8-6 - - X Th natural logarithm function ln in US- log: function

More information

Limiting value of higher Mahler measure

Limiting value of higher Mahler measure Limiting valu of highr Mahlr masur Arunabha Biswas a, Chris Monico a, a Dpartmnt of Mathmatics & Statistics, Txas Tch Univrsity, Lubbock, TX 7949, USA Abstract W considr th k-highr Mahlr masur m k P )

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013 18.782 Introduction to Arithmtic Gomtry Fall 2013 Lctur #20 11/14/2013 20.1 Dgr thorm for morphisms of curvs Lt us rstat th thorm givn at th nd of th last lctur, which w will now prov. Thorm 20.1. Lt φ:

More information

COUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM

COUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM COUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM Jim Brown Dpartmnt of Mathmatical Scincs, Clmson Univrsity, Clmson, SC 9634, USA jimlb@g.clmson.du Robrt Cass Dpartmnt of Mathmatics,

More information

CS 361 Meeting 12 10/3/18

CS 361 Meeting 12 10/3/18 CS 36 Mting 2 /3/8 Announcmnts. Homwork 4 is du Friday. If Friday is Mountain Day, homwork should b turnd in at my offic or th dpartmnt offic bfor 4. 2. Homwork 5 will b availabl ovr th wknd. 3. Our midtrm

More information

Recall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1

Recall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1 Chaptr 11 Th singular sris Rcall that by Thorms 10 and 104 togthr provid us th stimat 9 4 n 2 111 Rn = SnΓ 2 + on2, whr th singular sris Sn was dfind in Chaptr 10 as Sn = q=1 Sq q 9, with Sq = 1 a q gcda,q=1

More information

International Journal of Scientific & Engineering Research, Volume 6, Issue 7, July ISSN

International Journal of Scientific & Engineering Research, Volume 6, Issue 7, July ISSN Intrnational Journal of Scintific & Enginring Rsarch, Volum 6, Issu 7, July-25 64 ISSN 2229-558 HARATERISTIS OF EDGE UTSET MATRIX OF PETERSON GRAPH WITH ALGEBRAI GRAPH THEORY Dr. G. Nirmala M. Murugan

More information

The Matrix Exponential

The Matrix Exponential Th Matrix Exponntial (with xrciss) by D. Klain Vrsion 207.0.05 Corrctions and commnts ar wlcom. Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix A A k I + A + k!

More information

The Matrix Exponential

The Matrix Exponential Th Matrix Exponntial (with xrciss) by Dan Klain Vrsion 28928 Corrctions and commnts ar wlcom Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix () A A k I + A + k!

More information

Application of Vague Soft Sets in students evaluation

Application of Vague Soft Sets in students evaluation Availabl onlin at www.plagiarsarchlibrary.com Advancs in Applid Scinc Rsarch, 0, (6):48-43 ISSN: 0976-860 CODEN (USA): AASRFC Application of Vagu Soft Sts in studnts valuation B. Chtia*and P. K. Das Dpartmnt

More information

Random Access Techniques: ALOHA (cont.)

Random Access Techniques: ALOHA (cont.) Random Accss Tchniqus: ALOHA (cont.) 1 Exampl [ Aloha avoiding collision ] A pur ALOHA ntwork transmits a 200-bit fram on a shard channl Of 200 kbps at tim. What is th rquirmnt to mak this fram collision

More information

Higher order derivatives

Higher order derivatives Robrto s Nots on Diffrntial Calculus Chaptr 4: Basic diffrntiation ruls Sction 7 Highr ordr drivativs What you nd to know alrady: Basic diffrntiation ruls. What you can larn hr: How to rpat th procss of

More information

Approximation and Inapproximation for The Influence Maximization Problem in Social Networks under Deterministic Linear Threshold Model

Approximation and Inapproximation for The Influence Maximization Problem in Social Networks under Deterministic Linear Threshold Model 20 3st Intrnational Confrnc on Distributd Computing Systms Workshops Approximation and Inapproximation for Th Influnc Maximization Problm in Social Ntworks undr Dtrministic Linar Thrshold Modl Zaixin Lu,

More information

1 Isoparametric Concept

1 Isoparametric Concept UNIVERSITY OF CALIFORNIA BERKELEY Dpartmnt of Civil Enginring Spring 06 Structural Enginring, Mchanics and Matrials Profssor: S. Govindj Nots on D isoparamtric lmnts Isoparamtric Concpt Th isoparamtric

More information

Addition of angular momentum

Addition of angular momentum Addition of angular momntum April, 07 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat

More information

COMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH.

COMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH. C:\Dallas\0_Courss\03A_OpSci_67\0 Cgh_Book\0_athmaticalPrliminaris\0_0 Combath.doc of 8 COPUTER GENERATED HOLOGRAS Optical Scincs 67 W.J. Dallas (onday, April 04, 005, 8:35 A) PART I: CHAPTER TWO COB ATH

More information

EXST Regression Techniques Page 1

EXST Regression Techniques Page 1 EXST704 - Rgrssion Tchniqus Pag 1 Masurmnt rrors in X W hav assumd that all variation is in Y. Masurmnt rror in this variabl will not ffct th rsults, as long as thy ar uncorrlatd and unbiasd, sinc thy

More information

Estimation of apparent fraction defective: A mathematical approach

Estimation of apparent fraction defective: A mathematical approach Availabl onlin at www.plagiarsarchlibrary.com Plagia Rsarch Library Advancs in Applid Scinc Rsarch, 011, (): 84-89 ISSN: 0976-8610 CODEN (USA): AASRFC Estimation of apparnt fraction dfctiv: A mathmatical

More information

Propositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018

Propositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018 Propositional Logic Combinatorial Problm Solving (CPS) Albrt Olivras Enric Rodríguz-Carbonll May 17, 2018 Ovrviw of th sssion Dfinition of Propositional Logic Gnral Concpts in Logic Rduction to SAT CNFs

More information

BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES

BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES DONALD M. DAVIS Abstract. If p is a prim (implicit in notation and n a positiv intgr, lt ν(n dnot th xponnt of p in n, and U(n n/p ν(n, th unit

More information

EEO 401 Digital Signal Processing Prof. Mark Fowler

EEO 401 Digital Signal Processing Prof. Mark Fowler EEO 401 Digital Signal Procssing Prof. Mark Fowlr Dtails of th ot St #19 Rading Assignmnt: Sct. 7.1.2, 7.1.3, & 7.2 of Proakis & Manolakis Dfinition of th So Givn signal data points x[n] for n = 0,, -1

More information

Supplementary Materials

Supplementary Materials 6 Supplmntary Matrials APPENDIX A PHYSICAL INTERPRETATION OF FUEL-RATE-SPEED FUNCTION A truck running on a road with grad/slop θ positiv if moving up and ngativ if moving down facs thr rsistancs: arodynamic

More information

Hydrogen Atom and One Electron Ions

Hydrogen Atom and One Electron Ions Hydrogn Atom and On Elctron Ions Th Schrödingr quation for this two-body problm starts out th sam as th gnral two-body Schrödingr quation. First w sparat out th motion of th cntr of mass. Th intrnal potntial

More information

Two Products Manufacturer s Production Decisions with Carbon Constraint

Two Products Manufacturer s Production Decisions with Carbon Constraint Managmnt Scinc and Enginring Vol 7 No 3 pp 3-34 DOI:3968/jms9335X374 ISSN 93-34 [Print] ISSN 93-35X [Onlin] wwwcscanadant wwwcscanadaorg Two Products Manufacturr s Production Dcisions with Carbon Constraint

More information

Network Congestion Games

Network Congestion Games Ntwork Congstion Gams Assistant Profssor Tas A&M Univrsity Collg Station, TX TX Dallas Collg Station Austin Houston Bst rout dpnds on othrs Ntwork Congstion Gams Travl tim incrass with congstion Highway

More information

LINEAR DELAY DIFFERENTIAL EQUATION WITH A POSITIVE AND A NEGATIVE TERM

LINEAR DELAY DIFFERENTIAL EQUATION WITH A POSITIVE AND A NEGATIVE TERM Elctronic Journal of Diffrntial Equations, Vol. 2003(2003), No. 92, pp. 1 6. ISSN: 1072-6691. URL: http://jd.math.swt.du or http://jd.math.unt.du ftp jd.math.swt.du (login: ftp) LINEAR DELAY DIFFERENTIAL

More information

CPSC 665 : An Algorithmist s Toolkit Lecture 4 : 21 Jan Linear Programming

CPSC 665 : An Algorithmist s Toolkit Lecture 4 : 21 Jan Linear Programming CPSC 665 : An Algorithmist s Toolkit Lctur 4 : 21 Jan 2015 Lcturr: Sushant Sachdva Linar Programming Scrib: Rasmus Kyng 1. Introduction An optimization problm rquirs us to find th minimum or maximum) of

More information

Search sequence databases 3 10/25/2016

Search sequence databases 3 10/25/2016 Sarch squnc databass 3 10/25/2016 Etrm valu distribution Ø Suppos X is a random variabl with probability dnsity function p(, w sampl a larg numbr S of indpndnt valus of X from this distribution for an

More information

Outerplanar graphs and Delaunay triangulations

Outerplanar graphs and Delaunay triangulations CCCG 011, Toronto ON, August 10 1, 011 Outrplanar graphs and Dlaunay triangulations Ashraful Alam Igor Rivin Ilana Strinu Abstract Ovr 0 yars ago, Dillncourt [1] showd that all outrplanar graphs can b

More information

BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES. 1. Statement of results

BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES. 1. Statement of results BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES DONALD M. DAVIS Abstract. If p is a prim and n a positiv intgr, lt ν p (n dnot th xponnt of p in n, and u p (n n/p νp(n th unit part of n. If α

More information

On the irreducibility of some polynomials in two variables

On the irreducibility of some polynomials in two variables ACTA ARITHMETICA LXXXII.3 (1997) On th irrducibility of som polynomials in two variabls by B. Brindza and Á. Pintér (Dbrcn) To th mmory of Paul Erdős Lt f(x) and g(y ) b polynomials with intgral cofficints

More information

SCHUR S THEOREM REU SUMMER 2005

SCHUR S THEOREM REU SUMMER 2005 SCHUR S THEOREM REU SUMMER 2005 1. Combinatorial aroach Prhas th first rsult in th subjct blongs to I. Schur and dats back to 1916. On of his motivation was to study th local vrsion of th famous quation

More information

A Sub-Optimal Log-Domain Decoding Algorithm for Non-Binary LDPC Codes

A Sub-Optimal Log-Domain Decoding Algorithm for Non-Binary LDPC Codes Procdings of th 9th WSEAS Intrnational Confrnc on APPLICATIONS of COMPUTER ENGINEERING A Sub-Optimal Log-Domain Dcoding Algorithm for Non-Binary LDPC Cods CHIRAG DADLANI and RANJAN BOSE Dpartmnt of Elctrical

More information

International Journal of Foundations of Computer Science c World Scientic Publishing Company Searching a Pseudo 3-Sided Solid Orthoconvex Grid ANTONIO

International Journal of Foundations of Computer Science c World Scientic Publishing Company Searching a Pseudo 3-Sided Solid Orthoconvex Grid ANTONIO Intrnational Journal of Foundations of Computr Scinc c World Scintic Publishing Company Sarching a Psudo 3-Sidd Solid Orthoconvx Grid ANTONIOS SYMVONIS Bassr Dpartmnt of Computr Scinc, Univrsity of Sydny

More information

Addition of angular momentum

Addition of angular momentum Addition of angular momntum April, 0 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat th

More information

Bifurcation Theory. , a stationary point, depends on the value of α. At certain values

Bifurcation Theory. , a stationary point, depends on the value of α. At certain values Dnamic Macroconomic Thor Prof. Thomas Lux Bifurcation Thor Bifurcation: qualitativ chang in th natur of th solution occurs if a paramtr passs through a critical point bifurcation or branch valu. Local

More information

Engineering 323 Beautiful HW #13 Page 1 of 6 Brown Problem 5-12

Engineering 323 Beautiful HW #13 Page 1 of 6 Brown Problem 5-12 Enginring Bautiful HW #1 Pag 1 of 6 5.1 Two componnts of a minicomputr hav th following joint pdf for thir usful liftims X and Y: = x(1+ x and y othrwis a. What is th probability that th liftim X of th

More information

Mor Tutorial at www.dumblittldoctor.com Work th problms without a calculator, but us a calculator to chck rsults. And try diffrntiating your answrs in part III as a usful chck. I. Applications of Intgration

More information

From Elimination to Belief Propagation

From Elimination to Belief Propagation School of omputr Scinc Th lif Propagation (Sum-Product lgorithm Probabilistic Graphical Modls (10-708 Lctur 5, Sp 31, 2007 Rcptor Kinas Rcptor Kinas Kinas X 5 ric Xing Gn G T X 6 X 7 Gn H X 8 Rading: J-hap

More information

Abstract Interpretation. Lecture 5. Profs. Aiken, Barrett & Dill CS 357 Lecture 5 1

Abstract Interpretation. Lecture 5. Profs. Aiken, Barrett & Dill CS 357 Lecture 5 1 Abstract Intrprtation 1 History On brakthrough papr Cousot & Cousot 77 (?) Inspird by Dataflow analysis Dnotational smantics Enthusiastically mbracd by th community At last th functional community... At

More information

Difference -Analytical Method of The One-Dimensional Convection-Diffusion Equation

Difference -Analytical Method of The One-Dimensional Convection-Diffusion Equation Diffrnc -Analytical Mthod of Th On-Dimnsional Convction-Diffusion Equation Dalabav Umurdin Dpartmnt mathmatic modlling, Univrsity of orld Economy and Diplomacy, Uzbistan Abstract. An analytical diffrncing

More information

10. EXTENDING TRACTABILITY

10. EXTENDING TRACTABILITY Coping with NP-compltnss 0. EXTENDING TRACTABILITY ining small vrtx covrs solving NP-har problms on trs circular arc covrings vrtx covr in bipartit graphs Q. Suppos I n to solv an NP-complt problm. What

More information

Quasi-Classical States of the Simple Harmonic Oscillator

Quasi-Classical States of the Simple Harmonic Oscillator Quasi-Classical Stats of th Simpl Harmonic Oscillator (Draft Vrsion) Introduction: Why Look for Eignstats of th Annihilation Oprator? Excpt for th ground stat, th corrspondnc btwn th quantum nrgy ignstats

More information

CLONES IN 3-CONNECTED FRAME MATROIDS

CLONES IN 3-CONNECTED FRAME MATROIDS CLONES IN 3-CONNECTED FRAME MATROIDS JAKAYLA ROBBINS, DANIEL SLILATY, AND XIANGQIAN ZHOU Abstract. W dtrmin th structur o clonal classs o 3-connctd ram matroids in trms o th structur o biasd graphs. Robbins

More information

Approximating the Two-Level Facility Location Problem Via a Quasi-Greedy Approach. Jiawei Zhang. October 03, 2003

Approximating the Two-Level Facility Location Problem Via a Quasi-Greedy Approach. Jiawei Zhang. October 03, 2003 Approximating th Two-Lvl Facility Location Problm Via a Quasi-Grdy Approach Jiawi Zhang Octobr 03, 2003 Abstract W propos a quasi-grdy algorithm for approximating th classical uncapacitatd 2-lvl facility

More information

Background: We have discussed the PIB, HO, and the energy of the RR model. In this chapter, the H-atom, and atomic orbitals.

Background: We have discussed the PIB, HO, and the energy of the RR model. In this chapter, the H-atom, and atomic orbitals. Chaptr 7 Th Hydrogn Atom Background: W hav discussd th PIB HO and th nrgy of th RR modl. In this chaptr th H-atom and atomic orbitals. * A singl particl moving undr a cntral forc adoptd from Scott Kirby

More information

DIFFERENTIAL EQUATION

DIFFERENTIAL EQUATION MD DIFFERENTIAL EQUATION Sllabus : Ordinar diffrntial quations, thir ordr and dgr. Formation of diffrntial quations. Solution of diffrntial quations b th mthod of sparation of variabls, solution of homognous

More information

The graph of y = x (or y = ) consists of two branches, As x 0, y + ; as x 0, y +. x = 0 is the

The graph of y = x (or y = ) consists of two branches, As x 0, y + ; as x 0, y +. x = 0 is the Copyright itutcom 005 Fr download & print from wwwitutcom Do not rproduc by othr mans Functions and graphs Powr functions Th graph of n y, for n Q (st of rational numbrs) y is a straight lin through th

More information

On Grids in Topological Graphs

On Grids in Topological Graphs On Grids in Topological Graphs Eyal Ackrman Dpartmnt of Computr Scinc Fri Univrsität Brlin Takustr. 9, 14195 Brlin, Grmany yal@inf.fu-brlin.d Jacob Fox Dpartmnt of Mathmatics Princton Univrsity Princton,

More information

Spectral Synthesis in the Heisenberg Group

Spectral Synthesis in the Heisenberg Group Intrnational Journal of Mathmatical Analysis Vol. 13, 19, no. 1, 1-5 HIKARI Ltd, www.m-hikari.com https://doi.org/1.1988/ijma.19.81179 Spctral Synthsis in th Hisnbrg Group Yitzhak Wit Dpartmnt of Mathmatics,

More information

Section 11.6: Directional Derivatives and the Gradient Vector

Section 11.6: Directional Derivatives and the Gradient Vector Sction.6: Dirctional Drivativs and th Gradint Vctor Practic HW rom Stwart Ttbook not to hand in p. 778 # -4 p. 799 # 4-5 7 9 9 35 37 odd Th Dirctional Drivativ Rcall that a b Slop o th tangnt lin to th

More information

Continuous probability distributions

Continuous probability distributions Continuous probability distributions Many continuous probability distributions, including: Uniform Normal Gamma Eponntial Chi-Squard Lognormal Wibull EGR 5 Ch. 6 Uniform distribution Simplst charactrizd

More information

Problem Set 6 Solutions

Problem Set 6 Solutions 6.04/18.06J Mathmatics for Computr Scinc March 15, 005 Srini Dvadas and Eric Lhman Problm St 6 Solutions Du: Monday, March 8 at 9 PM in Room 3-044 Problm 1. Sammy th Shark is a financial srvic providr

More information

Examples and applications on SSSP and MST

Examples and applications on SSSP and MST Exampls an applications on SSSP an MST Dan (Doris) H & Junhao Gan ITEE Univrsity of Qunslan COMP3506/7505, Uni of Qunslan Exampls an applications on SSSP an MST Dijkstra s Algorithm Th algorithm solvs

More information

Einstein Equations for Tetrad Fields

Einstein Equations for Tetrad Fields Apiron, Vol 13, No, Octobr 006 6 Einstin Equations for Ttrad Filds Ali Rıza ŞAHİN, R T L Istanbul (Turky) Evry mtric tnsor can b xprssd by th innr product of ttrad filds W prov that Einstin quations for

More information

10. The Discrete-Time Fourier Transform (DTFT)

10. The Discrete-Time Fourier Transform (DTFT) Th Discrt-Tim Fourir Transform (DTFT Dfinition of th discrt-tim Fourir transform Th Fourir rprsntation of signals plays an important rol in both continuous and discrt signal procssing In this sction w

More information

Homotopy perturbation technique

Homotopy perturbation technique Comput. Mthods Appl. Mch. Engrg. 178 (1999) 257±262 www.lsvir.com/locat/cma Homotopy prturbation tchniqu Ji-Huan H 1 Shanghai Univrsity, Shanghai Institut of Applid Mathmatics and Mchanics, Shanghai 272,

More information

Boundary layers for cellular flows at high Péclet numbers

Boundary layers for cellular flows at high Péclet numbers Boundary layrs for cllular flows at high Péclt numbrs Alxi Novikov Dpartmnt of Mathmatics, Pnnsylvania Stat Univrsity, Univrsity Park, PA 16802 Gorg Papanicolaou Dpartmnt of Mathmatics, Stanford Univrsity,

More information

Another view for a posteriori error estimates for variational inequalities of the second kind

Another view for a posteriori error estimates for variational inequalities of the second kind Accptd by Applid Numrical Mathmatics in July 2013 Anothr viw for a postriori rror stimats for variational inqualitis of th scond kind Fi Wang 1 and Wimin Han 2 Abstract. In this papr, w giv anothr viw

More information

Boundary layers for cellular flows at high Péclet numbers

Boundary layers for cellular flows at high Péclet numbers Boundary layrs for cllular flows at high Péclt numbrs Alxi Novikov Gorg Papanicolaou Lnya Ryzhik January 0, 004 Abstract W analyz bhavior of solutions of th stady advction-diffusion problms in boundd domains

More information

u r du = ur+1 r + 1 du = ln u + C u sin u du = cos u + C cos u du = sin u + C sec u tan u du = sec u + C e u du = e u + C

u r du = ur+1 r + 1 du = ln u + C u sin u du = cos u + C cos u du = sin u + C sec u tan u du = sec u + C e u du = e u + C Tchniqus of Intgration c Donald Kridr and Dwight Lahr In this sction w ar going to introduc th first approachs to valuating an indfinit intgral whos intgrand dos not hav an immdiat antidrivativ. W bgin

More information

Abstract Interpretation: concrete and abstract semantics

Abstract Interpretation: concrete and abstract semantics Abstract Intrprtation: concrt and abstract smantics Concrt smantics W considr a vry tiny languag that manags arithmtic oprations on intgrs valus. Th (concrt) smantics of th languags cab b dfind by th funzcion

More information

4.5 Minimum Spanning Tree. Chapter 4. Greedy Algorithms. Minimum Spanning Tree. Motivating application

4.5 Minimum Spanning Tree. Chapter 4. Greedy Algorithms. Minimum Spanning Tree. Motivating application 1 Chaptr. Minimum panning Tr lids by Kvin Wayn. Copyright 200 Parson-Addison Wsly. All rights rsrvd. *Adjustd by Gang Tan for C33: Algorithms at Boston Collg, Fall 0 Motivating application Minimum panning

More information

Differentiation of Exponential Functions

Differentiation of Exponential Functions Calculus Modul C Diffrntiation of Eponntial Functions Copyright This publication Th Northrn Albrta Institut of Tchnology 007. All Rights Rsrvd. LAST REVISED March, 009 Introduction to Diffrntiation of

More information

2008 AP Calculus BC Multiple Choice Exam

2008 AP Calculus BC Multiple Choice Exam 008 AP Multipl Choic Eam Nam 008 AP Calculus BC Multipl Choic Eam Sction No Calculator Activ AP Calculus 008 BC Multipl Choic. At tim t 0, a particl moving in th -plan is th acclration vctor of th particl

More information

GEOMETRICAL PHENOMENA IN THE PHYSICS OF SUBATOMIC PARTICLES. Eduard N. Klenov* Rostov-on-Don, Russia

GEOMETRICAL PHENOMENA IN THE PHYSICS OF SUBATOMIC PARTICLES. Eduard N. Klenov* Rostov-on-Don, Russia GEOMETRICAL PHENOMENA IN THE PHYSICS OF SUBATOMIC PARTICLES Eduard N. Klnov* Rostov-on-Don, Russia Th articl considrs phnomnal gomtry figurs bing th carrirs of valu spctra for th pairs of th rmaining additiv

More information

Calculus II (MAC )

Calculus II (MAC ) Calculus II (MAC232-2) Tst 2 (25/6/25) Nam (PRINT): Plas show your work. An answr with no work rcivs no crdit. You may us th back of a pag if you nd mor spac for a problm. You may not us any calculators.

More information

Some Inequalities for General Sum Connectivity Index

Some Inequalities for General Sum Connectivity Index MATCH Counications in Mathatical and in Coputr Chistry MATCH Coun. Math. Coput. Ch. 79 (2018) 477-489 ISSN 0340-6253 So Inqualitis for Gnral Su Connctivity Indx I. Ž. Milovanović, E. I. Milovanović, M.

More information

Maximizing Conjunctive Views in Deletion Propagation

Maximizing Conjunctive Views in Deletion Propagation Maximizing Conjunctiv Viws in Dltion Propagation Bnny Kimlfld Jan Vondrá Ryan Williams IBM Rsarch Almadn San Jos, CA 9510, USA {imlfld, jvondra, ryanwill}@us.ibm.com ABSTRACT In dltion propagation, tupls

More information

Final Exam Solutions

Final Exam Solutions CS 2 Advancd Data Structurs and Algorithms Final Exam Solutions Jonathan Turnr /8/20. (0 points) Suppos that r is a root of som tr in a Fionacci hap. Assum that just for a dltmin opration, r has no childrn

More information

Function Spaces. a x 3. (Letting x = 1 =)) a(0) + b + c (1) = 0. Row reducing the matrix. b 1. e 4 3. e 9. >: (x = 1 =)) a(0) + b + c (1) = 0

Function Spaces. a x 3. (Letting x = 1 =)) a(0) + b + c (1) = 0. Row reducing the matrix. b 1. e 4 3. e 9. >: (x = 1 =)) a(0) + b + c (1) = 0 unction Spacs Prrquisit: Sction 4.7, Coordinatization n this sction, w apply th tchniqus of Chaptr 4 to vctor spacs whos lmnts ar functions. Th vctor spacs P n and P ar familiar xampls of such spacs. Othr

More information

Topology Optimization for Wireless Mesh with Directional Antennas

Topology Optimization for Wireless Mesh with Directional Antennas Topology Optimization for Wirlss Msh with Dirctional Antnnas Wangkit Wong S.-H. Gary Chan Dpartmnt of Computr Scinc and Enginring Th Hong Kong Univrsity of Scinc and Tchnology Email: {wwongaa, gchan}@cs.ust.hk

More information

1973 AP Calculus AB: Section I

1973 AP Calculus AB: Section I 97 AP Calculus AB: Sction I 9 Minuts No Calculator Not: In this amination, ln dnots th natural logarithm of (that is, logarithm to th bas ).. ( ) d= + C 6 + C + C + C + C. If f ( ) = + + + and ( ), g=

More information

Calculus concepts derivatives

Calculus concepts derivatives All rasonabl fforts hav bn mad to mak sur th nots ar accurat. Th author cannot b hld rsponsibl for any damags arising from th us of ths nots in any fashion. Calculus concpts drivativs Concpts involving

More information

UNTYPED LAMBDA CALCULUS (II)

UNTYPED LAMBDA CALCULUS (II) 1 UNTYPED LAMBDA CALCULUS (II) RECALL: CALL-BY-VALUE O.S. Basic rul Sarch ruls: (\x.) v [v/x] 1 1 1 1 v v CALL-BY-VALUE EVALUATION EXAMPLE (\x. x x) (\y. y) x x [\y. y / x] = (\y. y) (\y. y) y [\y. y /

More information

Homework #3. 1 x. dx. It therefore follows that a sum of the

Homework #3. 1 x. dx. It therefore follows that a sum of the Danil Cannon CS 62 / Luan March 5, 2009 Homwork # 1. Th natural logarithm is dfind by ln n = n 1 dx. It thrfor follows that a sum of th 1 x sam addnd ovr th sam intrval should b both asymptotically uppr-

More information

Multipath Routing Algorithms for Congestion Minimization

Multipath Routing Algorithms for Congestion Minimization Multipath Routing Algorithms for Congstion Minimization Ron Bannr and Aril Orda Dpartmnt of Elctrical Enginring, Tchnion Isral Institut of Tchnology, Haifa 32000, Isral bannr@tx.tchnion.ac.il aril@c.tchnion.ac.il

More information

General Caching Is Hard: Even with Small Pages

General Caching Is Hard: Even with Small Pages Algorithmica manuscript No. (will b insrtd by th ditor) Gnral Caching Is Hard: Evn with Small Pags Luká² Folwarczný Ji í Sgall August 1, 2016 Abstract Caching (also known as paging) is a classical problm

More information

SOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH.

SOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH. SOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH. K VASUDEVAN, K. SWATHY AND K. MANIKANDAN 1 Dpartmnt of Mathmatics, Prsidncy Collg, Chnnai-05, India. E-Mail:vasu k dvan@yahoo.com. 2,

More information

Vishnu V. Narayan. January

Vishnu V. Narayan. January A 17 12 -approimation algorithm for 2-rt-connctd spanning subgraphs on graphs with minimum dgr at last arxi:1612.047902 [cs.ds] 17 Jan 2017 Vishnu V. Naraan Januar 17 2017 W obtain a polnomial-tim 17 -approimation

More information