# Top-K Structural Diversity Search in Large Networks

Save this PDF as:

Size: px
Start display at page:

## Transcription

3 Algorihm 1 degree (G, k, ) Inpu: G = (V, E), he op-k value k, he componen size hreshold. Oupu: Top-k search resul S. 1: S ; 2: for v V do score(v) 1; 3: sor all verices in he descending order of heir degree; 4: while v V s.. score(v) = 1 5: v arg max v V, score(v)= 1 d(v); 6: bound(v ) d(v ) ; 7: if S = k and bound(v ) min v S score(v) hen 8: break; 9: score(v ) bfs-search (G,, v ); 1: if S < k hen S S {v }; 11: else if score(v ) > min v S score(v) hen 12: u arg min v S score(v); 13: S (S {u}) {v }; 14: reurn S; v c a b f h i d e g bound score S {c} {a} {e} Figure 2: Illusraion of he degree algorihm THEOREM 1. For 1 k n and 1 n, Algorihm 1 performs op-k srucural diversiy search in O( v V (d(v))2 ) ime and O(m) space. PROOF. The algorihm firs sors all verices in O(n) ime using he bin-sor algorihm [8]. I has o calculae he srucural diversiy for every verex o answer a op-k query in he wors case. Consider a verex v. When he algorihm compues score(u) for each neighbor u N(v), i has o scan he adjacency lis of v in O(d(v)) ime. Since here are N(v) = d(v) neighbors, he oal cos for scanning v s adjacency lis is O((d(v)) 2 ). Thus, i akes O( v V (d(v))2 ) ime o calculae he srucural diversiies for all verices. In addiion, one can mainain he op-k resuls in O(n) ime and O(n) space using a varian of bin-sor lis. Pu i all ogeher, he ime complexiy of Algorihm 1 is O( v V (d(v))2 ). For he space complexiy, he graph sorage akes O(n + m) space, and S akes O(n) space. Thus, he space complexiy of Algorihm 1 is O(n + m) O(m). REMARK 1. The wors-case ime complexiy of Algorihm 1 is bounded by O( v V d(v) dmax) = O(mdmax) O(mn). 4. A NOVEL TOP-K SEARCH FRAMEWORK The degree algorihm is no very efficien for op-k search because he degree-based upper bound in Lemma 1 is loose. To improve he efficiency, he key issue is o develop a igher upper bound. To his end, in his secion, we propose a novel framework wih a igher pruning bound and a new algorihm called boundsearch o compue he srucural diversiy score. Before inroducing he framework, we presen wo srucural properies in a graph, which are very useful for developing he new bound. 4.1 Two Srucural Properies PROPERTY 1. For any verex v V, if a verex u N(v) and u forms a size-1 componen in G N(v), hen v also forms a size-1 componen in G N(u). PROOF. We prove i by conradicion. Suppose ha in G N(u), v is conneced wih anoher verex w in a componen. Then we can infer ha w N(u) and w N(v). As u and w are conneced and boh are in N(v), u and w form a size-2 componen in G N(v), which conradics o he fac ha u forms a size-1 componen in G N(v). This complees he proof. As an example, in Figure 1 (b), verex e forms a size-1 componen in G N(f). Symmerically, verex f also forms a size-1 componen in G N(e). PROPERTY 2. If hree verices u, v, w form a riangle in G, hen we have he ses {u, v}, {v, w}, and {u, w} belong o he same componen in G N(w), G N(u), and G N(v) respecively. PROOF. This propery can be easily derived by definiion, hus we omi he proof for breviy. For insance, in Figure 1 (a), verices a, f, g form a riangle in G. We can observe ha {a, g} belong o a conneced componen in G N(f) in Figure 1 (b). Similarly, {a, f} ({f, g}) belong o a conneced componen in G N(g) (G N(a) ). Based on hese wo properies, we can save a lo of compuaional coss in compuing he srucural diversiy scores. For example, if we find ha verex u forms a size-1 componen in G N(v), hen we know ha v also forms a size-1 componen in G N(u) by Propery 1. Thus, when we compue score(u), we do no need o perform a breadh-firs search from v, because we already know v forms a size-1 componen in G N(u). If we can efficienly record such srucural informaion of v s neighbors when we compue score(v), we can save a lo of compuaional coss. More imporanly, such srucural informaion can help us o ge a igher upper bound of he srucural diversiy. In he following subsecion, we shall inroduce a modified disjoin-se fores daa srucure o mainain such srucural informaion efficienly. 4.2 Disjoin-Se Fores Daa Srucure We modify he classical disjoin-se fores daa srucure and he Union-Find algorihm [8] o mainain he srucural informaion for each verex efficienly. The modified srucure consiss of four operaions: Make-Fores, Find-Se, Union, and Isolae. Compared o he classical disjoin-se fores daa srucure, he new srucure includes an addiional operaion Isolae which is used o record he srucural informaion described in Propery 1, i.e., a verex forms a size-1 componen. Thus he modified srucure is called Union- Find-Isolae. Algorihm 2 describes he four operaions. Make-Fores : For each verex v V, we creae a disjoin-se fores srucure, denoed as g[v], for is neighbors N(v) using he Make-Fores (v) procedure in Algorihm 2. Specifically, For each u N(v), we build a single-node ree T [u] wih hree fields: paren, rank and coun. The paren is iniialized o be u iself, he rank is se o and he coun is se o 1, as here is only one verex u in he ree. In addiion, we also creae a virual node T [] which is used o collec all size-1 componens in G N(v). The paren of T [] is se o and he coun is se o because here is no size-1 componen idenified ye. For convenience, we refer o he operaion of creaing a single-node ree (line 4) or a virual node (line 5) as a Make-Se operaion. Find-Se : Following [8], he Find-Se (x) procedure is o find he roo of T [x] using he pah compression heurisic. Union : Following [8], he Union(x, y) procedure applies he union by rank heurisic o union wo rees T [fx] and T [fy] which x and y belong o respecively. fx and fy are he roos of hese wo rees. If fx and fy have unequal rank, he one wih a higher rank is se o be he paren of he oher wih a lower rank. Oherwise, we arbirarily choose one of hem as he paren and increase is rank by 1. For boh cases, we updae he coun of he roo of he new ree. 162

4 Isolae : Procedure Isolae(x) unions a size-1 ree T [x] ino he virual ree T []. I ses T [x].paren o, and increases T [].coun by 1. Isolae(x) essenially labels x as a size-1 componen if we find x is no conneced wih any oher node in a neighborhood induced subgraph. We can apply he disjoin-se fores srucure o mainain he conneced componens in G N(v). For any verex v V, we creae a rooed ree for every neighbor u N(v) iniially. If we find ha u and w are conneced in G N(v), we process i by g[v].union(u, w). If we idenify ha u forms a size-1 componen in G N(v), we process i by g[v].isolae(u). Take G N(f) in Figure 1 (b) as an example again. Firs, we creae g[f] by Make-Fores (f) as shown in Figure 3 (a). Since verices a and g are conneced, we invoke g[f].union(a, g) and he resuled srucure is shown in Figure 3 (b). The combined ree is rooed by g and has 2 verices. Verex e forms a size-1 componen, hus we invoke g[f].isolae(e) and he resul is shown in Figure 3 (c). paren rank coun paren rank coun paren rank coun T[] = {,, } T[] = {,, } T[] = {,, 1 } T[a] = { a,, 1 } T[a] = { g,, 1 } T[a] = { g,, 1 } T[e] = { e,, 1 } T[e] = { e,, 1 } T[e] = {,, 1 } T[g] = { g,, 1 } T[g] = { g, 1, 2 } T[g] = { g, 1, 2 } T[i] = { i,, 1 } T[i] = { i,, 1 } T[i] = { i,, 1 } (a) Make-Fores(f) (b) g[f].union(a,g) (c) g[f].isolae(e) Figure 3: Disjoin-Se Fores Daa Srucure g[f] The ime complexiy of he Union-Find-Isolae algorihm is analyzed in he following lemma. LEMMA 2. A sequence of M Make-Se, Union, Find-Se and Isolae operaions, N of which are Make-Se operaions, can be performed on a disjoin-se fores wih union by rank and pah compression heurisics in wors-case ime O(Mα(N)). α(n) is he inverse Ackermann funcion, which is incredibly slowly growing and a mos 4 in any conceivable applicaion. Thus, he ime complexiy of he Union-Find-Isolae algorihm can be regarded as O(M). PROOF. The proof is similar o ha in [8], hus is omied. In he following, for simpliciy, we rea α(n) as a consan in he complexiy analysis. 4.3 A Tigher Upper nd Wih he disjoin-se fores daa srucure g[v], we can keep rack of he srucural informaion of he conneced componens in G N(v) and derive a igher upper bound of score(v) han he degree-based bound in Lemma 1. Before inroducing he upper bound, we give a definiion of he idenified size-1 se as follows. DEFINITION 3. In he disjoin-se fores srucure g[v], if u N(v) and T [u].paren =, we denoe S u = {u} as an idenified size-1 se, and S u = 1. If u N(v), T [u].paren = u, we denoe S u = {w N(v) : Find-Se(w) = u} as an unidenified se, and S u = T [u].coun. By Definiion 3, we know ha each idenified size-1 se is resuled from an Isolae operaion, and he oal number of he idenified size-1 ses is T [].coun. According o Propery 1, all hese ses do no union wih oher ses. On he oher hand, unidenified ses may furher union wih oher ses or become an idenified size-1 se. Consider he example in Figure 3 (c). S e = {e} is an idenified size-1 se and T [].coun = 1. Boh S g = {a, g} and S i = {i} are unidenified ses. Le S = {S u : u N(v), T [u].paren = u or T [u].paren = } denoe all disjoin ses in g[v], excluding he virual se T []. Afer raversing all he verices and edges in G N(v), S conains all acual ses corresponding o he conneced componens in G N(v), and Algorihm 2 Union-Find-Isolae 1: procedure Make-Fores (v) 2: g[v] = {T [u] : u N(v)} {T []}; 3: for u N(v) do 4: T [u].(paren, rank, coun) (u,, 1); 5: T [].(paren, rank, coun) (,, ); 6: procedure Find-Se (x) 7: if x T [x].paren hen 8: T [x].paren Find-Se (T [x].paren); 9: reurn T [x].paren; 1: procedure Union (x, y) 11: fx Find-Se (x); fy Find-Se (y); 12: if fx fy hen 13: if T [fx].rank > T [fy].rank hen 14: T [fy].paren fx; 15: T [fx].coun T [fx].coun + T [fy].coun; 16: else 17: T [fx].paren fy; 18: T [fy].coun T [fx].coun + T [fy].coun; 19: if T [fx].rank = T [fy].rank hen 2: T [fy].rank T [fy].rank + 1; 21: procedure Isolae (x) 22: T [x].paren ; 23: T [].coun T [].coun + 1; we have score(v) = {S u : S u S, S u }. However, before raversing he neighborhood induced subgraph G N(v), S may no conain all he acual ses corresponding o he conneced componens, bu includes some inermediae resuls. Even wih such inermediae resuls mainained in S, we can sill use hem o derive an upper bound. Specifically, we have he following lemma. LEMMA 3. Le S = {S 1,..., S l } be he disjoin ses of g[v], a be he number of idenified size-1 ses, b be he number of ses whose sizes are larger han or equal o, and c be he oal size of hese b ses. Then, we have an upper bound of score(v) as follows. If = 1, bound(v) = b; if > 1, bound(v) = b + d(v) c a. PROOF. Firs, i is imporan o noe ha he curren disjoin ses in S are no final, if we have no raversed all verices and edges of G N(v). Tha is, some of hem may be furher combined by he Union operaion and he number of ses may be reduced. Second, we consider he following wo cases. If = 1, we have bound(v) = b, as he curren number of ses whose sizes are greaer han or equal o 1 is b and his number can only be reduced wih he Union operaion. If > 1, he curren number of ses whose sizes are greaer han or equal o is b and his number can only be reduced wih he Union operaion. In addiion, besides a idenified size-1 ses and c verices from he above b ses, here are sill d(v) c a verices which may form ses whose sizes are greaer han or equal o. The maximum number of such poenial ses is d(v) c a. Thus we have bound(v) = b + d(v) c a. For any verex v V, a he iniializaion sage, each neighbor verex u N(v) forms a size-1 componen. Thus bound(v) = + d(v) = d(v), he same as he bound in Lemma 1. As he disjoin ses are gradually combined, bound(v) is refined owards score(v) and becomes igher. For example, in Figure 3 (c), suppose = 2, we obain S = {S e, S g, S i} and he hree parameers in Lemma 3 are a = 1, b = 1 and c = 2. I follows ha bound(f) = = 1, which is equal o score(f) = 1. This bound based on he disjoin-se fores is obviously igher han he degree-based bound 4 = 2 derived in Lemma

5 Algorihm 3 Top-k-search Inpu: G = (V, E), he op-k value k, he componen size hreshold, gradien raio θ 1. Oupu: Top-k search resul S. 1: H ; S ; 2: for v V do 3: score(v) 1; 4: Make-Fores (v); 5: H.push((v, d(v) )); 6: while H = 7: (v, opbound) H.pop(); 8: compue bound(v ) according o Lemma 3; 9: if θ bound(v ) < opbound hen 1: if S < k or bound(v ) > min v S score(v) hen 11: H.push((v, bound(v ))); 12: coninue; 13: if S = k and opbound min v S score(v) hen 14: break; 15: score(v ) bound-search (G,, v ); 16: if S < k hen S S {v }; 17: else if score(v ) > min v S score(v) hen 18: u arg min v S score(v); 19: S (S {u}) {v }; 2: reurn S; 4.4 Top-K Search Framework Based on he disjoin-se fores daa srucure and he igher upper bound, we propose an advanced search framework in Algorihm 3 for op-k srucural diversiy search. Advanced Top-k framework: For each verex v V, he algorihm iniializes he disjoin-se fores daa srucure g[v] by invoking Make-Fores (line 4). I also pushes each verex v wih he iniial bound d(v) ino H which is a varian of bin-sor lis. Then he algorihm ieraively finds he op-k resuls (lines 6-19). I firs pops he verex wih he larges upper bound value from H. Such a verex and is bound are denoed as v and opbound respecively (line 7). The algorihm re-evaluaes bound(v ) from g[v ] based on Lemma 3, as he componen informaion in g[v ] may have been updaed. And hen, i compares he refined bound bound(v ) wih he old bound opbound. In order o avoid frequenly calculaing he upper bounds and updaing H, we inroduce a new parameer θ 1, and compare θ bound(v ) wih opbound. If θ bound(v ) < opbound, i suggess ha bound(v ) is subsanially smaller han opbound. Tha is, he old bound opbound is oo loose. Under his condiion, if S < k or bound(v ) > min v S score(v), he algorihm pushes v back o H wih he refined bound bound(v ) (lines 1-11). Oherwise, he algorihm can safely prune v. In boh cases, he algorihm coninues o pop he nex verex from H (lines 9-12). If θ bound(v ) opbound, i means ha bound(v ) is no subsanially smaller han opbound. In oher words, he old bound is a relaively igh esimaion. Then he algorihm moves o lines o check he erminaion condiion. If S = k and opbound min v S score(v), he algorihm can safely prune all he remaining verices in H and erminae, because he upper bound of hose verices is smaller han opbound. If he early erminaion condiion is no saisfied, he algorihm invokes bound-search (Algorihm 4) o compue score(v ). Afer compuing score(v ), he algorihm uses he same process o updae he se S by v as he degree algorihm does (lines 16-19). nd-search: Algorihm 4 shows he bound-search procedure o compue score(v). Based on he disjoin-se fores g[v], we Algorihm 4 bound-search (G,, v) Inpu: G = (V, E), he componen size hreshold, verex v. Oupu: score(v). 1: R ; 2: for u N(v) and T [u].paren do R R {u}; 3: for u R do bound-bfs (u); 4: reurn coun-componens (g[v], ); 5: procedure bound-bfs (u) 6: Q ; UnionF lag false; 7: Q.EnQueue(u); R R {u}; 8: while Q 9: u Q.DeQueue(); 1: for w N(u) do 11: if w R hen 12: Q.EnQueue(w); R R {w}; 13: g[v].union (u, w); UnionF lag rue; 14: if score(u) = 1 hen g[u].union (v, w); 15: if score(w) = 1 hen g[w].union (v, u); 16: if UnionF lag = false hen 17: g[v].isolae (u); 18: if score(u) = 1 hen g[u].isolae (v); 19: procedure coun-componens (g[v], ) 2: score ; 21: for u N(v) do 22: if T [u].paren = u and T [u].coun hen 23: score score + 1; 24: if = 1 hen score score + T [].coun; 25: reurn score; know ha any verex u N(v) wih T [u].paren = corresponds o an idenified size-1 componen resuled from an Isolae operaion. So bound-search does no need o search hem again. I only adds he verices whose paren ino an unvisied verex hashable R (lines 1-2). This is an improvemen from bfs-search, as bound-search avoids scanning he idenified size-1 componens. For each verex u R, he algorihm invokes he procedure boundbfs (lines 5-18) o search u s neighborhood in a breadh-firs search manner. For u s neighbor verex w, if w R, i.e., w N(v), he algorihm unions u and w ino one se in g[v]. According o Propery 2, we also union v and w ino one se in g[u], and union v and u ino one se in g[w] (lines 11-15). If u does no union wih any oher verex, he algorihm invokes an Isolae operaion on u o mark ha u forms a size-1 componen in g[v] (lines 16-18). Symmerically, by Propery 1, he algorihm invokes an Isolae operaion on v o mark ha v forms a size-1 componen in g[u] oo. Afer he BFS search, he algorihm can compue score(v) using he procedure coun-componens (lines 19-25) o coun he number of ses in g[v] whose sizes are a leas. The following example illusraes how he Top-k-search framework (Algorihm 3) works. EXAMPLE 2. Consider he graph shown in Figure 1 (a). Suppose ha = 1 and k = 1. We apply he Top-k-search algorihm wih θ = 1 and he running seps are depiced in Figure 4. Firs, we push each verex v wih he upper bound d(v) ino H, as shown in Figure 4 (a). Second, we pop verex c from H wih opbound = 5. We calculae bound(c) = 5 according o Lemma 3. Then, we compue score(c) by bound-search. In G N(c), here is a single pah connecing all verices a, b, d, h, i in N(c), so score(c) = 1. When he algorihm raverses he edge (a, b), we perform wo operaions g[a].union (c, b) and g[b].union (c, a) in g[a] and g[b] respecively according o Propery 2. Third, we push verex c ino S, as shown in Figure 4 (b). In he nex ieraion, we pop verex a from H wih opbound = 4. Then, we updae bound(a) = 3 as we know ha verices b and c are in he same se in g[a]. Since 1622

6 H (c,5) (a,4) (d,3) (b,4) (e,3) (f,4) (g,3) (h,4) S=Ø (i,4) (a) Iniializaion H (c,5) score(c)=1 S={c} (f,4) (h,4) H (b,4) (d,3) (a,4) (f,4) (e,3) (h,4) (g,3) (i,4) (a,3) S={c} (c) Updae bound(a) ino H H H (a,4) (d,3) (h,4) (d,3) (b,2) (g,3) (b,2) (b,4) (e,3) (f,4) (i,4) (e,3) (e,3) (a,3) (g,3) (g,3) (i,4) (b) Compue score(c), and add c ino S score(f)=2 (a,3) S={f} (d) Compue score(f), and updae S by f H (e,3) (b,2) (d,3) (g,3) (a,3) S={f} (e) Pop ou h, i, d from H score(e)=3 S={e} (f) Compue score(e), and updae S by e Figure 4: Illusraion of Top-k-search wih bound-search running on he graph in Figure 1 (a). k = 1, = 1, and θ = 1. θ bound(a) < opbound and bound(a) > min v S score(v), we push (a, 3) ino H again, as shown in Figure 4 (c). When he algorihm goes o process verex f, we have θ bound(f) = opbound = 4 and opbound > min v S score(v). And hen we compue score(f) = 2 and replace verex c in S wih f, as shown in Figure 4 (d). Afer ha, we pop verices h, i, d from H in urn. One can easily check ha none of hem saisfies he condiion in line 1 of Algorihm 3. Thus, we do no push h, i, d back ino H again, as shown in Figure 4 (e). Nex we pop verex e, compue score(e) = 3 and updae S by e, as shown in Figure 4 (f). Since opbound in H is no greaer han score(e) = 3, we can safely erminae. In his process, we only invoke bound-search hree imes o calculae he srucural diversiy scores, while he previous degree algorihm performs eigh compuaions of srucural diversiy score which is clearly more expensive. 4.5 Complexiy Analysis LEMMA 4. The upper bound bound(v) defined in Lemma 3 for any verex v V can be compued in O(1) ime in Algorihm 3. PROOF. We need o mainain a, b and c in g[v] o compue bound(v). Obviously, a = T [].coun, and b, c can be easily mainained in he Union operaion of g[v] wihou increasing he ime complexiy. Thus bound(v) can be compued in O(1) ime. LEMMA 5. The oal ime o compue bound for all verices in Algorihm 3 is O( m ). PROOF. According o Lemma 4, bound(v) for a verex v can be compued in O(1) ime. The iniial upper bound of v is d(v), and bound(v) is updaed in non-increasing order. In line 9 of Algorihm 3, we compare θ bound(v) and opbound o check wheher v should be pushed ino H. Since opbound d(v), bound(v) can be updaed for a mos d(v) imes. Thus he oal ime cos is O( d(v) v V ) = O( m ). LEMMA 6. In Top-k-search, H can be mainained in O( m + n) ime using O(n) space. PROOF. H can be implemened by a varian of bin-sor lis which suppors a push operaion in consan ime and l pop operaions in O(l + n) ime (illusraed in Figure 4). Each ime, esimaing he upper bound bound in line 8 causes a mos one push operaion (line 11) in H. By Lemma 5, we know ha for each verex v V, here are a mos d(v) bound refinemens. Thus, here are a mos v V d(v) bound refinemens in oal for all verices. In addiion, here are n iniial push operaions. Therefore, he algorihm uses O( d(v) v V + n) = O( m + n) ime for all he push operaions. The number of pop operaions is no larger han he number of push operaions. Pu i all ogeher, he ime complexiy o mainain H is O( m + n). The space complexiy of H is O(n). Algorihm 5 fas-bound-search (G,, v) Inpu: G = (V, E), he componen size hreshold, verex v. Oupu: score(v). 1: R ; 2: for u N(v) and T [u].paren do R R {u}; 3: for u R do fas-bound-bfs (u); 4: reurn coun-componens (g[v], ); 5: procedure fas-bound-bfs (u) 6: Q ; UnionF lag false; 7: Q.EnQueue(u); R R {u}; 8: while Q 9: u Q.DeQueue(); 1: if d(u) > d(v) hen MinAdjL N(v); 11: else MinAdjL N(u); 12: for w MinAdjL do 13: if (w, u) E and w R hen 14: Q.EnQueue(w); R R {w}; 15: g[v].union (u, w); UnionF lag rue; 16: if score(u) = 1 hen g[u].union (v, w); 17: if score(w) = 1 hen g[w].union (v, u); 18: if UnionF lag = false hen 19: g[v].isolae (u); 2: if score(u) = 1 hen g[u].isolae (v); THEOREM 2. Algorihm 3 akes O ( v V (d(v))2 ) ime and O(m) space. PROOF. Since he ime o access he adjacency liss in boundsearch is O( v V (d(v))2 ), and all Union operaions are in he loop of accessing adjacency liss (lines of Algorihm 4), he number of Union operaions is O( v V (d(v))2 ). The algorihm invokes n Make-Fores operaions (line 4 of Algorihm 3), which includes v V (d(v) + 1) = 2m + n Make-Se operaions. Nex, all Isolae operaions are in he procedure bound-bfs (lines of Algorihm 4). The number is no greaer han v V 2d(v) = 4m. No Find-Se operaion is direcly invoked. Thus, Union-Find- Isolae includes O( v V (d(v))2 ) Make-Se, Union, Find-Se, Isolae operaions, 2m + n of which are Make-Se. By Lemma 2, he ime complexiy of Union-Find-Isolae is O( v V (d(v))2 ). By Lemma 6, H akes O( m +n) ime. S mainains he op-k resuls using O(n) ime. By Lemma 5, compuing he upper bounds for all verices akes O( m ) ime. Therefore, he ime complexiy of Algorihm 3 is O ( v V (d(v))2 ). Nex, we analyze he space complexiy. For v V, g[v] conains d(v) + 1 iniial disjoin singleon rees, in which each node akes consan space. Hence, he disjoin-se fores srucure akes O(m) space for all verices. S and H boh consume O(n) space. In summary, he space complexiy of Algorihm 3 is O(m). Hence, Theorem 2 is esablished. 5. FAST COMPUTATION OF STRUCTURAL DIVERSITY SCORE In his secion, on op of he Top-k-search framework, we propose wo mehods for fas compuing he srucural diversiy score for a verex. The firs mehod is fas-bound-search which improves bound-search and achieves a beer ime complexiy using he same space. The second is an A -based search mehod which uses a new search order and a new erminaion condiion. 5.1 Fas nd-search We presen fas-bound-search in Algorihm 5, which is buil on bound-search. The major difference is in procedure fas-boundbfs for raversing a conneced componen. When accessing he adjacency lis of verex u having d(u) > d(v), we will access he 1623

8 Algorihm 6 A -bound-search (G,, v) Inpu: G = (V, E), he componen size hreshold, verex v. Oupu: score(v). 1: R ; T C ; 2: for u N(v) do C[u] ; 3: for u N(v) do 4: if Find-Se (u) hen 5: C[T [u].paren].push((u, d(u))); R R {u}; 6: if T [u].paren = u hen 7: T C.push((u, T [u].cos)); 8: while T C 9: (x, cos x ) T C.pop(); UnionF lag false; 1: if x Find-Se (x) hen coninue; 11: if cos x T [x].cos hen 12: T C.push((x, T [x].cos)); coninue; 13: if R = C[x] hen goo Se3; 14: while C[x] and UnionF lag = false 15: (u, cos u ) C[x].pop(); R R {u}; 16: T [x].cos T [x].cos cos u; 17: w.l.o.g, we assume d(u) < d(v); 18: for w N(u) do 19: if (w, v) E and w R hen 2: fu Find-Se (u); fw Find-Se (w); 21: if fu fw hen 22: Q Heap Merge(C[fu], C[fw]); 23: g[v].union (u, w); 24: C[Find-Se (x)] Q; UnionF lag rue; 25: if score(u) = 1 hen g[u].union (v, w); 26: if score(w) = 1 hen g[w].union (v, u); 27: if UnionF lag = rue and Find-Se (x) = x hen 28: T C.push((x, T [x].cos)); 29: if UnionF lag = false and C[x] = hen 3: if T [x].coun = 1 hen 31: g[v].isolae (x); 32: if score(x) = 1 hen g[x].isolae (v); 33: reurn coun-componens (g[v], ); The algorihm ieraively pops a componen wih he minimum cos from T C, denoed as x wih cos cos x (line 9). If he componen is rooed by verex x and cos x = T [x].cos, he algorihm will examine he verices in he componen of x. Oherwise, if he componen is no longer rooed by x or cos x T [x].cos, i means ha he componen of x has been combined wih anoher componen in he previous ieraion. Then, he algorihm pops he nex componen from T C. If R = C(x) holds, hen all he unvisied nodes in R are from he same componen rooed by x, and his componen is he las o be raversed in G N(v) (line 13). By he early erminaion condiion, he algorihm does no need o raverse his componen and can direcly go o coun he number of componens in G N(v) (line 33). For a popped componen rooed by x, he algorihm ieraively examines he verices in he componen in increasing order of heir degree (lines 14-26). For such a verex u, we will access is adjacency lis N(u) o find ou hose verices denoed as w ha are also in N(v). Then we will union he componens which conain u and w respecively ino one. This process is very similar o he previous algorihms. So we omi he deails for breviy. Coninuing wih our example in Figure 7. Afer iniializaion, we pop he firs componen (s, 8) from T C, as shown in se (Figure 7 (d)). Then, we examine verex s in his componen and find ha i is no conneced wih oher componens in G N(r). Nex, we move o sep 2 (Figure 7 (e)) o pop he componen (, 12). In his componen, we firs examine he adjacency lis of, i.e., N(). We find ha is conneced wih q 1, so we union he componens rooed by and q 1. Assume ha he new componen is rooed by. Then we se T [q 1 ].paren = and merge C(q 1 ) p 2 q 1 op (s,8) (p1,12) (q1,15) r s q 2 id deg paren p1 3 p1 p2 4 p1 p3 5 p1 q1 7 q1 q2 8 s 8 TC C[s] C[p1] C[q1] (s,8) op (p1,12) (q1,15) (a) GN(r) (s,8) (c) Iniializaion (p1,3) (p2,4) (p3,5) (p1,3) (p2,4) (p3,5) (q1,7) (q2,8) TC C[s] =Ø C[p1] C[q1] (s,8) (d) Se R={p1,p2,p3,q1,q2,s} R={p1,p2,p3,q1,q2} (q1,7) (q2,8) q1 s (b) Verex degree and paren in T[.] TC (p1,12) op (q1,15) TC (p1,12) op (q1,15) (p1,24) TC (q1,15) op (p1,24) T[q1].paren q1 (e) Sep 2 C[p1] (p1,3) (p2,4) (p3,5) C[p1] (p2,4) (p3,5) (q1,7) (q2,8) C[p1] (p2,4) (p3,5) (q1,7) (q2,8) R={p2,p3,q1,q2} (f) Se (Terminaion) C[q1] (q1,7) (q2,8) Union T[p1] and T[q1], and se he new roo as p1. R={p2,p3,q1,q2} C[q1] =Ø Figure 7: A -bound-search example for compuing score(r) ino C( ). We push he new componen (, 24) ino T C again. In se (Figure 7 (f)), we pop he componen (q 1, 15) and find ha T [q 1 ].paren q 1, as he componen of q 1 has been combined wih ha of in sep 2. In his sep, here is only one componen in T C, which mees he early erminaion condiion. Complexiy Analysis: In he componen union process (line 22 of Algorihm 6), we need o merge wo heaps C[fw] and C[fu] ino one. We can implemen C[.] by he mergeable heap such as lefis heap or binomial heap [8], which can suppor he merge of wo heaps in O(log n) ime and a push/pop operaion in O(log n) ime for a heap wih n elemens. LEMMA 7. In Algorihm 6, he operaions for T C and all C[.] ake O(d(v) log d(v)) ime and O(d(v)) space in oal. PROOF. Since he number of componens in G N(v) is no greaer han d(v), we perform a mos d(v) 1 Union operaions before erminaion. Hence, here are a mos d(v) 1 new componens o be pushed ino T C (lines 12 and 28). In addiion, for iniializaion T C d(v) holds, which indicaes ha T C 2d(v) always holds. As here are a mos 2d(v) push and pop operaions respecively, and each operaion akes O(log d(v)) ime, overall T C akes O(d(v) log d(v)) ime using O(d(v)) space. For iniializaion, all C[.] heaps ake d(v) push operaions in oal (line 5), and he ime cos of each operaion is O(log d(v)) as he size of he larges heap is smaller han d(v). Hence, he iniializaion ime is O(d(v) log d(v)). As analyzed above, here are a mos d(v) 1 heap merging operaions and each operaion coss O(log d(v)), he oal ime cos in line 22 is O(d(v) log d(v)). Moreover, here are a mos d(v) pop operaions in line 15, he ime cos of which is O(d(v) log d(v)). All C[.] heaps conain a mos d(v) verices oally cosing O(d(v)) space. As a resul, all C[.] heaps ake O(d(v) log d(v)) ime and O(d(v)) space. THEOREM 4. The Top-k-search framework using A -boundsearch akes O( (u,v) E(min{d(u), d(v)}+log d(u))) ime and O(m) space. PROOF. The proof is similar o he proof of Theorem 3. A difference is ha we use he Find-Se operaions in A -bound-search. Since he Find-Se operaions in lines 2 and 24 are in he loop of accessing adjacency lis, he oal number of such operaions is O( (u,v) E min{d(u), d(v)}) for he whole process. Consider he process of compuing score(v) for a verex v, we ake d(v) 1625

9 Find-Se operaions in line 4. Since lines 1 and 27 are boh in he ouer while loop (line 8), and T C has a mos 2d(v) pop operaions according o Lemma 7, he algorihm akes a mos 2d(v) Find-Se operaions in lines 1 and 27 respecively. Hence, i akes O( (u,v) E min{d(u), d(v)} + v V 5d(v)) = O( (u,v) E min{d(u), d(v)}) Find-Se operaions. By Lemma 2, Union-Find- Isolae akes O( (u,v) E min{d(u), d(v)}) ime in oal. Anoher difference is ha we mainain wo ypes of heaps T C and C[.]. By Lemma 7, he oal ime of T C and C[.] are O ( u V d(u) log d(u)) = O( u V v N(u) log d(u)) = O( (u,v) E log d(u)). The addiional space overhead is O(m). Hence, Theorem 4 is esablished. REMARK 3. The wors-case ime complexiy of he Top-k-search framework using A -bound-search is bounded by O( (u,v) E ( min{d(u), d(v)} + log d(u))) O((ρ + log d max)m) O(m 1.5 ), where ρ is he arboriciy of he graph as menioned in Remark 2. Complexiy Comparison: We compare he ime complexiy of algorihms degree and Top-k-search. According o Theorem 1, degree akes O( v V (d(v))2 ) ime, which can be equivalenly rewrien as O( v V u N(v) d(u)) = O ( (u,v) E (d(u)+d(v))) = O( (u,v) E (max{d(u), d(v)} + min{d(u), d(v)})) = O( (u,v) E max{d(u), d(v)}). For Top-k-search using fas-bound-search, according o Theorem 3, i akes O( (u,v) E min{d(u), d(v)}) ime, which is obviously beer han O( (u,v) E max{d(u), d(v)}), he ime complexiy of degree, and (u,v) E min{d(u), d(v)} = (u,v) E max{d(u), d(v)} only if all verices in he graph have he same degree. In a power-law graph such as a social nework, he degrees of verices have a large variance, hus Top-k-search using fasbound-search is much beer han degree in a social nework. For example, on a sar graph wih n nodes, Top-k-search using fasbound-search akes O(n) ime while degree akes O(n 2 ) ime. For Top-k-search using A -bound-search, according o Theorem 4, is ime O( (u,v) E(min{d(u), d(v)}+log d(u))) is also beer han O( (u,v) E max{d(u), d(v)}) of degree. The firs par O( (u,v) E min{d(u), d(v)}) is he same as Theorem 3, and he second par O( (u,v) E log d(u)) is obviously beer han O( (u,v) E max{d(u), d(v)}) as log d(u) max{d(u), d(v)}. 6. UPDATE IN DYNAMIC NETWORKS Many real-world neworks undergo frequen updaes. When he nework is updaed, he op-k srucural diversiy resuls also need o be updaed. The challenge, however, is ha insering or deleing a single edge (u, v) can rigger updaes in a series of neighborhood induced subgraphs including G N(u), G N(v) and G N(w) where w N(u) N(v). This can be a cosly operaion because he corresponding srucural diversiy scores need o be recompued, and he op-k resuls need o be updaed oo. In he following, we will show ha our Top-k-search framework can be easily exended o handle updaes in dynamic graphs. We consider wo ypes of updaes: edge inserion and edge deleion. Verex inserion/deleion can be regarded as a sequence of edge inserions/deleions preceded/followed by he inserion/deleion of an isolaed verex, while i is rivial o handle he inserion/deleion of an isolaed verex. 6.1 Handling Edge Inserion Consider he inserion of an edge (u, v). Le L = N(u) N(v) denoe he se of common neighbors of u and v. The inserion of (u, v) causes he inserions of verex v and a se of L edges p 5 p 5 p 2 r (a) G p 2 q s (d) Spanning Tree of Componen P in GN(r) as TP p 5 p 5 p 2 r (b) GN(r) r s s (e) Updae GN(r) wih edge deleion of (r,p2) p 5 p 2 r q s (c) Updae GN(r) wih edge inserion of (r,q) p 5 (f) Updae TP wih edge deleion of (r,p2) Figure 8: Illusraion of updaes in a dynamic graph {(v, w) w L} ino u s neighborhood induced subgraph G N(u). For each w L, we perform a Union operaion g[u].union(v, w) o updae he componens and score(u). For verex v, G N(v) is updaed in a similar way. The inserion of (u, v) also affecs G N(w) for each w L. We check he disjoin-se fores srucure g[w]. If u, v belong o he same conneced componen before he edge inserion, hen all componens remain unchanged and so does score(w). If u, v are in differen componens before he edge inserion, we merge he wo componens ino one wih a Union operaion g[w].union(u, v) and updae score(w) accordingly. Consider he graph G in Figure 8 (a) as an example. Suppose ha = 2 and he insered edge is (r, q). L = N(r) N(q) = {s, }. Figure 8 (c) shows he updaed G N(r) wih he edge inserion. G N(r) has wo new edges (, q) and (s, q), bu score(r) = 1 remains unchanged. For verex s L, verices r, q are now conneced in he same componen in G N(s) wih he inserion of (r, q), so we updae score(s) from o Handling Edge Deleion Consider he deleion of an edge (u, v). To handle he edge deleion, we mainain a spanning ree for each conneced componen in he affeced subgraphs G N(u), G N(v) and G N(w) where w L. For example, consider he componen P = {,..., p 5 } of G N(r) in Figure 8 (b) and he corresponding spanning ree T P in Figure 8 (d). The edges in he spanning ree are called ree edges, and oher edges in he componen are called non-ree edges, e.g., (, p 2) is a ree edge and (, p 5) is a non-ree edge. For each w L, we consider updaing G N(w) wih he deleion of (u, v). We check wheher (u, v) is a ree edge in he spanning ree of he componen. If (u, v) is a non-ree edge, score(w) remains unchanged because verices u, v are sill in he same componen conneced by he corresponding spanning ree. Coninuing wih he example above, he deleion of he non-ree edge (, p 5 ) will no spli he componen P in G N(r), and, p 5 are sill in he same componen. If (u, v) is a ree edge, hen he deleion of (u, v) splis he spanning ree ino wo rees denoed as T u and T v. We will search for a replacemen edge so as o reconnec T u and T v. If a replacemen edge (u, v ) exiss, we inser (u, v ) o connec T u, T v ino a new spanning ree. Then he original componen is sill conneced, and score(w) remains unchanged. If he replacemen edge does no exis, he deleion of (u, v) splis he original conneced componen ino wo componens, and he corresponding spanning rees are T u and T v. So we updae score(w) accordingly. Mainaining he spanning ree can be implemened easily wih he Union operaion by keeping rack of he bridge edge beween wo differen componens. In he example above, if a ree edge (, p 2) is deleed, we can find a replacemen edge (, ) o reconnec he spanning ree in Figure 8 (d). 1626

10 The deleion of (u, v) also affecs G N(u) and G N(v). Consider u as an example. For all w L, we remove hose non-ree edges (v, w) from G N(u), and remove hose ree edges (v, w) from he spanning ree which is hen spli ino muliple rees. Then we search for replacemen ree edges o reconnec he spanning ree. Finally, we remove v from G N(u) and updae score(u). Figures 8 (e) and (f) show he updaes of G N(r) and T P wih he deleion of (r, p 2 ). The above echniques apply o updaing boh he acual score and he upper bound in our Top-k-search framework given edge inserions/deleions. In updaing an upper bound bound(v) for verex v, given an edge deleion as a ree edge, we only spli he original spanning ree ino wo, bu do no have o search for he replacemen edge. This will only relax bound(v) wihou affecing he resul correcness. This sraegy can avoid he cos of finding he replacemen edge and achieve higher efficiency. Summary: Handling edge inserion is rivial using our disjoin-se fores srucure, while handling deleion is more cosly as i mainains he spanning ree. In he real-world neworks, edge inserions are usually more frequen han deleions. Our updae echniques do no increase he space complexiy of Top-k-search. 7. EXPERIMENTS We conduc exensive performance sudies o evaluae he algorihms proposed in his paper. All algorihms are implemened in C++ and all he experimens are conduced on he Linux operaing sysem wih 2.67GHz six-core CPU and 5GB main memory. Comparison mehods: To he bes of our knowledge, we are he firs o sudy op-k srucural diversiy search. In he lieraure, no algorihms have been proposed o address his problem ye. Thus, we compare our algorihms wih he degree-based approach (Algorihm 1) which serves as a baseline. We evaluae four algorihms. : The degree-based approach in Algorihm 1. : Top-k-search equipped wih bound-search (Algorihm 4) and θ = 1. : Top-k-search equipped wih fas-bound-search (Algorihm 5) and θ = ( n ) 1 m. A -B : Top-k-search equipped wih A -bound-search (Algorihm 6) and θ = ( n ) 1 m. In our experimens, we find ha θ = ( n ) 1 m which is close o 1 always yields a good performance in he Top-k-search framework. For and A -B, heir performances are no very sensiive o he value of θ as long as θ (1.1, 1.5) on all daases. Due o he lack of space, we do no show he curves by varying θ, and simply se θ = ( n ) 1 m for boh and A -B. Evaluaion merics: We use he running ime and he number of verices whose srucural diversiy scores are compued in he search process as wo merics. The laer evaluaes he number of verices ha are pruned by he algorihm. Daases: We use 13 publicly available real-world neworks covering social, communicaion, collaboraion neworks, and webgraphs. The nework saisics are shown in Table 1. Excep for Epinions, Digg and KDDTrack1 1 which are from heir respecive websies, he oher 1 neworks are downloaded from he Sanford Nework Analysis Projec (snap.sanford.edu). We rea all he neworks as undireced. 7.1 Efficiency Comparison In his experimen, we compare he efficiency of differen mehods over all neworks. We se k = 1 and = 2. Similar resuls can be observed for oher k and values. Table 2 repors he resuls. 1 hps:// Table 1: Nework saisics (K = 1 3 and M = 1 6 ) Name V G E G d max Descripion WikiVoe 5K 14K 165 Epinions 76K 59K 344 Slashdo 82K 948K 2552 Social Gowalla 196K 1.9M 1473 neworks Digg M KDDTrack1 1.9M 1.2M Enron 37K 368K EuAll 265K 42K 7636 Communicaion WikiTalk 2.4M 5.M 129 neworks HepPh 12K 237K 491 Collaboraion AsroPh 19K 396K 54 neworks NoreDame 326K 1.5M 1721 Web graph Flickr 8K 11.8M 576 Flickr We can see ha A -B is he mos efficien, followed by,, and. Noice ha he performance of A -B,, and which adop he Top-k-search framework is subsanially beer han ha of he degree-based algorihm. The speedup raio beween and A -B defined as R s = / A B is beween 2.1 and 69.1 (column 6 in Table 2). The resul conforms wih he complexiy analysis in Secion 5. In addiion, we define he pruning raio beween and A -B as R p = S /S A B, where S and S A B denoe he number of verices whose srucural diversiy scores are compued by he respecive mehods. The pruning raio is beween 2.1 and 11.1 over all neworks (column 11 in Table 2). This resul suggess ha he upper bound derived in Lemma 3 is indeed igher han he degree-based upper bound in Lemma 1. When we compare and, he reducion of running ime and search space by demonsraes he effeciveness of he igher upper bound in Lemma 3 and he Union-Find-Isolae daa srucure. When we compare and, he reducion of running ime by shows he effeciveness of he fas-bound-search mehod. Finally we observe ha A -B is more efficien han, which proves he effeciveness of he A search order. 7.2 Performance Evaluaion by Varying k In his experimen, we evaluae he performance of all he mehods by varying he parameer k. We se = 2 and focus on six neworks Digg, WikiTalk, AsroPh, Gowalla, NoreDame and Flickr. Similar resuls can be observed for oher values and on oher neworks. Figures 9 (a)-(f) depic he running ime of differen algorihms. Again, we can see ha A -B is he mos efficien and is he leas efficien in mos neworks. The running ime of A -B is very sable as k increases. Figures 1 (a)-(f) show he number of verices whose srucural diversiy scores are compued by differen mehods in he six neworks. A -B is he clear winner by pruning he larges number of verices, and performs wors. In addiion, we find ha and achieve very similar performance in erms of he number of verices ha are pruned. This is because θ = ( n ) 1 m in is very close o 1 (as lised in he las column of Table 2), and θ in is se o 1 in our experimen. Thus, he pruning condiion in and is very similar. Bu on he oher hand, runs much faser han as shown in Figure 9, which conforms wih he ime complexiy analysis in Theorems 2 and Performance Evaluaion by Varying We evaluae he performance of all mehods by varying he parameer. In his experimen, we se k = 1 and similar resuls can be observed for oher k values. Figures 11 (a)-(f) show he running ime of differen algorihms. Once again, A -B is he mos efficien algorihm, and is he leas efficien one. We also observe ha in many cases, he running ime of all mehods increases wih increasing a firs, bu i may drop slighly when furher in- 1627

11 Table 2: Comparison of running ime (wall-clock ime in seconds) and search space (he number of verices whose srucural diversiy score are compued in search process) of differen algorihms. Here k = 1 and = 2. Nework Running Time Number of Compued Verices θ = ( n 1 ) m A -B R s A -B R p WikiVoe Epinions Slashdo Gowalla Digg KDDTrack Enron EuAll WikiTalk HepPh AsroPh NoreDame Flickr K 2K 12K 8K 4K (a) Digg (b) WikiTalk (c) AsroPh (d) Gowalla (e) NoreDame Figure 9: Running ime (in second) of differen algorihms versus parameer k 8K 6K 4K 2K K 8K 4K K 4K 3K 2K (f) Flickr (a) Digg (b) WikiTalk (c) AsroPh (d) Gowalla (e) NoreDame (f) Flickr Figure 1: Number of verices whose srucural diversiy scores are compued versus parameer k 6K 5K 4K 3K 2K M K 6K 4K 2K K 2K K 4K 3K 2K (a) Digg (b) WikiTalk (c) AsroPh (d) Gowalla (e) NoreDame Figure 11: Running ime (in second) of differen algorihms versus parameer (f) Flickr K 8K 6K 4K 2K (a) Digg (b) WikiTalk (c) AsroPh (d) Gowalla (e) NoreDame (f) Flickr Figure 12: Number of verices whose srucural diversiy scores are compued versus parameer 1 8K 6K 4K 2K creases. A possible reason is ha when is large, he number of he qualified componens (i.e., he componens whose sizes are no less han ) reduces. Thus, by he esimaed upper bound, he search space can be quickly pruned. Figures 12 (a)-(f) show he number of verices whose srucural diversiy scores are compued in differen neworks by varying. We observe ha A -B prunes he mos number of verices, and prunes he leas number of verices. 7.4 Handling Updae in Dynamic Neworks In his experimen, we evaluae he ime for incremenally mainaining he op-k resuls when he inpu nework is updaed. For each nework, we randomly inser/delee edges, and updae he op-k resuls afer every edge inserion/deleion. The average updae ime per edge inserion/deleion is repored in Table 3. In addiion, we repor he bach updae ime for he edge inserions/deleions. We repea his experimen for 5 imes and repor he average performance. For comparison, we also repor he ime for compuing he op-k resuls from scrach when he nework is updaed wih an edge inserion/deleion. The resul in Table 3 shows ha handling edge inserions is highly efficien. The updae ime per edge inserion is.1 or.2 millisecond on mos neworks, and he bach updae ime for edge inserions is wihin 1 milliseconds on mos neworks. Handling edge deleions is more cosly, because an edge deleion may rigger o check wheher he wo endpoins of he deleed edge are sill in he same componen or no in a number of neighborhood in- 1628

12 Table 3: Updae Time (wall-clock ime in milliseconds). Here k = 1 and = 2. Nework Inserion Inserion Deleion Deleion Compuing Per Edge Edges Per Edge Edges from scrach WikiVoe Epinions Slashdo Gowalla Digg KDDTrack Enron EuAll WikiTalk HepPh AsroPh NoreDame Flickr duced subgraphs. The updae ime per edge deleion is wihin 1 millisecond on mos neworks, and he bach updae ime for edge deleions is less han 1 second on mos neworks. Finally we can see he incremenal updae (per edge as well as bach updae of edges) is several orders of magniude faser han recompuing he op-k resuls from scrach. 8. RELATED WORK To he bes of our knowledge, op-k srucural diversiy search has no been sudied before. In he following, we briefly review he exising work ha are relaed o ours. Firs, our work is closely relaed o he work on op-k query processing. The goal of op-k query processing is o find k objecs wih he highes rank based on some pre-defined ranking funcion. A commonly used framework for his problem is o examine he candidaes in a heurisic order and prune he search space using an upper bound. Afer he seminal work by Fagin e al. [1, 11], a large number of sudies on op-k query processing have been done for differen applicaion scenarios, such as processing disribued preference queries [4], keyword queries [17], se similariy join queries [25]. Recenly, many sudies ake he diversiy ino consideraion in op-k query processing, in order o reurn diversified ranking resuls [26, 18, 1, 16, 2, 27]. A comprehensive survey of op-k query processing can be found in [12]. Second, our proposed echniques are relaed o he algorihms for he riangle lising problem, which is o find all riangles in a graph. Iai and Rodeh in [13] firs proposed an O(m 1.5 ) algorihm for he riangle lising problem. In [15], Laapy proved ha he ime complexiy O(m 1.5 ) is opimal. Subsequenly, Schank and Wagner [21, 2] proposed a simpler and paricularly fas soluion wih he opimal complexiy based on he verex ordering and efficien lookup of he adjacency liss for neighborhood esing. Recenly, Chu and Cheng [7] proposed an I/O-efficien algorihm for riangle lising in a massive graph, which canno fi ino he main memory. 9. CONCLUSIONS In his paper, we sudy he op-k srucural diversiy search problem moivaed by a number of nework analysis applicaions. We develop a novel Top-k-search framework o ackle his issue. Specifically, we design a Union-Find-Isolae daa srucure o keep rack of he known srucural informaion of each verex, and an effecive upper bound for pruning. We evaluae he proposed algorihms on 13 large neworks, and he resuls demonsrae he effeciveness and efficiency of he proposed algorihms. Our sudy in his paper serves as he firs sep o he exciing opic of op-k srucural diversiy search. [22] gives wo more definiions of srucural diversiy based on k-core [5] and k-russ [23]. I would be ineresing o exend he proposed echniques o hese wo definiions as a fuure work. ACKNOWLEDGMENTS This work is suppored by he Hong Kong Research Grans Council (RGC) General Research Fund (GRF) Projec No. CUHK , 41131, , and he Chinese Universiy of Hong Kong Direc Gran No REFERENCES [1] R. Agrawal, S. Gollapudi, A. Halverson, and S. Ieong. Diversifying search resuls. In WSDM, pages 5 14, 29. [2] A. Angel and N. Koudas. Efficien diversiy-aware search. In SIGMOD, pages , 211. [3] L. Backsrom, D. P. Huenlocher, J. M. Kleinberg, and X. Lan. Group formaion in large social neworks: membership, growh, and evoluion. In KDD, pages 44 54, 26. [4] K. Chang and S. Hwang. Minimal probing: supporing expensive predicaes for op-k queries. In SIGMOD, pages , 22. [5] J. Cheng, Y. Ke, S. Chu, and M. T. Özsu. Efficien core decomposiion in massive neworks. In ICDE, pages 51 62, 211. [6] N. Chiba and T. Nishizeki. Arboriciy and subgraph lising algorihms. SIAM J. Compu., 14(1):21 223, [7] S. Chu and J. Cheng. Triangle lising in massive neworks and is applicaions. In KDD, pages , 211. [8] T. H. Cormen, C. E. Leiserson, R. L. Rives, and C. Sein. Inroducion o Algorihms. MIT Press, 29. [9] P. S. Dodds and D. J. Was. Universal behavior in a generalized model of conagion. Physical Review Leers, 92:21871, 24. [1] R. Fagin. Combining fuzzy informaion from muliple sysems. Journal of Compuer and Sysem Sciences, 58(1):83 99, [11] R. Fagin, A. Loem, and M. Naor. Opimal aggregaion algorihms for middleware. In PODS, pages , 21. [12] I. Ilyas, G. Beskales, and M. Soliman. A survey of op-k query processing echniques in relaional daabase sysems. ACM Compuing Surveys (CSUR), 4(4):11, 28. [13] A. Iai and M. Rodeh. Finding a minimum circui in a graph. SIAM Journal on Compuing, 7(4): , [14] H. Kwak, C. Lee, H. Park, and S. B. Moon. Wha is wier, a social nework or a news media? In WWW, pages 591 6, 21. [15] M. Laapy. Main-memory riangle compuaions for very large (sparse (power-law)) graphs. Theor. Compu. Sci., 47(1-3): , 28. [16] R.-H. Li and J. X. Yu. Scalable diversified ranking on large graphs. In ICDM, pages , 211. [17] Y. Luo, X. Lin, W. Wang, and X. Zhou. Spark: op-k keyword query in relaional daabases. In SIGMOD, pages , 27. [18] L. Qin, J. X. Yu, and L. Chang. Diversifying op-k resuls. PVLDB, 5(11): , 212. [19] D. M. Romero, B. Meeder, and J. M. Kleinberg. Differences in he mechanics of informaion diffusion across opics: idioms, poliical hashags, and complex conagion on wier. In WWW, pages , 211. [2] T. Schank. Algorihmic aspecs of riangle-based nework analysis. Ph.D. Disseraion, Universiy Karlsruhe, 27. [21] T. Schank and D. Wagner. Finding, couning and lising all riangles in large graphs, an experimenal sudy. In WEA, pages 66 69, 25. [22] J. Ugander, L. Backsrom, C. Marlow, and J. Kleinberg. Srucural diversiy in social conagion. Proceedings of he Naional Academy of Sciences, 19(16): , 212. [23] J. Wang and J. Cheng. Truss decomposiion in massive neworks. PVLDB, 5(9): , 212. [24] D. J. Was and P. S. Dodds. Influenials, neworks, and public opinion formaion. J. Consum Res, 34: , 27. [25] C. Xiao, W. Wang, X. Lin, and H. Shang. Top-k se similariy joins. In ICDE, pages , 29. [26] Y. Zhang, J. Callan, and T. Minka. Novely and redundancy deecion in adapive filering. In SIGIR, pages 81 88, 22. [27] X. Zhu, J. Guo, X. Cheng, P. Du, and H. Shen. A unified framework for recommending diverse and relevan queries. In WWW, pages 37 46,

### Single-machine Scheduling with Periodic Maintenance and both Preemptive and. Non-preemptive jobs in Remanufacturing System 1

Absrac number: 05-0407 Single-machine Scheduling wih Periodic Mainenance and boh Preempive and Non-preempive jobs in Remanufacuring Sysem Liu Biyu hen Weida (School of Economics and Managemen Souheas Universiy

### Chapter 8: Regression with Lagged Explanatory Variables

Chaper 8: Regression wih Lagged Explanaory Variables Time series daa: Y for =1,..,T End goal: Regression model relaing a dependen variable o explanaory variables. Wih ime series new issues arise: 1. One

### PROFIT TEST MODELLING IN LIFE ASSURANCE USING SPREADSHEETS PART ONE

Profi Tes Modelling in Life Assurance Using Spreadshees PROFIT TEST MODELLING IN LIFE ASSURANCE USING SPREADSHEETS PART ONE Erik Alm Peer Millingon 2004 Profi Tes Modelling in Life Assurance Using Spreadshees

### Measuring macroeconomic volatility Applications to export revenue data, 1970-2005

FONDATION POUR LES ETUDES ET RERS LE DEVELOPPEMENT INTERNATIONAL Measuring macroeconomic volailiy Applicaions o expor revenue daa, 1970-005 by Joël Cariolle Policy brief no. 47 March 01 The FERDI is a

### Multiprocessor Systems-on-Chips

Par of: Muliprocessor Sysems-on-Chips Edied by: Ahmed Amine Jerraya and Wayne Wolf Morgan Kaufmann Publishers, 2005 2 Modeling Shared Resources Conex swiching implies overhead. On a processing elemen,

### CHARGE AND DISCHARGE OF A CAPACITOR

REFERENCES RC Circuis: Elecrical Insrumens: Mos Inroducory Physics exs (e.g. A. Halliday and Resnick, Physics ; M. Sernheim and J. Kane, General Physics.) This Laboraory Manual: Commonly Used Insrumens:

### TEMPORAL PATTERN IDENTIFICATION OF TIME SERIES DATA USING PATTERN WAVELETS AND GENETIC ALGORITHMS

TEMPORAL PATTERN IDENTIFICATION OF TIME SERIES DATA USING PATTERN WAVELETS AND GENETIC ALGORITHMS RICHARD J. POVINELLI AND XIN FENG Deparmen of Elecrical and Compuer Engineering Marquee Universiy, P.O.

### Individual Health Insurance April 30, 2008 Pages 167-170

Individual Healh Insurance April 30, 2008 Pages 167-170 We have received feedback ha his secion of he e is confusing because some of he defined noaion is inconsisen wih comparable life insurance reserve

### TSG-RAN Working Group 1 (Radio Layer 1) meeting #3 Nynashamn, Sweden 22 nd 26 th March 1999

TSG-RAN Working Group 1 (Radio Layer 1) meeing #3 Nynashamn, Sweden 22 nd 26 h March 1999 RAN TSGW1#3(99)196 Agenda Iem: 9.1 Source: Tile: Documen for: Moorola Macro-diversiy for he PRACH Discussion/Decision

### Efficient One-time Signature Schemes for Stream Authentication *

JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 611-64 (006) Efficien One-ime Signaure Schemes for Sream Auhenicaion * YONGSU PARK AND YOOKUN CHO + College of Informaion and Communicaions Hanyang Universiy

### Duration and Convexity ( ) 20 = Bond B has a maturity of 5 years and also has a required rate of return of 10%. Its price is \$613.

Graduae School of Business Adminisraion Universiy of Virginia UVA-F-38 Duraion and Convexiy he price of a bond is a funcion of he promised paymens and he marke required rae of reurn. Since he promised

### The Application of Multi Shifts and Break Windows in Employees Scheduling

The Applicaion of Muli Shifs and Brea Windows in Employees Scheduling Evy Herowai Indusrial Engineering Deparmen, Universiy of Surabaya, Indonesia Absrac. One mehod for increasing company s performance

### The naive method discussed in Lecture 1 uses the most recent observations to forecast future values. That is, Y ˆ t + 1

Business Condiions & Forecasing Exponenial Smoohing LECTURE 2 MOVING AVERAGES AND EXPONENTIAL SMOOTHING OVERVIEW This lecure inroduces ime-series smoohing forecasing mehods. Various models are discussed,

### Real-time Particle Filters

Real-ime Paricle Filers Cody Kwok Dieer Fox Marina Meilă Dep. of Compuer Science & Engineering, Dep. of Saisics Universiy of Washingon Seale, WA 9895 ckwok,fox @cs.washingon.edu, mmp@sa.washingon.edu Absrac

### The Transport Equation

The Transpor Equaion Consider a fluid, flowing wih velociy, V, in a hin sraigh ube whose cross secion will be denoed by A. Suppose he fluid conains a conaminan whose concenraion a posiion a ime will be

### Chabot College Physics Lab RC Circuits Scott Hildreth

Chabo College Physics Lab Circuis Sco Hildreh Goals: Coninue o advance your undersanding of circuis, measuring resisances, currens, and volages across muliple componens. Exend your skills in making breadboard

### ANALYSIS AND COMPARISONS OF SOME SOLUTION CONCEPTS FOR STOCHASTIC PROGRAMMING PROBLEMS

ANALYSIS AND COMPARISONS OF SOME SOLUTION CONCEPTS FOR STOCHASTIC PROGRAMMING PROBLEMS R. Caballero, E. Cerdá, M. M. Muñoz and L. Rey () Deparmen of Applied Economics (Mahemaics), Universiy of Málaga,

### Making a Faster Cryptanalytic Time-Memory Trade-Off

Making a Faser Crypanalyic Time-Memory Trade-Off Philippe Oechslin Laboraoire de Securié e de Crypographie (LASEC) Ecole Polyechnique Fédérale de Lausanne Faculé I&C, 1015 Lausanne, Swizerland philippe.oechslin@epfl.ch

### Morningstar Investor Return

Morningsar Invesor Reurn Morningsar Mehodology Paper Augus 31, 2010 2010 Morningsar, Inc. All righs reserved. The informaion in his documen is he propery of Morningsar, Inc. Reproducion or ranscripion

### Inductance and Transient Circuits

Chaper H Inducance and Transien Circuis Blinn College - Physics 2426 - Terry Honan As a consequence of Faraday's law a changing curren hrough one coil induces an EMF in anoher coil; his is known as muual

### SELF-EVALUATION FOR VIDEO TRACKING SYSTEMS

SELF-EVALUATION FOR VIDEO TRACKING SYSTEMS Hao Wu and Qinfen Zheng Cenre for Auomaion Research Dep. of Elecrical and Compuer Engineering Universiy of Maryland, College Park, MD-20742 {wh2003, qinfen}@cfar.umd.edu

### DYNAMIC MODELS FOR VALUATION OF WRONGFUL DEATH PAYMENTS

DYNAMIC MODELS FOR VALUATION OF WRONGFUL DEATH PAYMENTS Hong Mao, Shanghai Second Polyechnic Universiy Krzyszof M. Osaszewski, Illinois Sae Universiy Youyu Zhang, Fudan Universiy ABSTRACT Liigaion, exper

### On the degrees of irreducible factors of higher order Bernoulli polynomials

ACTA ARITHMETICA LXII.4 (1992 On he degrees of irreducible facors of higher order Bernoulli polynomials by Arnold Adelberg (Grinnell, Ia. 1. Inroducion. In his paper, we generalize he curren resuls on

### The Grantor Retained Annuity Trust (GRAT)

WEALTH ADVISORY Esae Planning Sraegies for closely-held, family businesses The Granor Reained Annuiy Trus (GRAT) An efficien wealh ransfer sraegy, paricularly in a low ineres rae environmen Family business

### Chapter 13. Network Flow III Applications. 13.1 Edge disjoint paths. 13.1.1 Edge-disjoint paths in a directed graphs

Chaper 13 Nework Flow III Applicaion CS 573: Algorihm, Fall 014 Ocober 9, 014 13.1 Edge dijoin pah 13.1.1 Edge-dijoin pah in a direced graph 13.1.1.1 Edge dijoin pah queiong: graph (dir/undir)., : verice.

### Journal Of Business & Economics Research September 2005 Volume 3, Number 9

Opion Pricing And Mone Carlo Simulaions George M. Jabbour, (Email: jabbour@gwu.edu), George Washingon Universiy Yi-Kang Liu, (yikang@gwu.edu), George Washingon Universiy ABSTRACT The advanage of Mone Carlo

### Appendix A: Area. 1 Find the radius of a circle that has circumference 12 inches.

Appendi A: Area worked-ou s o Odd-Numbered Eercises Do no read hese worked-ou s before aemping o do he eercises ourself. Oherwise ou ma mimic he echniques shown here wihou undersanding he ideas. Bes wa

### Sampling Time-Based Sliding Windows in Bounded Space

Sampling Time-Based Sliding Windows in Bounded Space Rainer Gemulla Technische Universiä Dresden 01062 Dresden, Germany gemulla@inf.u-dresden.de Wolfgang Lehner Technische Universiä Dresden 01062 Dresden,

### Present Value Methodology

Presen Value Mehodology Econ 422 Invesmen, Capial & Finance Universiy of Washingon Eric Zivo Las updaed: April 11, 2010 Presen Value Concep Wealh in Fisher Model: W = Y 0 + Y 1 /(1+r) The consumer/producer

### USE OF EDUCATION TECHNOLOGY IN ENGLISH CLASSES

USE OF EDUCATION TECHNOLOGY IN ENGLISH CLASSES Mehme Nuri GÖMLEKSİZ Absrac Using educaion echnology in classes helps eachers realize a beer and more effecive learning. In his sudy 150 English eachers were

### Performance Center Overview. Performance Center Overview 1

Performance Cener Overview Performance Cener Overview 1 ODJFS Performance Cener ce Cener New Performance Cener Model Performance Cener Projec Meeings Performance Cener Execuive Meeings Performance Cener

### Automatic measurement and detection of GSM interferences

Auomaic measuremen and deecion of GSM inerferences Poor speech qualiy and dropped calls in GSM neworks may be caused by inerferences as a resul of high raffic load. The radio nework analyzers from Rohde

### The Greek financial crisis: growing imbalances and sovereign spreads. Heather D. Gibson, Stephan G. Hall and George S. Tavlas

The Greek financial crisis: growing imbalances and sovereign spreads Heaher D. Gibson, Sephan G. Hall and George S. Tavlas The enry The enry of Greece ino he Eurozone in 2001 produced a dividend in he

### DOES TRADING VOLUME INFLUENCE GARCH EFFECTS? SOME EVIDENCE FROM THE GREEK MARKET WITH SPECIAL REFERENCE TO BANKING SECTOR

Invesmen Managemen and Financial Innovaions, Volume 4, Issue 3, 7 33 DOES TRADING VOLUME INFLUENCE GARCH EFFECTS? SOME EVIDENCE FROM THE GREEK MARKET WITH SPECIAL REFERENCE TO BANKING SECTOR Ahanasios

### RC, RL and RLC circuits

Name Dae Time o Complee h m Parner Course/ Secion / Grade RC, RL and RLC circuis Inroducion In his experimen we will invesigae he behavior of circuis conaining combinaions of resisors, capaciors, and inducors.

### SKF Documented Solutions

SKF Documened Soluions Real world savings and we can prove i! How much can SKF save you? Le s do he numbers. The SKF Documened Soluions Program SKF is probably no he firs of your supplier parners o alk

### Tomographic Clustering To Visualize Blog Communities as Mountain Views

Tomographic Clusering To Visualize Blog Communiies as Mounain Views Belle L. Tseng NEC Laboraories America 10080 N. Wolfe Road, SW3-350 Cuperino, CA 95014 USA +1-408-863-6008 belle@sv.nec-labs.com Junichi

### Optimal Investment and Consumption Decision of Family with Life Insurance

Opimal Invesmen and Consumpion Decision of Family wih Life Insurance Minsuk Kwak 1 2 Yong Hyun Shin 3 U Jin Choi 4 6h World Congress of he Bachelier Finance Sociey Torono, Canada June 25, 2010 1 Speaker

### INTEREST RATE FUTURES AND THEIR OPTIONS: SOME PRICING APPROACHES

INTEREST RATE FUTURES AND THEIR OPTIONS: SOME PRICING APPROACHES OPENGAMMA QUANTITATIVE RESEARCH Absrac. Exchange-raded ineres rae fuures and heir opions are described. The fuure opions include hose paying

### Option Put-Call Parity Relations When the Underlying Security Pays Dividends

Inernaional Journal of Business and conomics, 26, Vol. 5, No. 3, 225-23 Opion Pu-all Pariy Relaions When he Underlying Securiy Pays Dividends Weiyu Guo Deparmen of Finance, Universiy of Nebraska Omaha,

### MTH6121 Introduction to Mathematical Finance Lesson 5

26 MTH6121 Inroducion o Mahemaical Finance Lesson 5 Conens 2.3 Brownian moion wih drif........................... 27 2.4 Geomeric Brownian moion........................... 28 2.5 Convergence of random

### On Certain Properties of Random Apollonian Networks

On Cerain Properies of Random Apollonian Neworks Alan Frieze, Charalampos E. Tsourakakis Deparmen of Mahemaical Sciences, Carnegie Mellon Universiy, USA af1p@random.mah.cmu.edu, csourak@mah.cmu.edu Absrac.

### Chapter 1.6 Financial Management

Chaper 1.6 Financial Managemen Par I: Objecive ype quesions and answers 1. Simple pay back period is equal o: a) Raio of Firs cos/ne yearly savings b) Raio of Annual gross cash flow/capial cos n c) = (1

### Circuit Types. () i( t) ( )

Circui Types DC Circuis Idenifying feaures: o Consan inpus: he volages of independen volage sources and currens of independen curren sources are all consan. o The circui does no conain any swiches. All

### Predicting Stock Market Index Trading Signals Using Neural Networks

Predicing Sock Marke Index Trading Using Neural Neworks C. D. Tilakarane, S. A. Morris, M. A. Mammadov, C. P. Hurs Cenre for Informaics and Applied Opimizaion School of Informaion Technology and Mahemaical

### Principal components of stock market dynamics. Methodology and applications in brief (to be updated ) Andrei Bouzaev, bouzaev@ya.

Principal componens of sock marke dynamics Mehodology and applicaions in brief o be updaed Andrei Bouzaev, bouzaev@ya.ru Why principal componens are needed Objecives undersand he evidence of more han one

### Why Did the Demand for Cash Decrease Recently in Korea?

Why Did he Demand for Cash Decrease Recenly in Korea? Byoung Hark Yoo Bank of Korea 26. 5 Absrac We explores why cash demand have decreased recenly in Korea. The raio of cash o consumpion fell o 4.7% in

### SPECIAL REPORT May 4, Shifting Drivers of Inflation Canada versus the U.S.

Paul Ferley Assisan Chief Economis 416-974-7231 paul.ferley@rbc.com Nahan Janzen Economis 416-974-0579 nahan.janzen@rbc.com SPECIAL REPORT May 4, 2010 Shifing Drivers of Inflaion Canada versus he U.S.

### Machine Learning in Pairs Trading Strategies

Machine Learning in Pairs Trading Sraegies Yuxing Chen (Joseph) Deparmen of Saisics Sanford Universiy Email: osephc5@sanford.edu Weiluo Ren (David) Deparmen of Mahemaics Sanford Universiy Email: weiluo@sanford.edu

### Capacitors and inductors

Capaciors and inducors We coninue wih our analysis of linear circuis by inroducing wo new passive and linear elemens: he capacior and he inducor. All he mehods developed so far for he analysis of linear

### Network Effects, Pricing Strategies, and Optimal Upgrade Time in Software Provision.

Nework Effecs, Pricing Sraegies, and Opimal Upgrade Time in Sofware Provision. Yi-Nung Yang* Deparmen of Economics Uah Sae Universiy Logan, UT 84322-353 April 3, 995 (curren version Feb, 996) JEL codes:

### Inventory Planning with Forecast Updates: Approximate Solutions and Cost Error Bounds

OPERATIONS RESEARCH Vol. 54, No. 6, November December 2006, pp. 1079 1097 issn 0030-364X eissn 1526-5463 06 5406 1079 informs doi 10.1287/opre.1060.0338 2006 INFORMS Invenory Planning wih Forecas Updaes:

LEASNG VERSUSBUYNG Conribued by James D. Blum and LeRoy D. Brooks Assisan Professors of Business Adminisraion Deparmen of Business Adminisraion Universiy of Delaware Newark, Delaware The auhors discuss

### Analysis of Pricing and Efficiency Control Strategy between Internet Retailer and Conventional Retailer

Recen Advances in Business Managemen and Markeing Analysis of Pricing and Efficiency Conrol Sraegy beween Inerne Reailer and Convenional Reailer HYUG RAE CHO 1, SUG MOO BAE and JOG HU PARK 3 Deparmen of

### Random Walk in 1-D. 3 possible paths x vs n. -5 For our random walk, we assume the probabilities p,q do not depend on time (n) - stationary

Random Walk in -D Random walks appear in many cones: diffusion is a random walk process undersanding buffering, waiing imes, queuing more generally he heory of sochasic processes gambling choosing he bes

### Distributing Human Resources among Software Development Projects 1

Disribuing Human Resources among Sofware Developmen Proecs Macario Polo, María Dolores Maeos, Mario Piaini and rancisco Ruiz Summary This paper presens a mehod for esimaing he disribuion of human resources

STABILITY OF LOAD BALANCING ALGORITHMS IN DYNAMIC ADVERSARIAL SYSTEMS ELLIOT ANSHELEVICH, DAVID KEMPE, AND JON KLEINBERG Absrac. In he dynamic load balancing problem, we seek o keep he job load roughly

### UNDERSTANDING THE DEATH BENEFIT SWITCH OPTION IN UNIVERSAL LIFE POLICIES. Nadine Gatzert

UNDERSTANDING THE DEATH BENEFIT SWITCH OPTION IN UNIVERSAL LIFE POLICIES Nadine Gazer Conac (has changed since iniial submission): Chair for Insurance Managemen Universiy of Erlangen-Nuremberg Lange Gasse

### Information Theoretic Evaluation of Change Prediction Models for Large-Scale Software

Informaion Theoreic Evaluaion of Change Predicion Models for Large-Scale Sofware Mina Askari School of Compuer Science Universiy of Waerloo Waerloo, Canada maskari@uwaerloo.ca Ric Hol School of Compuer

### Relationships between Stock Prices and Accounting Information: A Review of the Residual Income and Ohlson Models. Scott Pirie* and Malcolm Smith**

Relaionships beween Sock Prices and Accouning Informaion: A Review of he Residual Income and Ohlson Models Sco Pirie* and Malcolm Smih** * Inernaional Graduae School of Managemen, Universiy of Souh Ausralia

### Economic Analysis of 4G Network Upgrade

Economic Analysis of ework Upgrade Lingjie Duan, Jianwei Huang, and Jean Walrand Absrac As he successor o he sandard, provides much higher daa raes o address cellular users ever-increasing demands for

### II.1. Debt reduction and fiscal multipliers. dbt da dpbal da dg. bal

Quarerly Repor on he Euro Area 3/202 II.. Deb reducion and fiscal mulipliers The deerioraion of public finances in he firs years of he crisis has led mos Member Saes o adop sizeable consolidaion packages.

### DETERMINISTIC INVENTORY MODEL FOR ITEMS WITH TIME VARYING DEMAND, WEIBULL DISTRIBUTION DETERIORATION AND SHORTAGES KUN-SHAN WU

Yugoslav Journal of Operaions Research 2 (22), Number, 6-7 DEERMINISIC INVENORY MODEL FOR IEMS WIH IME VARYING DEMAND, WEIBULL DISRIBUION DEERIORAION AND SHORAGES KUN-SHAN WU Deparmen of Bussines Adminisraion

To Sponsor or No o Sponsor: Sponsored Search Aucions wih Organic Links and Firm Dependen Click-Through Raes Michael Arnold, Eric Darmon and Thierry Penard June 5, 00 Draf: Preliminary and Incomplee Absrac

### 11/6/2013. Chapter 14: Dynamic AD-AS. Introduction. Introduction. Keeping track of time. The model s elements

Inroducion Chaper 14: Dynamic D-S dynamic model of aggregae and aggregae supply gives us more insigh ino how he economy works in he shor run. I is a simplified version of a DSGE model, used in cuing-edge

SIAM J. COMPUT. Vol. 37, No. 5, pp. 1656 1673 c 2008 Sociey for Indusrial and Applied Mahemaics STABILITY OF LOAD BALANCING ALGORITHMS IN DYNAMIC ADVERSARIAL SYSTEMS ELLIOT ANSHELEVICH, DAVID KEMPE, AND

### Situated vs. Global Aggregation Schemes for Autonomous Management Systems

4h IFIP/IEEE Workshop on Disribued Auonomous Nework Managemen Sysems Siuaed vs. Global Aggregaion Schemes for Auonomous Managemen Sysems Rafik Makhloufi*, Guillaume Doyen*, Gregory Bonne and Dominique

### Establishing Prefabricated Wood I-Joist Composite EI

July 008 Esablishing Prefabricaed Wood I- Composie EI INTRODUCTION Composie (glued/nailed) floors are common in boh residenial and commercial consrucion, and have been successfully designed by Prefabricaed

### Premium Income of Indian Life Insurance Industry

Premium Income of Indian Life Insurance Indusry A Toal Facor Produciviy Approach Ram Praap Sinha* Subsequen o he passage of he Insurance Regulaory and Developmen Auhoriy (IRDA) Ac, 1999, he life insurance

### Market Liquidity and the Impacts of the Computerized Trading System: Evidence from the Stock Exchange of Thailand

36 Invesmen Managemen and Financial Innovaions, 4/4 Marke Liquidiy and he Impacs of he Compuerized Trading Sysem: Evidence from he Sock Exchange of Thailand Sorasar Sukcharoensin 1, Pariyada Srisopisawa,

### A Note on Using the Svensson procedure to estimate the risk free rate in corporate valuation

A Noe on Using he Svensson procedure o esimae he risk free rae in corporae valuaion By Sven Arnold, Alexander Lahmann and Bernhard Schwezler Ocober 2011 1. The risk free ineres rae in corporae valuaion

### NASDAQ-100 Futures Index SM Methodology

NASDAQ-100 Fuures Index SM Mehodology Index Descripion The NASDAQ-100 Fuures Index (The Fuures Index ) is designed o rack he performance of a hypoheical porfolio holding he CME NASDAQ-100 E-mini Index

### Dynamic programming models and algorithms for the mutual fund cash balance problem

Submied o Managemen Science manuscrip Dynamic programming models and algorihms for he muual fund cash balance problem Juliana Nascimeno Deparmen of Operaions Research and Financial Engineering, Princeon

Real-Time Scheduling Sysem Model Task is a schedulable eniy, i.e., a hread Time consrains of periodic ask T: - s: saring poin - e: processing ime of T - d: deadline of T - p: period of T Periodic ask T

### A Re-examination of the Joint Mortality Functions

Norh merican cuarial Journal Volume 6, Number 1, p.166-170 (2002) Re-eaminaion of he Join Morali Funcions bsrac. Heekung Youn, rkad Shemakin, Edwin Herman Universi of S. Thomas, Sain Paul, MN, US Morali

### Distributed Broadcasting and Mapping Protocols in Directed Anonymous Networks

Disribued Broadcasing and Mapping Proocols in Direced Anonymous Neworks Michael Langberg Moshe Schwarz Jehoshua Bruck Absrac We iniiae he sudy of disribued proocols over direced anonymous neworks ha are

### Constant Data Length Retrieval for Video Servers with Variable Bit Rate Streams

IEEE Inernaional Conference on Mulimedia Compuing & Sysems, June 17-3, 1996, in Hiroshima, Japan, p. 151-155 Consan Lengh Rerieval for Video Servers wih Variable Bi Rae Sreams Erns Biersack, Frédéric Thiesse,

### 9. Capacitor and Resistor Circuits

ElecronicsLab9.nb 1 9. Capacior and Resisor Circuis Inroducion hus far we have consider resisors in various combinaions wih a power supply or baery which provide a consan volage source or direc curren

### Module 4. Single-phase AC circuits. Version 2 EE IIT, Kharagpur

Module 4 Single-phase A circuis ersion EE T, Kharagpur esson 5 Soluion of urren in A Series and Parallel ircuis ersion EE T, Kharagpur n he las lesson, wo poins were described:. How o solve for he impedance,

### Chapter 2: Principles of steady-state converter analysis

Chaper 2 Principles of Seady-Sae Converer Analysis 2.1. Inroducion 2.2. Inducor vol-second balance, capacior charge balance, and he small ripple approximaion 2.3. Boos converer example 2.4. Cuk converer

### Nikkei Stock Average Volatility Index Real-time Version Index Guidebook

Nikkei Sock Average Volailiy Index Real-ime Version Index Guidebook Nikkei Inc. Wih he modificaion of he mehodology of he Nikkei Sock Average Volailiy Index as Nikkei Inc. (Nikkei) sars calculaing and

### MACROECONOMIC FORECASTS AT THE MOF A LOOK INTO THE REAR VIEW MIRROR

MACROECONOMIC FORECASTS AT THE MOF A LOOK INTO THE REAR VIEW MIRROR The firs experimenal publicaion, which summarised pas and expeced fuure developmen of basic economic indicaors, was published by he Minisry

### Stock Trading with Recurrent Reinforcement Learning (RRL) CS229 Application Project Gabriel Molina, SUID 5055783

Sock raing wih Recurren Reinforcemen Learning (RRL) CS9 Applicaion Projec Gabriel Molina, SUID 555783 I. INRODUCION One relaively new approach o financial raing is o use machine learning algorihms o preic

### Bayesian Filtering with Online Gaussian Process Latent Variable Models

Bayesian Filering wih Online Gaussian Process Laen Variable Models Yali Wang Laval Universiy yali.wang.1@ulaval.ca Marcus A. Brubaker TTI Chicago mbrubake@cs.orono.edu Brahim Chaib-draa Laval Universiy

A Load Balancing Mehod in Downlink LTE Nework based on Load Vecor Minimizaion Fanqin Zhou, Lei Feng, Peng Yu, and Wenjing Li Sae Key Laboraory of Neworking and Swiching Technology, Beijing Universiy of

### Mathematics in Pharmacokinetics What and Why (A second attempt to make it clearer)

Mahemaics in Pharmacokineics Wha and Why (A second aemp o make i clearer) We have used equaions for concenraion () as a funcion of ime (). We will coninue o use hese equaions since he plasma concenraions

### Chapter 6: Business Valuation (Income Approach)

Chaper 6: Business Valuaion (Income Approach) Cash flow deerminaion is one of he mos criical elemens o a business valuaion. Everyhing may be secondary. If cash flow is high, hen he value is high; if he

### Forestry profitability panel dataset

Foresry profiabiliy panel daase Wei Zhang, Mou Research Daa Documenaion Mou Economic and Public Policy Research Dae accessed/creaed: Augus 2010 Mou Ref ID: U9970 Suggesed Ciaion: Zhang, Wei. "Foresry Profiabiliy

### Model-Based Monitoring in Large-Scale Distributed Systems

Model-Based Monioring in Large-Scale Disribued Sysems Diploma Thesis Carsen Reimann Chemniz Universiy of Technology Faculy of Compuer Science Operaing Sysem Group Advisors: Prof. Dr. Winfried Kalfa Dr.

### Finance and Economics Discussion Series Divisions of Research & Statistics and Monetary Affairs Federal Reserve Board, Washington, D.C.

Finance and Economics Discussion Series Divisions of Research & Saisics and Moneary Affairs Federal Reserve Board, Washingon, D.C. The Effecs of Unemploymen Benefis on Unemploymen and Labor Force Paricipaion:

### RC Circuit and Time Constant

ircui and Time onsan 8M Objec: Apparaus: To invesigae he volages across he resisor and capacior in a resisor-capacior circui ( circui) as he capacior charges and discharges. We also wish o deermine he

### Markit Excess Return Credit Indices Guide for price based indices

Marki Excess Reurn Credi Indices Guide for price based indices Sepember 2011 Marki Excess Reurn Credi Indices Guide for price based indices Conens Inroducion...3 Index Calculaion Mehodology...4 Semi-annual

### Forecasting and Information Sharing in Supply Chains Under Quasi-ARMA Demand

Forecasing and Informaion Sharing in Supply Chains Under Quasi-ARMA Demand Avi Giloni, Clifford Hurvich, Sridhar Seshadri July 9, 2009 Absrac In his paper, we revisi he problem of demand propagaion in

### GoRA. For more information on genetics and on Rheumatoid Arthritis: Genetics of Rheumatoid Arthritis. Published work referred to in the results:

For more informaion on geneics and on Rheumaoid Arhriis: Published work referred o in he resuls: The geneics revoluion and he assaul on rheumaoid arhriis. A review by Michael Seldin, Crisopher Amos, Ryk

### 4. International Parity Conditions

4. Inernaional ariy ondiions 4.1 urchasing ower ariy he urchasing ower ariy ( heory is one of he early heories of exchange rae deerminaion. his heory is based on he concep ha he demand for a counry's currency

### policies are investigated through the entire product life cycle of a remanufacturable product. Benefiting from the MDP analysis, the optimal or

ABSTRACT AHISKA, SEMRA SEBNEM. Invenory Opimizaion in a One Produc Recoverable Manufacuring Sysem. (Under he direcion of Dr. Russell E. King and Dr. Thom J. Hodgson.) Environmenal regulaions or he necessiy

### Chapter Four: Methodology

Chaper Four: Mehodology 1 Assessmen of isk Managemen Sraegy Comparing Is Cos of isks 1.1 Inroducion If we wan o choose a appropriae risk managemen sraegy, no only we should idenify he influence ha risks

### Can Individual Investors Use Technical Trading Rules to Beat the Asian Markets?

Can Individual Invesors Use Technical Trading Rules o Bea he Asian Markes? INTRODUCTION In radiional ess of he weak-form of he Efficien Markes Hypohesis, price reurn differences are found o be insufficien

### Supplementary Appendix for Depression Babies: Do Macroeconomic Experiences Affect Risk-Taking?

Supplemenary Appendix for Depression Babies: Do Macroeconomic Experiences Affec Risk-Taking? Ulrike Malmendier UC Berkeley and NBER Sefan Nagel Sanford Universiy and NBER Sepember 2009 A. Deails on SCF

### Chapter 7. Response of First-Order RL and RC Circuits

Chaper 7. esponse of Firs-Order L and C Circuis 7.1. The Naural esponse of an L Circui 7.2. The Naural esponse of an C Circui 7.3. The ep esponse of L and C Circuis 7.4. A General oluion for ep and Naural