arxiv: v1 [cs.dm] 24 Feb 2014

Transcription

1 Dual Power Assgnment va Second Hamltonan Cycle A. Karm Abu-Affash Paz Carm Anat Parush Tzur arxv: v1 [cs.dm] 24 Feb 2014 Department of Computer Scence, Ben-Guron Unversty, Israel February 25, 2014 Abstract A power assgnment s an assgnment of transmsson power to each of the wreless nodes of a wreless network, so that the nduced graph satsfes some desred propertes. The cost of a power assgnment s the sum of the assgned powers. In ths paper, we consder the dual power assgnment problem, n whch each wreless node s assgned a hgh- or low-power level, so that the nduced graph s strongly connected and the cost of the assgnment s mnmzed. We mprove the best known approxmaton rato from π ɛ to Moreover, we show that the algorthm of Khuller et al. [11] for the strongly connected spannng subgraph problem, whch acheves an approxmaton rato of 1.61, s approxmaton algorthm for symmetrc drected graphs. The nnovaton of ths paper s n achevng these results va utlzng nterestng propertes for the exstence of a second Hamltonan cycle. 1 Introducton Gven a set P of wreless nodes dstrbuted n a two-dmensonal plane, a power assgnment (or a range assgnment), n the context of wreless networks, s an assgnment of transmsson range r u to each wreless node u P, so that the nduced communcaton graph has some desred propertes, such as strong connectvty. The cost of a power assgnment s the sum of the assgned powers,.e., u P rα u, where α s a constant called the dstance-power gradent whose typcal value s between 2 and 5. A power assgnment nduces a (drected) communcaton graph G = (P, E), where a drected edge (u, v) belongs to the edge set E f and only f uv r u, where uv s the Eucldean dstance between u and v. The communcaton graph G s strongly connected f, for any two nodes u, v P, there exsts a drected path from u to v n G. In the standard power assgnment problem, one has to fnd a power assgnment of P such that () ts cost s mnmzed, and () the nduced communcaton graph s strongly connected. When the avalable transmsson power levels for each wreless node are contnuous n a range of reals, many researchers have proposed algorthms for the strong connectvty power assgnment problem [5, 7, 8, 13, 14]. In partcular, 2-approxmaton algorthms based on mnmum spannng trees were proposed n [5,13]. When the wreless nodes are deployed 1

2 n the 2-dmensonal or the 3-dmensonal space, the problem s known to be NP-hard [7, 13]. A survey coverng many varatons of the problem s gven n [6]. In ths paper, we study a dual power assgnment verson, n whch each wreless node can transmt n one of two (hgh or low) transmsson power levels. Let r H and r L denote the transmsson ranges of the hgh- and low-transmsson powers, respectvely. Snce assgnng more wreless nodes wth the hgh power level results n a larger power consumpton, the objectve n the dual power assgnment problem s equvalent to mnmzng the number of wreless nodes that are assgned hgh-transmsson range r H. The dual power assgnment (DPA) problem was shown to be NP-hard [3, 16]. Rong et al. [16] gave a 2-approxmaton algorthm, whle Carm and Katz n [3] gave a 9/5- approxmaton algorthm and a faster 11/6-approxmaton algorthm. Later, Chen et al. [4] proposed an O(n 2 ) tme algorthm wth approxmaton rato of 7/4. Recently, Calnescu [2] mproved ths approxmaton rato to 1.61, usng n a novel way the algorthm of Khuller et al. [11, 12] for computng a mnmum strongly connected subgraph. A related verson asks for a power assgnment that nduces a connected (also called symmetrc or bdrected ) graph. Ths verson s also known to be NP-hard. The best known approxmaton algorthm s based on technques that were appled to Stener trees, and acheves approxmaton rato of 3/2 [15]. 1.1 Our results We present a conjecture regardng an nterestng characterzaton for the exstence of a second Hamltonan cycle and ts applcatons. We prove the conjecture for some specal cases that are utlzed () to mprove the best known approxmaton rato for the DPA problem from π ɛ to , and () to show that the algorthm of Khuller et al. [11] for the strongly connected spannng subgraph problem, whch acheves a approxmaton rato of 1.61, s approxmaton algorthm for symmetrc unweghted drected graphs. Moreover, the correctness of the aforementoned conjecture mples that the approxmaton algorthm of Khuller et al. s actually a 3/2-approxmaton algorthm n symmetrc unweghted dgraphs. 2 Second Hamltonan Cycle A cycle n a graph s Hamltonan f t vsts each node of the graph exactly once; f a graph contans such a cycle, t s called a Hamltonan graph. Decdng whether a graph s Hamltonan has been shown to be NP-hard. A Hamltonan graph G contans a second Hamltonan cycle (SecHamCycle for short) f there exst two Hamltonan cycles n G that are dffered by at least one edge. A classc result of Smth [19] states that each edge n a 3-regular graph s contaned n an even number of Hamltonan cycles. Thomason [17] extended Smth s theorem to all graphs n whch all nodes have an odd degree (Thomason s lollpop argument). In addton, Thomassen [18] showed that every Hamltonan r-regular graph, where r 72, contans SecHamCycle. Ths bound on r was reduced to 23 by Haxell et al. [10]. All these related works have consdered the exstence of SecHamCycle on the whole 2

3 set of nodes. In ths secton, we consder the exstence of SecHamCycle also wth respect to a subset of the nodes. Let G = (V, E) be a connected graph and let Γ be a subset of V. We say that G contans a Hamltonan cycle on Γ f there exsts a smple cycle n G whose nodes are exactly the nodes of Γ,.e, the subgraph nduced by Γ s a Hamltonan graph. A cycle n G s Γ-Hamltonan wth respect to Γ f there exsts a subset of nodes U (V \ Γ) such that G contans a Hamltonan cycle on Γ U. We denote such a cycle by H G (Γ); If G contans H G (Γ), then t s called a Γ-Hamltonan graph. Moreover, we say that G contans a second Γ-Hamltonan cycle (Sec-Γ-HamCycle for short), f G contans a Hamltonan cycle H on Γ and a Γ-Hamltonan cycle H G (Γ), that are dffered by at least one edge. Fleschner [9] constructed a 3-regular graph G that has a domnatng cycle Γ, such that no other Sec-Γ-HamCycle exsts. Below, we conjecture that replacng the regularty requrement wth a connectvty requrement, mples the exstence of Sec-Γ-HamCycle. Conjecture 2.1. Let G = (V, E) be a connected graph and let Γ V, such that G contans a Hamltonan cycle H on Γ and the graph (V, E \ H) s connected. Then G contans a Sec-Γ-HamCycle. The followng conjecture, whch s a specal case of Conjecture 2.1, s shown n Lemma 2.14 to be actually equvalent,.e., the correctness of Conjecture 2.2 yelds the correctness of Conjecture 2.1. Conjecture 2.2. Let H be a Hamltonan cycle on a set of nodes V. Every connected bpartte graph G b = (V, U, E) admts that the graph G = (V U, H E) contans a Sec-V -HamCycle. Notce that f two consecutve nodes n H share a common adjacent node of U n G b, then Conjecture 2.2 s obvously true. Thus, we assume that no such two nodes exst. In addton, snce nodes of U of degree 1 (n G b ) can be removed wthout affectng the correctness of the conjecture, we may assume that each node n U s of degree at least 2. Fnally, we may assume that G b s a tree. In the followng lemmas, we prove Conjecture 2.2 for some specal cases that are essental for provng Theorem 3.14 n the sequel secton. Lemma 2.3. If each node n U s of degree 2, then the conjecture s true. Proof. Snce each u U s connected to two nodes of V, G b can be converted to a spannng tree T = (V, E T ) of V by connectng any two adjacent nodes of a node u U va an edge and deletng u and the edges ncdent to t; that s, G = (V, H E T ). We dstngush two cases: V s even: decompose T nto a forest T = (V, E T ) s.t. each node of V has an odd degree n T. The exstence of such a decomposton can be easly proven by nducton on V. The graph G = (V, H E T ) s a Hamltonan graph wth nodes of odd degree; therefore, by Thomason s lollpop argument [17], t contans a SecHamCycle on V that yelds a SecHamCycle on V n G. 3

4 V s odd: duplcate G to get a new graph G d = (V V, H E E T E T ), n whch V s a copy of V, and, for each edge {v, v j } H (resp., {v, v j } E T ), there s an edge {v, v j } E (resp., {v, v j } E T ). Let v and v j be two consecutve nodes n H. Connect v (resp., v j ) to ts duplcated node v (resp., v j ) by an edge denoted by e (resp., e j ), and connect v j to v by an edge. Fnally, remove from G d the edges {v, v j } and {v, v j }. The obtaned graph G d contans a Hamltonan cycle and a spannng tree on V V that are edge dsjont. By case 1, snce V V s even, we conclude that G d contans a SecHamCycle on V V ; that contans e and e j, and yelds a SecHamCycle on V n G. Clam 2.4. Let T = (V, U, E T ) be a bpartte spannng tree of V U, s.t. V s even and all nodes of U are of degree 2 or 3. Then, there exsts a forest T = (V, U, E T ), n whch () E T E T, () each node n V s of odd degree, and () each node n U s of degree 2. Proof. The clam can be proven by an nducton on the number of nodes of degree 3 n U. Consder a node u U of degree 3 that s connected to three nodes v, v j and v k from V. Snce V s even, at least one of the three subtrees rooted at v, v j and v k (and not contanng u) has an even number of nodes from V. Assume w.l.o.g. that the subtree rooted at v has an even number of nodes from V. Thus, removng the edge {u, v } from T decomposes T nto two subtrees each has less number of nodes of degree 3 from U than T. Once we have a forest of subtrees each has even number of nodes from V and each node from U has a degree 2, we can convert t to a forest T as n case 1 n the proof of Lemma 2.3. By ths clam and by Lemma 2.3, we have the followng lemma. Lemma 2.5. If each node n U s of degree at most 3, then the conjecture s true. The followng corollary obtaned by applyng the duplcaton technque from the proof of Lemma 2.3. Corollary 2.6. If each node n U s of degree at most 3, then, for any edge e of H, there exsts a Sec-V -HamCycle n G that contans e. Corollary 2.7. Let H be a Hamltonan cycle on a set of nodes V, and let F = (V, U, E) be a bpartte forest, such that () each node n U s of degree at most 3, () each tree n F contans an even number of nodes of V. Then, the graph G = (U V, H E) contans a Sec-V -HamCycle. Corollary 2.8. Let H be a Hamltonan cycle on a set of nodes V, and let F = (V, U, E) be a bpartte forest, such that () each node n U s of degree at most 3, () each tree n F contans an even number of nodes of V except of exactly one tree. Then, the graph G = (U V, H E) contans a Sec-V -HamCycle. Proof. Let T odd F be the tree that contans an odd number of nodes of V, and let (v, v j ) be an edge of H, such that v T odd. Consder the duplcaton technque from the proof of Lemma 2.3. Instead of connectng v (resp., v j ) to ts duplcated node v (resp., v j ), we connect v (resp., v j ) to v j (resp., v ) and v to v. Then, by Corollary 2.7 we are done. 4

5 Gven a bpartte graph (V, U, E), for a node v V and a subset W U, denote by N v (W ) the set of neghbors of v n W,.e., N v (W ) = {u W : {u, v} E}. Lemma 2.9. Let U be the subset of U contanng all nodes of degree at least 4. If there exst two consecutve nodes v, v j of H such that N v (U ) N vj (U ) = U, then the conjecture s true. Proof. Consder the graph G b that s obtaned from G b by the followng modfcaton. Recall that N v (U ) N vj (U ) =. For each node u N v (U ) (resp., u N vj (U )), and for each v V \ {v } (resp., v V \ {v j }) that s adjacent to u, we add a new node u v to U and update the set E to be E \ {{u, v}} {{v, u v }, {u v, v}} (resp., E \ {{u, v}} {{v j, u v }, {u v, v}}). Then, we remove the edges {v, u } (resp., {v j, u }) from E, and the node u from U. The obtaned graph G b s a connected bpartte graph and each node n U s of degree at most 3; therefore, by Corollary 2.6, the graph obtaned by addng the edge set H to G b contans a Sec-V -HamCycle that contans the edge {v, v j }. Thus, G contans Sec-V -HamCycle. Corollary Let v and v j be two nodes of H such that N v (U ) N vj (U ) = U, If by removng the nodes on one of the two paths between v and v j on H (and ther ncdent edges) from G b, the graph G b remans connected, then the conjecture s true. Clam Let v V be a node such that N v (U) = 1 n G = (V U, E H) (.e., v s a leaf n the tree (V U, E)), and let v +1 and v 1 be ts two neghbors n H (.e., {v, v +1 }, {v 1, v } H). Let G = (V U, E H ) be a graph obtaned from G by the followng modfcatons. Assume N v = {u}, see Fgure 1. V V {v l, v r } U U {u } {u j : v j (N u (V ) \ {v })} \ {u} E E {{v l, u }, {v r, u }} {{v, u j }, {u j, v j } : v j N u (V )} \ {{u, v j } : v j N u (V )} H H {{v 1, v l }, {v l, v }, {v, v r }, {v r, v +1 }} \ {{v 1, v }, {v, v +1 }} Then, Sec-V -HamCycle n G admts a Sec-V -HamCycle n G. Proof. Let C be Sec-V -HamCycle n G, then f {v l, v }, {v, v r } C, then C admts a Sec-V -HamCycle n G. Therefore, assume w.l.o.g., that {v l, v } / C ; thus, {v l, u }, {u, v r } C. We dstngush between two cases: {v, v r } C : The path P = (v 1, v l, v r, v, u j ) s a path n C. Thus, by replacng the path P n C wth the path (v 1, v, u) n G, we have Sec-V -HamCycle n G. {v, v r } / C : The cycle C contans two paths P 1 = (v 1, v l, v r, v +1 ) and P 2 = (v j, u j, v, u j, v j ). Thus, by replacng the paths P 1 and P 2 n C wth the paths (v 1, v, v +1 ) and (v j, u, v j ) n G, respectvely, we have Sec-V -HamCycle n G. 5

6 v v 1 v +1 u v l v v 1 v +1 u v r u j v j v j Fgure 1: An llustraton of the modfed graph G (on the rght) from graph G (on the left), where the edges of H and H are dashed, and the edges of E and E are sold. In the next two lemmas we show that the conjecture holds for bounded values of V. Frst, we present a smple proof showng that the conjecture holds for V 15, then, we provde a dfferent proof that extends the bound to 23. Lemma If V 15, then the conjecture s true. Proof. Let U be the set of nodes n U of degree at least 4. Recall that no two consecutve nodes v, v +1 n H share a common adjacent node of U n G b (.e., N v (U) N v+1 (U) = ). If there exsts a node v V such that N v (U ) = U, then any adjacent node of v n H, w.l.o.g. v +1, satsfes N v (U ) N v+1 (U ) = U, and, by Lemma 2.9, we are done. Thus, we may assume that no such a node exsts, and hence, U > 1. Recall that we assume that (V U, E) s a tree, thus E = V + U 1 = 14 + U. Moreover, E 4 U + 2 U \ U = 2 U + 2 U. Hence, 2 U + 2 U 14 + U, and we have 2 U + U 14. (1) Ths yelds that U < 5 We dstngush between the remanng 3 cases of U cardnalty. U = 2: Snce V 15, by the pgeonhole prncple, there are two consecutve nodes v, v +1 V such that N v (U ) N v+1 (U ) = U, and, by Lemma 2.9, we are done. U = 3: By (1), we have U \ U 5. Moreover, the tree (V U, E) has at least 8 leaves. Thus, by the pgeonhole prncple, there exsts a node v V such that N v (U) = N v (U ) = 1 (.e., v s a leaf n the tree (V U, E)), and two consecutve nodes v, v +1 V \ {v}, such that N v (U ) N v+1 (U ) = U \ N v (U ). Then, by Clam 2.11 and by Lemma 2.9, we are done. 6

7 U = 4: By (1), we have U \ U 2. Moreover, the tree (V U, E) has at least 10 leaves. Thus, by the pgeonhole prncple, there exst two nodes v, v V such that N v (U) = N v (U ) = 1, N v (U) = N v (U ) = 1 and N v (U ) N v (U ), and two consecutve nodes v, v +1 V \ {v, v }, such that N v (U ) N v+1 (U ) = U \ (N v (U ) N v (U )). Then, by Clam 2.11 and by Lemma 2.9, we are done. In the followng lemma we prove that the conjecture holds for V < 24. Actually, we show a stronger clam, that s, we clam that the conjecture holds also for wder famly of graphs denoted G. Let G be the famly of all graphs (V U, H E), such that (V, U, E) s a bpartte graph, where (V U, E) s a forest and () each tree n (V U, E) has an even number of nodes of V, () H s a Hamltonan cycle on the set of nodes V, and () V < 24. Notce that, f each graph n G contans a second Hamltonan cycle, then ths mples that the conjecture s true for the orgnal famly of graphs (where (V U, E) s a tree) havng V < 24. Lemma The conjecture holds for each G G. Proof. We prove the lemma by consderng a mnmal graph n G that volates the condtons n the above lemmas, clams, and corollares. More precsely, assume that there s a graph n G that does not contan a second Hamltonan cycle, and let G = (V U, H E) be a graph n G that does not contan a second Hamltonan cycle, such that the number of nodes n U of degree at least 3 s mnmal. Let U U be the set of nodes of degree at least 4. Recall that each node of U s of degree at least 2. By the proof of Clam 2.4, the set U does contan a node of an odd degree, where the proof shows how to reduce the number of nodes of an odd degree (f exts), whch contradcts the mnmalty of the number of nodes n U of degree at least 3. By Lemma 2.5, f U = 0, then G contans a second Hamltonan cycle, n contradcton, and, by Lemma 2.9, there are no two consecutve nodes v, v +1 n H such that N v (U ) N v+1 (U ) = U. Therefore, U = {u 1,..., u k }, where k 2. Moreover, by Clam 2.11, for each v N u (V ), we have N v (U) > 1 (.e., v s not a leaf n (V U, E)), where u U. Furthermore, f U = 2 (.e., U = {u 1, u 2 }) and u 1 and u 2 do not belong to the same tree n (V U, E), then, clearly, V 24, see Fgure 2 for llustraton. Otherwse, let v N u1 (V ) and v N u2 (V ) be two nodes, such that v and v are consecutve nodes n H, or one of the two paths between v and v n H conssts only of nodes that are leaves n (V U, E). Notce that there are at least two such pars v and v. By Corollary 2.10, G contans a second Hamltonan cycle, n contradcton. Thus, V must contan at least one addtonal node for such a par. Therefore, we have that V 24. Notce that, by extendng the aforementoned to the case where U 3, we get that V s at least 30 (.e., the mnmal graph that follows the above (where U 3) has a 7

8 u 1 u 2 Fgure 2: A mnmal graph (V U, E) (wth respect to U ) that does not admt a second Hamltonan cycle by Lemma 2.5, Lemma 2.9, and Clam The crcles denote the nodes of V and the squares denote the nodes of U. The set U contans at least two nodes (u 1, u 2 ) of degree at least 4, each connected to non-leaf nodes of V. tree of at least 29 nodes of V, however snce t needs to be of even number of nodes of V, we conclude that V 30). Thus, we assume that U = 2 (.e., U = {u 1, u 2 }). In order to apply these lemmas for provng Theorem 3.14 t s suffcent to prove the followng auxlary lemma. Lemma Let G sb = (V U, E sb ) be a connected graph such that V s an ndependent set n G sb, and let H = (V, E) be a Hamltonan cycle on V. Then, the graph G sb can be converted to a connected bpartte graph G b = (V, U, E b ) such that U U and, f the graph G = (V U, E E b ) contans a Sec-V -HamCycle, then G = (V U, E E sb ) also contans a Sec-V -HamCycle. Proof. Let G U = (U, E U ) be the subgraph of G sb that s nduced by U, and let n be the number of edges n E U. The proof s by nducton on n. Bass: n = 0, the clam clearly holds (G b = G sb ). Inductve step: Let {u, u j } E U, such that u s connected to at least one node v V. There exsts such a node u, snce the graph G sb s connected. Consder the graph G sb = (V, U, E sb ) that s obtaned from G sb by connectng the adjacent nodes of u to u j, and removng u and the edges ncdent to t, that s, U = U \ {u } and E sb = E sb {{u j, w} : w N u (U V )} \ {{u, w} : w N u (U V )}. By the nducton hypothess, G sb can be converted to a connected bpartte graph G b = (V, U, E b ) satsfyng the lemma. Thus, snce any Sec-V -HamCycle C n the graph (V U, E Esb ) contans at most two edges that are ncdent to u j and were generated durng the modfcaton of G sb, the cycle C admts a Sec-V -HamCycle n G = (V U, E E sb ). 8

9 3 Dual Power Assgnment Let P be a set of wreless nodes n the plane and let G R = (P, E R ) be the communcaton graph that s nduced by assgnng a hgh transmsson range r H to the nodes n a gven subset R P and assgnng low transmsson range r L to the nodes n P \ R, and wth edge set E R = {(u, v) : uv r u }. Defnton 3.1. A strongly connected component C of G R s a maxmal subset of P, such that for each par of wreless nodes u, v n C, there exsts a path from u to v n G R. Defnton 3.2. The components graph CG R of G R s an undrected graph n whch there s a node C for each strongly connected component C of G R (throughout ths paper, for convenence of presentaton, we wll refer to the nodes of CG R as components, and to the wreless nodes of G R as nodes). In addton, there exsts an edge between two components C and C j f and only f there exst two nodes u C and v C j such that uv r H. Defnton 3.3. A set Q P s a k-contracted set of a set C = {C 1, C 2,..., C k } of k dstnct components n CG R f Q C = 1 for each C C, and the components n C are contaned n the same strongly connected component n G R Q ; see Fgure 3 for llustraton. (a) (b) (c) Fgure 3: Examples of k-contractble structures: (a) 4-contractble structure, (b) 5- contractble structure, and (c) 6-contractble structure. The sold crcles n each k- contractble structure represent the nodes of the k-contracted set of the components. Let C = {C 1, C 2,..., C k } be a set of components n CG R, let Q be a k-contracted set of C, and let v be the node n Q C, for each C C. Defnton 3.4. A k-contractble structure nduced by C and Q s a graph over C n whch there exsts a drected edge from C to C j f v can reach a node n C j ; see Fgure 3 for llustraton. Defnton 3.5. A leaf n a k-contractble structure nduced by C and Q s a component C C such that () C \ {C } and Q \ {v } nduce a (k 1)-contractble structure, () each component n C s reachable from C only va a path contanng components from C, and () for each node u n C, by assgnng a hgh transmsson range to u, f u reaches a component from C then every component C / C s not reachable from u. Gven a set P of n wreless nodes n the plane and two transmsson ranges r L and r H such that the communcaton graph G P that s nduced by assgnng a hgh transmsson 9

10 range r H to the nodes n P s strongly connected, n the dual power assgnment problem the objectve s to fnd a mnmum set R P such that the nduced communcaton graph G R s strongly connected. Let OP T denote the sze of R. We present an approxmaton algorthm that computes a set R P, such that the graph G R s strongly connected and the sze of R s at most 11 7 OP T. 3.1 Approxmaton algorthm Our algorthm s composed of an ntalzaton and three phases and s based on the dea of Carm and Katz [3] and Calnescu [2]. The man nnovaton of ths algorthm s n achevng a better approxmaton rato by utlzng the exstence of a second Hamltonan cycle. Durng the executon of the algorthm, we ncrementally add nodes to the set R and update the graph G R accordngly. The algorthm works as follows. Intalzaton. Set R = and compute the nduced communcaton graph G R,.e., G = (P, E), by assgnng r L to each node n P and settng E = {(v, u) : vu r L }. Phase 1. Whle G R contans a j-contracted set, for j k (where k s a constant to be specfed later), fnd a j-contracted set, add ts j nodes to R, and update G R accordngly. Phase 2. Intutvely, we look for contractble structures, where we gve prorty to those wth leaves and then accordng to ther sze. More precsely, for each teraton = k 1, k 2,..., 5, 4, whle G R contans an -contracted set, fnd a contracted set n the followng prorty order (where 1 s the hghest prorty), add ts nodes to R, and update G R accordngly (notce that, n each teraton, any contractble structure n G R s of sze at most ). 1. A j-contracted set that nduces a contractble structure wth at least two leaves, where j A j-contracted set that nduces a contractble structure wth one leaf, such that, f > k/2 then j k/2, otherwse j =. 3. An -contracted set that nduces a contractble structure formng a smple cycle. 4. An -contracted set that nduces a contractble structure of combned cycles. Phase 3. Fnd a mnmum set R3 P such that G R R3 s strongly connected, and update R to be R R3. Notce that at the begnnng of ths phase, any contracted set n G R s of sze at most 3. In Secton 3.4 we show how to fnd an optmal soluton R3 for such graphs n polynomal tme. The output of the algorthm s the set R, where the resultng graph G R s strongly connected. In the followng secton, we analyze the performance guarantee of our algorthm. 3.2 Tme complexty An -contracted set can be found navely n O(n +2 ) tme by consderng all combnatons of sets of nodes of sze. Moreover, gven a constant k fndng a contracted set of sze greater than k can be found n O(n k+2 ) tme. For example, a contracted set of sze greater 10

11 than k that nduces a smple cycle can be found by consderng all paths of length k then by checkng whether there s a smple path between the path s end-ponts that avods the nner nodes of the path. Fnally, snce each contracted set reduces the number of components by at least two, the number of contracted sets found by algorthm s O(n). Thus, the runnng tme of the algorthm s polynomal. Notce that for a constant k, a k-contracted set can be found effcently usng deas from Alon et al. [1], where they show how to fnd smple paths and cycles of a specfed length k, usng the method of color-codng. 3.3 Approxmaton rato In ths secton, we prove that the sze of R (denoted by R ) at the end of the algorthm s at most 11 7 OP T. Let R denote the set R at the begnnng of the k teraton of phase 2, for 4 k 1, and let R 3 denote the set R at the begnnng of phase 3. Gven a set R, let n denote the number of components of CG R, and let OP T (G R ) denote the sze of a mnmum set of nodes R P for whch G R R s strongly connected (.e., R s an optmal soluton for G R ). Let b (resp., b,j ) denote the number of -contracted sets (resp., j-contracted sets) found by the algorthm n the k teraton. The followng lemma Immedately holds by Defnton 3.3. Lemma 3.6. For each 4 < k, we have Lemma 3.7. For each 3 < k, we have 1 n = n 1 + ( 1) b + (j 1) b,j. j=4 1 (n 1) OP T (G R ) 2(n 1). Proof. Let T be a spannng tree of CG R. For each {C, C j } T, select two nodes v C and v j C j such that v v j r H, and add them to R. Clearly, the resultng communcaton graph s strongly connected and the cost of ths soluton s at most 2(n 1), whch proves the upper bound. The amortzed cost of each contracted component of an -contracted set s 1. Hence, the lower bound follows. (The proof of ths lemma also appears n prevous related papers such as [3, 4, 16].) Intutvely, the man ngredent of the algorthm s the way we select our contracted sets, whch guarantees that each contracted set that s found n G R saves hgh transmsson range assgnments for an optmal soluton for G R. Below we formalze ths ngredent. Let C = {C 1, C 2,..., C k } be a set of k components n CG R, let Q be a k-contracted set of C, let v j be the node n Q C j for each C j C, and let S be a k-contractble structure nduced by Q. Observaton 3.8. Let l be the number of leaves n S. Then, OP T (G R Q ) OP T (G R ) l. 11

12 Corollary 3.9. Let L denote the number of leaves contracted n the k teraton. Then, OP T (G R 1 ) OP T (G R ) L. Observaton In G R Q, f there exsts a node v n an optmal soluton for G R that nduces only edges of the clque over C (.e., v reaches only components of C), then OP T (G R Q ) < OP T (G R ). Observaton Let v C Q be a node that reaches only one component C j C; then () any path from C to C j va C / C n CG R must contan C k C, and () for each node u C, by assgnng a hgh transmsson range to u, f u reaches C j then every component C / C s not reachable from u. For smplcty of presentaton we prove Lemma 3.12 and Lemma 3.13 for k = 8, therefore, the approxmaton rato we obtaned s based on k = 8. However, even-though we prove the lemmas for k = 8, the lemmas hold for greater values of k, therefore, we keep the statements of the lemmas n a general formulaton. Let Q denote an -contracted set that s found durng the k teraton, and let S denote the contractble structure nduced by Q. Recall that b (resp., b,j ) denote the number of -contracted sets (resp., j-contracted sets) found by the algorthm n the k teraton. Lemma For each 4 k/2, we have 1 OP T (G R 1 ) OP T (G R ) 2b 2 b,j. Proof. Recall that we put k = 8. Thus, = 4 and 1 j=4 j=4 b,j = 0. Let G R 4 be the graph n whch a contractble structure S 4 s found. We need to show that S 4 saves two to OP T of the reman graph, that s OP T (G R ) OP T (G 4 R 4 Q ) + 2. If S 4 has two leaves, then, by 4 Observaton 3.8, S 4 saves two to OP T G R. Therefore, S 4 has at most one leaf and there 4 are two such contractble structures, and, snce there s no contractble structures of sze greater than 4 n G R (and n partcular n G R ), S saves two to OP T (G 4 R ). 4 Lemma For each k/2 < < k, we have k/2 OP T (G R 1 ) OP T (G R ) b 2 b,j j=4 1 j= k/2 +1 Proof. By Observaton 3.8, we are left wth provdng a proof for contractble structures S wthout leaves, where k/2 < < k. Let G R be the graph n whch S s found. Frst, we consder the case where S s a smple cycle (5 7), and assume towards a contradcton that OP T (G R ) = OP T (G R Q ). Let H = (C, E H ) be the undrected verson of S n CG R soluton for G R. Let G be a spannng subgraph of CG R 12 b,j., and let R be an optmal, where there s an edge n G

13 between C l CG R and C j CG R f there exsts a node v l R C l that can reach a node n C j va hgh transmsson range. If there exst C l C and v R C l, such that v can reach only components n C, then by Observaton 3.10 we are done. Otherwse, let G = (C U, E ) be a mnmum subgraph of G n whch all the components n C are connected, where U and E are sets of components and edges n CG R, respectvely. Let U be an empty set of nodes. For each edge {C l, C j } of G, such that C l, C j C, we add a new node u l,j to U and update the set E to be E {{C l, u l,j }, {u l,j, C j }} \ {C l, C j }. The obtaned graph G = (C U U, E ) s a connected graph where C s an ndependent set. By Lemma 2.12 and Lemma 2.14, the graph (C U U, E E H ) contans a Sec-C-HamCycle H. If H contans nodes from U, then H admts a contracted structure of sze at least + 1 n G R, n contradcton. Otherwse, H contans only the nodes of C and nodes from U. Let H C be the cycle obtaned from H by replacng each par of consecutve edges {C l, u l,j }, {u l,j, C j }, where u l,j U and C l, C j C, by the edge {C l, C j }. Recall that {C l, C j } s an edge n G R and for each C l C, there exsts a node v R C l, such that v can reach a component C / C (.e., C U ). Thus, the cycle H C wth the component C s a contracted structure of sze at least + 1 n G R, n contradcton. We now consder contractble structure S ( < 8) that s nether a smple cycle nor a structure wth leaves, that s S s a contractble structure of combned (overlappng) smple cycles {C 1, C 2,..., C m }. W.l.o.g., let C 1 S be a smple cycle such that {C 2,..., C m } s a contractble structure. Let C = C 1 and C = {C 2,..., C m }. Moreover, let (C 1,..., C t ) be the components n C \ C, such that there exsts a component n C that has a drected edge to C 1 and there s a drected edge from C t to a component n C, see Fgure 4 for llustraton. C 2 C 1 C C 3 C 2 C 1 C C C Fgure 4: Ilustraton of two contractble structures, where on the left a contractble structure wth a leaf, and on the rght a contractble structure of combned cycles. Notce that, f 1 t 2, then C t s a leaf, thus S s a contractble structure wth a leaf. However, contractble structures wth a leaf have already been consdered, therefore t 3. Moreover, snce < 8 and t 3, C s also a smple cycle, thus the number of components n (C \ C) s at least 3 (otherwse, S s a contractble structure wth a leaf). Therefore, the number of components n (C \ C ) and (C \ C) s exactly 3 (.e. t = 3). For C C, let δ(c, C ) be the path that connects C to C n the optmal soluton. Then, δ(c 3, C ) s the path that connects C 3 to C n the optmal soluton. Consder the 13

14 three cases of δ(c 3, C ). δ(c 3, C ) does not pass through C 1 nor trough C 2, then t must go drectly to a component n C (otherwse, we have a contractble structure of sze greater than ), thus, by Observaton 3.10, t saves one to OP T (G R ). δ(c 3, C ) passes through C 2. C 3 can not go though another component C x / S to C 2 snce n ths case, by replacng the edge (C 2, C 3 ) wth the reverse path from (C 3, C 2 ) that goes though C x, we obtan a contractble structure of sze greater than. Moreover, C 3 can not go to C 2 and to another component C x / S, snce the reverse order of C wth C x admts a contractble structure wth a leaf of sze at least 5. However, contractble structures wth a leaf have already been consdered. Thus, by Observaton 3.10, we save one to OP T (G R ). δ(c 3, C ) passes through C 1. Thus, there s a path δ C3,C 1 from C 1 to C 3 that does not nclude components of S \ {C 1, C 3 }. Denote by δ the reverse path of C 3,C 1 δ C3,C 1. Consder δ(c 2, C ), followng the same deas of the two aforementoned cases, δ(c 2, C ) can not pass though nether C 1, C 3, nor drectly to a component n C. Thus, δ(c 2, C ) goes through another component C x / S. Therefore, by replacng the path (C 1, C 2, C 3, C) wth the path δ, the edge (C C 3,C 3, C 2 ), and δ(c 2, C ), where 1 C C s a reachable component from C 3 n S, we obtan a contractble structure of sze greater than. Theorem The aforementoned range assgnment algorthm s an 11/7-approxmaton algorthm for the dual power assgnment problem. Proof. Set k to be 8 and let n be the number of components of CG. By Lemma 3.7, s the amortzed cost of each contracted component of a k-contracted set. Then, accordng to the algorthm descrpton, R k k 1 (n n 1 k 1) + b + j b,j + OP T (G R3 ). By Lemma 3.6, n k 1 = n 3 + k 1 ( 1) b + k 1 R k n n 3 k 1 = 1 k 1 =5 j=4 1 =5 j=4 (j 1) b,j, then 1 ( 1) b (j 1) b,j =5 j=4 1 + b + j b,j + OP T (G R3 ) =5 j=4 k k 1 1 k n k n 3 + (k ) b + (k j) b,j + (k 1) OP T (G R3 ), 14 =5 j=4

15 and, by Lemma 3.7, OP T (G R3 ) 2(n 3 1), then n 3 OP T (G R 3 ) 2, and we have, R 1 1 k n + (k ) b + (k j) b,j + (k 1 k k 1 2 ) OP T (G R 3 ) =5 j=4 = 1 k 1 1 k n + (k ) b + (k j) b,j + k 2 2(k 1) OP T (G R 3 ), and, by Lemma 3.12 and Lemma 3.13, =5 j=4 k/2 OP T (G R3 ) OP T (G Rk 1 ) 2 2 k 1 = k/2 +1 k/2 j=4 b 2 b,j k/2 =5 k 1 1 j=4 b,j 1 = k/2 +1 j= k/2 +1 k 1 b = k/2 +1 b,j, then, R 1 k 1 1 k n + (k ) b + (k j) b,j =5 j=4 + k 2 k/2 k/2 2(k 1) 1 OP T (G Rk 1 ) 2 b 2 = k/2 +1 b 2 = k/2 +1 k/2 j=4 b,j =5 j=4 1 b,j = k/2 +1 j= k/2 +1 b,j. Snce k 1 1 k 1 (k ) b k 2 2(k 1) 2 and k 1 1 k 1 1 (k j) b,j k 2 2(k 1) 2 =5 j=4 + 2 = k/2 +1 k/2 j=4 k/2 k/2 =5 b + 1 b,j j=4 b,j + = k/2 +1 b 0 1 = k/2 +1 j= k/2 +1 b,j 0, we have R k k 1 n + k 2 2(k 1) OP T (G R k 1 ). 15

16 Fnally, snce OP T (G R ) n and OP T (G R ) OP T (G Rk 1 ), we have thus, for k = 8, we have R 3k 2 2(k 1) OP T (G R ), R 11 7 OP T. 3.4 Optmal soluton for G R3 Gven a set P of n wreless nodes n the plane, two transmsson ranges r L and r H, and R 3 P, such that G R3 does not contan a contracted set of sze greater than 3. Then fndng a mnmum set R3 P, such that the nduced communcaton graph G R 3 R3 s strongly connected can be done n polynomal tme. Our algorthm s based on the dea of Carm and Katz [3] and works as follows. Set R = and compute the nduced communcaton graph G R3 by assgnng r H to each node n R 3 and assgnng r L to each node n P \ R 3. Next, whle G R3 R contans a 3- contracted set formng a smple cycle, fnd such a contracted set, and add ts 3 nodes to R. When G R3 R does not contan a 3-contracted set formng a smple cycle, t nduces a tree of well-separated j-contracted sets, we solve the subproblem n each strongly connected component of G R3 R ndependently, and add to R the nodes that are n the soluton. Notce that the resultng CG R3 R has one component, and, therefore, G R3 R s strongly connected. In the followng, we prove that ths algorthm solves the problem optmally,.e., R = R3. Let C = {C 1, C 2, C 3 } be a set of 3 components n CG R3 R and let Q be a 3-contracted set of C, such that the 3-contractble structure nduced by Q forms a smple cycle. The followng two observatons follow from the fact that the graph CG R3 R does not contan a contracted set of sze greater than 3. Observaton By addng the nodes n Q to R the problem s separated nto at least three ndependent subproblems. I.e., by removng the components n C and the edges ncdent to them from CG R3 R, the graph CG R3 R remans wth at least three connected components. Observaton There exsts an optmal soluton R3 for G R 3 that contans the nodes n Q. When G R3 R does not contan a 3-contracted set formng a smple cycle, t nduces a tree of well-separated j-contracted sets. Thus, assgnng a hgh transmsson range to a node n one strongly connected component cannot result n forcng an assgnment of a hgh transmsson range to a node n another strongly connected component. Therefore, each strongly connected component of G R3 R s an ndependent subproblem. Each node n a strongly connected component of G R3 R can reach at most two other strongly connected components va hgh transmsson range. Hence, each strongly connected component s an nstance of the 2 set cover problem, whch can be solved optmally. Thus, we conclude that the algorthm descrbed above solves the problem optmally. 16

17 4 Applcaton of a second Hamltonan cycle to SCSS In ths secton, we show that the correctness of Conjecture 2.2 mples that the approxmaton algorthm of Khuller et al. [11], whch acheves a performance guarantee of 1.61 for the SCSS problem, s a 3/2-approxmaton algorthm n symmetrc unweghted dgraphs. Ths matches the best known approxmaton rato for ths problem, acheved by Vetta [20]. Even though Vetta s result s very novel, t s much more complcated. Gven a strongly connected graph, the algorthm fnds a cycle of length at least some constant k whle there exsts such a cycle, and then a longest cycle n the current graph, contracts the cycle, and recurses. The contracted graph remans strongly connected. When the graph, fnally, collapses nto a dgraph wth cycles of length at most 3, t solves the subproblem optmally and returns the set of edges contracted durng the course of the algorthm as the desred SCSS. Ths algorthm dffers from the DPA algorthm (descrbed n Secton 3) n the contracted structures. More precsely, only smple cycle structures are found (snce smple cycle structures are the only contracted structures exst). Thus, assumng Conjecture 2.2 holds, each structure found durng the algorthm saves at least two edges for an optmal soluton. Ths mples the followng lemma that s smlar but stronger than Lemma Lemma 4.1. For each 4 k 1, we have OP T (G 1 ) OP T (G ) 2b, where OP T (G ) s the sze of an optmal soluton for the component graph at the begnnng of the k teraton, and b s the number of contracted structures found and contracted by the algorthm n the k teraton. By combnng ths lemma wth Lemma 3.6 and Lemma 3.7, we get the followng theorem. Theorem 4.2. The algorthm of Khuller et al. n [11] (descrbed above) s a 3/2- approxmaton algorthm for the SCSS problem n symmetrc unweghted dgraphs, assumng Conjecture 2.2 holds. Proof. Applyng a smlar (yet smpler) analyss of the performance of the dual power assgnment algorthm (Secton 3) yelds an upper bound of 3k 2 2(k 1) OP T. Ths approxmaton rato tends to 3/2 as k ncreases. Snce we verfed Conjecture 2.2 for V < 24 (see Lemma 2.13), we have the followng corollary. Corollary 4.3. The algorthm of Khuller et al. n [11] s a 35/23-approxmaton algorthm ( 1.522) for the SCSS problem n symmetrc unweghted dgraphs. 4.1 SCSS for symmetrc dgraphs wth bounded cycle length In [12], Khuller et al. consder the SCSS problem n a strongly connected dgraphs wth bounded cycle length. They gve a proof that, for graphs where each drected cycle has at most three edges s equvalent to the maxmum bpartte matchng, and, thus can be solved optmally. Moreover, n [11] Khuller et al. prove that the problem remans NP-hard 17

18 even when the maxmum cycle length s at most fve. In ths secton, we consder the same problem n symmetrc dgraphs wth bounded cycle length, and show the followng. Theorem 4.4. The algorthm of Khuller et al. n [11] (descrbed above) s a 3k 2 2k - approxmaton algorthm for the SCSS problem n symmetrc unweghted dgraphs, where k s the maxmum cycle length n the graph, assumng Conjecture 2.2 holds or k < 24. Proof. The length of the longest cycle s at most k, thus the frst phase of the algorthm (lookng for cycles of length greater than k) s redundant. Therefore, we have R = (1) (2) k b + OP T (G R3 ) k b + OP T (G R 3 ) 2 + OP T (G R 3 ) 2 k OP T (G R ) 2 k b b + 2 k OP T (G R ) 2 k b b + 2 (3) = n n 3 + k b + OP T (G R) 2 = n + OP T (G R) 1 2 (2) OP T (G R ) ( k k 2 ) = 3k 2 OP T (G R ) 2k + OP T (G R 3 ) 2 + 2(n 3 1) 2 k b + n 3 1 where (1) follows from Lemma 4.1, (2) follows from Lemma 3.7, and (3) follows from Lemma 3.6. Acknowledgment The authors would lke to thank Carsten Thomassen for hs help wth the correctness of Lemma 2.3. References [1] Noga Alon, Raphael Yuster, and Ur Zwck. Color-codng. J. ACM, 42(4): , July

19 [2] G. Călnescu. Mn-power strong connectvty. In APPROX-RANDOM, pages 67 80, [3] P. Carm and M. J. Katz. Power assgnment n rado networks wth two power levels. Algorthmca, 47(2): , [4] J.-J. Chen, H.-I Lu, T.-W. Kuo, C.-Y. Yang, and A.-C. Pang. Dual power assgnment for network connectvty n wreless sensor networks. In GLOBECOM, page 5, [5] W.-T. Chen and N.-F. Huang. The strongly connectng problem on multhop packet rado networks. IEEE Transactons on Communcatons, 37(3): , [6] A. E. F. Clement, G. Huban, P. Penna, G. Ross, and Y. C. Verhoeven. Some recent theoretcal advances and open questons on energy consumpton n ad-hoc wreless networks. In Proc. of ARACNE, pages 23 38, [7] A. E. F. Clement, P. Penna, and R. Slvestr. Hardness results for the power range assgnmet problem n packet rado networks. In RANDOM-APPROX, pages , [8] A. E. F. Clement, P. Penna, and R. Slvestr. The power range assgnment problem n rado networks on the plane. In STACS, pages , [9] Herbert Fleschner. Unqueness of maxmal domnatng cycles n 3-regular graphs and of Hamltonan cycles n 4-regular graphs. Journal of Graph Theory, 18(5): , [10] P. E. Haxell, B. Seamone, and J. Verstraëte. Independent domnatng sets and Hamltonan cycles. Journal of Graph Theory, 54(3): , [11] S. Khuller, B. Raghavachar, and N. E. Young. Approxmatng the mnmum equvalent dgraph. CoRR, cs.ds/ , [12] S. Khuller, B. Raghavachar, and N. E. Young. On strongly connected dgraphs wth bounded cycle length. CoRR, cs.ds/ , [13] L. M. Krouss, E. Kranaks, D. Krzanc, and A. Pelc. Power consumpton n packet rado networks. Theor. Comput. Sc., 243(1-2): , [14] E. L. Lloyd, R. Lu, M. V. Marathe, R. Ramanathan, and S. S. Rav. Algorthmc aspects of topology control problems for ad hoc networks. In MobHoc, pages , [15] Z. Nutov and A. Yaroshevtch. Wreless network desgn va 3-decompostons. Inf. Process. Lett., 109(19): , [16] Y. Rong, H. Cho, and H.-A. Cho. Dual power management for network connectvty n wreless sensor networks. In IPDPS,

20 [17] A. G. Thomason. Hamltonan cycles and unquely edge colourable graphs. Ann. Dscrete Math, 3: , [18] C. Thomassen. Independent domnatng sets and a second Hamltonan cycle n regular graphs. J. Comb. Theory, Ser. B, 72(1): , [19] W. T. Tutte. On Hamltonan crcuts. J. London Math. Soc., 1(2):98 101, [20] A. Vetta. Approxmatng the mnmum strongly connected subgraph va a matchng lower bound. In SODA, pages ,