Theoretical Computer Science

Size: px
Start display at page:

Download "Theoretical Computer Science"

Transcription

1 Theoretcal Computer Scence 481 (2013) Contents lsts avalable at ScVerse ScenceDrect Theoretcal Computer Scence journal homepage: Increasng the mnmum degree of a graph by contractons Petr A. Golovach a, Marcn Kamńsk b, Danël Paulusma a,, Dmtros M. Thlkos c a School of Engneerng and Computng Scences, Durham Unversty, Scence Laboratores, South Road, Durham DH1 3LE, Unted Kngdom b Département d Informatque, Unversté Lbre de Bruxelles, Belgum c Department of Mathematcs, Natonal and Kapodstran Unversty of Athens, Panepstmoupols, GR15784 Athens, Greece a r t c l e n f o a b s t r a c t Artcle hstory: Receved 5 November 2011 Receved n revsed form 5 February 2013 Accepted 20 February 2013 Communcated by V. Th. Paschos The Degree Contractblty problem s to test whether a gven graph G can be modfed to a graph of mnmum degree at least d by usng at most k contractons. We prove the followng three results. Frst, Degree Contractblty s NP-complete even when d = 14. Second, t s fxed-parameter tractable when parameterzed by k and d. Thrd, t s W[1]-hard when parameterzed by k. We also study ts varant where the nput graph s weghted,.e., has some edge weghtng and the contractons preserve these weghts. The Weghted Degree Contractblty problem s to test f a weghted graph G can be contracted to a weghted graph of mnmum weghted degree at least d by usng at most k weghted contractons. We show that ths problem s NP-complete and that t s fxed-parameter tractable when parameterzed by k. In addton, we pnpont a relatonshp wth the problem of fndng a mnmal edge-cut of maxmum sze n a graph and study the parameterzed complexty of ths problem and ts varants Elsever B.V. All rghts reserved. 1. Introducton Throughout the paper we consder undrected fnte graphs that have no loops. Unless we explctly ndcate ths, they do not have multple edges ether. We denote the vertex set and the edge set of a graph G by V G and E G, respectvely. If no confuson s possble, we may omt subscrpts. We refer the reader to the text book of Destel [10] for undefned graph termnology and to the monographs of Downey and Fellows [12] and Nedermeer [27] for more on parameterzed complexty. A graph modfcaton problem has as nput a graph G and an nteger k. The queston s whether G can be modfed to belong to some specfed graph class that satsfes further propertes by usng at most k operatons of a certan specfed type such as deletng a vertex or deletng an edge. In our paper the permtted operaton s the contracton of an edge, whch removes both end-vertces of the edge and replaces them by a new vertex adjacent to precsely those vertces to whch the two end-vertces were adjacent. We contnue a very recent study [17 19] of the followng graph modfcaton problem called Π-Contractblty, where Π s some prespecfed graph class. Π-Contractblty Instance: a graph G and an nteger k. Queston: can G be modfed to a graph n Π by at most k contractons? Ths paper has been supported by EPSRC (EP/G043434/1), and an extended abstract of t appeared n the Proceedngs of IPEC Correspondng author. Tel.: ; fax: E-mal addresses: petr.golovach@durham.ac.uk (P.A. Golovach), marcn.kamnsk@ulb.ac.be (M. Kamńsk), danel.paulusma@durham.ac.uk (D. Paulusma), sedthlk@math.uoa.gr (D.M. Thlkos) /$ see front matter 2013 Elsever B.V. All rghts reserved.

2 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) Prevous results Research on the Π-Contractblty problem dates back to the early eghtes, when Watanabe, Ae and Nakamura [29,30] showed that Π-Contractblty s NP-complete f Π s fntely characterzable by 3-connected graphs. Ther result was generalzed by Asano and Hrata [2] who showed that Π-Contractblty s NP-complete whenever Π s a graph class that fulflls the followng condtons. Frst, Π must be closed under contractons. Second, Π must be descrbed by a property that s satsfed by nfntely many connected graphs and volated by nfntely many other connected graphs. Thrd, a graph belongs to Π f and only f each of ts bconnected components belong to Π. Examples [2] of such graph classes Π nclude planar graphs, outerplanar graphs, seres parallel graphs, and also forests, chordal graphs, or more generally, graphs wth no cycles of length at least l for some fxed nteger l 3. The problem Π-Contractblty s closely related to the problem H-Contractblty, whch s to test whether a gven graph G can be contracted to a fxed graph H (.e., whch s not part of the nput). Brouwer and Veldman [8] showed that the H-Contractblty problem s NP-complete whenever H s a trangle-free graph that contans no vertex adjacent to all the other vertces. Ther work has been extended by a seres of other papers [20,23,24] showng both polynomal-tme solvable and NP-complete cases. Determnng a full complexty classfcaton for H-Contractblty s open, although such results restrctng the nput graph G to be n a specal graph class have been obtaned [3,4,22]. If Π s the class of paths or cycles, then Π-Contractblty s polynomally equvalent to the problems of determnng the length of a longest path and a longest cycle, respectvely, to whch a gven graph can be contracted. The frst problem has been shown to be NP-complete by van t Hof, Paulusma and Woegnger [21] even for graphs wth no nduced path on 6 vertces. The second problem has been shown to be NP-complete by Hammack [16]. Eppsten [13] showed that t s NP-complete to decde f a graph contans a complete graph K p as a mnor for some gven nteger p. Ths problem s equvalent to decdng f a graph s contractble to K p. As a drect consequence, Π-Contractblty s NP-complete f Π s the class of complete graphs. Due to a close relatonshp wth the problem that s to test whether a gven graph contans a so-called dsconnected cut set, Martn and Paulusma [25] have shown that Π-Contractblty s NP-complete f Π s the class of bclques K p,q wth p, q 2. Recently, more papers appeared that study the Π-Contractblty problem, and n partcular, ts parameterzed complexty where the parameter s the number k of edges that may be contracted. Heggernes et al. [19] gave an 4 k+o(log2 k) + n O(1) tme algorthm for Π-Contractblty f Π s the class of paths. Moreover, they showed that n ths case the problem has a lnear kernel. When Π s the class of trees, they showed that the problem can be solved n 4.88 k n O(1) tme and that a polynomal kernel does not exst unless conp NP \ poly. When the nput graph s a chordal graph wth n vertces and m edges, Heggernes et al. [17] could show that Π-Contractblty can be solved n O(n + m) tme when Π s the class of trees and n O(nm) tme when Π s the class of paths. When Π s the class of bpartte graphs, Heggernes et al. [18] observed that Π-Contractblty s NP-complete and showed that Π-Contractblty s fxed-parameter tractable when parameterzed by k. Later on, Marx, O Sullvan, and Razgon [26] obtaned ths result for bpartte graphs as a corollary from ther result on generalzed bpartzaton. Bodlaender, Koster and Wolle [6] ntroduced the related noton of contracton degeneracy as a useful tool to mprove lower bound heurstcs for treewdth. The contracton degeneracy of a graph G s the largest mnmum degree of any mnor of G. When G s connected, the contracton degeneracy of G s equal to the largest mnmum degree of any graph to whch G can be contracted [6]. The Contracton Degeneracy problem s to test whether the contracton degeneracy of a gven graph s at least d for some gven nteger d (see also [28] for extensons of ths problem). Bodlaender, Koster and Wolle [6] proved that ths problem s NP-complete, even for bpartte graphs, and that t s fxed-parameter tractable when parameterzed by d. They also evaluated a number of heurstcs for computng the contracton degeneracy Our results In order to defne the class Π of graphs that we consder, we need the followng termnology. A vertex u n a graph G = (V, E) s a neghbor of a vertex u f uv E G. We let N(u) = {uv v V} denote the neghborhood of u. The degree of a vertex u s denoted d(u) = N(u). We let δ = mn{d(v) v V} denote the mnmum degree of G. We study the Π-Contractblty problem where Π s the class of graphs of mnmum (vertex) degree at least d for some nteger d. Note that ths class of graphs does not satsfy the frst and thrd property of Asano and Hrata [2]. Moreover, for ths class of graphs, we allow the nteger d to be part of the nput as well. Ths leads to the followng problem. Degree Contractblty Instance: a graph G and two ntegers d and k. Queston: can G be modfed to a graph of mnmum degree at least d by at most k contractons? We observe that the problem becomes equvalent to the Contracton Degeneracy problem when the nput s restrcted to connected graphs G = (V, E) and k E. In Secton 2 we show that Degree Contractblty s fxed-parameter tractable when parameterzed by k and d. However, when ether k or d s part of the nput, Degree Contractblty becomes hard n the followng sense. Frst, f k s part of the

3 76 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) Table 1 An overvew of our results for the problems DC and WDC. Input Parameter DC WDC d, k NP-complete NP-complete d k W[1]-hard FPT k d para-np-complete para-np-complete d, k FPT FPT nput, then Degree Contractblty s NP-complete for any fxed d 14. Second, f d s part of the nput, then Degree Contractblty s W[1]-hard when parameterzed by k. These results complement the result of Amn, Sau and Saurabh [1] who showed that detectng a subgraph that has at most k vertces and mnmum degree at least d s W[1]-hard for any fxed d 4 when parameterzed by k. In Secton 3 we study a weghted verson of Degree Contractblty. In order to defne ths varant, let G = (V, E) be a weghted graph,.e., wth some edge weghtng w: E R >0 where R >0 denotes the set of postve real numbers. The weghted degree d w (u) of a vertex u s the sum of the weghts of the edges ncdent wth u n G,.e., d w (u) = v N(u) w(uv). We let δ w = mn{d w (v) v V} denote the mnmum weghted degree of G. The weghted contracton of an edge e = uv s a contracton of e where the weghts on the edges ncdent wth the new vertex x uv are defned as follows: w(x uv y) = w(uy) f y s adjacent to u and not adjacent to v; w(x uv y) = w(vy) f y s adjacent to v and not adjacent to u; w(x uv y) = w(uy) + w(vy) f y s adjacent to u and v. We can now state the new varant. Weghted Degree Contractblty Instance: a weghted graph G and two ntegers d and k. Queston: can G be modfed to a weghted graph of mnmum weghted degree at least d by at most k weghted contractons? Because the weght of an edge x uv y wth y adjacent to both u and v s the accumulated weght of the two orgnal edges uy and vy, Degree Contractblty s not a specal (unweghted) case of Weghted Degree Contractblty. However, we can make the followng observaton. A smple contracton s the operaton on loopless multgraphs that dentfes both end-vertces of the edges, keeps multple edges, but removes the loop that was created. The Weghted Degree Contractblty problem for nteger edge weghts on a graph G s equvalent to the varant of Degree Contractblty, where smple contractons are used on the loopless multgraph G obtaned from G by replacng each edge uv by w(uv) parallel edges. Contrary to the aforementoned W[1]-hardness result for Degree Contractblty when parameterzed by k, accumulatng the weghts after contractng an edge results n the problem not beng hard anymore,.e., we prove that Weghted Degree Contractblty s fxed-parameter tractable when parameterzed by k even when d s part of the nput. If both d and k are parts of the nput, then Weghted Degree Contractblty s NP-complete n the strong sense for nteger edge weghts, even n the case when k E. The latter case s equvalent to the case, n whch there s no upper bound mposed on the number of weghted contractons. We denote ths specal case as the problem Weghted Contracton Degeneracy Instance: a weghted graph G and an nteger d. Queston: can G be modfed to a weghted graph of mnmum weghted degree at least d by weghted contractons? We prove that ths problem s fxed-parameter tractable when parameterzed by d. Both ths result and the aforementoned NP-completeness result are based on an equvalence, whch we pnpont, between Weghted Contracton Degeneracy and the problem that s to test whether a connected graph has a mnmal edge-cut of some gven sze. Table 1 summarzes our results for the Degree Contractblty (DC) problem and the Weghted Degree Contractblty (WDC) problem. In ths table, the para-np-completeness of the problem Weghted Degree Contractblty parameterzed by d mmedately follows from our result that Weghted Degree Contractblty s NP-complete n the strong sense for nteger edge weghts, whch allows us to fx d = 1 after dvdng all edge weghts by d. However, when we restrct the edge weghtng to be nteger, the correspondng problem s stll open. In Secton 4 we dentfy two related problem settngs. In the frst settng weghted plane graphs are consdered, where the edge weghtngs defne weghted degrees of the faces. In the second settng, party constrants are consdered nstead of degree constrants. We show how these problem settngs are related wth our prevous problems, and we study them usng results of the prevous sectons Prelmnares Let G = (V, E) be a (weghted) graph. A subset U V s a clque f there s an edge n G between any two vertces of U, and U s an ndependent set f there s no edge n G between any two vertces of U. We wrte G[U] to denote the subgraph of G

4 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) nduced by U V,.e., the graph on vertex set U and an edge between any two vertces f and only f there s an edge between them n G. We let G/e denote the (weghted) graph obtaned from G by the (weghted) contracton of e. If a (weghted) graph H s obtaned from G by a sequence of (weghted) contractons, then H s a (weghted) contracton of G. For a weghted graph G wth an edge weghtng w and X E, we wrte w(x) = e X w(e). Let G and H be two graphs. An H-wtness structure W s a vertex partton of G nto V H (nonempty) sets W(x) called H-wtness bags, such that () each W(x) nduces a connected subgraph of G; () for all x, y V H wth x y, bags W(x) and W(y) are adjacent n G f and only f x and y are adjacent n H; By contractng all bags to sngletons we observe that H s a contracton of G f and only f G has an H-wtness structure such that condtons () () hold. Note that a graph may have more than one H-wtness structure. 2. Contractons Frst, we observe that Degree Contractblty s FPT when parameterzed by k and d. Proposton 1. Degree Contractblty can be solved n tme O(d k (n + m)) for graphs wth n vertces and m edges. Proof. Let G be a graph wth n vertces and m edges. We gve the followng branchng algorthm. Let d G (u) < d for some vertex u V G. We consder all edges e ncdent wth u, and call our algorthm recursvely for G/e and parameter k = k 1. The algorthm returns Yes, f for at least one of the new nstances the answer s Yes, and t returns No otherwse. Snce for each recursve call of our algorthm, we create at most d 1 nstances of the problem, and the depth of the recurson s at most k, the algorthms runs n tme O(d k (n + m)). A graph G s r-degenerate for some nteger r f δ(h) r for every subgraph H of G. A graph class G s contracton-closed f G/e G for every graph G G and every e E G. Proposton 1 has the followng consequence. Corollary 1. Let G be a contracton-closed graph class so that all graphs n G are r-degenerate for some nteger r 0. Then Degree Contractblty can be solved n tme O(r k (n + m)) for every G G wth n vertces and m edges. Proof. If d > r, then we cannot modfy a graph G G to a graph of mnmum degree at least d by edge contractons. Otherwse, we apply Proposton 1. Corollary 1 holds, for example, for the class of planar graphs whch are 5-degenerate, or more general, for bounded-genus graph classes and excluded-mnor graph classes. For general graphs, we observe that Degree Contractblty s n XP when parameterzed by k,.e., t can be solved n n f (k) tme for n-vertex graphs by checkng all sequences of at most k contractons (here f s some functon dependng only on k). However, we show that t s unlkely to be solvable n FPT-tme. Theorem 1. Degree Contractblty parameterzed by k s W[1]-hard. Proof. The problem Multcolored Clque s to test whether a graph wth a proper k-colorng contans a clque of sze k wth exactly one vertex from each color class. Fellows et al. [11] proved that ths problem s W[1]-hard when parameterzed by k. Consequently, ts complementary problem, the problem Multcolored Independent Set, whch s to test whether a graph wth a partton X 1,..., X k of the vertex set, where each X s a clque, has an ndependent set of sze k wth exactly one vertex from each X, s W[1]-hard as well when parameterzed by k. Our am s to reduce Degree Contractblty to ths problem. Let (G, k) wth a partton X 1,..., X k of V G be an nstance of Multcolored Independent Set. Let clque X = {x 1,..., x n } for {1,..., k} where we assume wthout loss of generalty that n 2. Let d = n(4k + 3) + 1. From G we construct a graph G n the followng way. Recall that connectng two vertces means addng an edge between them. 1. Construct a clque W wth vertces w 1,..., w d Connect every x wth w 1,..., w t where t = d d G (x ) n 4k Add vertces y 1,..., y k. 4. For every x, construct a clque Q wth vertces r, a (1),..., a (2k+1), b (1) wth x and y. Moreover, connect every r wth w 1,..., w d (4k+3), every a (s) w 4k+5,..., w d Construct a clque C wth vertces c 1,..., c k+2, z 1,..., z k. 6. For h = 1,..., k + 2, connect c h wth w 1,..., w d 2k+1 7. For = 1,..., k, connect z wth every vertex of X.,..., b (2k+1) and connect every vertex of Q wth w 1,..., w d (4k+3), and every b (s) wth Stages 1 4 of the constructon are shown n Fg. 1(a), and Stages 5 7 are shown n Fg. 1(b). We let k = k(2k + 3) and clam that G has an ndependent set wth exactly one vertex from each X f and only f G can be modfed to a graph H wth mnmum degree at least d by at most k contractons.

5 78 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) Fg. 1. The constructon of G. Frst suppose that {x 1j1,..., x kjk } s an ndependent set n G. For = 1,..., k, let A = {a (1) b (1),..., a (2k+1) b (2k+1), r y, x z } be a set of 2k + 3 edges n G. We contract every edge n every A. Then the total number of contractons s k(2k + 3) = k. Moreover, the resultng graph has mnmum degree at least d. Now suppose that G can be modfed to a graph H wth mnmum degree at least d by at most k contractons. Let W be an H-wtness structure of G. For each bag W of W, we choose an arbtrary spannng tree of G [W]. Let A E G denote the unon of the sets of edges of these trees. Because we obtan H by contractng the edges of A, we fnd that A k. Clam 1. A = A 1 A k, where each A = {x z, y f, g 1 h 1,..., g 2k+1 h 2k+1 } wth {f, g 1,..., g 2k+1, h 1,..., h 2k+1 } = Q. We prove Clam 1 as follows. Let 1 k. Because d G (y ) < d, at least one edge ncdent wth y must be ncluded n A. Assume that y f A for some f Q. Note that after contractng y f, all 4k + 2 vertces of Q \ {f } have degrees less that d. Hence, at least 2k + 1 edges ncdent wth these vertces must be contracted. We also note that d G (z ) < d. Therefore, at least one edge ncdent wth z must be n A. Suppose that z t A for some t C. Then, after contractng z t, all other 2k vertces of C have degrees less than d. Hence, we must contract at least k edges ncdent wth these vertces. Because the total number of contractons s k = k(2k + 3) and we also need to contract at least 2k + 3 edges for every h, ths s not possble. We conclude that z x A for some 1 j n and that A = {x z, y f, g 1 h 1,..., g 2k+1 h 2k+1 } wth {f, g 1,..., g 2k+1, h 1,..., h 2k+1 } = Q. We now consder x and observe that by contractng the edges g 1 h 1,..., g 2k+1 h 2k+1 we decreased the degree of x by 2k + 1. Hence, j = j and Clam 1 follows. Due to Clam 1, we can defne the set {x 1j1,..., x kjk } wth x z A for = 1,..., k. We prove that ths s an ndependent set n G. In order to obtan a contradcton, assume that there s an edge x x j E G. Recall that d G (x j) = d G (x j) + (n 1) + (4k + 3) t = d + 1. Contractng those edges of A that have both end-vertces n Q decreases the degree of x j by 2k + 1. Moreover, after contractng the edges n A and A, the edges z z and x x j have been replaced by one edge. Because z s adjacent to all vertces n C \{z }, ths means that the degree of the vertex of H obtaned by contractng x jz s at most d + 1 (2k + 1) 2 + (2k + 1) = d 1. Ths s not possble. Hence, {x 1j1,..., x kjk } s an ndependent set n G wth a vertex, namely x j, from each X, as desred. Ths completes the proof of Theorem 1. If we parameterze the problem only by d, then Degree Contractblty becomes hard even f d s a fxed nteger. Theorem 2. For any fxed d 14, Degree Contractblty s NP-complete. Proof. The ncluson of the problem n NP s obvous. For smplcty, we prove NP-hardness for d = 14. We reduce from the NP-complete Set Cover problem [14]. Ths problem s defned as follows. Gven a set U = {u 1,..., u m }, a famly of subsets X 1,..., X n U and an nteger r, are there at most r subsets that cover U,.e., ther unon s U? It s known [14] that ths problem remans NP-complete even f () each X has cardnalty 3, and () each u j s ncluded n ether two or three subsets of X 1,..., X n. We consder an nstance (U, X 1,..., X n ) of Set Cover wth restrctons () and (). We construct a graph G n the followng way; also see Fg. 2. We say that we connect a vertex wth some other vertex f we add an edge between them. 1. Construct a clque wth 13 vertces w 1,..., w Add two new vertces s, t and connect each of them wth w 1,..., w For = 1,..., n, add a vertex x and connect t wth s, t. 4. For = 1,..., n, add two adjacent vertces p (1), p (2), connect p (1) wth s, w 1,..., w 11, x, and connect p (2) s, w 3,..., w 13, x. 5. For j = 1,..., m, add a vertex u j and connect t wth t. wth

6 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) Fg. 2. The constructon of G. 6. Connect x and u j whenever u j X. In that case also add two adjacent vertces q (1), q (2), connect q (1) wth x, u j, w 1,..., w 11 and connect q (2) wth x, u j, w 3,..., w For j = 1,..., m, connect u j wth w 1,..., w 8 f u j occurs n two subsets of X 1,..., X n, and connect u j wth w 1,..., w 6 f u j occurs n three subsets. We set k = n + r and clam that U can be covered by at most r subsets of {X 1,..., X n } f and only f G can be modfed to a graph wth mnmum degree at least d = 14 by at most k contractons. Frst suppose that X 1,..., X r s a set cover of U,.e., U = X 1 X r. For j = 1,..., r, we contract the edges sx and p (1) j p (2) j. We also contract the edge x t for every / { 1,..., r }. The total number of contractons s 2r + (n r) = n + r = k. Moreover, the resultng graph s readly seen to have mnmum degree at least 14, as desred. Now suppose G can be modfed to a graph H wth mnmum degree at least d = 14 by at most k contractons. Let W be an H-wtness structure of G. For each bag W of W, we choose an arbtrary spannng tree of G[W]. Let A E G denote the unon of the sets of edges of these trees. Because H s obtaned by contractng the edges of A, we fnd that A k. For each X, we defne a set of edges E E G as follows. The set E ncludes all edges ncdent wth x, p (1), p (2), and all edges ncdent wth q (1), q (2) for every u j X. Moreover, we choose one vertex u j X and also add all (other) edges ncdent wth u j to E. The sets E 1,..., E n have the followng propertes. 1. E E j = for 1 < j n. 2. E A for = 1,..., n. 3. The number of sets E wth E A 2 s at most r. Property 1 s true by defnton. Property 2 follows from the fact that d G (x ) = 13 < 14 = d; therefore, at least one edge ncdent wth x must be contracted. Property 3 follows from propertes 1 and 2 and the aforementoned observaton that A k = n + r. Let I = { E A 2}. We clam that I X = U. In order to obtan a contradcton, assume that there s a vertex u j U \ I X. Then, for each X wth u j X, we fnd that E contans a unque edge e E A. Because d G (x ) = 13 < d, e s ncdent wth x. If e = sx, then contractng e decreases the degree of p (1) and p (2). Because they both have degree 14, at least one edge ncdent wth them must be contracted as well. Hence, e sx. Smlarly, f e = x p (1) then contractng e decreases the degree of p (2). Hence, e x p (1). We apply the same arguments on the other edges n E and conclude that the only possblty s e = x t. Now we consder two cases. Case 1. u j s ncluded n exactly two sets X 1, X 2. Then edges x 1 t, x 2 t are contracted, whereas all other edges ncdent wth x 1, x 2 and also edges p (1) 1 p (2) 1, p (1) 2 p (2) 2, q (1) 1 j q(2) 1 j, q(1) 2 j q(2) 2 j are not contracted. Moreover, no edges ncdent wth u j are contracted, because these belong to E 1 E 2. However, then u j has degree at most 13 < d n H, a contradcton. Case 2. u j s ncluded n three sets X 1, X 2, X 3. By the same arguments as n Case 1, we fnd that the degree of u j n H s at most 13 < d, a contradcton. We conclude that {X I} s a set cover, whch contans at most r sets due to Property 3. Ths completes the proof of Theorem 2. Whle t can be easly seen that for any fxed d 3, Degree Contractblty can be solved n polynomal tme, determnng the complexty for 4 d 13 s an open queston. 3. Weghted contractons 3.1. Weghted Degree Contractblty parameterzed by k We frst show that Weghted Degree Contractblty s n FPT when parameterzed by k. Recall that x uv denotes the vertex obtaned from u and v after contractng an edge uv n a graph.

7 80 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) Theorem 3. Weghted Degree Contractblty can be solved n tme O(2 k k 2k (n + m)) for weghted graphs wth n vertces and m edges. Proof. Let d and k be two ntegers, and let G be a weghted graph wth n vertces and m edges. Below we present our algorthm for decdng whether G can be modfed to a weghted graph of mnmum weghted degree at least d by at most k weghted contractons. Let U = {u V G d w G (u) < d} and let r = U. Trvally, f r = 0, then the answer s Yes. If r 1, then we branch accordng to the followng four cases. Case 1. r > 2k. The algorthm returns No. The reason s that at least one edge ncdent wth each vertex of U must be contracted to get a graph of mnmum weghted degree at least d, and every edge s ncdent wth at most two vertces of U. Case 2. r 2k and there s a vertex u U wth d G (u) k. At least one edge ncdent wth u must be contracted to obtan a graph of mnmum degree at least d. Hence, for each edge e ncdent wth u, we call our algorthm recursvely for G/e and parameter k = k 1. The algorthm returns Yes f for at least one of the new nstances the answer s Yes, and No otherwse. Case 3. k < r 2k and d G (u) k + 1 for all u U. If G can be contracted to a graph of mnmum weghted degree at least d, then at least one edge wth both ts end-vertces n U must be contracted. Note that there at most k(2k 1) such edges. If there are no such edges, then the algorthm returns No. Otherwse, for each e = xy wth x, y U, we call our algorthm recursvely for G/e and parameter k = k 1. The algorthm returns Yes f for at least one of the new nstances the answer s Yes, and No otherwse. Case 4. r k and d G (u) k + 1 for all u U. Let U = {u 1,..., u r }. Each u s adjacent to at least two vertces n V G \ U. For = 1,..., r, we do the followng. Let y, z be two neghbors of u n V G \ U, where we assume that w(u y) w(u z). Let G = G/u y. Then we deduce that d w G (x u y) = d w G (u ) + d w G (y) 2w(u y) w(u y) + w(u z) + d w G (y) 2w(u y) = d w G (y) w(u y) + w(u z) d w G (y) d. Hence, we contract u y and recursvely proceed wth G and U = U \ {u }. Note that the weghted contracton of u y does not change the weghted degrees of the other vertces. Consequently, each vertex n U s adjacent to at least two vertces of weghted degree at least d n G, and U s the set of vertces of weghted degree at most d 1 n G. Then after processng u r, we obtan a graph of mnmum degree at least d by usng r k weghted contractons. Hence, our algorthm always returns Yes n ths case. To estmate the runnng tme, observe that for each recursve call of our algorthm, we create at most k(2k 1) nstances of the problem, and the depth of the recurson s at most k. Hence, the algorthm runs n tme O(2 k k 2k (n + m)) Weghted Contracton Degeneracy Recall that we call the specal case of Weghted Degree Contractblty. n whch there s no upper bound on the number of weghted contractons,.e., n whch k = E G, the Weghted Contracton Degeneracy problem. In ths secton we prove that Weghted Degree Contractblty s NP-complete n the strong sense but FPT when parameterzed by d f all edge weghts are ntegers. We frst ntroduce some extra termnology. Let G = (V, E) be a connected graph. For a proper subset U V, the set of edges that have one end-vertex n U and the other one n U = V \ U s called an edge-cut denoted E(U, U). An edge-cut C s mnmal f G has no edge cut C C. The followng lemma s well known (see e.g [10]). Lemma 1. Let G = (V, E) be a connected graph and U V. Then E(U, U) s a mnmal edge-cut of G f and only f G[U] and G[U] are both connected. For the proofs of our results we also need the followng lemma. Lemma 2. Let G be a connected weghted graph wth an edge weghtng w, and let d R >0. Then G has a weghted contracton H wth δ w (H) d f and only f G has a mnmal edge-cut C wth w(c) d. Proof. Frst suppose that H s a weghted contracton of G wth δ w (H) d. Let W be a correspondng H-wtness structure. Let x be a vertex of H that s not a cut-vertex. Then the subgraphs of G nduced by U = W(x) and by U, respectvely, are connected. Lemma 1 tells us that C = E(U, U) s a mnmal edge-cut of G. Because d w H (x) d, we deduce that w(c) d.

8 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) Now suppose that G has a mnmal edge-cut C = E(U, U) wth w(c) d. Then G[U] and G[U] are connected graphs due to Lemma 1. Contractng the edges of G[U] and G[U] yelds a graph H that has two vertces and one edge wth weght at least d. Hence, δ w (H) d. Lemma 2 mples that the Weghted Contracton Degeneracy problem s equvalent to the Maxmum Mnmal Cut problem that s to test whether a connected graph G wth an edge weghtng w has a mnmal edge-cut C wth w(c) d for some gven nteger d. A problem s sad to be NP-complete n the strong sense, f t remans NP-complete even when all of ts numercal parameters are bounded by a polynomal n the sze of the nput. We prove that Weghted Degree Contractblty s NP-complete n the strong sense. Theorem 4. Weghted Contracton Degeneracy wth nteger edge weghts s NP-complete n the strong sense. Proof. It s clear that the problem s n NP. In order to prove NP-hardness, we reduce from the Max-Cut problem. Ths NP-complete problem [7] s to test whether a connected graph G has an edge-cut C wth at least s edges for some gven nteger s. Gven an nstance (G, s) of Max-Cut, we construct a weghted graph G as follows. We add two new adjacent vertces u and v to G by makng each of them adjacent to all vertces of G. We set w(uv) = n + m, and w(e) = 1 for all other edges n G. We let d = 2n + m + s. In ths way we obtaned an nstance (G, d) of Weghted Contracton Degeneracy. Observe that all numercal parameters of ths nstance,.e., all edge weghts and d are polynomally bounded n n and m. We clam that G has an edge-cut C wth C s f and only f G has a mnmal edge-cut C wth w(c ) d. Frst suppose that G has an edge-cut C = E G (U, U) wth C s. We defne U = U {u} and U = (V G \ U) {v}. Because both u and v are adjacent to all vertces of G, we fnd that both G [U ] and G [U ] are connected. Then Lemma 1 tells us that C = E G (U, U ) s a mnmal edge-cut of G. We also deduce that w(c ) w(uv) + n + s = n + m + n + s = d. Now suppose that G has a mnmal edge-cut C = E G (U, U ) wth w(c ) d. If u, v U or (symmetrcally) u, v U, then C E G +2n = 2n+m < d. Because C only contans edges of weght 1, we obtan w(c ) < d, whch s not possble. Hence, ether u U, v U or v U, u U. We may assume wthout loss of generalty that u U, v U. Then C = E G (U \ {u}, U \ {v}) s an edge-cut n G wth C = w(c ) w(uv) n d (n + m) n = 2n + m + s n m n = s. To conclude the proof, t remans to observe that, by Lemma 2, G has a weghted contracton H wth δ w (H) d f and only f G has a mnmal edge-cut C wth w(c ) d. Due to Theorem 4, we mmedately obtan the followng result by takng k = E. Corollary 2. Weghted Degree Contractblty wth nteger edge weghts s NP-complete n the strong sense. Recall that Contracton Degeneracy s n FPT when parameterzed by d [6]. We now show that Weghted Contracton Degeneracy s also FPT when parameterzed by d. For dong ths we frst gve some extra termnology. A tree decomposton of a graph G s a par (X, T) where T s a tree, the vertces of whch are called nodes, and X = {X V T } s a collecton of subsets (called bags) of V G such that the followng three condtons are satsfed: 1. V T X = V G ; 2. for each edge xy E G, the vertces x, y are n a bag X for some V T ; 3. for each x V G, the set { x X } nduces a connected subtree of T. The wdth of tree decomposton (X, T) s max VT { X 1}. The treewdth of a graph G s the mnmum wdth over all tree decompostons of G. Theorem 5. Weghted Contracton Degeneracy wth nteger edge weghts s n FPT when parameterzed by d. Proof. Let G = (V, E) be a weghted graph and d be a nonnegatve nteger. We may assume wthout loss of generalty that G s connected, as otherwse we can consder each connected component of G separately. We use Bodlaender s algorthm [5] to check n lnear tme whether the treewdth of G s at most 2d 2. Frst suppose that the treewdth of G s at most 2d 2. Because all edge weghts are ntegers, for a gven d, we can express Weghted Contracton Degeneracy n monadc second order logc usng Lemmas 1 and 2. Then we apply the well-known result of Courcelle [9] to solve the problem n lnear tme. Now suppose that the treewdth of G s at least 2d 1. We clam that G contans a mnmal edge-cut C wth w(c) d. In order to obtan a contradcton, we assume that all mnmal edge-cuts of G have weght less than d. We recursvely construct a tree decomposton of G as follows. Durng ts constructon we mantan the followng property. Suppose that at some moment we have constructed a tree decomposton (X, T) of a subgraph of G nduced by a subset U V. Then for each mnmal edge-cut C E G (U, U) of G the set Z = {z U z s ncdent wth an edge of C}

9 82 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) must be ncluded n some bag of (X, T). To ensure ths property, ntally, we set U = {u} for an arbtrary vertex u V. Then we recursvely extend U untl we get V as follows. Let C E G (U, U) be a mnmal edge-cut of G. Defne the sets Z = {z U z s ncdent wth an edge of C} Z = {z U z s ncdent wth an edge of C}. and Let X be a bag of the tree decomposton of G[U] that contans Z. We set U = U Z. To obtan a tree decomposton of G[U ], we add a pendant node j adjacent to node and defne the bag X j as Z Z. Then Z Z 2 C 2d 2, where the latter nequalty follows from the fact that C < d, as all edge weghts are postve ntegers and we assume that w(c) < d. For every mnmal edge-cut C E G (U, U ), the set of vertces n U ncdent wth an edge of C s ether contaned n Z or n Z. In the frst case we take the bag X, and n the second case we take the bag X j. Hence, we may proceed wth U and the obtaned tree decomposton of G[U ]. Ths eventually leads to a tree decomposton of G that has wdth at most 2d 2; a contradcton. By ths clam and Lemma 2, we conclude that the answer s always a Yes f the treewdth of G s at least 2d Concludng remarks We leave the problem of determnng the complexty of Weghted Degree Contractblty wth nteger edge weghts, when parameterzed by d, as an open problem. We conclude our paper wth two addtonal results Weghted Face Degree Subgraph We show that our algorthm from Theorem 3 can be appled for weghted faces n plane graphs; for the defntons of a plane graph and the geometrc dual of a plane graph and other related notons we refer the reader to the text-book of Destel [10]. The weghted face degree of a face f of a plane weghted graph G s the sum of all the weghts of the edges of G ncdent wth f. The Weghted Face Degree Subgraph problem s to test whether a plane weghted graph G can be modfed to a plane weghted graph of mnmum weghted face degree at least d by usng at most k edge removals. Theorem 6. Weghted Face Degree Subgraph s n FPT when parameterzed by k. Proof. Gven an nstance of Weghted Face Degree Subgraph wth a plane weghted graph G and an nteger d we do as follows. Let G denote the geometrc dual of G. There s a one-to-one correspondence between the edges of G and the edges of G. Let e be the edge of G that corresponds to the edge e n G. We assgn weghts to the edges of G n the followng way: w G (e ) = w G (e). An embedded contracton of an edge e of a plane graph s a contracton of e that respects the embeddng and keeps multple edges f they appear (that s, f the endponts of e have common neghbors). We observe that the dual of the graph obtaned from a plane graph G by removng an edge e s the graph obtaned from G by an embedded contracton of e. We apply our algorthm from Theorem 3 for Weghted Degree Contractblty for G and degree d. Note that there s a one-to-one correspondence between the faces of G and the vertces of G. Therefore, weghted contractons can smulate the face degree transformatons of a graph wth embedded contractons and multple edges. Due to the equvalence between edge removals n a plane graph and embedded edge contractons n ts dual, the sequence of k edges of G that s a soluton to the Weghted Degree Contractblty problem can be transformed nto a sequence of k edge removals n G. Hence, Weghted Face Degree Subgraph can be solved n FPT tme Euleran Smple-Contractblty As future work, one may consder other varants of constraned contractblty problems, for example by mposng party constrans. To show that ths may be nterestng, we spot an algorthm that solves such a problem. Recall that a smple contracton s the operaton on loopless multgraphs that dentfes both end-vertces of the edge and keeps multple edges but removes the loop that was created. A connected multgraph s Euleran f all ts vertces have even degree. The problem Euleran Smple-Contractblty s to fnd the mnmum number of smple contractons that transforms a connected multgraph nto an Euleran graph. Whle t has never been stated explctly n the lterature, Euleran Smple-Contractblty admts a polynomal-tme algorthm. We show ths below. Let G be a multgraph. A vertex of G s odd (or even) when ts degree s odd (or even). An odd-vertex parng s a subset of edges, whose removal from G yelds a multgraph that contans no odd vertces. Hadlock [15] consdered mnmum oddvertex parngs and proved the followng result. Lemma 3 ([15]). Let P be a subset of edges of a multgraph G. Then P s a mnmum odd-vertex parng f and only f P forms a collecton of edge-dsjont paths wth the odd vertces of G as endponts, usng each as an endpont once, and wth mnmum sum of path lengths.

10 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) We use Lemma 3 to show the followng lemma. Lemma 4. Let P be a subset of edges of a multgraph G. Then P s a mnmum set of edges whose smple contractons transform G nto an Euleran graph f and only f P s a mnmum odd-vertex parng of G. Proof. Frst suppose that P s a mnmum set of edges whose smple contractons transform G nto an Euleran graph. We wll prove that P s a mnmum odd-vertex parng by nducton on P. Let P = 1. Then the endponts of the only edge e n P must be odd n G, and they must be the only two odd vertces n G, because P s a mnmum set of edges whose smple contractons transform G nto an Euleran graph. Hence, P s an odd-vertex parng. Because P = 1, we deduce that P s mnmum. Let P > 1. Let C be a connected component of P. Because P s mnmum, C s a tree. Consder an edge vw n P such that v s a leaf of C (and w s ts neghbor n C). Let x vw be the new vertex obtaned as the result of a smple contracton of vw. Also, let P be the resultng set of edges obtaned from P, and let G be the resultng multgraph obtaned from G, after performng the smple contracton of vw. Then P s a mnmum set of edges whose smple contractons transform G nto an Euleran graph. By our nducton hypothess, P s a mnmum odd-vertex parng of G. If v s even n G, then the smple contractons of all the edges n P except the edge ncdent wth ths leaf would transform G nto an Euleran graph; a contradcton wth the choce of P. Hence, v s an odd vertex n G. If w s odd n G, then x vw s even n G, because v s odd n G. Ths s not possble, because P s a mnmum odd-vertex parng of G, and by Lemma 3 ths means that P forms a collecton of edge-dsjont paths wth the odd vertces of G as endponts, usng each as an endpont once, Hence, w s even n G. Consequently, P forms a collecton of edge-dsjont paths wth the odd vertces of G as endponts, usng each as an endpont once. Moreover, P s mnmum because we need at least one edge to cover v. By Lemma 3, we then fnd that P s a mnmum odd-vertex parng of G. Now suppose that P s a mnmum odd-vertex parng. Then Lemma 3 tells us that P forms a collecton of edge-dsjont paths wth the odd vertces of G as endponts, usng each as an endpont once, and wth mnmum sum of path lengths. We observe that the vertex obtaned by the smple contracton of an edge xy E s odd f and only f one of {x, y} s even and the other one s odd. Hence, the smple contractons of all edges n P transform G nto an Euleran graph. Suppose that there exsts a smaller set P of edges whose smple contractons transform G nto an Euleran graph. Then we may assume wthout loss of generalty that P s mnmum. However, as shown n the forward mplcaton, P s a mnmum odd-vertex parng as well. Ths s not possble. Hence, P s mnmum. Ths completes the proof of Lemma 4. Hadlock [15] observed that a mnmum odd-vertex parng can be computed n polynomal tme by a reducton to a maxmum matchng problem. Ths observaton and Lemma 4 mply the followng theorem. Theorem 7. The Euleran Smple-Contractblty problem can be solved n polynomal tme. Acknowledgment We thank Hans Bodlaender for useful comments and remarks. References [1] O. Amn, I. Sau, S. Saurabh, Parameterzed complexty of fndng small degree-constraned subgraphs, J. Dscrete Algorthms 10 (2012) [2] T. Asano, T. Hrata, Edge-contracton problems, J. Comput. Syst. Sc. 26 (1983) [3] R. Belmonte, P. Heggernes, P. van t Hof, Edge contractons n subclasses of chordal graphs, n: Proceedngs of the 8th Annual Conference on Theory and Applcatons of Models of Computaton, TAMC 2011, n: Lecture Notes n Computer Scence, vol. 6648, 2010, pp [4] R. Belmonte, P.A. Golovach, P. Heggernes, P. van t Hof, M. Kamńsk, D. Paulusma, Detectng contractons n chordal graphs va dsjont paths, n: Proceedngs of the 22nd Internatonal Symposum on Algorthms and Computaton, ISAAC 2011, n: Lecture Notes n Computer Scence, vol. 7074, 2011, pp [5] H.L. Bodlaender, A lnear-tme algorthm for fndng tree-decompostons of small treewdth, SIAM J. Comput. 25 (1996) [6] H.L. Bodlaender, T. Wolle, A.M.C.A. Koster, Contracton and treewdth lower bounds, J. Graph Algorthms Appl. 10 (2006) [7] P. Bonsma, H. Broersma, V. Patel, A.V. Pyatkn, The complexty status of problems related to sparsest cuts, n: Proceedngs of the 21st Internatonal Workshop on Combnatoral Algorthms, n: Lecture Notes n Computer Scence, vol. 6460, 2010, pp [8] A.E. Brouwer, H.J. Veldman, Contractblty and NP-completeness, J. Graph Theory 11 (1987) [9] B. Courcelle, The monadc second-order logc of graphs. I. Recognzable sets of fnte graphs, Inf. Comput. 85 (1) (1990) [10] R. Destel, Graph Theory, Sprnger-Verlag, Electronc Edton, [11] M.R. Fellows, D. Hermeln, F.A. Rosamond, S. Valette, On the parameterzed complexty of multple-nterval graph problems, Theor. Comput. Sc. 410 (2009) [12] R.G. Downey, M.R. Fellows, Parameterzed Complexty, Sprnger, [13] D. Eppsten, Fndng large clque mnors s hard, J. Graph Algorthms Appl. 13 (2009) [14] M.R. Garey, D.S. Johnson, Computers and Intractablty: A Gude to the Theory of NP-Completeness, W.H. Freeman, [15] F. Hadlock, Fndng a maxmum cut of a planar graph n polynomal tme, SIAM J. Comput. 4 (1975) [16] R. Hammack, A note on the complexty of computng cyclcty, Ars Combn. 63 (2002) [17] P. Heggernes, P. van t Hof, B. Lévěque, C. Paul, Contractng chordal graphs and bpartte graphs to paths and trees, n: Proceedngs of LAGOS 2011, n: Electronc Notes n Dscrete Mathematcs, vol. 37, 2011, pp [18] P. Heggernes, P. van t Hof, D. Lokshtanov, C. Paul, Obtanng a bpartte graph by contractng few edges, n: Proceedngs of FSTTCS 2011, n: Lebnz Internatonal Proceedngs n Informatcs, vol. 13, 2011, pp [19] P. Heggernes, P. van t Hof, B. Lévěque, D. Lokshtanov, C. Paul, Contractng graphs to paths and trees, n: Proceedngs of IPEC 2011, n: Lecture Notes n Computer Scence, vol. 7112, 2012, pp [20] P. van t Hof, M. Kamńsk, D. Paulusma, S. Szeder, D.M. Thlkos, On graph contractons and nduced mnors, Dscrete Appl. Math. 160 (2012) [21] P. van t Hof, D. Paulusma, G.J. Woegnger, Parttonng graphs nto connected parts, Theoret. Comput. Sc. 410 (2009)

11 84 P.A. Golovach et al. / Theoretcal Computer Scence 481 (2013) [22] M. Kamńsk, D. Paulusma, D.M. Thlkos, Contractons of planar graphs n polynomal tme, n: Proceedngs of the 18th Annual European Symposum on Algorthms, ESA 2010, n: Lecture Notes n Computer Scence, vol. 6346, 2010, pp [23] A. Levn, D. Paulusma, G.J. Woegnger, The computatonal complexty of graph contractons I: polynomally solvable and NP-complete cases, Networks 51 (2008) [24] A. Levn, D. Paulusma, G.J. Woegnger, The computatonal complexty of graph contractons II: two tough polynomally solvable cases, Networks 52 (2008) [25] B. Martn, D. Paulusma, The computatonal complexty of dsconnected cut and 2K 2 -partton, n: Proceedngs of the 17th Internatonal Conference on Prncples and Practce of Constrant Programmng, CP 2011, n: Lecture Notes n Computer Scence, vol. 6876, 2011, pp [26] D. Marx, B. O Sullvan, I. Razgon, Fndng small separators n lnear tme va treewdth reducton, ACM Trans. Algorthms (n press). [27] R. Nedermeer, Invtaton to Fxed-Parameter Algorthms, Oxford Unversty Press, [28] D. Rcherby, D.M. Thlkos, searchng for a vsble, lazy fugtve, SIAM J. Dscrete Math. 25 (2) (2011) [29] T. Watanabe, T. Ae, A. Nakamura, On the removal of forbdden graphs by edge-deleton or edge-contracton, Dscrete Appl. Math. 3 (1981) [30] T. Watanabe, T. Ae, A. Nakamura, On the NP-hardness of edge-deleton and edge-contracton problems, Dscrete Appl. Math. 6 (1983)

Increasing the Minimum Degree of a Graph by Contractions

Increasing the Minimum Degree of a Graph by Contractions Increasing the Minimum Degree of a Graph by Contractions Petr A. Golovach 1, Marcin Kamiński 2, Daniël Paulusma 1, and Dimitrios M. Thilikos 3 1 School of Engineering and Computing Sciences, Durham University,

More information

For instance, ; the five basic number-sets are increasingly more n A B & B A A = B (1)

For instance, ; the five basic number-sets are increasingly more n A B & B A A = B (1) Secton 1.2 Subsets and the Boolean operatons on sets If every element of the set A s an element of the set B, we say that A s a subset of B, or that A s contaned n B, or that B contans A, and we wrte A

More information

CHAPTER 2 DECOMPOSITION OF GRAPHS

CHAPTER 2 DECOMPOSITION OF GRAPHS CHAPTER DECOMPOSITION OF GRAPHS. INTRODUCTION A graph H s called a Supersubdvson of a graph G f H s obtaned from G by replacng every edge uv of G by a bpartte graph,m (m may vary for each edge by dentfyng

More information

F Geometric Mean Graphs

F Geometric Mean Graphs Avalable at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Vol. 10, Issue 2 (December 2015), pp. 937-952 Applcatons and Appled Mathematcs: An Internatonal Journal (AAM) F Geometrc Mean Graphs A.

More information

the nber of vertces n the graph. spannng tree T beng part of a par of maxmally dstant trees s called extremal. Extremal trees are useful n the mxed an

the nber of vertces n the graph. spannng tree T beng part of a par of maxmally dstant trees s called extremal. Extremal trees are useful n the mxed an On Central Spannng Trees of a Graph S. Bezrukov Unverstat-GH Paderborn FB Mathematk/Informatk Furstenallee 11 D{33102 Paderborn F. Kaderal, W. Poguntke FernUnverstat Hagen LG Kommunkatonssysteme Bergscher

More information

The Erdős Pósa property for vertex- and edge-disjoint odd cycles in graphs on orientable surfaces

The Erdős Pósa property for vertex- and edge-disjoint odd cycles in graphs on orientable surfaces Dscrete Mathematcs 307 (2007) 764 768 www.elsever.com/locate/dsc Note The Erdős Pósa property for vertex- and edge-dsjont odd cycles n graphs on orentable surfaces Ken-Ich Kawarabayash a, Atsuhro Nakamoto

More information

Capacitated Domination and Covering: A Parameterized Perspective

Capacitated Domination and Covering: A Parameterized Perspective Capactated Domnaton and Coverng: A Parameterzed Perspectve Mchael Dom Danel Lokshtanov Saket Saurabh Yngve Vllanger Abstract Capactated versons of Domnatng Set and Vertex Cover have been studed ntensvely

More information

6.854 Advanced Algorithms Petar Maymounkov Problem Set 11 (November 23, 2005) With: Benjamin Rossman, Oren Weimann, and Pouya Kheradpour

6.854 Advanced Algorithms Petar Maymounkov Problem Set 11 (November 23, 2005) With: Benjamin Rossman, Oren Weimann, and Pouya Kheradpour 6.854 Advanced Algorthms Petar Maymounkov Problem Set 11 (November 23, 2005) Wth: Benjamn Rossman, Oren Wemann, and Pouya Kheradpour Problem 1. We reduce vertex cover to MAX-SAT wth weghts, such that the

More information

Ramsey numbers of cubes versus cliques

Ramsey numbers of cubes versus cliques Ramsey numbers of cubes versus clques Davd Conlon Jacob Fox Choongbum Lee Benny Sudakov Abstract The cube graph Q n s the skeleton of the n-dmensonal cube. It s an n-regular graph on 2 n vertces. The Ramsey

More information

More on the Linear k-arboricity of Regular Graphs R. E. L. Aldred Department of Mathematics and Statistics University of Otago P.O. Box 56, Dunedin Ne

More on the Linear k-arboricity of Regular Graphs R. E. L. Aldred Department of Mathematics and Statistics University of Otago P.O. Box 56, Dunedin Ne More on the Lnear k-arborcty of Regular Graphs R E L Aldred Department of Mathematcs and Statstcs Unversty of Otago PO Box 56, Dunedn New Zealand Ncholas C Wormald Department of Mathematcs Unversty of

More information

On Embedding and NP-Complete Problems of Equitable Labelings

On Embedding and NP-Complete Problems of Equitable Labelings IOSR Journal o Mathematcs (IOSR-JM) e-issn: 78-578, p-issn: 39-765X Volume, Issue Ver III (Jan - Feb 5), PP 8-85 wwwosrjournalsorg Ombeddng and NP-Complete Problems o Equtable Labelngs S K Vadya, C M Barasara

More information

An Optimal Algorithm for Prufer Codes *

An Optimal Algorithm for Prufer Codes * J. Software Engneerng & Applcatons, 2009, 2: 111-115 do:10.4236/jsea.2009.22016 Publshed Onlne July 2009 (www.scrp.org/journal/jsea) An Optmal Algorthm for Prufer Codes * Xaodong Wang 1, 2, Le Wang 3,

More information

Discrete Applied Mathematics. Shortest paths in linear time on minor-closed graph classes, with an application to Steiner tree approximation

Discrete Applied Mathematics. Shortest paths in linear time on minor-closed graph classes, with an application to Steiner tree approximation Dscrete Appled Mathematcs 7 (9) 67 684 Contents lsts avalable at ScenceDrect Dscrete Appled Mathematcs journal homepage: www.elsever.com/locate/dam Shortest paths n lnear tme on mnor-closed graph classes,

More information

Bridges and cut-vertices of Intuitionistic Fuzzy Graph Structure

Bridges and cut-vertices of Intuitionistic Fuzzy Graph Structure Internatonal Journal of Engneerng, Scence and Mathematcs (UGC Approved) Journal Homepage: http://www.jesm.co.n, Emal: jesmj@gmal.com Double-Blnd Peer Revewed Refereed Open Access Internatonal Journal -

More information

Planar Capacitated Dominating Set is W[1]-hard

Planar Capacitated Dominating Set is W[1]-hard Planar Capactated Domnatng Set s W[1]-hard Hans L. Bodlaender 1, Danel Lokshtanov 2, and Eelko Pennnkx 1 1 Department of Informaton and Computng Scences, Unverstet Utrecht, PO Box 80.089, 3508TB Utrecht,

More information

5 The Primal-Dual Method

5 The Primal-Dual Method 5 The Prmal-Dual Method Orgnally desgned as a method for solvng lnear programs, where t reduces weghted optmzaton problems to smpler combnatoral ones, the prmal-dual method (PDM) has receved much attenton

More information

All-Pairs Shortest Paths. Approximate All-Pairs shortest paths Approximate distance oracles Spanners and Emulators. Uri Zwick Tel Aviv University

All-Pairs Shortest Paths. Approximate All-Pairs shortest paths Approximate distance oracles Spanners and Emulators. Uri Zwick Tel Aviv University Approxmate All-Pars shortest paths Approxmate dstance oracles Spanners and Emulators Ur Zwck Tel Avv Unversty Summer School on Shortest Paths (PATH05 DIKU, Unversty of Copenhagen All-Pars Shortest Paths

More information

Tree Spanners for Bipartite Graphs and Probe Interval Graphs 1

Tree Spanners for Bipartite Graphs and Probe Interval Graphs 1 Algorthmca (2007) 47: 27 51 DOI: 10.1007/s00453-006-1209-y Algorthmca 2006 Sprnger Scence+Busness Meda, Inc. Tree Spanners for Bpartte Graphs and Probe Interval Graphs 1 Andreas Brandstädt, 2 Feodor F.

More information

Non-Split Restrained Dominating Set of an Interval Graph Using an Algorithm

Non-Split Restrained Dominating Set of an Interval Graph Using an Algorithm Internatonal Journal of Advancements n Research & Technology, Volume, Issue, July- ISS - on-splt Restraned Domnatng Set of an Interval Graph Usng an Algorthm ABSTRACT Dr.A.Sudhakaraah *, E. Gnana Deepka,

More information

The Greedy Method. Outline and Reading. Change Money Problem. Greedy Algorithms. Applications of the Greedy Strategy. The Greedy Method Technique

The Greedy Method. Outline and Reading. Change Money Problem. Greedy Algorithms. Applications of the Greedy Strategy. The Greedy Method Technique //00 :0 AM Outlne and Readng The Greedy Method The Greedy Method Technque (secton.) Fractonal Knapsack Problem (secton..) Task Schedulng (secton..) Mnmum Spannng Trees (secton.) Change Money Problem Greedy

More information

1 Introducton Gven a graph G = (V; E), a non-negatve cost on each edge n E, and a set of vertces Z V, the mnmum Stener problem s to nd a mnmum cost su

1 Introducton Gven a graph G = (V; E), a non-negatve cost on each edge n E, and a set of vertces Z V, the mnmum Stener problem s to nd a mnmum cost su Stener Problems on Drected Acyclc Graphs Tsan-sheng Hsu y, Kuo-Hu Tsa yz, Da-We Wang yz and D. T. Lee? September 1, 1995 Abstract In ths paper, we consder two varatons of the mnmum-cost Stener problem

More information

Problem Set 3 Solutions

Problem Set 3 Solutions Introducton to Algorthms October 4, 2002 Massachusetts Insttute of Technology 6046J/18410J Professors Erk Demane and Shaf Goldwasser Handout 14 Problem Set 3 Solutons (Exercses were not to be turned n,

More information

Parallelism for Nested Loops with Non-uniform and Flow Dependences

Parallelism for Nested Loops with Non-uniform and Flow Dependences Parallelsm for Nested Loops wth Non-unform and Flow Dependences Sam-Jn Jeong Dept. of Informaton & Communcaton Engneerng, Cheonan Unversty, 5, Anseo-dong, Cheonan, Chungnam, 330-80, Korea. seong@cheonan.ac.kr

More information

Hermite Splines in Lie Groups as Products of Geodesics

Hermite Splines in Lie Groups as Products of Geodesics Hermte Splnes n Le Groups as Products of Geodescs Ethan Eade Updated May 28, 2017 1 Introducton 1.1 Goal Ths document defnes a curve n the Le group G parametrzed by tme and by structural parameters n the

More information

An Application of the Dulmage-Mendelsohn Decomposition to Sparse Null Space Bases of Full Row Rank Matrices

An Application of the Dulmage-Mendelsohn Decomposition to Sparse Null Space Bases of Full Row Rank Matrices Internatonal Mathematcal Forum, Vol 7, 2012, no 52, 2549-2554 An Applcaton of the Dulmage-Mendelsohn Decomposton to Sparse Null Space Bases of Full Row Rank Matrces Mostafa Khorramzadeh Department of Mathematcal

More information

Cordial and 3-Equitable Labeling for Some Star Related Graphs

Cordial and 3-Equitable Labeling for Some Star Related Graphs Internatonal Mathematcal Forum, 4, 009, no. 31, 1543-1553 Cordal and 3-Equtable Labelng for Some Star Related Graphs S. K. Vadya Department of Mathematcs, Saurashtra Unversty Rajkot - 360005, Gujarat,

More information

Tree Spanners on Chordal Graphs: Complexity, Algorithms, Open Problems

Tree Spanners on Chordal Graphs: Complexity, Algorithms, Open Problems Tree Spanners on Chordal Graphs: Complexty, Algorthms, Open Problems A. Brandstädt 1, F.F. Dragan 2, H.-O. Le 1, and V.B. Le 1 1 Insttut für Theoretsche Informatk, Fachberech Informatk, Unverstät Rostock,

More information

Sum of Linear and Fractional Multiobjective Programming Problem under Fuzzy Rules Constraints

Sum of Linear and Fractional Multiobjective Programming Problem under Fuzzy Rules Constraints Australan Journal of Basc and Appled Scences, 2(4): 1204-1208, 2008 ISSN 1991-8178 Sum of Lnear and Fractonal Multobjectve Programmng Problem under Fuzzy Rules Constrants 1 2 Sanjay Jan and Kalash Lachhwan

More information

Math Homotopy Theory Additional notes

Math Homotopy Theory Additional notes Math 527 - Homotopy Theory Addtonal notes Martn Frankland February 4, 2013 The category Top s not Cartesan closed. problem. In these notes, we explan how to remedy that 1 Compactly generated spaces Ths

More information

Covering Pairs in Directed Acyclic Graphs

Covering Pairs in Directed Acyclic Graphs Advance Access publcaton on 5 November 2014 c The Brtsh Computer Socety 2014. All rghts reserved. For Permssons, please emal: ournals.permssons@oup.com do:10.1093/comnl/bxu116 Coverng Pars n Drected Acyclc

More information

Module Management Tool in Software Development Organizations

Module Management Tool in Software Development Organizations Journal of Computer Scence (5): 8-, 7 ISSN 59-66 7 Scence Publcatons Management Tool n Software Development Organzatons Ahmad A. Al-Rababah and Mohammad A. Al-Rababah Faculty of IT, Al-Ahlyyah Amman Unversty,

More information

GSLM Operations Research II Fall 13/14

GSLM Operations Research II Fall 13/14 GSLM 58 Operatons Research II Fall /4 6. Separable Programmng Consder a general NLP mn f(x) s.t. g j (x) b j j =. m. Defnton 6.. The NLP s a separable program f ts objectve functon and all constrants are

More information

Compiler Design. Spring Register Allocation. Sample Exercises and Solutions. Prof. Pedro C. Diniz

Compiler Design. Spring Register Allocation. Sample Exercises and Solutions. Prof. Pedro C. Diniz Compler Desgn Sprng 2014 Regster Allocaton Sample Exercses and Solutons Prof. Pedro C. Dnz USC / Informaton Scences Insttute 4676 Admralty Way, Sute 1001 Marna del Rey, Calforna 90292 pedro@s.edu Regster

More information

Programming in Fortran 90 : 2017/2018

Programming in Fortran 90 : 2017/2018 Programmng n Fortran 90 : 2017/2018 Programmng n Fortran 90 : 2017/2018 Exercse 1 : Evaluaton of functon dependng on nput Wrte a program who evaluate the functon f (x,y) for any two user specfed values

More information

b * -Open Sets in Bispaces

b * -Open Sets in Bispaces Internatonal Journal of Mathematcs and Statstcs Inventon (IJMSI) E-ISSN: 2321 4767 P-ISSN: 2321-4759 wwwjmsorg Volume 4 Issue 6 August 2016 PP- 39-43 b * -Open Sets n Bspaces Amar Kumar Banerjee 1 and

More information

Contracting Chordal Graphs and Bipartite Graphs to Paths and Trees

Contracting Chordal Graphs and Bipartite Graphs to Paths and Trees Contracting Chordal Graphs and Bipartite Graphs to Paths and Trees Pinar Heggernes Pim van t Hof Benjamin Léveque Christophe Paul Abstract We study the following two graph modification problems: given

More information

CMPS 10 Introduction to Computer Science Lecture Notes

CMPS 10 Introduction to Computer Science Lecture Notes CPS 0 Introducton to Computer Scence Lecture Notes Chapter : Algorthm Desgn How should we present algorthms? Natural languages lke Englsh, Spansh, or French whch are rch n nterpretaton and meanng are not

More information

Solving two-person zero-sum game by Matlab

Solving two-person zero-sum game by Matlab Appled Mechancs and Materals Onlne: 2011-02-02 ISSN: 1662-7482, Vols. 50-51, pp 262-265 do:10.4028/www.scentfc.net/amm.50-51.262 2011 Trans Tech Publcatons, Swtzerland Solvng two-person zero-sum game by

More information

Semi - - Connectedness in Bitopological Spaces

Semi - - Connectedness in Bitopological Spaces Journal of AL-Qadsyah for computer scence an mathematcs A specal Issue Researches of the fourth Internatonal scentfc Conference/Second صفحة 45-53 Sem - - Connectedness n Btopologcal Spaces By Qays Hatem

More information

An Approach in Coloring Semi-Regular Tilings on the Hyperbolic Plane

An Approach in Coloring Semi-Regular Tilings on the Hyperbolic Plane An Approach n Colorng Sem-Regular Tlngs on the Hyperbolc Plane Ma Louse Antonette N De Las Peñas, mlp@mathscmathadmueduph Glenn R Lago, glago@yahoocom Math Department, Ateneo de Manla Unversty, Loyola

More information

Computation of a Minimum Average Distance Tree on Permutation Graphs*

Computation of a Minimum Average Distance Tree on Permutation Graphs* Annals of Pure and Appled Mathematcs Vol, No, 0, 74-85 ISSN: 79-087X (P), 79-0888(onlne) Publshed on 8 December 0 wwwresearchmathscorg Annals of Computaton of a Mnmum Average Dstance Tree on Permutaton

More information

Contracting a chordal graph to a split graph or a tree

Contracting a chordal graph to a split graph or a tree Contracting a chordal graph to a split graph or a tree Petr A. Golovach 1, Marcin Kamiński 2, and Daniël Paulusma 1 1 School of Engineering and Computing Sciences, Durham University, Science Laboratories,

More information

Faster Exact and Approximate Algorithms for k-cut

Faster Exact and Approximate Algorithms for k-cut 2018 IEEE 59th Annual Symposum on Foundatons of Computer Scence Faster Exact and Approxmate Algorthms for k-cut Anupam Gupta Computer Scence Department CMU Pttsburgh, USA anupamg@cs.cmu.edu Euwoong Lee

More information

Course Introduction. Algorithm 8/31/2017. COSC 320 Advanced Data Structures and Algorithms. COSC 320 Advanced Data Structures and Algorithms

Course Introduction. Algorithm 8/31/2017. COSC 320 Advanced Data Structures and Algorithms. COSC 320 Advanced Data Structures and Algorithms Course Introducton Course Topcs Exams, abs, Proects A quc loo at a few algorthms 1 Advanced Data Structures and Algorthms Descrpton: We are gong to dscuss algorthm complexty analyss, algorthm desgn technques

More information

Some kinds of fuzzy connected and fuzzy continuous functions

Some kinds of fuzzy connected and fuzzy continuous functions Journal of Babylon Unversty/Pure and Appled Scences/ No(9)/ Vol(): 4 Some knds of fuzzy connected and fuzzy contnuous functons Hanan Al Hussen Deptof Math College of Educaton for Grls Kufa Unversty Hananahussen@uokafaq

More information

Complex Numbers. Now we also saw that if a and b were both positive then ab = a b. For a second let s forget that restriction and do the following.

Complex Numbers. Now we also saw that if a and b were both positive then ab = a b. For a second let s forget that restriction and do the following. Complex Numbers The last topc n ths secton s not really related to most of what we ve done n ths chapter, although t s somewhat related to the radcals secton as we wll see. We also won t need the materal

More information

1 Dynamic Connectivity

1 Dynamic Connectivity 15-850: Advanced Algorthms CMU, Sprng 2017 Lecture #3: Dynamc Graph Connectvty algorthms 01/30/17 Lecturer: Anupam Gupta Scrbe: Hu Han Chn, Jacob Imola Dynamc graph algorthms s the study of standard graph

More information

CSE 326: Data Structures Quicksort Comparison Sorting Bound

CSE 326: Data Structures Quicksort Comparison Sorting Bound CSE 326: Data Structures Qucksort Comparson Sortng Bound Steve Setz Wnter 2009 Qucksort Qucksort uses a dvde and conquer strategy, but does not requre the O(N) extra space that MergeSort does. Here s the

More information

U.C. Berkeley CS294: Beyond Worst-Case Analysis Handout 5 Luca Trevisan September 7, 2017

U.C. Berkeley CS294: Beyond Worst-Case Analysis Handout 5 Luca Trevisan September 7, 2017 U.C. Bereley CS294: Beyond Worst-Case Analyss Handout 5 Luca Trevsan September 7, 207 Scrbed by Haars Khan Last modfed 0/3/207 Lecture 5 In whch we study the SDP relaxaton of Max Cut n random graphs. Quc

More information

CE 221 Data Structures and Algorithms

CE 221 Data Structures and Algorithms CE 1 ata Structures and Algorthms Chapter 4: Trees BST Text: Read Wess, 4.3 Izmr Unversty of Economcs 1 The Search Tree AT Bnary Search Trees An mportant applcaton of bnary trees s n searchng. Let us assume

More information

11. APPROXIMATION ALGORITHMS

11. APPROXIMATION ALGORITHMS Copng wth NP-completeness 11. APPROXIMATION ALGORITHMS load balancng center selecton prcng method: vertex cover LP roundng: vertex cover generalzed load balancng knapsack problem Q. Suppose I need to solve

More information

Combinatorial Auctions with Structured Item Graphs

Combinatorial Auctions with Structured Item Graphs Combnatoral Auctons wth Structured Item Graphs Vncent Contzer and Jonathan Derryberry and Tuomas Sandholm Carnege Mellon Unversty 5000 Forbes Avenue Pttsburgh, PA 15213 {contzer, jonderry, sandholm}@cs.cmu.edu

More information

Mathematics 256 a course in differential equations for engineering students

Mathematics 256 a course in differential equations for engineering students Mathematcs 56 a course n dfferental equatons for engneerng students Chapter 5. More effcent methods of numercal soluton Euler s method s qute neffcent. Because the error s essentally proportonal to the

More information

CSE 326: Data Structures Quicksort Comparison Sorting Bound

CSE 326: Data Structures Quicksort Comparison Sorting Bound CSE 326: Data Structures Qucksort Comparson Sortng Bound Bran Curless Sprng 2008 Announcements (5/14/08) Homework due at begnnng of class on Frday. Secton tomorrow: Graded homeworks returned More dscusson

More information

Support Vector Machines

Support Vector Machines /9/207 MIST.6060 Busness Intellgence and Data Mnng What are Support Vector Machnes? Support Vector Machnes Support Vector Machnes (SVMs) are supervsed learnng technques that analyze data and recognze patterns.

More information

Constructing Minimum Connected Dominating Set: Algorithmic approach

Constructing Minimum Connected Dominating Set: Algorithmic approach Constructng Mnmum Connected Domnatng Set: Algorthmc approach G.N. Puroht and Usha Sharma Centre for Mathematcal Scences, Banasthal Unversty, Rajasthan 304022 usha.sharma94@yahoo.com Abstract: Connected

More information

Metric Characteristics. Matrix Representations of Graphs.

Metric Characteristics. Matrix Representations of Graphs. Graph Theory Metrc Characterstcs. Matrx Representatons of Graphs. Lecturer: PhD, Assocate Professor Zarpova Elvra Rnatovna, Department of Appled Probablty and Informatcs, RUDN Unversty ezarp@mal.ru Translated

More information

ALEKSANDROV URYSOHN COMPACTNESS CRITERION ON INTUITIONISTIC FUZZY S * STRUCTURE SPACE

ALEKSANDROV URYSOHN COMPACTNESS CRITERION ON INTUITIONISTIC FUZZY S * STRUCTURE SPACE mercan Journal of Mathematcs and cences Vol. 5, No., (January-December, 206) Copyrght Mnd Reader Publcatons IN No: 2250-302 www.journalshub.com LEKNDROV URYOHN COMPCTNE CRITERION ON INTUITIONITIC FUZZY

More information

Lecture 5: Multilayer Perceptrons

Lecture 5: Multilayer Perceptrons Lecture 5: Multlayer Perceptrons Roger Grosse 1 Introducton So far, we ve only talked about lnear models: lnear regresson and lnear bnary classfers. We noted that there are functons that can t be represented

More information

Accounting for the Use of Different Length Scale Factors in x, y and z Directions

Accounting for the Use of Different Length Scale Factors in x, y and z Directions 1 Accountng for the Use of Dfferent Length Scale Factors n x, y and z Drectons Taha Soch (taha.soch@kcl.ac.uk) Imagng Scences & Bomedcal Engneerng, Kng s College London, The Rayne Insttute, St Thomas Hosptal,

More information

Machine Learning: Algorithms and Applications

Machine Learning: Algorithms and Applications 14/05/1 Machne Learnng: Algorthms and Applcatons Florano Zn Free Unversty of Bozen-Bolzano Faculty of Computer Scence Academc Year 011-01 Lecture 10: 14 May 01 Unsupervsed Learnng cont Sldes courtesy of

More information

Report on On-line Graph Coloring

Report on On-line Graph Coloring 2003 Fall Semester Comp 670K Onlne Algorthm Report on LO Yuet Me (00086365) cndylo@ust.hk Abstract Onlne algorthm deals wth data that has no future nformaton. Lots of examples demonstrate that onlne algorthm

More information

Related-Mode Attacks on CTR Encryption Mode

Related-Mode Attacks on CTR Encryption Mode Internatonal Journal of Network Securty, Vol.4, No.3, PP.282 287, May 2007 282 Related-Mode Attacks on CTR Encrypton Mode Dayn Wang, Dongda Ln, and Wenlng Wu (Correspondng author: Dayn Wang) Key Laboratory

More information

NETWORKS of dynamical systems appear in a variety of

NETWORKS of dynamical systems appear in a variety of Necessary and Suffcent Topologcal Condtons for Identfablty of Dynamcal Networks Henk J. van Waarde, Petro Tes, and M. Kanat Camlbel arxv:807.09v [math.oc] 2 Jul 208 Abstract Ths paper deals wth dynamcal

More information

COPS AND ROBBER WITH CONSTRAINTS

COPS AND ROBBER WITH CONSTRAINTS COPS AND ROBBER WITH CONSTRAINTS FEDOR V. FOMIN, PETR A. GOLOVACH, AND PAWE L PRA LAT Abstract. Cops & Robber s a classcal pursut-evason game on undrected graphs, where the task s to dentfy the mnmum number

More information

On a Local Protocol for Concurrent File Transfers

On a Local Protocol for Concurrent File Transfers On a Local Protocol for Concurrent Fle Transfers MohammadTagh Hajaghay Dep. of Computer Scence Unversty of Maryland College Park, MD hajagha@cs.umd.edu Roht Khandekar IBM T.J. Watson Research Center 19

More information

Data Representation in Digital Design, a Single Conversion Equation and a Formal Languages Approach

Data Representation in Digital Design, a Single Conversion Equation and a Formal Languages Approach Data Representaton n Dgtal Desgn, a Sngle Converson Equaton and a Formal Languages Approach Hassan Farhat Unversty of Nebraska at Omaha Abstract- In the study of data representaton n dgtal desgn and computer

More information

such that is accepted of states in , where Finite Automata Lecture 2-1: Regular Languages be an FA. A string is the transition function,

such that is accepted of states in , where Finite Automata Lecture 2-1: Regular Languages be an FA. A string is the transition function, * Lecture - Regular Languages S Lecture - Fnte Automata where A fnte automaton s a -tuple s a fnte set called the states s a fnte set called the alphabet s the transton functon s the ntal state s the set

More information

Clustering on antimatroids and convex geometries

Clustering on antimatroids and convex geometries Clusterng on antmatrods and convex geometres YULIA KEMPNER 1, ILYA MUCNIK 2 1 Department of Computer cence olon Academc Insttute of Technology 52 Golomb tr., P.O. Box 305, olon 58102 IRAEL 2 Department

More information

Assignment # 2. Farrukh Jabeen Algorithms 510 Assignment #2 Due Date: June 15, 2009.

Assignment # 2. Farrukh Jabeen Algorithms 510 Assignment #2 Due Date: June 15, 2009. Farrukh Jabeen Algorthms 51 Assgnment #2 Due Date: June 15, 29. Assgnment # 2 Chapter 3 Dscrete Fourer Transforms Implement the FFT for the DFT. Descrbed n sectons 3.1 and 3.2. Delverables: 1. Concse descrpton

More information

Complexity to Find Wiener Index of Some Graphs

Complexity to Find Wiener Index of Some Graphs Complexty to Fnd Wener Index of Some Graphs Kalyan Das Department of Mathematcs Ramnagar College, Purba Mednpur, West Bengal, Inda Abstract. The Wener ndex s one of the oldest graph parameter whch s used

More information

International Journal of Scientific & Engineering Research, Volume 7, Issue 5, May ISSN Some Polygonal Sum Labeling of Bistar

International Journal of Scientific & Engineering Research, Volume 7, Issue 5, May ISSN Some Polygonal Sum Labeling of Bistar Internatonal Journal of Scentfc & Engneerng Research Volume 7 Issue 5 May-6 34 Some Polygonal Sum Labelng of Bstar DrKAmuthavall SDneshkumar ABSTRACT- A (p q) graph G s sad to admt a polygonal sum labelng

More information

A NOTE ON FUZZY CLOSURE OF A FUZZY SET

A NOTE ON FUZZY CLOSURE OF A FUZZY SET (JPMNT) Journal of Process Management New Technologes, Internatonal A NOTE ON FUZZY CLOSURE OF A FUZZY SET Bhmraj Basumatary Department of Mathematcal Scences, Bodoland Unversty, Kokrajhar, Assam, Inda,

More information

O n processors in CRCW PRAM

O n processors in CRCW PRAM PARALLEL COMPLEXITY OF SINGLE SOURCE SHORTEST PATH ALGORITHMS Mshra, P. K. Department o Appled Mathematcs Brla Insttute o Technology, Mesra Ranch-8355 (Inda) & Dept. o Electroncs & Electrcal Communcaton

More information

Approximating Clique and Biclique Problems*

Approximating Clique and Biclique Problems* Ž. JOURNAL OF ALGORITHMS 9, 17400 1998 ARTICLE NO. AL980964 Approxmatng Clque and Bclque Problems* Dort S. Hochbaum Department of Industral Engneerng and Operatons Research and Walter A. Haas School of

More information

On Some Entertaining Applications of the Concept of Set in Computer Science Course

On Some Entertaining Applications of the Concept of Set in Computer Science Course On Some Entertanng Applcatons of the Concept of Set n Computer Scence Course Krasmr Yordzhev *, Hrstna Kostadnova ** * Assocate Professor Krasmr Yordzhev, Ph.D., Faculty of Mathematcs and Natural Scences,

More information

S1 Note. Basis functions.

S1 Note. Basis functions. S1 Note. Bass functons. Contents Types of bass functons...1 The Fourer bass...2 B-splne bass...3 Power and type I error rates wth dfferent numbers of bass functons...4 Table S1. Smulaton results of type

More information

Sorting Review. Sorting. Comparison Sorting. CSE 680 Prof. Roger Crawfis. Assumptions

Sorting Review. Sorting. Comparison Sorting. CSE 680 Prof. Roger Crawfis. Assumptions Sortng Revew Introducton to Algorthms Qucksort CSE 680 Prof. Roger Crawfs Inserton Sort T(n) = Θ(n 2 ) In-place Merge Sort T(n) = Θ(n lg(n)) Not n-place Selecton Sort (from homework) T(n) = Θ(n 2 ) In-place

More information

Kent State University CS 4/ Design and Analysis of Algorithms. Dept. of Math & Computer Science LECT-16. Dynamic Programming

Kent State University CS 4/ Design and Analysis of Algorithms. Dept. of Math & Computer Science LECT-16. Dynamic Programming CS 4/560 Desgn and Analyss of Algorthms Kent State Unversty Dept. of Math & Computer Scence LECT-6 Dynamc Programmng 2 Dynamc Programmng Dynamc Programmng, lke the dvde-and-conquer method, solves problems

More information

A fault tree analysis strategy using binary decision diagrams

A fault tree analysis strategy using binary decision diagrams Loughborough Unversty Insttutonal Repostory A fault tree analyss strategy usng bnary decson dagrams Ths tem was submtted to Loughborough Unversty's Insttutonal Repostory by the/an author. Addtonal Informaton:

More information

Solving Route Planning Using Euler Path Transform

Solving Route Planning Using Euler Path Transform Solvng Route Plannng Usng Euler Path ransform Y-Chong Zeng Insttute of Informaton Scence Academa Snca awan ychongzeng@s.snca.edu.tw Abstract hs paper presents a method to solve route plannng problem n

More information

ON SOME ENTERTAINING APPLICATIONS OF THE CONCEPT OF SET IN COMPUTER SCIENCE COURSE

ON SOME ENTERTAINING APPLICATIONS OF THE CONCEPT OF SET IN COMPUTER SCIENCE COURSE Yordzhev K., Kostadnova H. Інформаційні технології в освіті ON SOME ENTERTAINING APPLICATIONS OF THE CONCEPT OF SET IN COMPUTER SCIENCE COURSE Yordzhev K., Kostadnova H. Some aspects of programmng educaton

More information

A Topology-aware Random Walk

A Topology-aware Random Walk A Topology-aware Random Walk Inkwan Yu, Rchard Newman Dept. of CISE, Unversty of Florda, Ganesvlle, Florda, USA Abstract When a graph can be decomposed nto clusters of well connected subgraphs, t s possble

More information

Lecture 5: Probability Distributions. Random Variables

Lecture 5: Probability Distributions. Random Variables Lecture 5: Probablty Dstrbutons Random Varables Probablty Dstrbutons Dscrete Random Varables Contnuous Random Varables and ther Dstrbutons Dscrete Jont Dstrbutons Contnuous Jont Dstrbutons Independent

More information

Some Advanced SPC Tools 1. Cumulative Sum Control (Cusum) Chart For the data shown in Table 9-1, the x chart can be generated.

Some Advanced SPC Tools 1. Cumulative Sum Control (Cusum) Chart For the data shown in Table 9-1, the x chart can be generated. Some Advanced SP Tools 1. umulatve Sum ontrol (usum) hart For the data shown n Table 9-1, the x chart can be generated. However, the shft taken place at sample #21 s not apparent. 92 For ths set samples,

More information

Strong games played on random graphs

Strong games played on random graphs Strong games played on random graphs Asaf Ferber Department of Mathematcs Massachusetts Insttute of Technology Cambrdge, U.S.A. ferbera@mt.edu Pascal Pfster Insttute of Theoretcal Computer Scence ETH Zürch

More information

UNIT 2 : INEQUALITIES AND CONVEX SETS

UNIT 2 : INEQUALITIES AND CONVEX SETS UNT 2 : NEQUALTES AND CONVEX SETS ' Structure 2. ntroducton Objectves, nequaltes and ther Graphs Convex Sets and ther Geometry Noton of Convex Sets Extreme Ponts of Convex Set Hyper Planes and Half Spaces

More information

Solving some Combinatorial Problems in grid n-ogons

Solving some Combinatorial Problems in grid n-ogons Solvng some Combnatoral Problems n grd n-ogons Antono L. Bajuelos, Santago Canales, Gregoro Hernández, Ana Mafalda Martns Abstract In ths paper we study some problems related to grd n-ogons. A grd n-ogon

More information

Face numbers of nestohedra

Face numbers of nestohedra Face numbers of nestohedra from Faces of generalzed permutohedra, math.co/0609184 jont wth A. Postnkov and L. Wllams. Mnsymposum Algebrasche und geometrsche Kombnatork Erlangen 16 September 2008 Vc Rener

More information

Approximations for Steiner Trees with Minimum Number of Steiner Points

Approximations for Steiner Trees with Minimum Number of Steiner Points Journal of Global Optmzaton 18: 17 33, 000. 17 000 Kluwer Academc ublshers. rnted n the Netherlands. Approxmatons for Stener Trees wth Mnmum Number of Stener onts 1, 1,,,,3, DONGHUI CHEN *, DING-ZHU DU

More information

Exercises (Part 4) Introduction to R UCLA/CCPR. John Fox, February 2005

Exercises (Part 4) Introduction to R UCLA/CCPR. John Fox, February 2005 Exercses (Part 4) Introducton to R UCLA/CCPR John Fox, February 2005 1. A challengng problem: Iterated weghted least squares (IWLS) s a standard method of fttng generalzed lnear models to data. As descrbed

More information

R s s f. m y s. SPH3UW Unit 7.3 Spherical Concave Mirrors Page 1 of 12. Notes

R s s f. m y s. SPH3UW Unit 7.3 Spherical Concave Mirrors Page 1 of 12. Notes SPH3UW Unt 7.3 Sphercal Concave Mrrors Page 1 of 1 Notes Physcs Tool box Concave Mrror If the reflectng surface takes place on the nner surface of the sphercal shape so that the centre of the mrror bulges

More information

Learning the Kernel Parameters in Kernel Minimum Distance Classifier

Learning the Kernel Parameters in Kernel Minimum Distance Classifier Learnng the Kernel Parameters n Kernel Mnmum Dstance Classfer Daoqang Zhang 1,, Songcan Chen and Zh-Hua Zhou 1* 1 Natonal Laboratory for Novel Software Technology Nanjng Unversty, Nanjng 193, Chna Department

More information

Recognizing Cartesian products in linear time

Recognizing Cartesian products in linear time Dscrete Mathematcs 307 (2007) 472 483 www.elsever.com/locate/dsc Recognzng Cartesan products n lnear tme Wlfred Imrch a, Iztok Petern b a Char of Appled Mathematcs, Montanunverstät Leoben, A-8700 Leoben,

More information

Circuit Analysis I (ENGR 2405) Chapter 3 Method of Analysis Nodal(KCL) and Mesh(KVL)

Circuit Analysis I (ENGR 2405) Chapter 3 Method of Analysis Nodal(KCL) and Mesh(KVL) Crcut Analyss I (ENG 405) Chapter Method of Analyss Nodal(KCL) and Mesh(KVL) Nodal Analyss If nstead of focusng on the oltages of the crcut elements, one looks at the oltages at the nodes of the crcut,

More information

Load Balancing for Hex-Cell Interconnection Network

Load Balancing for Hex-Cell Interconnection Network Int. J. Communcatons, Network and System Scences,,, - Publshed Onlne Aprl n ScRes. http://www.scrp.org/journal/jcns http://dx.do.org/./jcns.. Load Balancng for Hex-Cell Interconnecton Network Saher Manaseer,

More information

Line geometry, according to the principles of Grassmann s theory of extensions. By E. Müller in Vienna.

Line geometry, according to the principles of Grassmann s theory of extensions. By E. Müller in Vienna. De Lnengeometre nach den Prnzpen der Grassmanschen Ausdehnungslehre, Monastshefte f. Mathematk u. Physk, II (89), 67-90. Lne geometry, accordng to the prncples of Grassmann s theory of extensons. By E.

More information

An Efficient Algorithm for Minimum Vertex Cover Problem

An Efficient Algorithm for Minimum Vertex Cover Problem An Effcent Algorthm for Mnmum Vertex Cover Problem Rong Long Wang Zheng Tang Xn Shun Xu Member Non-member Non-member Paper An effcent parallel algorthm for solvng the mnmum vertex cover problem usng bnary

More information

Binary trees, super-catalan numbers and 3-connected Planar Graphs

Binary trees, super-catalan numbers and 3-connected Planar Graphs Bnary trees, super-catalan numbers and 3-connected Planar Graphs Glles Schaeffer LIX, CNRS/École Polytechnque Based n part on a jont work wth E. Fusy and D. Poulalhon Mon premer souvenr d un cours de combnatore...

More information

1 Introducton Effcent and speedy recovery of electrc power networks followng a major outage, caused by a dsaster such as extreme weather or equpment f

1 Introducton Effcent and speedy recovery of electrc power networks followng a major outage, caused by a dsaster such as extreme weather or equpment f Effcent Recovery from Power Outage (Extended Summary) Sudpto Guha Λ Anna Moss y Joseph (Seff) Naor z Baruch Scheber x Abstract We study problems that are motvated by the real-lfe problem of effcent recovery

More information