A Polynomial-Time Approximation Scheme for the Minimum-Connected Dominating Set in Ad Hoc Wireless Networks
|
|
- Ethan Hoover
- 5 years ago
- Views:
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
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 informationOn 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 informationMutually 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 informationThe 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 informationConstruction 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 informationcycle 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 informationSection 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 informationDerangements 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
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 informationStrongly 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 informationThat 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 information1 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 informationBasic 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 informationSearching 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 informationComputing 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 information3 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 informationFinding 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 informationCombinatorial 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 informationSquare 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 informationu 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 informationCOHORT 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 informationLimiting 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 informationIntroduction 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 informationCOUNTING 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 informationCS 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 informationRecall 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 informationInternational 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 informationThe 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 informationThe 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 informationApplication 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 informationRandom 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 informationHigher 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 informationApproximation 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 information1 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 informationAddition 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 informationCOMPUTER 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 informationEXST 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 informationEstimation 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 informationPropositional 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 informationBINOMIAL 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 informationEEO 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 informationSupplementary 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 informationHydrogen 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 informationTwo 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 informationNetwork 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 informationLINEAR 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 informationCPSC 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 informationSearch 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 informationOuterplanar 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 informationBINOMIAL 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 informationOn 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 informationSCHUR 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 informationA 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 informationInternational 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 informationAddition 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 informationBifurcation 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 informationEngineering 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 informationMor 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 informationFrom 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 informationAbstract 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 informationDifference -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 information10. 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 informationQuasi-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 informationCLONES 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 informationApproximating 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 informationBackground: 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 informationDIFFERENTIAL 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 informationThe 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 informationOn 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 informationSpectral 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 informationSection 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 informationContinuous 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 informationProblem 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 informationExamples 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 informationEinstein 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 information10. 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 informationHomotopy 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 informationBoundary 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 informationAnother 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 informationBoundary 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 informationu 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 informationAbstract 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 information4.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 informationDifferentiation 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 information2008 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 informationGEOMETRICAL 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 informationCalculus 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 informationSome 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 informationMaximizing 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 informationFinal 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 informationFunction 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 informationTopology 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 information1973 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 informationCalculus 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 informationUNTYPED 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 informationHomework #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 informationMultipath 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 informationGeneral 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 informationSOME 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 informationVishnu 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