In IEEE Symp. on Foundations of Comp. Sci. (FOCS 91). Copyright IEEE

 Tabitha Elliott
 9 months ago
 Views:
Transcription
1 In IEEE Symp. on Foundations of Comp. Sci. (FOCS 91). Copyright IEEE A Linear Time Algorithm for Triconnectivity Augmentation 1 èextended Abstractè Tsansheng Hsu Vijaya Ramachandran Department of Computer Sciences, University oftexas at Austin, Austin, TX 7871 Abstract We consider the problem of ænding a smallest set of edges whose addition triconnects an undirected graph. This is a fundamental graphtheoretic problem that has applications in designing reliable networks and faulttolerant computing. We present a linear time sequential algorithm for the problem. This is a substantial improvement over the best previous algorithm for this problem, which runs in Oènèn + mè è time on a graph with n vertices and m edges. 1 Introduction The problem of augmenting a graph to reach a certain connectivity requirement by adding edges has important applications in network reliability ë5, 18ë and faulttolerant computing. One version of the augmentation problem is to augment the input graph to reach a given connectivity requirement by adding a smallest set of edges. We refer to this problem as the smallest augmentation problem. The following results are known for solving the smallest augmentation problem on an undirected graph to satisfy a vertex connectivity requirement. Eswaran & Tarjan ëë gave alower bound on the smallest number of edges for biconnectivity augmentation and proved that the lower bound can be achieved. Rosenthal & Goldner ë16ë developed a linear time sequential algorithm for ænding a smallest augmentation to biconnect a graph; however, the algorithm in ë16ë contains an error. Hsu & Ramachandran ë10ë gave an corrected linear time sequential algorithm. An Oèlog nè time parallel algorithm on an EREW PRAM using a linear number of processors for ænding a smallest augmentation to biconnect an undirected graph was also given in Hsu & Ramachandran ë10ë, where n is the numberofvertices in the input graph. Watanabe & Nakamura ë4, 6ë gave an This work was supported in part by NSF Grant CCR89 Oènèn + mè è time sequential algorithm for ænding a smallest augmentation to triconnect a graph with n vertices and m edges. There is no polynomial time algorithm known for ænding a smallest augmentation to kvertexconnect a graph, for ké3. Results on other versions of augmentation problems can be found in ë1,,4,6,7, 1, 14, 17, 1,, 3, 4, 5, 7ë. In this paper, we present a linear time sequential algorithm for ænding a smallest augmentation to triconnect a graph. The algorithm is divided into two stages. During the ærst stage, we biconnect the input graph. Then in the second stage, we triconnect the resulting biconnected graph using the smallest number of edges. We have tomake sure that the total number of edges added in these two stages is minimum. It turns out that we cannot use the algorithm in Hsu & Ramachandran ë10ë to implement stage 1, since there exists a graph G such that any smallest augmentation for biconnecting G does not lead to a smallest augmentation for triconnecting G. An example is shown in Figure??. Note that for edgeconnectivity, itis shown in ë14, ë that there exists a smallest augmentation to kedgeconnect a graph G such that it is included in a smallest augmentation to èk + 1èedgeconnect G, for an arbitrary k. Owing to space limitation, many proofs are omitted in this abstract. They can be found in the full paperë11ë. Deænitions block ë, 3, 16ë Given an undirected graph G with a set of vertices V, let V = fv i j1 ç i ç kg be a set of subsets of V such that ë k i=1 V i = V and two vertices u and w are in the same subset if and only if there is a simple cycle in G which contains u and w or u = w. The induced subgraph of G on each set of vertices V i,1ç i ç k, is a block. The union of all blocks includes all edges in G that are not cutedges. A block containing only one vertex is called a trivial blocks. A trivial block
2 of G is called a cutblock if it is a cutpoint. block graph Given an undirected graph G, we deæne its block graph, blkègè, as follows. Each cutpoint and block that is not a cutblock is represented by avertex in blkègè. The vertices of blkègè that represent blocks that are not blocks are called bvertices and those representing cutpoints are called cvertices. Foraver tex u in blkègè, let V u = fug if u is a cvertex and V u = fwjw is a vertex in the corresponding block represented by ug if u is a bvertex. The induced subgraph of G on V u is the corresponding subgraph of u. Two vertices u and w in blkègè are adjacent ifand only if any one of the following conditions is true: èiè jv u j =1,jV w j = 1 and the vertex in V u and the vertex in V w are adjacent ing; èiiè jv u j = 1 and V u ç V w ; èiiiè jv w j = 1 and V w ç V u. Itiswellknown that blkègè is a forest. If G is connected, blkègè isa tree. If blkègè is a tree, we refer to it as a block tree. Foravertex v in G, let d èvè be the degree of its corresponding cvertex in blkègè ifv is a cutpoint. If v is not a cutpoint, let d èvè = 1. For more on properties of blkègè, see ë10ë. An example of a graph and its blkègè is shown in Figure??. Tutte component The Tutte components of a biconnected graph are the triconnected components deæned in Tutte ë0ë èsee also Ramachandran ë15ëè. Each Tutte component can be a single vertex, a triconnected component, a simple cycle èa polygonè or a pair of vertices with at least three edges between them èa bondè. 3block graph Given a block H of G, we deæne the 3block graph, 3blkèHè, as follows. The 3block graph contains three sets of vertices: ævertices, çvertices and çvertices. For every Tutte component ofh that is a single vertex or a triconnected component, we create a ævertex in 3blkèHè. A Tutte component that consists of only one vertex is a trivial Tutte component. For every polygon Q of H,we create a çvertex; if w is a vertex in Q with degree in H, we create a ævertex b w for w, and we call w the corresponding Tutte component represented by b w. Let z 1 and z be the two vertices in Q that are adjacent tow. We create a çvertex for the pair of vertices z 1 and z. For every pair of vertices a 1 and a in H, we create a çvertex for èa 1,a èifwehave performed a Tutte split with respect to a 1 and a in H. An example of a çvertex, ævertex and çvertex is shown in Figure??. Vertices u and v in 3blkèHè are adjacent ifany one of the following conditions is true: èiè u is a æ vertex corresponding to a Tutte component H u that is a triconnected component, v is a çvertex and H u contains the pair of vertices corresponding to v; èiiè u is a ævertex corresponding to a degree vertex w in H and v is the çvertex corresponding to the pair of vertices in H that are adjacent tow; èiiiè u is a çvertex corresponding to a polygon Q in H, v is ç vertex corresponding to a pair of vertices z 1 and z in Q; èivè interchanging u and v in any one of the previous three conditions. We call the pairs of vertices that correspond to çvertices Tutte pairs. It is known that the number of Tutte pairs in an nnode biconnected graph is Oènè ë13, 15ë. éfrom ë9, 15, 0ë, we know that 3blkèHè is a tree if H is a block. We call this tree a 3block tree. We call the set of trees corresponding to blocks in G the 3block graph of G or 3blkèGè. Each Tutte component that corresponds to a ævertex in the 3block graph is a 3block of G. Given a graph G with n vertices and m edges, blkègè and 3blkèGè can be computed in Oèn + mè time using procedures in ë9, 15ë. Examples of 3block graphs are shown in Figures?? &??. The implied path in the block graph Let G be an undirected graph and let u and v be two distinct vertices in G. Let G 0 be the graph obtained from G by adding the edge èu,vè and let b u and b v be the two vertices in blkègè whose corresponding subgraphs contain u and v, respectively. We denote the path P between b u and b v in blkègè the implied path between u and v in blkègè èwe let P =ëb u ëif there is no such pathè. Blocksequence, separatingsequence and cutsequence Let Y be the set of all bvertices in P and those c vertices in P whose corresponding cutpoints are cutblocks. Let jy j = r and y i be the ith vertex in Y encountered when we traverse P starting form b u to b v. We construct a separatingsequence W =ëw 1 = u; w ; æææ;w r,1 ;w r = vë for vertices u and v such that for 1 éiér, w i,1 and w i are the two cutpoints adjacent toy i if y i is a bvertex; w i,1 and w i are the two vertices adjacent to y i in G if y i is a cutpoint; w and w k,1 are cutpoints adjacent to y 1 and y r, respectively. Note that w i and w i+1 can be equal, for 1 ç iér; they are diæerent if and only if any there is at least one cvertex in fy i,y i+1 g.acutsequence C = ëu; c 1 ; æææ;c x ;vë for vertices u and v is a sequence of vertices in G such that c i is the cutpoint corresponding to the ith cvertex encountered when we traverse P from b u to b v and x is the number of cvertices in P. An example is shown in Figure??. The collection of implied paths For 1 ç i ç r, let H i be the corresponding block
3 represented by y i if y i is bvertex; let H i be the corresponding cutpoint represented by y i if y i is a cvertex. For 1 ç i ç r, let Q i =ëh i ëify i is a cvertex; otherwise, let Q i be the path in 3blkèH i èbetween the two ævertices that correspond to Tutte components containing w i,1 and w i. Each Q i,1çiçr, ischosen such that both w i,1 and w i are each contained in exactly one of the Tutte components corresponding to ævertices in Q i if y i is a bvertex. Note that w i and w i+1 can be equal, for 1 ç iér; they are diæerent if and only if there are a sequence of more than one cutpoint between y i and y i+1 in P. If there is more than one Tutte component that contains w i,1çiçr, we choose an arbitrary one. We call Q = fq 1 ; æææ;q r g the collection of implied paths between u and v in 3 blkègè. If G is biconnected, r =1;Q 1 is also called the implied path between u and v in 3blkèGè. An example of these deænitions is shown in Figure??. Separating degree Given a çvertex s, let èa 1,a è be its corresponding Tutte pair. We deæne d 3 èèa 1 ;a èè or d 3 èsè to be the degree of z in the 3block graph. We know that d 3 èèa 1 ;a èè ç for any Tutte pair èa 1,a è. Recall that for a vertex v in G, d èvè is the degree of v in blkègè if v is a cutpoint; d èvè is1if v is not a cutpoint. Given a graph with h connected components, the separating P degree ofatutte pair èa 1,a è, sdèèa 1 ;a èè, is i=1 d èa i è+d 3 èèa 1 ;a èè + h,4. We will show èclaim 1 in Section 3è that the separating degree of a Tutte pair is equal to the smallest number of edges needed to connect the graph obtained from G by removing the Tutte pair. The separating degree for the corresponding çvertex s, sdèsè, is equal to sdèèa 1 ;a èè. The triconnectivity augmentation number Given a graph G, the triconnectivity augmentation number of G is the smallest number of edges needed to triconnect G. 3 A Lower Bound for the Triconnectivity Augmentation Number In this section, we state a lower bound for the triconnectivity augmentation number. This lower bound turns out to be the exact triconnectivity augmentation number. Separating degrees of çvertices We state a claim to justify the way the separating degree of a Tutte pair in a 3block graph is deæned. Claim 1 The separating degree of a Tutte pair is equal to the smallest number of edges needed to connect the graph obtained from G by removing the Tutte pair. 3block leaf and isolated 3block vertex We identify ævertices in a 3block graph whose corresponding Tutte components must contain a new incoming edge if we want to triconnect the input graph. Deænition 1 Given a ævertex b, let H b be its corresponding Tutte component of G. A degree1 vertex b is a 3block leaf if any one of the following conditions is true: èiè H b consists of only one vertex u and u is not a cutpoint; èiiè ifh b contains any cutpoint c of G, c is in a Tutte pair of G contained inh b. ènote that èiè holds if and only if u is in a polygon.è A degree0 ævertex b is an isolated 3block vertex if any one of the following conditions is true: èiè H b contains at most cutpoints; èiiè H b consists of only one vertex u and the degree ofu in G is at most. Figure?? illustrates a 3block leaves. Note that if G is biconnected, then a degree1 vertex in 3blkèGè must be a 3block leaf. Demanding vertex Deænition Given a 3block leaf or an isolated 3 block vertex b in 3blkèGè, let H b be its corresponding Tutte component. A vertex u in H b is a demanding vertex of b if any one of the following conditions is true: èiè u is not a cutpoint or in any Tutte pair of G contained inh b ;èiiè b is an isolated 3block vertex and H b consists of only the vertex u. The vertex u is also called a demanding vertex in G. Claim Let b be a 3block leaf or an isolated 3block vertex in 3blkèGè. Then there is at least one demanding vertex of b. When we specify the 3block graph of a graph G, we will include a demanding vertex for each 3block leaf and each isolated 3block vertex in 3blkèGè. The weight of a graph We now deæne the weight of a graph, which we will relate later to the number of edges needed to triconnect the graph. Deænition 3 Let H be a block in a graph G whose corresponding vertex in blkègè is r H. Let l 3 èhè be the number of 3block leaves in H. We deæne the weight of the graph G, wègè, to be P 8 blocks H maxf3, d èr H è;l 3 èhèg, if G is not biconnected. Otherwise, let wègè =l 3 ègè. Massive, critical and balanced For an undirected graph G with the weight wègè, a Tutte pair z or its corresponding çvertex is massive if sdèzè é d wègè e. ATutte pair z or its corresponding ç vertex is critical if sdèzè =d wègè e. IfnoTutte pair in G is massive, then G and its 3block graph are called
4 balanced. Given a çvertex v in 3blkèGè, let 3blkèGè, v be the graph obtained from 3blkèGè by removing v. Avchain is a component of3blkègè, v which contains only one 3block leaf in 3blkèGè. The 3block leaf of 3blkèGè inavchain is called the vchain leaf. Alower bound of the triconnectivity augmentation number We now state a lower bound for the triconnectivity augmentation number for a general undirected graph. Lemma 1 Given an undirected graph G, weneed at least maxfd,d wègè eg edges to triconnect G, where d is the largest separating degree among all çvertices in 3blkèGè. Proof: The ærst component of the lower bound comes from Claim 1. For the other component of the lower bound, suppose that G 0 is triconnected and is obtained from G by adding a smallest set of edges. For each  block H, wemust have at least 3,d èr H è new incoming edges in G 0. For each 3block leaf in 3blkèHè, the induced subgraph on vertices corresponding to it must contain at least one new incoming edge in G 0 maxf3,dèrh è;l3èhèg. Hence we need at least d e new edges for each block H. The total number of new edges needed is thus d wègè e. Hence we need at least maxfd,d wègè eg edges in G 0. This proves the lemma. 4 Finding a Smallest Augmentation to Triconnect a Biconnected Graph In this section, we consider the problem of ænding a smallest set of edges to triconnect a biconnected graph. We show that the lower bound given in Lemma 1 can be achieved, and we give a linear time algorithm to ænd a smallest augmentation to triconnect the graph. 4.1 Properties of the 3Block Tree for a Biconnected Graph In this section, we explore properties of 3blkèGè that will be used in the following sections, where G is a biconnected graph. First we give bounds on the number of massive and critical çvertices in 3blkèGè. They are similar to the bounds on the number of massive and critical c vertices in blkègè given in ë10ë. Proofs in ë10ë can be easily modiæed to prove the following claim. Claim 3 Let s 1 beaçvertex with the largest separating degree among all çvertices in 3blkèGè and let s i be açvertex with the largest separating degree among all çvertices other than s 1 ; æææ;s i,1, for ç i ç 3. Then the following æve properties hold. P 3 èiè i=1 d 3ès i è,4 ç l 3 ègè, where l 3 ègè is the number of degree1 vertices in 3blkèGè. èiiè If blkègè has more than two çvertices, then d 3 ès 3 è ç l3ègè+4. 3 èiiiè There can be at most one massive çvertex in blkègè. èivè If there is a massive çvertex in blkègè, then there is no critical çvertex in blkègè. èvè There can be at most two critical çvertices in blkègè if l 3 ègè é. Given an input biconnected graph G, its 3block graph and a graph G 0 obtained from G by adding an edge between two distinct vertices u and v, wenow describe a method to obtain 3blkèG 0 è from 3blkèGè by local updating operations on 3blkèGè instead of computing it directly from G 0. Let P 3 be the implied path between u and v in 3blkèGè. We deæne the implied graph G P3 of G on the path P 3 as follows. G P3 contains vertices and edges that are in Tutte components of G corresponding to ævertices in P 3.For every çvertex q in P 3, let s q a and s q b be the two çvertices connected to q in P 3. Let èa q 1,aqè and èb q 1,bqè be the Tutte pairs represented by sq a and sq b, respectively. If s q a is adjacent toaævertex in P 3 that corresponds to a trivial Tutte component fwg, then let a q = 1 w and let aq = w. The same procedure is applied on s q b, bq and 1 bq.weassume that if we traverse clockwise around the simple cycle C q represented by q starting from a q 1, the sequence of vertices visited in fa q,bq 1,bq g is b q, 1 bq and aq.we add the edge èaq 1,bqèto 1 G P3 if a q 1 6= b q and we add the edge 1 èaq,bq ètog P 3 if a q 6= b q. An example is shown in Figure??. Claim 4 Given a biconnected graph G and two demanding vertices u and v in G where u and v are in diæerent Tutte components, let P 3 be the implied path in 3blkèGè between u and v. The implied graph on P 3, G P3,isbiconnected if and only if u and v are not both in trivial Tutte components or there ismore than one çvertex in P 3. We now deæne the crack operation which is useful in describing the relation between 3blkèGè and the 3block graph of G after adding an edge. Deænition 4 Let G be a biconnected graph and let G 0 be the graph obtained from G by adding an edge between two demanding vertices u and v in G, where u and v are in diæerent Tutte components. Let P 3,q,s q a,s q b,aq 1,aq,bq and 1 bq be the path and vertices deæned above. The crack operation on q with respect to P 3 consists of the following procedures. èiè We add the edge èa q 1,bqè to the simple cycle 1 C q corresponding
5 to q if a q 1 6= b q and 1 èaq 1,bqè is not an edge in 1 C q. The edge èa q,bqè is added under the same condition for aq and b q.for each new simple cycle C created by adding these edges, we create a new çvertex if C contains a Tutte pair in C q èexcluding èa q 1,aqè and èbq 1,bqèè. èiiè After performing operations given in part i, let q 1 and q be the two çvertices corresponding to simple cycles created inpart i that contain only èa q 1,bqè and 1 only èa q,bqè, respectively. New çvertices s 1 ècorresponds to new Tutte pair èa q 1,bqèè and 1 s ècorresponds to new Tutte pair èa q,bq èè are added and connected to q 1 and q,respectively. èiiiè After performing operations given in parts i and ii, let s be açvertex in 3blkèGè such that s 6= s q a and s 6= s q b. Anedge ès,qè in 3blkèGè is changed toès,q 1 èorès,q è depending on whether the Tutte pair represented bys is on the simple cycle represented byq 1 or by q. Note that the crack operation creates at most two ç vertices. If there are two çvertices created by performing the crack operation on a çvertex q with respect to a path P 3, then P 3 is nonadjacent on q. Otherwise, P 3 is adjacent on q. An example is shown in Figure??. Lemma states the relations between 3blkèGè and 3blkèG 0 è, where G 0 is the graph obtained from G by adding an edge. Lemma Let G be an input biconnected graph and let G 0 be the graph obtained from G by adding an edge between two vertices u and v in G, where u and v are in diæerent Tutte components. Let P 3 be the implied path between u and v in 3blkèGè. Wecan obtain 3blkèG 0 è from 3blkèGè by applying the following operations. èiè Edges in P 3 are eliminated. Vertices and edges in 3blkèGè that are not in P 3 remain in 3blkèG 0 è.èiiè The ævertices in P 3 shrink into a new ævertex b P3 in 3blkèG 0 è if u and v are not both in trivial Tutte components or there ismore than one ç vertex in P 3. The corresponding Tutte component of b P3 is G P3 ë èu; vè, where G P3 is the implied graph on P 3. Otherwise, ævertices in P 3 are eliminated. èiiiè A vertex s in P 3 with d 3 èsè =is eliminated in3 blkèg 0 è if s is a çvertex or a çvertex. A çvertex s in P 3 with d 3 èsè ç 3 is adjacent to b P3 if b P3 exists. èivè A çvertex q in P 3 with d 3 èqè ç 3 is cracked èdeænition 4è and new çvertices are connected tob P3 if b P3 exists. If b P3 does not exist, we create a new ç vertex q 0 and the two çvertices created by the crack operation are connected toq 0. Proof: Parts i and iii are trivial. We only prove parts ii and iv. G P3 is biconnected èclaim 4è if u and v are not both in trivial Tutte components or there is more than one çvertex in P 3.éFrom the deænition of G P3,we know that the removal of any Tutte pair in G P3 will result in a graph with two connected components which contain u and v, respectively. Thus the graph G 0 P 3 obtained from G P3 by adding èu,vè is triconnected. It is also true that G 0 P 3 is maximal èno vertex can be added such that the resulting graph is still triconnectedè. This proves part ii. We know that pairs of endpoints between edges added in cracking çvertices correspond to new Tutte pairs. Every new Tutte pair created is contained in G 0 P 3. This proves part iv. An example of updating the 3block graph is shown in Figure??. The following is a corollary of Lemma. Corollary 1 Let G 0 be the graph obtained from G by adding an edge between any two demanding vertices u and v in G. The degree ofaçvertex s in P 3, the implied path in 3blkèGè between u and v, with degree é in 3blkèGè is decreased by1in3blkèg 0 è. Deænition 5 ëthe leafconnecting condition for triconnecting a biconnected graphë Let G be a biconnected graph and let u and v be two demanding vertices in G. Let P 3 be the implied path between u and v in 3blkèGè. The pair of vertices u and v satisæes the leafconnecting condition if and only if any one of the following conditions is true: èiè the path P 3 contains a ævertex of degree atleast 4; èiiè the path P 3 contains two vertices of degree atleast 3; èiiiè there exists a çvertex in P 3 such that P 3 is nonadjacent on it. Lemma 3 Let G be a biconnected graph and G 0 be the graph obtained from G by adding a new edge èu,vè. Let l 3 ègè and l 3 èg 0 è be the numbers of degree1 vertices in 3blkèGè and 3blkèG 0 è, respectively. If u and v satisfy the leafconnecting condition èdeænition 5è and l 3 ègè é 3, then l 3 èg 0 è=l 3 ègè,. Proof: We know that two degree1 vertices in 3blkèGè that correspond to Tutte components containing u and v are eliminated. If u and v satisfy the leafconnecting condition, the only ævertex created has a degree at least. Since we do not create any degree1 vertex, the lemma holds. 4. An Algorithm for Triconnecting a Biconnected Graph Using the Smallest Number of Edges We will show after the description of the algorithm that by using algorithm augto3 given below, the lower bound given in Lemma 1 can be reduced by 1 each time we add a new edge. We now describe the algorithm.
6 fæ The algorithm ænds a smallest augmentation to triconnect G, where G is biconnected with ç 4vertices. æg graph function augto3ègraph Gè; fæ The algorithmic notation used here is from Tarjan ë19ë. æg T := 3blkèGè; let l 3èGè be the number of degree1 vertices in T ; do l 3èGè ç! let s 1 be a çvertex with the largest degree in T ; 1. if s 1 is massive! v := s 1; w := s 1 j s 1 is not massive! let s be a çvertex with the largest degree in T other than s 1; let d 3ès è=0ifs does not exist; let b 1 be a nonçvertex with the largest degree in T ; if d 3ès 1è é!. v := s 1; 3. if d 3ès è é! w := s j d 3ès è ç and d 3èb 1è é! w := b 1 j d 3ès è ç and d 3èb 1è ç! w := v æ j d 3ès 1è ç! let b be a nonçvertex with the largest degree in T other than b 1; 4. v := b 1; æ; æ if d 3èb è é! v := b j d 3èb è ç! w := v æ if v = w and v is a çvertex and d 3èvè é 3! 5. ænd two degree1 vertices y and z such that the path between them in T is nonadjacent on v j v 6= w or v is not a çvertex or d 3èvè ç 3! 6. if s 1 is massive! ænd two s 1chain leaves y and z j s 1 is not massive! ænd two degree1 vertices y and z such that the path between them passes through v and æ w æ; ænd demanding vertices u 1 and u of y and z, respectively; fæ Claim shows that this is always possible. æg add an edge between u 1 and u ; update the 3block graph T ; if l 3èGè 6= 3! l 3èGè :=l 3èGè, j l 3èGè =3! l 3èGè :=l 3èGè, 1 æ od; return G end augto3; Before the proof of correctness for algorithm augto3, we state a claim for an input graph G that is unbalanced. The proof of this claim is similar to a proof in ë10, 16ë. Claim 5 Let G be an unbalanced biconnected graph with at least 4 vertices. Let s be the massive çvertex in 3blkèGè and let æ = d 3 èsè, 1,d l3ègè e. There are æ + schains in 3blkèGè. Let M be the set of schain leaves. By adding k; k ç æ, edges to connect k +1 vertices of M, wereduce both d 3 èsè and the number of leaves in the 3block tree by k. Claim 6 Let d be the largest separating degree among all çvertices in 3blkèGè and let l 3 ègè be the number of degree1 vertices in 3blkèGè. IfG is biconnected with at least 4 vertices, we can triconnect G by adding maxfd,d l3ègè eg edges using algorithm augto3. Proof: If 3blkèGè contains a massive vertex s 1, then the two s 1 chain leaves are found in steps 1 and 6. If 3blkèGè is balanced, all critical vertices are found in steps and 3. Thus if d çd l3ègè e, then d is decreased by 1 ècorollary 1è. The pair of vertices u 1 and u also satisæes part ii of the leafconnecting condition èdeænition 5è by steps, 3 and 4 if possible. Otherwise, it satisæes part i of the leafconnecting condition by step 4 or part iii of the leafconnecting condition by steps 4 and 5. Thus if déd l3ègè e, l 3 ègè decreases by each time algorithm augto3 adds an edge. The algorithm guarantees that maxfd,d l3ègè eg decreases by 1 each time we add an edge. We know that maxfd,d l3ègè eg = 0 implies that 3blkèGè is a single ævertex. Thus G is triconnected if G contains at least 4 vertices. Hence the claim is true. Theorem 1 The triconnectivity augmentation number for a biconnected graph G equals maxfd,d l3ègè eg, where d+1 is the largest degree among all çvertices in 3blkèGè and l 3 ègè is the number of degree1 vertices in 3blkèGè. Claim 7 Algorithm augto3 runs in Oèn + mè time onagraph with n vertices and m edges. 5 Finding a Smallest Augmentation to Triconnect a Graph In this section, we consider the problem of ænding a smallest augmentation to triconnect any undirected graph. We show that the lower bound given in Lemma 1 can be always achieved by giving an algorithm for it. Finally, we describe a linear time implementation for the algorithm.
7 5.1 Properties of the 3Block Graph In this section, we study properties of the 3block graph that are used in the next section for designing an algorithm to ænd a smallest augmentation to triconnect a graph. We ærst study the changes made on the 3block graph after adding an edge into the original graph in Deænition 6 and Lemma 4. Then in Claim 8, Claim 9, Lemma 5 and Corollary 3, we show that we can always decrease the lower bound given in Lemma 1 by 1by adding an edge. Let G 0 be the graph obtained from G by adding an edge between two demanding vertices u and v in G. We describe the updating operation performed on 3blkèGè after adding an edge. Deænition 6 Let G 0 be the graph obtained from G by adding an edge between two demanding vertices u and v in G, where u and v are in diæerent Tutte components. Given fq 1 ; æææ;q r g, the collection of implied paths in 3blkèGè between u and v, the block sequence ëy 1 ; æææ;y r ë, the separatingsequence ëw 1 ; æææ;w r ë and the cutsequence ëu,c 1 ; æææ;c x,vë, we can obtain 3 blkèg 0 è from 3blkèGè by performing the following operations. èiè For each Q i, 1 ç i ç r, weperform the operation given in Lemma on the 3block tree that contains Q i if Q i contains more than 1 vertex. èiiè A new çvertex is created with its corresponding simple cycle ëu,c 1 ; æææ;c x,v,uë. Each pair of vertices w i,1 and w i, 1 ç i ç r, isatutte pair. The corresponding çvertex for Tutte pair èw i,1,w i è is incident on the new çvertex created. èiiiè For each cvertex y i, 1 ç i ç r, wecreate a ævertex and connect it to the çvertex corresponds to Tutte pair èw i,1,w i è. èivè For each bvertex y i, 1 ç i ç r, the çvertex corresponding to the Tutte pair èw i,1,w i è is incident on the ævertex z whose corresponding Tutte component contains w i,1 and w i if z exists. èvè Wemerge ç vertices corresponds to the same Tutte pair and delete degree1 çvertices. The following lemma can be easily derived from Lemma, the deænition of Tutte split and the deænition of the 3block graph. An example is shown in Figure??. Lemma 4 Let G 0 be the graph obtained from G by adding an edge between two demanding vertices u and v, where u and v are in diæerent Tutte components. Given fq 1 ; æææ;q r g, the collection of implied paths between u and v in 3blkèGè, and P, the implied path in blkègè between u and v, the 3block graph for G 0 can be obtained from 3blkèGè by performing the updating operations deæned in Deænition 6 in OèjP j + P r i=1 jq i jè time. We know that if G is biconnected, there can be at most two critical çvertices in 3blkèGè èclaim 3è. But this is not true for G is not biconnected èa similar claim is also given in ë6ëè. We now state a claim about the set of all critical çvertices in 3blkèGè for a general graph G. In general, if there are more than critical çvertices in 3blkèGè, we can partition the set of critical çvertices into at most two subsets such that either a subset has one çvertex or Tutte pairs corresponding to critical çvertices in a subset share a common cutpoint. Claim 8 Let G be aconnected graph with wègè é. Let S = fs 1 ; æææ;s r g be the set of critical çvertices in 3blkèGè. Given S, let = 1 = fc j c is a cutpoint that is shared by more than one Tutte pair represented by members of Sg. Let = = fs j s Sand 69c = 1 such that the Tutte pair represented by s contains cg. Then j= 1 j + j= jç. Proof: The proof uses 3 propositions and is given in ë11ë. All propositions are proved by ærst ænding separating degrees of çvertices in S and a lower bound value for wègè in all possible cases and then deriving a contradiction by the fact that the separating degree of any critical çvertex must be equal to d wègè e. Corollary Let G be a connected graph with wègè é. We can ænd two demanding vertices u 1 and u in G such that each critical çvertex is either in one of the paths in the collection of implied paths between u 1 and u in 3blkèGè or its corresponding Tutte pair contains a cutpoint in the implied path between them in blkègè. Claim 9 states some conditions under which separating degrees of certain çvertices decrease by 1. Claim 9 Let G be an undirected graph and let u and v be two demanding vertices in G. Let G 0 be the graph obtained from G by adding the edge èu,vè and let s be a çvertex in 3blkèGè with sdèsè ç 3. Then sdèsè decreases by 1 in G 0 if any one of the following conditions is true: èiè s is in one of the path in the collection of implied paths between u and v in 3blkèGè; èiiè the corresponding Tutte pair of s contains a cutpoint in the implied path between u and v in blkègè. Lemma 5 states a condition under which the weight of the graph decreases by after adding an edge. Lemma 5 Let G 0 be the graph obtained from a graph G by adding an edge between two distinct demanding vertices u and v. Then wèg 0 è=wègè, if u and v are in diæerent connected components or in diæerent blocks.
8 By Lemma 5 and Corollary, we now show that in any biconnected graph, we can always decrease the lower bound given in Lemma 1 by1by adding an edge. Corollary 3 Let G be aconnected graph that is not biconnected. We can ænd two demanding vertices u 1 and u in G such that they satisfy the condition given in Corollary and wèg ëfèu 1 ;u ègè =wègè,. Proof: If we can ænd two demanding vertices not in the same block that satisfy the condition given in Corollary or any two critical çvertices whose Tutte pairs share a common cutpoint, then Lemma 5 shows wègëfèu 1 ;u ègè =wègè,. Let u 1 and u be in the block H; every critical çvertex is also in H and they do not share any cutpoint. éfrom Claim 8, we know that there can be at most two critical çvertices whose Tutte pairs do not share cutpoint. If there is only one critical çvertex in H, we can easily substitute one of u 1 and u for a demanding vertex in a block that is not H such that u 1 and u satisfy both the conditions given in Corollary and Lemma 5. Thus wèg ëfèu 1 ;u ègè =wègè,. For the case of having two critical çvertex in H, their degrees in 3blkèGè must be greater than since G is not biconnected and they are the only two critical çvertices in 3blkèGè. By Lemma 3, the number of 3block leaves decreases by. Thus the weight ofg decreases by after adding èu 1,u è. 5. An Algorithm for Triconnecting an Undirected Graph Using the Smallest Number of Edges In the following algorithm, aug3, we ænd a pair of demanding vertices u and v in G such that the collection of implied paths Q in 3blkèGè between u and v passes through the massive çvertex or all critical çvertices if G is connected. If G is not connected, u and v are demanding vertices in G that are in diæerent connected components. We also have to make sure that wègè is reduced by if 3blkèGè is balanced by satisfying the conditions given in Lemma 5. fæ The graph G has at least 4 vertices; the algorithm ænds a smallest augmentation to triconnect G. æg graph function aug3ègraph Gè; T := blkègè; T 3 := 3blkèGè; let wègè be the weight ofg; fæ Deænition 3. æg do wègè ç and 9 a cvertex in T! if G is not connected! 1. ænd y and z that are 3block leaves or isolated 3block vertices in diæerent trees of T 3 j G is connected! let d be the largest separating degree among all çvertices in T 3; if déd wègè e!fæthere exists an unique massive çvertex in T 3 èclaim 10è. æg. let s be the massive çvertex in T 3; 3. ænd two schain leaves y and z in T 3 j d çd wègè e! 4. ænd y and z that are 3íblock leaves or isolated 3block vertices in T 3 such that demanding vertices u and v of y and z, respectively, satisfy the condition given in Corollary 3 fæ Corollary 3 shows that this is always possible. æg æ æ; 5. ænd demanding vertices u 1 and u of y and z, respectively; fæ Claim shows that this is always possible. æg add an edge between u 1 and u ; update the block graph T ; update the 3block graph T 3; if G is connected and déd wègè e! wègè :=wègè, 1 j G is not connected or d çd wègè e! wègè :=wègè, æ od; fæ G is biconnected. æg return augto3ègè end aug3; Claim 10 If there exists a massive çvertex s 1 in 3 blkègè, then a çvertex s with the largest separating degree among çvertices other than s 1 is not massive or critical. Let æ = sdès 1 è,d wègè e. There areat least æ + s 1 chains in 3blkèGè. Let M be the set of s 1 chain leaves. By adding k; k ç æ, edges to connect k +1 vertices of M, wereduce both sdès 1 è and the weight of the graph by k. Claim 11 Let G be an undirected graph with at least 4 vertices. We can triconnect G by adding maxfd,d wègè eg edges using algorithm aug3, where d is the largest separating degree among all çvertices in 3blkèGè and wègè is the weight of G. Proof: If G is not connected, algorithm aug3 ænds u 1 and u in diæerent connected components at steps 1 and 5. éfrom Lemma 5, we know that d wègè e is decreased by 1. éfrom the deænition of separating de gree, d is decreased by 1 because the number of connected components is decreased by 1. éfrom Claim 10, we know that there can be at most one massive vertex s if déd wègè e. Algorithm aug3 ænds s at step. We reduce maxfd,d wègè eg by 1by adding a new
9 edge between two schain leaves èstep 3è if G is connected and unbalanced. If G is balanced, algorithm aug3 adds an edge èu 1,u è such that u 1 and u are two demanding vertices satisfy the condition given in Corollary 3. Thus d wègè e is decreased by 1 and G remains balanced. Algorithm aug3 keeps doing this un til G is biconnected. Notice that if G is biconnected, wègè = l 3 ègè. At this point, algorithm aug3 calls algorithm augto3 on the current biconnected graph. Hence by Claim 6, the claim is true. Theorem The triconnectivity augmentation number for a graph G equals maxfd,d wègè eg, where d is the largest separating degree among all çvertices in 3blkèGè and wègè is the weight of G. 5.3 A Linear Time Implementation Let s G be the sum of the separating degrees of all Tutte pairs in the 3block graph of a graph G with n vertices and m edges. By using techniques similar to those described in ë10ë and the proof of Claim 7, algorithm aug3 can be implemented to run in Oèn+m+s G è time. Since s G could be æèn è for a graph with n vertices, we do not have a linear time implementation for algorithm aug3 if m is not æèn è. However, Lemma 6 èë6ë stated a similar claim which is part of the lemmaè tells us of a possible method to obtain a linear time implementation. Lemma 6 Given a critical Tutte pair s 1 and another Tutte pair s, s 1 6= s,inaconnected graph G, let s 1 and s share acommon cutpoint c. Let s 1 =èc; a 1 è and let s =èc; a è. Then d 3 ès 1 è ç d 3 ès è+èd èa è, 1è. Ifs is also critical, then d èa 1 è=1and d èa è= 1. Lemma 6 says that for a set of more than 1 critical çvertex whose corresponding Tutte pairs share a common cutpoint c, the other vertices in these Tutte pairs are not cutpoints. Let S c be the set of Tutte pairs share c and let J c be the subset of S c with the largest degree in 3blkèGè among all Tutte pairs in S c. ATutte pair s in S c is a candidate if and only if any one of the following conditions is true: èiè J c = fsg; èiiè s J c and only the vertex c in each Tutte pair in J c is a cutpoint; èiiiè s J c and both vertices in s are cutpoints. We can ænd a candidate for any S c. Lemma 6 also states that if js c jç and any one of the candidates is not critical, then none of the Tutte pairs in S c is critical. Let n be the numberofvertices and m be the number of edges in the input graph. Using Lemma 6 and the sorted table data structure given in ë16ë, we can implement algorithm aug3 in Oèn + mè time. Given a set of p nodes V with a key in each node whose value is Oèpè, the sorted table is an array L of Oèpè entries. The ith entry of L points to a doubly linked list which contains all nodes in V with the key value i. For Tutte pairs that do not share any cutpoint with any other Tutte pairs, we maintain a sorted table using their separating degrees as keys. Entries are updated whenever their separating degrees are changed. The sum of the separating degrees of all çvertices in the sorted table is Oènè. Given a sorted table L, an equivalent sorted list is a doubly linked list on entries of L that does not point to an empty list. The relative order of entries in L is preserved. For each cutpoint c that is shared by Tutte pairs S c = fèc; a 1 è; æææ; èc; a r èg, where r ç, we maintain the following information: y c, a candidate for S c èy c is updated only if the current candidate no longer satisæes the condition of being a candidateè and Q c, a sorted list on the set of çvertices corresponding to Tutte pairs in S c with their degrees in the 3block graph as their key values. Note that we must rechoose y c, where c is a cutpoint, if and only if a degree in 3blkèGè foratutte pair is changed or a degree in  blkègè for a cutpoint becomes 1. Thus we only have to rechoose Oènè times. Thus the above information can be maintained in totally Oènè time. For a cutpoint c, let its y c be èc,a c è. We maintain an entry with key value sdèy c è in the sorted table if and only if any one of the following conditions is true: èiè a c is not a cutpoint; èiiè js ac jç1; èiiiè js ac j é 1 and y c = y ac. This makes sure that if we update èdecreaseè the degree of a cutpoint, only a constant number of entries in the sorted table are updated. Note that if we have tochange y c for a cutpoint c, we only have to get a constant number of entries in and out the sorted table. Every entry in the sorted table is updated whenever its separating degree is changed. During the augmentation using algorithm aug3, we create new çvertices by creating new polygons. The sum of the degrees in the 3block graph of all created çvertices is Oènè. Since the sum of the degrees of all çvertices in the 3block graph, the sum of the degrees of all cvertices in the block graph and the sum of the separating degree of all çvertices in 3blkèGè are all Oènè, the total time to update the sorted table is Oènè. Using the above method, we can implement algorithm aug3 in linear time. Claim 1 Algorithm aug3 runs in linear time. 6 Conclusion In this paper, we have presented a linear time se
10 quential algorithm for ænding a smallest augmentation to triconnect an undirected graph. The algorithm is divided into two stages. During the ærst stage, we biconnect the input graph. Then we triconnect the resulting biconnected graph using the smallest number of edges in the second stage. We have to make sure that the total number of edges added in these two stages is minimum. We ærst described a linear time sequential algorithm to triconnect a biconnected graph using the smallest number of edges. Then we presented a linear time algorithm to biconnect a graph such that the set of edges added is a subset of edges needed to triconnect the graph using the smallest number of edges. References ë1ë GuoRay Cai& YuGeng Sun, ë The minimum augmentation of any graph to a kedgeconnected graph," Networks, Vol. 19, 1989, pp ëë Kapali P. Eswaran & R. Endre Tarjan, ëaugmentation problems," SIAM J. Comput. Vol 5, December 1976, pp ë3ë S. Even, Graph Algorithms, Computer Science Press, Rockville, MD, ë4ë Andrças Frank, ëaugmenting graphs to meet edgeconnectivity requirements," Proc. 31th Annual IEEE Symp. on Foundations of Comp. Sci., 1990, pp ë5ë H. Frank & W. Chou, ëconnectivity considerations in the design of survivable networks," IEEE Trans. on Circuit Theory, Vol. CT17, November 1970, pp ë6ë Greg N. Frederickson & Joseph Ja'Ja', ëapproximation algorithms for several graph augmentation problems," SIAM J. Comput., Vol. 10, May 1981, pp ë7ë D. Gusæeld, ëoptimal mixed graph augmentation," SIAM J. Comput., Vol. 16, August 1987, pp ë8ë D. Harel & R. E. Tarjan, ëfast algorithms for ænding nearest common ancestors," SIAM J. Comput., Vol. 13, 1984, pp ë9ë J. E. Hopcroft & R. E. Tarjan, ëdividing a graph into triconnected components," SIAM J. Comput., Vol., September 1973, pp ë10ë Tsansheng Hsu & Vijaya Ramachandran, ëon ænding a smallest augmentation to biconnect a graph," Tech. Rep. TR911, U.T. Austin, ë11ë Tsansheng Hsu & Vijaya Ramachandran, ëa linear time algorithm for triconnectivity augmentation," Manuscript, U.T. Austin, ë1ë Yoji Kajitani & Shuichi Ueno, ëthe minimum augmentation of a directed tree to a kedgeconnected directed graph," Networks, Vol. 16, 1986, pp ë13ë Arkady Kanevsky, ëvertex connectivity of graphs: algorithms and bounds," Tech. Rep. ACT97 èph.d. thesisè, Coordinated Science lab., Univ. of Illinois, Urbana, ë14ë D. Naor, D. Gusæeld & C. Martel, ëa fast algorithm for optimally increasing the edgeconnectivity," Proc. 31th Annual IEEE Symp. on Foundations of Comp. Sci., 1990, pp ë15ë Vijaya Ramachandran, ëparallel open ear decomposition with applications to graph biconnectivity and triconnectivity," invited chapter for Synthesis of Parallel Algorithms, J. H. Reif, editor, MorganKaufmann. ë16ë Arnie Rosenthal & Anita Goldner, ësmallest augmentations to biconnect a graph," SIAM J. Comput., Vol. 6, March 1977, pp ë17ë Danny Soroker, ëfast parallel strong orientation of mixed graphs and related augmentation problems," Journal of Algorithms, 9, 1988, pp ë18ë Kenneth Steiglitz, Peter Weiner & D. J. Kleitman, ëthe design of minimumcost survivable networks," IEEE Trans. on Circuit Theory, Vol. CT16, November 1969, pp ë19ë R. E. Tarjan, Data Structures and Network Algorithms, SIAM Press, Philadelphia, PA, ë0ë W. T. Tutte, Connectivity in Graphs, University of Toronto Press, ë1ë Shuichi Ueno, Yoji Kajitani & Hajime Wada, ëminimum augmentation of a tree to a kedgeconnected graph," Networks, Vol. 18, 1988, pp ëë T. Watanabe, ëan eæcient way for edgeconnectivity augmentation," Tech. Rep. ACT76, Coordinated Science lab., Univ. of Illinois, Urbana, ë3ë T. Watanabe, Y. Higashi & A. Nakamura, ëgraph augmentation problems for a speciæed set of vertices," Proc. ærst Ann. Intl. Sym. on Algorithms, 1990, pp ë4ë T. Watanabe & A. Nakamura, ëon a smallest augmentation to triconnect a graph," Tech. Rep. C18, Department of Applied Mathematics, Hiroshima University, Japan è1983, revised 1987è. ë5ë T. Watanabe & A. Nakamura, ëedgeconnectivity augmentation problems," J. Comput. System Sci., 35è1987è, pp ë6ë T. Watanabe & A. Nakamura, ë3connectivity augmentation problems," Proc IEEE Intl. Sym. on Circuits and Systems, 1988, pp ë7ë T. Watanabe, T. Narita & A. Nakamura, ë3edge Connectivity augmentation problems," Proc IEEE Intl. Sym. on Circuits and Systems, 1989, pp
[25] T. Watanabe, An ecient way for edgeconnectivity augmentation, Tech. Rep. ACT
[25] T. Watanabe, An ecient way for edgeconnectivity augmentation, Tech. Rep. ACT 76UILUENG872221, Coordinated Science lab., University of Illinois, Urbana, IL, 1987. [26] T. Watanabe and A. Nakamura,
More informationFOUR EDGEINDEPENDENT SPANNING TREES 1
FOUR EDGEINDEPENDENT SPANNING TREES 1 Alexander Hoyer and Robin Thomas School of Mathematics Georgia Institute of Technology Atlanta, Georgia 303320160, USA ABSTRACT We prove an eardecomposition theorem
More informationDominating Sets in Planar Graphs 1
Dominating Sets in Planar Graphs 1 Lesley R. Matheson 2 Robert E. Tarjan 2; May, 1994 Abstract Motivated by an application to unstructured multigrid calculations, we consider the problem of asymptotically
More informationConnectivity, Graph Minors, and Subgraph Multiplicity
Connectivity, Graph Minors, and Subgraph Multiplicity David Eppstein Department of Information and Computer Science University of California, Irvine, CA 92717 Tech. Report 9206 January 10, 1992 Abstract
More informationSteiner Trees and Forests
Massachusetts Institute of Technology Lecturer: Adriana Lopez 18.434: Seminar in Theoretical Computer Science March 7, 2006 Steiner Trees and Forests 1 Steiner Tree Problem Given an undirected graph G
More informationDefinition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, vpath. 1
Graph fundamentals Bipartite graph characterization Lemma. If a graph contains an odd closed walk, then it contains an odd cycle. Proof strategy: Consider a shortest closed odd walk W. If W is not a cycle,
More informationRigidity, connectivity and graph decompositions
First Prev Next Last Rigidity, connectivity and graph decompositions Brigitte Servatius Herman Servatius Worcester Polytechnic Institute Page 1 of 100 First Prev Next Last Page 2 of 100 We say that a framework
More information1 Matchings with Tutte s Theorem
1 Matchings with Tutte s Theorem Last week we saw a fairly strong necessary criterion for a graph to have a perfect matching. Today we see that this condition is in fact sufficient. Theorem 1 (Tutte, 47).
More informationA generalization of Mader s theorem
A generalization of Mader s theorem Ajit A. Diwan Department of Computer Science and Engineering Indian Institute of Technology, Bombay Mumbai, 4000076, India. email: aad@cse.iitb.ac.in 18 June 2007 Abstract
More informationarxiv: v1 [cs.ds] 19 Feb 2014
Turing Kernelization for Finding Long Paths and Cycles in Restricted Graph Classes Bart M. P. Jansen 1 University of Bergen, Norway. Bart.Jansen@ii.uib.no arxiv:1402.4718v1 [cs.ds] 19 Feb 2014 Abstract.
More informationEdgedisjoint Spanning Trees in Triangulated Graphs on Surfaces and application to node labeling 1
Edgedisjoint Spanning Trees in Triangulated Graphs on Surfaces and application to node labeling 1 Arnaud Labourel a a LaBRI  Universite Bordeaux 1, France Abstract In 1974, Kundu [4] has shown that triangulated
More informationA Fast Algorithm for Optimal Alignment between Similar Ordered Trees
Fundamenta Informaticae 56 (2003) 105 120 105 IOS Press A Fast Algorithm for Optimal Alignment between Similar Ordered Trees Jesper Jansson Department of Computer Science Lund University, Box 118 SE221
More informationPlanarity Testing for CConnected Clustered Graphs. Elias Dahlhaus Karsten Klein Petra Mutzel. Algorithm Engineering Report TR July 2006
Planarity Testing for CConnected Clustered Graphs Elias Dahlhaus Karsten Klein Petra Mutzel Algorithm Engineering Report TR061001 July 2006 ISSN 18644503 University of Dortmund Department of Computer
More informationThe Fibonacci hypercube
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 40 (2008), Pages 187 196 The Fibonacci hypercube Fred J. Rispoli Department of Mathematics and Computer Science Dowling College, Oakdale, NY 11769 U.S.A. Steven
More informationGraph Algorithms Using Depth First Search
Graph Algorithms Using Depth First Search Analysis of Algorithms Week 8, Lecture 1 Prepared by John Reif, Ph.D. Distinguished Professor of Computer Science Duke University Graph Algorithms Using Depth
More informationApplied Mathematical Sciences, Vol. 5, 2011, no. 49, Július Czap
Applied Mathematical Sciences, Vol. 5, 011, no. 49, 43744 M i Edge Colorings of Graphs Július Czap Department of Applied Mathematics and Business Informatics Faculty of Economics, Technical University
More informationON SWELL COLORED COMPLETE GRAPHS
Acta Math. Univ. Comenianae Vol. LXIII, (1994), pp. 303 308 303 ON SWELL COLORED COMPLETE GRAPHS C. WARD and S. SZABÓ Abstract. An edgecolored graph is said to be swellcolored if each triangle contains
More informationLecture 4: Walks, Trails, Paths and Connectivity
Lecture 4: Walks, Trails, Paths and Connectivity Rosa Orellana Math 38 April 6, 2015 Graph Decompositions Def: A decomposition of a graph is a list of subgraphs such that each edge appears in exactly one
More informationSolution for Homework set 3
TTIC 300 and CMSC 37000 Algorithms Winter 07 Solution for Homework set 3 Question (0 points) We are given a directed graph G = (V, E), with two special vertices s and t, and nonnegative integral capacities
More informationGraph Connectivity G G G
Graph Connectivity 1 Introduction We have seen that trees are minimally connected graphs, i.e., deleting any edge of the tree gives us a disconnected graph. What makes trees so susceptible to edge deletions?
More informationSources for this lecture. 3. Matching in bipartite and general graphs. Symmetric difference
S72.2420 / T79.5203 Matching in bipartite and general graphs 1 3. Matching in bipartite and general graphs Let G be a graph. A matching M in G is a set of nonloop edges with no shared endpoints. Let
More informationAdvanced Algorithms Class Notes for Monday, October 23, 2012 Min Ye, Mingfu Shao, and Bernard Moret
Advanced Algorithms Class Notes for Monday, October 23, 2012 Min Ye, Mingfu Shao, and Bernard Moret Greedy Algorithms (continued) The best known application where the greedy algorithm is optimal is surely
More informationLecture notes on: Maximum matching in bipartite and nonbipartite graphs (Draft)
Lecture notes on: Maximum matching in bipartite and nonbipartite graphs (Draft) Lecturer: Uri Zwick June 5, 2013 1 The maximum matching problem Let G = (V, E) be an undirected graph. A set M E is a matching
More informationarxiv: v2 [math.co] 13 Aug 2013
Orthogonality and minimality in the homology of locally finite graphs Reinhard Diestel Julian Pott arxiv:1307.0728v2 [math.co] 13 Aug 2013 August 14, 2013 Abstract Given a finite set E, a subset D E (viewed
More informationChordal Graphs: Theory and Algorithms
Chordal Graphs: Theory and Algorithms 1 Chordal graphs Chordal graph : Every cycle of four or more vertices has a chord in it, i.e. there is an edge between two non consecutive vertices of the cycle. Also
More informationHAMBURGER BEITRÄGE ZUR MATHEMATIK
HAMBURGER BEITRÄGE ZUR MATHEMATIK Heft 299 Bridges in Highly Connected Graphs Paul Wollan December 2007 Bridges in highly connected graphs Paul Wollan Mathematisches Seminar University of Hamburg Bundesstr.
More information2. Lecture notes on nonbipartite matching
Massachusetts Institute of Technology 18.433: Combinatorial Optimization Michel X. Goemans February 15th, 013. Lecture notes on nonbipartite matching Given a graph G = (V, E), we are interested in finding
More informationChordal graphs and the characteristic polynomial
Discrete Mathematics 262 (2003) 211 219 www.elsevier.com/locate/disc Chordal graphs and the characteristic polynomial Elizabeth W. McMahon ;1, Beth A. Shimkus 2, Jessica A. Wolfson 3 Department of Mathematics,
More informationV :nonempty vertex ornode set E V V :edge set G (V, E) :directed graph on V, or digraph on V
9311. Graph Theory Example: V :nonempty vertex ornode set E V V :edge set G (V, E) :directed graph on V, or digraph on V b e f V={a, b, c, d, e, f, g} a c d f E={(a,b), (b,c), (c,a),... } Note: (a,
More informationThese notes present some properties of chordal graphs, a set of undirected graphs that are important for undirected graphical models.
Undirected Graphical Models: Chordal Graphs, Decomposable Graphs, Junction Trees, and Factorizations Peter Bartlett. October 2003. These notes present some properties of chordal graphs, a set of undirected
More informationA note on Baker s algorithm
A note on Baker s algorithm Iyad A. Kanj, Ljubomir Perković School of CTI, DePaul University, 243 S. Wabash Avenue, Chicago, IL 606042301. Abstract We present a corrected version of Baker s algorithm
More informationCPSC 536N: Randomized Algorithms Term 2. Lecture 10
CPSC 536N: Randomized Algorithms 0111 Term Prof. Nick Harvey Lecture 10 University of British Columbia In the first lecture we discussed the Max Cut problem, which is NPcomplete, and we presented a very
More informationProblem Set 2 Solutions
Problem Set 2 Solutions Graph Theory 2016 EPFL Frank de Zeeuw & Claudiu Valculescu 1. Prove that the following statements about a graph G are equivalent.  G is a tree;  G is minimally connected (it is
More informationParallel Recognition of SeriesParallel Graphs
Parallel Recognition of SeriesParallel Graphs David Eppstein Department of Information and Computer Science University of California, Irvine, CA 92717 October 4, 1990 Abstract Recently, He and Yesha gave
More informationThe External Network Problem
The External Network Problem Jan van den Heuvel and Matthew Johnson CDAM Research Report LSECDAM200415 December 2004 Abstract The connectivity of a communications network can often be enhanced if the
More informationFaster Algorithms for Computing Maximal 2Connected Subgraphs in Sparse Directed Graphs
Faster Algorithms for Computing Maximal 2Connected Subgraphs in Sparse Directed Graphs Abstract Shiri Chechik Tel Aviv University, Israel schechik@cs.tau.ac.il Giuseppe F. Italiano Università di Roma
More informationDecreasing the Diameter of Bounded Degree Graphs
Decreasing the Diameter of Bounded Degree Graphs Noga Alon András Gyárfás Miklós Ruszinkó February, 00 To the memory of Paul Erdős Abstract Let f d (G) denote the minimum number of edges that have to be
More informationFinding bipartite subgraphs efficiently
Finding bipartite subgraphs efficiently Dhruv Mubayi and György Turán Abstract Polynomial algorithms are given for the following two problems: given a graph with n vertices and m edges, find a complete
More informationMinimumSpanningTree problem. Minimum Spanning Trees (Forests) MinimumSpanningTree problem
Minimum Spanning Trees (Forests) Given an undirected graph G=(V,E) with each edge e having a weight w(e) : Find a subgraph T of G of minimum total weight s.t. every pair of vertices connected in G are
More informationList of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,
List of Theorems Mat 416, Introduction to Graph Theory 1. Ramsey s Theorem for graphs 8.3.11. Theorem 1 The numbers R(p, q) exist and for p, q 2, R(p, q) R(p 1, q) + R(p, q 1). If both summands on the
More informationCUT VERTICES IN ZERODIVISOR GRAPHS OF FINITE COMMUTATIVE RINGS
CUT VERTICES IN ZERODIVISOR GRAPHS OF FINITE COMMUTATIVE RINGS M. AXTELL, N. BAETH, AND J. STICKLES Abstract. A cut vertex of a connected graph is a vertex whose removal would result in a graph having
More informationThe Encoding Complexity of Network Coding
The Encoding Complexity of Network Coding Michael Langberg Alexander Sprintson Jehoshua Bruck California Institute of Technology Email: mikel,spalex,bruck @caltech.edu Abstract In the multicast network
More information6. Lecture notes on matroid intersection
Massachusetts Institute of Technology 18.453: Combinatorial Optimization Michel X. Goemans May 2, 2017 6. Lecture notes on matroid intersection One nice feature about matroids is that a simple greedy algorithm
More informationFast Skew Partition Recognition
Fast Skew Partition Recognition William S. Kennedy 1, and Bruce Reed 2, 1 Department of Mathematics and Statistics, McGill University, Montréal, Canada, H3A2K6 kennedy@math.mcgill.ca 2 School of Computer
More informationGRAPHS, GRAPH MODELS, GRAPH TERMINOLOGY, AND SPECIAL TYPES OF GRAPHS
GRAPHS, GRAPH MODELS, GRAPH TERMINOLOGY, AND SPECIAL TYPES OF GRAPHS DR. ANDREW SCHWARTZ, PH.D. 10.1 Graphs and Graph Models (1) A graph G = (V, E) consists of V, a nonempty set of vertices (or nodes)
More informationThe Structure of BullFree Perfect Graphs
The Structure of BullFree Perfect Graphs Maria Chudnovsky and Irena Penev Columbia University, New York, NY 10027 USA May 18, 2012 Abstract The bull is a graph consisting of a triangle and two vertexdisjoint
More informationMaximal Monochromatic Geodesics in an Antipodal Coloring of Hypercube
Maximal Monochromatic Geodesics in an Antipodal Coloring of Hypercube Kavish Gandhi April 4, 2015 Abstract A geodesic in the hypercube is the shortest possible path between two vertices. Leader and Long
More informationSmall Survey on Perfect Graphs
Small Survey on Perfect Graphs Michele Alberti ENS Lyon December 8, 2010 Abstract This is a small survey on the exciting world of Perfect Graphs. We will see when a graph is perfect and which are families
More information3 Competitive Dynamic BSTs (January 31 and February 2)
3 Competitive Dynamic BSTs (January 31 and February ) In their original paper on splay trees [3], Danny Sleator and Bob Tarjan conjectured that the cost of sequence of searches in a splay tree is within
More informationOn vertexcoloring edgeweighting of graphs
Front. Math. China DOI 10.1007/s1146400900148 On vertexcoloring edgeweighting of graphs Hongliang LU 1, Xu YANG 1, Qinglin YU 1,2 1 Center for Combinatorics, Key Laboratory of Pure Mathematics and
More informationA Simplified Correctness Proof for a WellKnown Algorithm Computing Strongly Connected Components
A Simplified Correctness Proof for a WellKnown Algorithm Computing Strongly Connected Components Ingo Wegener FB Informatik, LS2, Univ. Dortmund, 44221 Dortmund, Germany wegener@ls2.cs.unidortmund.de
More informationInduceduniversal graphs for graphs with bounded maximum degree
Induceduniversal graphs for graphs with bounded maximum degree Steve Butler UCLA, Department of Mathematics, University of California Los Angeles, Los Angeles, CA 90095, USA. email: butler@math.ucla.edu.
More informationThe NPCompleteness of Some EdgePartition Problems
The NPCompleteness of Some EdgePartition Problems Ian Holyer y SIAM J. COMPUT, Vol. 10, No. 4, November 1981 (pp. 713717) c1981 Society for Industrial and Applied Mathematics 00975397/81/10040006
More informationTHE RESULT FOR THE GRUNDY NUMBER ON P4 CLASSES
THE RESULT FOR THE GRUNDY NUMBER ON P4 CLASSES Ali Mansouri 1 and Mohamed Salim bouhlel 2 1 Department of Electronic Technologies of Information and Telecommunications Sfax, Tunisia 2 Department of Electronic
More informationEulerian subgraphs containing given edges
Discrete Mathematics 230 (2001) 63 69 www.elsevier.com/locate/disc Eulerian subgraphs containing given edges HongJian Lai Department of Mathematics, West Virginia University, P.O. Box. 6310, Morgantown,
More informationOn the Balanced Case of the BrualdiShen Conjecture on 4Cycle Decompositions of Eulerian Bipartite Tournaments
Electronic Journal of Graph Theory and Applications 3 (2) (2015), 191 196 On the Balanced Case of the BrualdiShen Conjecture on 4Cycle Decompositions of Eulerian Bipartite Tournaments Rafael Del Valle
More information2. CONNECTIVITY Connectivity
2. CONNECTIVITY 70 2. Connectivity 2.1. Connectivity. Definition 2.1.1. (1) A path in a graph G = (V, E) is a sequence of vertices v 0, v 1, v 2,..., v n such that {v i 1, v i } is an edge of G for i =
More informationCharacterization of Networks Supporting Multidimensional Linear Interval Routing Scheme
Characterization of Networks Supporting Multidimensional Linear Interval Routing Scheme YASHAR GANJALI Department of Computer Science University of Waterloo Canada Abstract An Interval routing scheme
More informationStrongly Connected Spanning Subgraph for Almost Symmetric Networks
CCC 2015, Kingston, Ontario, August 10 12, 2015 Strongly Connected Spanning Subgraph for Almost Symmetric Networks A. Karim AbuAffash Paz Carmi Anat Parush Tzur Abstract In the strongly connected spanning
More informationOrthogonal art galleries with holes: a coloring proof of Aggarwal s Theorem
Orthogonal art galleries with holes: a coloring proof of Aggarwal s Theorem Pawe l Żyliński Institute of Mathematics University of Gdańsk, 8095 Gdańsk, Poland pz@math.univ.gda.pl Submitted: Sep 9, 005;
More informationNote A further extension of Yap s construction for critical graphs. ZiXia Song
Discrete Mathematics 243 (2002) 283 290 www.elsevier.com/locate/disc Note A further extension of Yap s construction for critical graphs ZiXia Song Department of Mathematics, National University of Singapore,
More informationSome results related to the toughness of3domination critical graphs
Discrete Mathematics 272 (2003) 5 15 www.elsevier.com/locate/disc ome results related to the toughness of3domination critical graphs Nawarat Ananchuen a;1, Michael D. Plummer b;2 a Department of Mathematics,
More informationThis article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the author s benefit and for the benefit of the author s institution, for noncommercial
More informationJournal of Graph Algorithms and Applications
Journal of Graph Algorithms and Applications http://www.cs.brown.edu/publications/jgaa/ vol. 5, no. 5, pp. 93 105 (2001) Connectivity of Planar Graphs H. de Fraysseix P. Ossona de Mendez CNRS UMR 8557
More informationThe clique number of a random graph in (,1 2) Let ( ) # subgraphs in = 2 =: ( ) We will be interested in s.t. ( )~1. To gain some intuition note ( )
The clique number of a random graph in (,1 2) Let () # subgraphs in = 2 =:() We will be interested in s.t. ()~1. To gain some intuition note ()~ 2 =2 and so ~2log. Now let us work rigorously. () (+1)
More informationSuperconcentrators of depth 2 and 3; odd levels help (rarely)
Superconcentrators of depth 2 and 3; odd levels help (rarely) Noga Alon Bellcore, Morristown, NJ, 07960, USA and Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv
More informationThe competition numbers of complete tripartite graphs
The competition numbers of complete tripartite graphs SUHRYUNG KIM Department of Mathematics Education, Seoul National University, 151742, Korea srkim@snuackr YOSHIO SANO Research Institute for Mathematical
More informationSimpler, Lineartime Transitive Orientation via Lexicographic BreadthFirst Search
Simpler, Lineartime Transitive Orientation via Lexicographic BreadthFirst Search Marc Tedder University of Toronto arxiv:1503.02773v1 [cs.ds] 10 Mar 2015 Abstract Comparability graphs are the undirected
More informationProject Report for CMSC 858F (Previous Work)
Project Report for CMSC 858F (Previous Work) Rajesh Chitnis M. Reza Khani Vahid Liaghat December 7, 2011 Abstract In this report we give a brief view of some tractability and intractability results in
More informationComplexity Results on Graphs with Few Cliques
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 9, 2007, 127 136 Complexity Results on Graphs with Few Cliques Bill Rosgen 1 and Lorna Stewart 2 1 Institute for Quantum Computing and School
More informationModular Representations of Graphs
Modular Representations of Graphs Crystal Altamirano, Stephanie Angus, Lauren Brown, Joseph Crawford, and Laura Gioco July 2011 Abstract A graph G has a representation modulo r if there exists an injective
More informationThe clique number of a random graph in (,1 2) Let ( ) # subgraphs in = 2 =: ( ) 2 ( ) ( )
1 The clique number of a random graph in (,1 2) Let () # subgraphs in = 2 =:() We will be interested in s.t. ()~1. To gain some intuition note ()~ 2 =2 and so ~2log. Now let us work rigorously. () (+1)
More informationStar coloring bipartite planar graphs
Star coloring bipartite planar graphs H. A. Kierstead, André Kündgen and Craig Timmons April 19, 2008 Abstract A star coloring of a graph is a proper vertexcoloring such that no path on four vertices
More informationExtremal results for Bergehypergraphs
Extremal results for Bergehypergraphs Dániel Gerbner Cory Palmer Abstract Let G be a graph and H be a hypergraph both on the same vertex set. We say that a hypergraph H is a BergeG if there is a bijection
More informationDistributed algorithms for weighted problems in sparse graphs
Distributed algorithms for weighted problems in sparse graphs A. Czygrinow, M. Hańćkowiak June 2, 2005 Abstract We study distributed algorithms for three graphtheoretic problems in weighted trees and
More informationProperly Colored Paths and Cycles in Complete Graphs
011 ¼ 9 È È 15 ± 3 ¾ Sept., 011 Operations Research Transactions Vol.15 No.3 Properly Colored Paths and Cycles in Complete Graphs Wang Guanghui 1 ZHOU Shan Abstract Let K c n denote a complete graph on
More informationLecture Notes on Karger s MinCut Algorithm. Eric Vigoda Georgia Institute of Technology Last updated for Advanced Algorithms, Fall 2013.
Lecture Notes on Karger s MinCut Algorithm. Eric Vigoda Georgia Institute of Technology Last updated for 4540  Advanced Algorithms, Fall 2013. Today s topic: Karger s mincut algorithm [3]. Problem Definition
More informationAnother abstraction of the ErdősSzekeres Happy End Theorem
Another abstraction of the ErdősSzekeres Happy End Theorem Noga Alon Ehsan Chiniforooshan Vašek Chvátal François Genest Submitted: July 13, 2009; Accepted: Jan 26, 2010; Published: XX Mathematics Subject
More informationOn 2Subcolourings of Chordal Graphs
On 2Subcolourings of Chordal Graphs Juraj Stacho School of Computing Science, Simon Fraser University 8888 University Drive, Burnaby, B.C., Canada V5A 1S6 jstacho@cs.sfu.ca Abstract. A 2subcolouring
More informationv V Question: How many edges are there in a graph with 10 vertices each of degree 6?
ECS20 Handout Graphs and Trees March 4, 2015 (updated 3/9) Notion of a graph 1. A graph G = (V,E) consists of V, a nonempty set of vertices (or nodes) and E, a set of pairs of elements of V called edges.
More informationTheory of Computing. Lecture 10 MAS 714 Hartmut Klauck
Theory of Computing Lecture 10 MAS 714 Hartmut Klauck Seven Bridges of Königsberg Can one take a walk that crosses each bridge exactly once? Seven Bridges of Königsberg Model as a graph Is there a path
More informationarxiv: v3 [cs.dm] 12 Jun 2014
On Maximum Differential Coloring of Planar Graphs M. A. Bekos 1, M. Kaufmann 1, S. Kobourov, S. Veeramoni 1 WilhelmSchickardInstitut für Informatik  Universität Tübingen, Germany Department of Computer
More informationTriple Connected Domination Number of a Graph
International J.Math. Combin. Vol.3(2012), 93104 Triple Connected Domination Number of a Graph G.Mahadevan, Selvam Avadayappan, J.Paulraj Joseph and T.Subramanian Department of Mathematics Anna University:
More information9.5 Equivalence Relations
9.5 Equivalence Relations You know from your early study of fractions that each fraction has many equivalent forms. For example, 2, 2 4, 3 6, 2, 3 6, 5 30,... are all different ways to represent the same
More informationProblem Set 2 Solutions
Design and Analysis of Algorithms February, 01 Massachusetts Institute of Technology 6.046J/18.410J Profs. Dana Moshkovitz and Bruce Tidor Handout 8 Problem Set Solutions This problem set is due at 9:00pm
More informationAlgorithms for minimum mconnected ktuple dominating set problem
Theoretical Computer Science 381 (2007) 241 247 www.elsevier.com/locate/tcs Algorithms for minimum mconnected ktuple dominating set problem Weiping Shang a,c,, Pengjun Wan b, Frances Yao c, Xiaodong
More informationHere, we present efficient algorithms vertex and edgecoloring graphs of the
SIAM J. ALG. DISC. METH. Vol. 7, No. 1, January 1986 (C) 1986 Society for Industrial and Applied Mathematics 016 EFFICIENT VERTEX AND EDGECOLORING OF OUTERPLANAR GRAPHS* ANDRZEJ PROSKUROWSKIf AND MACIEJ
More informationGraph Folding of Link Graph and Knot Graph
Graph Folding of Link Graph and Knot Graph Redman AlShamiri Assistant Professor of Algebra and Topological geometry Department of Mathematics, Ibb University AUTHORIZED BY ALNASSER UNIVERSITY'S RESEARCH
More informationMinimum Spanning Trees
Minimum Spanning Trees Overview Problem A town has a set of houses and a set of roads. A road connects and only houses. A road connecting houses u and v has a repair cost w(u, v). Goal: Repair enough (and
More informationTheorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M augmenting path.
3 Matchings Hall s Theorem Matching: A matching in G is a subset M E(G) so that no edge in M is a loop, and no two edges in M are incident with a common vertex. A matching M is maximal if there is no matching
More informationDiscrete Mathematics
Discrete Mathematics 310 (2010) 2769 2775 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc Optimal acyclic edge colouring of grid like graphs
More informationIndependence Number and CutVertices
Independence Number and CutVertices Ryan Pepper University of Houston Downtown, Houston, Texas 7700 pepperr@uhd.edu Abstract We show that for any connected graph G, α(g) C(G) +1, where α(g) is the independence
More informationDecreasing a key FIBHEAPDECREASEKEY(,, ) 3.. NIL. 2. error new key is greater than current key 6. CASCADINGCUT(, )
Decreasing a key FIBHEAPDECREASEKEY(,, ) 1. if >. 2. error new key is greater than current key 3.. 4.. 5. if NIL and.
More informationCMSC 380. Graph Terminology and Representation
CMSC 380 Graph Terminology and Representation GRAPH BASICS 2 Basic Graph Definitions n A graph G = (V,E) consists of a finite set of vertices, V, and a finite set of edges, E. n Each edge is a pair (v,w)
More informationClustering for Faster Network Simplex Pivots
Clustering for Faster Network Simplex Pivots David Eppstein Department of Information and Computer Science University of California, Irvine, CA 92717 Tech. Report 9319 April 15, 1993 Abstract We show
More informationCS 441 Discrete Mathematics for CS Lecture 26. Graphs. CS 441 Discrete mathematics for CS. Final exam
CS 441 Discrete Mathematics for CS Lecture 26 Graphs Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Final exam Saturday, April 26, 2014 at 10:0011:50am The same classroom as lectures The exam
More informationAugmenting a Graph of Minimum Degree 2 to have Two Disjoint Total Dominating Sets
Augmenting a Graph of Minimum Degree 2 to have Two Disjoint Total Dominating Sets Michael Dorfling a,1 Wayne Goddard b,c Johannes H. Hattingh d Michael A. Henning a,1 a School of Mathematical Sciences,
More information1. Suppose you are given a magic black box that somehow answers the following decision problem in polynomial time:
1. Suppose you are given a magic black box that somehow answers the following decision problem in polynomial time: Input: A CNF formula ϕ with n variables x 1, x 2,..., x n. Output: True if there is an
More informationAn Algorithm for Enumerating all Directed Spanning Trees in a Directed Graph
(C) Springer Verlag, Lecture Notes on Computer Sience An Algorithm for Enumerating all Directed Spanning Trees in a Directed Graph Takeaki UNO Department of Systems Science, Tokyo Institute of Technology,
More informationPAPER NodeDisjoint Paths Algorithm in a Transposition Graph
2600 IEICE TRANS. INF. & SYST., VOL.E89 D, NO.10 OCTOBER 2006 PAPER NodeDisjoint Paths Algorithm in a Transposition Graph Yasuto SUZUKI, Nonmember, Keiichi KANEKO a), and Mario NAKAMORI, Members SUMMARY
More information