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

Size: px
Start display at page:

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

Transcription

1 In IEEE Symp. on Foundations of Comp. Sci. (FOCS 91). Copyright IEEE A Linear Time Algorithm for Triconnectivity Augmentation 1 èextended Abstractè Tsan-sheng 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 graph-theoretic 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 fault-tolerant 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 CCR-89- 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 k-vertex-connect 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 edge-connectivity, itis shown in ë14, ë that there exists a smallest augmentation to k-edge-connect 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 cut-edges. A -block containing only one vertex is called a trivial -blocks. A trivial -block

2 of G is called a cut-block 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 cut-block is represented by avertex in blkègè. The vertices of -blkègè that represent blocks that are not -blocks are called b-vertices and those representing cutpoints are called c-vertices. Foraver- tex u in -blkègè, let V u = fug if u is a c-vertex and V u = fwjw is a vertex in the corresponding -block represented by ug if u is a b-vertex. 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. Itiswell-known 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 c-vertex 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è. 3-block graph Given a -block H of G, we deæne the 3-block graph, 3-blkèHè, as follows. The 3-block 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 3-blkè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 3-blkè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 n-node biconnected graph is Oènè ë13, 15ë. éfrom ë9, 15, 0ë, we know that 3-blkèHè is a tree if H is a -block. We call this tree a 3-block tree. We call the set of trees corresponding to -blocks in G the 3-block graph of G or 3-blkèGè. Each Tutte component that corresponds to a æ-vertex in the 3-block graph is a 3-block of G. Given a graph G with n vertices and m edges, -blkègè and 3-blkèGè can be computed in Oèn + mè time using procedures in ë9, 15ë. Examples of 3-block 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è. Block-sequence, separating-sequence and cut-sequence Let Y be the set of all b-vertices 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 separating-sequence 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 b-vertex; 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 c-vertex in fy i,y i+1 g.acut-sequence 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 c-vertex encountered when we traverse P from b u to b v and x is the number of c-vertices 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 b-vertex; let H i be the corresponding cutpoint represented by y i if y i is a c-vertex. For 1 ç i ç r, let Q i =ëh i ëify i is a c-vertex; otherwise, let Q i be the path in 3-blkè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 b-vertex. 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 3-blkè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 3-block 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 3-block 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. 3-block leaf and isolated 3-block vertex We identify æ-vertices in a 3-block 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 degree-1 vertex b is a 3-block 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 degree-0 æ-vertex b is an isolated 3-block 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 3-block leaves. Note that if G is biconnected, then a degree-1 vertex in 3-blkèGè must be a 3-block leaf. Demanding vertex Deænition Given a 3-block leaf or an isolated 3- block vertex b in 3-blkè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 3-block 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 3-block leaf or an isolated 3-block vertex in 3-blkèGè. Then there is at least one demanding vertex of b. When we specify the 3-block graph of a graph G, we will include a demanding vertex for each 3-block leaf and each isolated 3-block vertex in 3-blkè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 3-block 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 3-block graph are called

4 balanced. Given a ç-vertex v in 3-blkèGè, let 3-blkèGè, v be the graph obtained from 3-blkèGè by removing v. Av-chain is a component of3-blkègè, v which contains only one 3-block leaf in 3-blkèGè. The 3-block leaf of 3-blkèGè inav-chain is called the v-chain 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 3-blkè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 3-block leaf in 3-blkè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 3-Block Tree for a Biconnected Graph In this section, we explore properties of 3-blkè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 3-blkè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 3-blkè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 degree-1 vertices in 3-blkè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 3-block 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 3-blkèG 0 è from 3-blkèGè by local updating operations on 3-blkèGè instead of computing it directly from G 0. Let P 3 be the implied path between u and v in 3-blkè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 3-blkè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 3-blkèGè and the 3-block 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 3-blkèGè such that s 6= s q a and s 6= s q b. Anedge ès,qè in 3-blkè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 non-adjacent on q. Otherwise, P 3 is adjacent on q. An example is shown in Figure??. Lemma states the relations between 3-blkèGè and 3-blkè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 3-blkèGè. Wecan obtain 3-blkèG 0 è from 3-blkèGè by applying the following operations. èiè Edges in P 3 are eliminated. Vertices and edges in 3-blkèGè that are not in P 3 remain in 3-blkèG 0 è.èiiè The æ-vertices in P 3 shrink into a new æ-vertex b P3 in 3-blkè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 3-block 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 3-blkèGè between u and v, with degree é in 3-blkèGè is decreased by1in3-blkèg 0 è. Deænition 5 ëthe leaf-connecting 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 3-blkèGè. The pair of vertices u and v satisæes the leaf-connecting 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 non-adjacent 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 degree-1 vertices in 3-blkèGè and 3-blkèG 0 è, respectively. If u and v satisfy the leaf-connecting condition èdeænition 5è and l 3 ègè é 3, then l 3 èg 0 è=l 3 ègè,. Proof: We know that two degree-1 vertices in 3-blkèGè that correspond to Tutte components containing u and v are eliminated. If u and v satisfy the leaf-connecting condition, the only æ-vertex created has a degree at least. Since we do not create any degree-1 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 := 3-blkèGè; let l 3èGè be the number of degree-1 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 degree-1 vertices y and z such that the path between them in T is non-adjacent 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 1-chain leaves y and z j s 1 is not massive! ænd two degree-1 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 3-block 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 3-blkèGè and let æ = d 3 èsè, 1,d l3ègè e. There are æ + s-chains in 3-blkèGè. Let M be the set of s-chain 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 3-block tree by k. Claim 6 Let d be the largest separating degree among all ç-vertices in 3-blkèGè and let l 3 ègè be the number of degree-1 vertices in 3-blkè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 3-blkèGè contains a massive vertex s 1, then the two s 1 -chain leaves are found in steps 1 and 6. If 3-blkè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 leaf-connecting condition èdeænition 5è by steps, 3 and 4 if possible. Otherwise, it satisæes part i of the leaf-connecting condition by step 4 or part iii of the leaf-connecting 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 3-blkè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 3-blkèGè and l 3 ègè is the number of degree-1 vertices in 3-blkè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 3-Block Graph In this section, we study properties of the 3-block 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 3-block 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 3-blkè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 3-blkèGè between u and v, the block sequence ëy 1 ; æææ;y r ë, the separating-sequence ëw 1 ; æææ;w r ë and the cut-sequence ëu,c 1 ; æææ;c x,vë, we can obtain 3- blkèg 0 è from 3-blkèGè by performing the following operations. èiè For each Q i, 1 ç i ç r, weperform the operation given in Lemma on the 3-block 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 c-vertex 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 b-vertex 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 degree-1 ç-vertices. The following lemma can be easily derived from Lemma, the deænition of Tutte split and the deænition of the 3-block 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 3-blkèGè, and P, the implied path in -blkègè between u and v, the 3-block graph for G 0 can be obtained from 3-blkè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 3-blkè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 3-blkèGè for a general graph G. In general, if there are more than critical ç-vertices in 3-blkè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 3-blkè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 3-blkè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 3-blkè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 3-blkè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 3-blkèGè must be greater than since G is not biconnected and they are the only two critical ç-vertices in 3-blkèGè. By Lemma 3, the number of 3-block 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 3-blkè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 3-blkè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 := 3-blkèGè; let wègè be the weight ofg; fæ Deænition 3. æg do wègè ç and 9 a c-vertex in T! if G is not connected! 1. ænd y and z that are 3-block leaves or isolated 3-block 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 s-chain 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 3-block 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 3-block 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 3-blkè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 3-blkè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 s-chain 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 3-blkè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 3-block 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 3-blkè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 3-block graph as their key values. Note that we must re-choose y c, where c is a cutpoint, if and only if a degree in 3-blkèGè foratutte pair is changed or a degree in - blkègè for a cutpoint becomes 1. Thus we only have to re-choose 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 3-block graph of all created ç-vertices is Oènè. Since the sum of the degrees of all ç-vertices in the 3-block graph, the sum of the degrees of all c-vertices in the -block graph and the sum of the separating degree of all ç-vertices in 3-blkè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ë Guo-Ray Cai& Yu-Geng Sun, ë The minimum augmentation of any graph to a k-edge-connected 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. CT-17, 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ë Tsan-sheng Hsu & Vijaya Ramachandran, ëon ænding a smallest augmentation to biconnect a graph," Tech. Rep. TR-91-1, U.T. Austin, ë11ë Tsan-sheng 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 k-edge-connected directed graph," Networks, Vol. 16, 1986, pp ë13ë Arkady Kanevsky, ëvertex connectivity of graphs: algorithms and bounds," Tech. Rep. ACT-97 è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 edge-connectivity," 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, Morgan-Kaufmann. ë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 minimum-cost survivable networks," IEEE Trans. on Circuit Theory, Vol. CT-16, 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 k-edge-connected graph," Networks, Vol. 18, 1988, pp ëë T. Watanabe, ëan eæcient way for edge-connectivity augmentation," Tech. Rep. ACT-76, 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. C-18, Department of Applied Mathematics, Hiroshima University, Japan è1983, revised 1987è. ë5ë T. Watanabe & A. Nakamura, ëedge-connectivity augmentation problems," J. Comput. System Sci., 35è1987è, pp ë6ë T. Watanabe & A. Nakamura, ë3-connectivity augmentation problems," Proc IEEE Intl. Sym. on Circuits and Systems, 1988, pp ë7ë T. Watanabe, T. Narita & A. Nakamura, ë3-edge- Connectivity augmentation problems," Proc IEEE Intl. Sym. on Circuits and Systems, 1989, pp

[25] T. Watanabe, An ecient way for edge-connectivity augmentation, Tech. Rep. ACT-

[25] T. Watanabe, An ecient way for edge-connectivity augmentation, Tech. Rep. ACT- [25] T. Watanabe, An ecient way for edge-connectivity augmentation, Tech. Rep. ACT- 76-UILU-ENG-87-2221, Coordinated Science lab., University of Illinois, Urbana, IL, 1987. [26] T. Watanabe and A. Nakamura,

More information

A New Graph Triconnectivity Algorithm and Its Parallelization*

A New Graph Triconnectivity Algorithm and Its Parallelization* In COMBINATORICA, vol. 12, 1992, pp. 53-76. (Figures not yet included in this file.) A New Graph Triconnectivity Algorithm and Its Parallelization* Gary L. Miller University of Southern California, Los

More information

Inænitely Long Walks on 2-colored Graphs Which Don't Cover the. Graph. Pete Gemmell æ. December 14, Abstract

Inænitely Long Walks on 2-colored Graphs Which Don't Cover the. Graph. Pete Gemmell æ. December 14, Abstract Inænitely Long Walks on 2-colored Graphs Which Don't Cover the Graph Pete Gemmell æ December 14, 1992 Abstract Suppose we have a undirected graph G =èv; Eè where V is the set of vertices and E is the set

More information

Augmenting Trees so that Every Three Vertices Lie on a Cycle

Augmenting Trees so that Every Three Vertices Lie on a Cycle Augmenting Trees so that Every Three Vertices Lie on a Cycle Peter Dankelmann School of Mathematical and Statistical Sciences, University of Natal, Durban, 4041, South Africa Wayne Goddard School of Geological

More information

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PAUL BALISTER Abstract It has been shown [Balister, 2001] that if n is odd and m 1,, m t are integers with m i 3 and t i=1 m i = E(K n) then K n can be decomposed

More information

FOUR EDGE-INDEPENDENT SPANNING TREES 1

FOUR EDGE-INDEPENDENT SPANNING TREES 1 FOUR EDGE-INDEPENDENT SPANNING TREES 1 Alexander Hoyer and Robin Thomas School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332-0160, USA ABSTRACT We prove an ear-decomposition theorem

More information

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge. 1 Graph Basics What is a graph? Graph: a graph G consists of a set of vertices, denoted V (G), a set of edges, denoted E(G), and a relation called incidence so that each edge is incident with either one

More information

University of Texas at Austin. Austin, TX Nathaniel Dean. Combinatorics and Optimization Research. Bell Communications Research

University of Texas at Austin. Austin, TX Nathaniel Dean. Combinatorics and Optimization Research. Bell Communications Research Implementation of Parallel Graph Algorithms on a Massively Parallel SIMD Computer with Virtual Processing Tsan-sheng Hsu æy & Vijaya Ramachandran æ Department of Computer Sciences University of Texas at

More information

of augmenting planar graphs to satisfy biconnectivity and planarity constraints.

of augmenting planar graphs to satisfy biconnectivity and planarity constraints. Chapter 4 The Planar iconnectivity ugmentation Problem 4. Preliminaries In this section we present various observations and rst results concerning the problem of augmenting planar graphs to satisfy biconnectivity

More information

REDUCTION CUT INVERTED SUM

REDUCTION CUT INVERTED SUM Irreducible Plane Curves Jason E. Durham æ Oregon State University Corvallis, Oregon durhamj@ucs.orst.edu August 4, 1999 Abstract Progress in the classiæcation of plane curves in the last æve years has

More information

Hamiltonian cycles in bipartite quadrangulations on the torus

Hamiltonian cycles in bipartite quadrangulations on the torus Hamiltonian cycles in bipartite quadrangulations on the torus Atsuhiro Nakamoto and Kenta Ozeki Abstract In this paper, we shall prove that every bipartite quadrangulation G on the torus admits a simple

More information

1 Matchings in Graphs

1 Matchings in Graphs Matchings in Graphs J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 Definition Two edges are called independent if they are not adjacent

More information

Algorithmic Aspects of Communication Networks

Algorithmic Aspects of Communication Networks Algorithmic Aspects of Communication Networks Chapter 5 Network Resilience Algorithmic Aspects of ComNets (WS 16/17): 05 Network Resilience 1 Introduction and Motivation Network resilience denotes the

More information

A new NC Algorithm for Perfect Matching in Bipartite Cubic Graphs

A new NC Algorithm for Perfect Matching in Bipartite Cubic Graphs A new NC Algorithm for Perfect Matching in Bipartite Cubic Graphs Roded Sharan Avi Wigderson Institute of Computer Science, Hebrew University of Jerusalem, Israel. E-mail: roded@math.tau.ac.il, avi@cs.huji.ac.il

More information

K 4 C 5. Figure 4.5: Some well known family of graphs

K 4 C 5. Figure 4.5: Some well known family of graphs 08 CHAPTER. TOPICS IN CLASSICAL GRAPH THEORY K, K K K, K K, K K, K C C C C 6 6 P P P P P. Graph Operations Figure.: Some well known family of graphs A graph Y = (V,E ) is said to be a subgraph of a graph

More information

Number Theory and Graph Theory

Number Theory and Graph Theory 1 Number Theory and Graph Theory Chapter 6 Basic concepts and definitions of graph theory By A. Satyanarayana Reddy Department of Mathematics Shiv Nadar University Uttar Pradesh, India E-mail: satya8118@gmail.com

More information

Dominating Sets in Planar Graphs 1

Dominating 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 information

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition. 18.433 Combinatorial Optimization Matching Algorithms September 9,14,16 Lecturer: Santosh Vempala Given a graph G = (V, E), a matching M is a set of edges with the property that no two of the edges have

More information

Matching Theory. Figure 1: Is this graph bipartite?

Matching Theory. Figure 1: Is this graph bipartite? Matching Theory 1 Introduction A matching M of a graph is a subset of E such that no two edges in M share a vertex; edges which have this property are called independent edges. A matching M is said to

More information

Section 3.1: Nonseparable Graphs Cut vertex of a connected graph G: A vertex x G such that G x is not connected. Theorem 3.1, p. 57: Every connected

Section 3.1: Nonseparable Graphs Cut vertex of a connected graph G: A vertex x G such that G x is not connected. Theorem 3.1, p. 57: Every connected Section 3.1: Nonseparable Graphs Cut vertex of a connected graph G: A vertex x G such that G x is not connected. Theorem 3.1, p. 57: Every connected graph G with at least 2 vertices contains at least 2

More information

Connectivity, Graph Minors, and Subgraph Multiplicity

Connectivity, 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 92-06 January 10, 1992 Abstract

More information

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2 Graph Theory S I I S S I I S Graphs Definition A graph G is a pair consisting of a vertex set V (G), and an edge set E(G) ( ) V (G). x and y are the endpoints of edge e = {x, y}. They are called adjacent

More information

Subdivisions of Graphs: A Generalization of Paths and Cycles

Subdivisions of Graphs: A Generalization of Paths and Cycles Subdivisions of Graphs: A Generalization of Paths and Cycles Ch. Sobhan Babu and Ajit A. Diwan Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Powai, Mumbai 400076,

More information

Bipartite Roots of Graphs

Bipartite Roots of Graphs Bipartite Roots of Graphs Lap Chi Lau Department of Computer Science University of Toronto Graph H is a root of graph G if there exists a positive integer k such that x and y are adjacent in G if and only

More information

arxiv:cs/ v1 [cs.ds] 20 Feb 2003

arxiv:cs/ v1 [cs.ds] 20 Feb 2003 The Traveling Salesman Problem for Cubic Graphs David Eppstein School of Information & Computer Science University of California, Irvine Irvine, CA 92697-3425, USA eppstein@ics.uci.edu arxiv:cs/0302030v1

More information

Steiner Trees and Forests

Steiner 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 information

Localization in Graphs. Richardson, TX Azriel Rosenfeld. Center for Automation Research. College Park, MD

Localization in Graphs. Richardson, TX Azriel Rosenfeld. Center for Automation Research. College Park, MD CAR-TR-728 CS-TR-3326 UMIACS-TR-94-92 Samir Khuller Department of Computer Science Institute for Advanced Computer Studies University of Maryland College Park, MD 20742-3255 Localization in Graphs Azriel

More information

Planarity Testing for C-Connected Clustered Graphs. Elias Dahlhaus Karsten Klein Petra Mutzel. Algorithm Engineering Report TR July 2006

Planarity Testing for C-Connected Clustered Graphs. Elias Dahlhaus Karsten Klein Petra Mutzel. Algorithm Engineering Report TR July 2006 Planarity Testing for C-Connected Clustered Graphs Elias Dahlhaus Karsten Klein Petra Mutzel Algorithm Engineering Report TR06-1-001 July 2006 ISSN 1864-4503 University of Dortmund Department of Computer

More information

Faster parameterized algorithms for Minimum Fill-In

Faster parameterized algorithms for Minimum Fill-In Faster parameterized algorithms for Minimum Fill-In Hans L. Bodlaender Pinar Heggernes Yngve Villanger Technical Report UU-CS-2008-042 December 2008 Department of Information and Computing Sciences Utrecht

More information

Faster parameterized algorithms for Minimum Fill-In

Faster parameterized algorithms for Minimum Fill-In Faster parameterized algorithms for Minimum Fill-In Hans L. Bodlaender Pinar Heggernes Yngve Villanger Abstract We present two parameterized algorithms for the Minimum Fill-In problem, also known as Chordal

More information

GRAPHS WITH 1-FACTORS

GRAPHS WITH 1-FACTORS proceedings of the american mathematical society Volume 42, Number 1, January 1974 GRAPHS WITH 1-FACTORS DAVID P. SUMNER Abstract. In this paper it is shown that if G is a connected graph of order 2n (n>

More information

CPS 102: Discrete Mathematics. Quiz 3 Date: Wednesday November 30, Instructor: Bruce Maggs NAME: Prob # Score. Total 60

CPS 102: Discrete Mathematics. Quiz 3 Date: Wednesday November 30, Instructor: Bruce Maggs NAME: Prob # Score. Total 60 CPS 102: Discrete Mathematics Instructor: Bruce Maggs Quiz 3 Date: Wednesday November 30, 2011 NAME: Prob # Score Max Score 1 10 2 10 3 10 4 10 5 10 6 10 Total 60 1 Problem 1 [10 points] Find a minimum-cost

More information

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings On the Relationships between Zero Forcing Numbers and Certain Graph Coverings Fatemeh Alinaghipour Taklimi, Shaun Fallat 1,, Karen Meagher 2 Department of Mathematics and Statistics, University of Regina,

More information

Rigidity, connectivity and graph decompositions

Rigidity, 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 information

A generalization of Mader s theorem

A 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 information

arxiv: v1 [cs.ds] 23 Jul 2014

arxiv: v1 [cs.ds] 23 Jul 2014 Efficient Enumeration of Induced Subtrees in a K-Degenerate Graph Kunihiro Wasa 1, Hiroki Arimura 1, and Takeaki Uno 2 arxiv:1407.6140v1 [cs.ds] 23 Jul 2014 1 Hokkaido University, Graduate School of Information

More information

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G.

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G. MAD 3105 Spring 2006 Solutions for Review for Test 2 1. Define a graph G with V (G) = {a, b, c, d, e}, E(G) = {r, s, t, u, v, w, x, y, z} and γ, the function defining the edges, is given by the table ɛ

More information

THE TRANSITIVE REDUCTION OF A DIRECTED GRAPH*

THE TRANSITIVE REDUCTION OF A DIRECTED GRAPH* SIAM J. COMPUT. Vol. 1, No. 2, June 1972 THE TRANSITIVE REDUCTION OF A DIRECTED GRAPH* A. V. AHO, M. R. GAREY" AND J. D. ULLMAN Abstract. We consider economical representations for the path information

More information

Applied Mathematical Sciences, Vol. 5, 2011, no. 49, Július Czap

Applied Mathematical Sciences, Vol. 5, 2011, no. 49, Július Czap Applied Mathematical Sciences, Vol. 5, 011, no. 49, 437-44 M i -Edge Colorings of Graphs Július Czap Department of Applied Mathematics and Business Informatics Faculty of Economics, Technical University

More information

Definition 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, v-path. 1

Definition 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, v-path. 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 information

A simple algorithm for 4-coloring 3-colorable planar graphs

A simple algorithm for 4-coloring 3-colorable planar graphs A simple algorithm for 4-coloring 3-colorable planar graphs Ken-ichi Kawarabayashi 1 National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan Kenta Ozeki 2 Department of

More information

1 Matchings with Tutte s Theorem

1 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 information

Lecture 22 Tuesday, April 10

Lecture 22 Tuesday, April 10 CIS 160 - Spring 2018 (instructor Val Tannen) Lecture 22 Tuesday, April 10 GRAPH THEORY Directed Graphs Directed graphs (a.k.a. digraphs) are an important mathematical modeling tool in Computer Science,

More information

Lecture 4: Walks, Trails, Paths and Connectivity

Lecture 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 information

A Fast Algorithm for Optimal Alignment between Similar Ordered Trees

A 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 SE-221

More information

Connection and separation in hypergraphs

Connection and separation in hypergraphs Theory and Applications of Graphs Volume 2 Issue 2 Article 5 2015 Connection and separation in hypergraphs Mohammad A. Bahmanian Illinois State University, mbahman@ilstu.edu Mateja Sajna University of

More information

The Fibonacci hypercube

The 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 information

Solutions to In-Class Problems Week 4, Fri

Solutions to In-Class Problems Week 4, Fri Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr. Radhika Nagpal Solutions to In-Class Problems Week 4, Fri Definition: The

More information

collinear and equally spaced. A sequence of points is "-regular if each of its points can be displaced by at most " along each axis to yield a regular

collinear and equally spaced. A sequence of points is -regular if each of its points can be displaced by at most  along each axis to yield a regular On Detecting Spatial Regularity in Noisy Images æ Gabriel Robins Brian L. Robinson Bhupinder S. Sethi Department of Computer Science, University of Virginia, Charlottesville, VA 22903 Abstract Detecting

More information

On Covering a Graph Optimally with Induced Subgraphs

On Covering a Graph Optimally with Induced Subgraphs On Covering a Graph Optimally with Induced Subgraphs Shripad Thite April 1, 006 Abstract We consider the problem of covering a graph with a given number of induced subgraphs so that the maximum number

More information

arxiv: v1 [cs.ds] 19 Feb 2014

arxiv: 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 information

Improved algorithms for constructing fault-tolerant spanners

Improved algorithms for constructing fault-tolerant spanners Improved algorithms for constructing fault-tolerant spanners Christos Levcopoulos Giri Narasimhan Michiel Smid December 8, 2000 Abstract Let S be a set of n points in a metric space, and k a positive integer.

More information

Chain Packings and Odd Subtree Packings. Garth Isaak Department of Mathematics and Computer Science Dartmouth College, Hanover, NH

Chain Packings and Odd Subtree Packings. Garth Isaak Department of Mathematics and Computer Science Dartmouth College, Hanover, NH Chain Packings and Odd Subtree Packings Garth Isaak Department of Mathematics and Computer Science Dartmouth College, Hanover, NH 1992 Abstract A chain packing H in a graph is a subgraph satisfying given

More information

Graph Connectivity G G G

Graph 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 information

Topics in Combinatorial Optimization February 5, Lecture 2

Topics in Combinatorial Optimization February 5, Lecture 2 8.997 Topics in Combinatorial Optimization February 5, 2004 Lecture 2 Lecturer: Michel X. Goemans Scribe: Robert Kleinberg In this lecture, we will: Present Edmonds algorithm for computing a maximum matching

More information

The strong chromatic number of a graph

The strong chromatic number of a graph The strong chromatic number of a graph Noga Alon Abstract It is shown that there is an absolute constant c with the following property: For any two graphs G 1 = (V, E 1 ) and G 2 = (V, E 2 ) on the same

More information

Approximation scheme for the traveling salesman problem

Approximation scheme for the traveling salesman problem Chapter 15 Approximation scheme for the traveling salesman problem 15.1 Multiterminal cut In this chapter, we describe a methodology that can be used for some problems for which the previous chapter s

More information

Counting the Number of Eulerian Orientations

Counting the Number of Eulerian Orientations Counting the Number of Eulerian Orientations Zhenghui Wang March 16, 011 1 Introduction Consider an undirected Eulerian graph, a graph in which each vertex has even degree. An Eulerian orientation of the

More information

Edge-disjoint Spanning Trees in Triangulated Graphs on Surfaces and application to node labeling 1

Edge-disjoint Spanning Trees in Triangulated Graphs on Surfaces and application to node labeling 1 Edge-disjoint 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 information

Graph Algorithms Using Depth First Search

Graph 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 information

Fundamental Properties of Graphs

Fundamental Properties of Graphs Chapter three In many real-life situations we need to know how robust a graph that represents a certain network is, how edges or vertices can be removed without completely destroying the overall connectivity,

More information

1 Digraphs. Definition 1

1 Digraphs. Definition 1 1 Digraphs Definition 1 Adigraphordirected graphgisatriplecomprisedofavertex set V(G), edge set E(G), and a function assigning each edge an ordered pair of vertices (tail, head); these vertices together

More information

Applied Mathematics Letters. Graph triangulations and the compatibility of unrooted phylogenetic trees

Applied Mathematics Letters. Graph triangulations and the compatibility of unrooted phylogenetic trees Applied Mathematics Letters 24 (2011) 719 723 Contents lists available at ScienceDirect Applied Mathematics Letters journal homepage: www.elsevier.com/locate/aml Graph triangulations and the compatibility

More information

Sparse Hypercube 3-Spanners

Sparse Hypercube 3-Spanners Sparse Hypercube 3-Spanners W. Duckworth and M. Zito Department of Mathematics and Statistics, University of Melbourne, Parkville, Victoria 3052, Australia Department of Computer Science, University of

More information

GRAPH DECOMPOSITION BASED ON DEGREE CONSTRAINTS. March 3, 2016

GRAPH DECOMPOSITION BASED ON DEGREE CONSTRAINTS. March 3, 2016 GRAPH DECOMPOSITION BASED ON DEGREE CONSTRAINTS ZOÉ HAMEL March 3, 2016 1. Introduction Let G = (V (G), E(G)) be a graph G (loops and multiple edges not allowed) on the set of vertices V (G) and the set

More information

PLANAR GRAPH BIPARTIZATION IN LINEAR TIME

PLANAR GRAPH BIPARTIZATION IN LINEAR TIME PLANAR GRAPH BIPARTIZATION IN LINEAR TIME SAMUEL FIORINI, NADIA HARDY, BRUCE REED, AND ADRIAN VETTA Abstract. For each constant k, we present a linear time algorithm that, given a planar graph G, either

More information

by conservation of flow, hence the cancelation. Similarly, we have

by conservation of flow, hence the cancelation. Similarly, we have Chapter 13: Network Flows and Applications Network: directed graph with source S and target T. Non-negative edge weights represent capacities. Assume no edges into S or out of T. (If necessary, we can

More information

Lecture notes on: Maximum matching in bipartite and non-bipartite graphs (Draft)

Lecture notes on: Maximum matching in bipartite and non-bipartite graphs (Draft) Lecture notes on: Maximum matching in bipartite and non-bipartite 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 information

Solution for Homework set 3

Solution 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 non-negative integral capacities

More information

Lecture 20 : Trees DRAFT

Lecture 20 : Trees DRAFT CS/Math 240: Introduction to Discrete Mathematics 4/12/2011 Lecture 20 : Trees Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last time we discussed graphs. Today we continue this discussion,

More information

Characterizations of graph classes by forbidden configurations

Characterizations of graph classes by forbidden configurations Characterizations of graph classes by forbidden configurations Zdeněk Dvořák September 14, 2015 We consider graph classes that can be described by excluding some fixed configurations. Let us give some

More information

arxiv: v1 [cs.ds] 8 Jan 2019

arxiv: v1 [cs.ds] 8 Jan 2019 Subset Feedback Vertex Set in Chordal and Split Graphs Geevarghese Philip 1, Varun Rajan 2, Saket Saurabh 3,4, and Prafullkumar Tale 5 arxiv:1901.02209v1 [cs.ds] 8 Jan 2019 1 Chennai Mathematical Institute,

More information

Math 443/543 Graph Theory Notes

Math 443/543 Graph Theory Notes Math 443/543 Graph Theory Notes David Glickenstein September 3, 2008 1 Introduction We will begin by considering several problems which may be solved using graphs, directed graphs (digraphs), and networks.

More information

On the Convexity Number of Graphs

On the Convexity Number of Graphs On the Convexity Number of Graphs Mitre C. Dourado 1, Fábio Protti, Dieter Rautenbach 3, and Jayme L. Szwarcfiter 4 1 ICE, Universidade Federal Rural do Rio de Janeiro and NCE - UFRJ, Brazil, email: mitre@nce.ufrj.br

More information

Assignment 1 Introduction to Graph Theory CO342

Assignment 1 Introduction to Graph Theory CO342 Assignment 1 Introduction to Graph Theory CO342 This assignment will be marked out of a total of thirty points, and is due on Thursday 18th May at 10am in class. Throughout the assignment, the graphs are

More information

V10 Metabolic networks - Graph connectivity

V10 Metabolic networks - Graph connectivity V10 Metabolic networks - Graph connectivity Graph connectivity is related to analyzing biological networks for - finding cliques - edge betweenness - modular decomposition that have been or will be covered

More information

ON SWELL COLORED COMPLETE GRAPHS

ON 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 edge-colored graph is said to be swell-colored if each triangle contains

More information

Lecture 19 Thursday, March 29. Examples of isomorphic, and non-isomorphic graphs will be given in class.

Lecture 19 Thursday, March 29. Examples of isomorphic, and non-isomorphic graphs will be given in class. CIS 160 - Spring 2018 (instructor Val Tannen) Lecture 19 Thursday, March 29 GRAPH THEORY Graph isomorphism Definition 19.1 Two graphs G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) are isomorphic, write G 1 G

More information

Name: 2 Useful Formulas Pn i=1 i = nèn+1è 2 Pn i=1 xi = xn+1,1 x,1 P Pn 1 =lnn + Oè1è 1 i=1 i i=0 = ixi x è1,xè 2 e x =1+x + x2 + x 3 2! 3! + ::: lim

Name: 2 Useful Formulas Pn i=1 i = nèn+1è 2 Pn i=1 xi = xn+1,1 x,1 P Pn 1 =lnn + Oè1è 1 i=1 i i=0 = ixi x è1,xè 2 e x =1+x + x2 + x 3 2! 3! + ::: lim 1 Exam 2 Computer Engineering 251 Santa Clara University Thursday, 23 April 1998 NAME èprintedè NAME èsignedè Login Day of Lab Session Please show all your work and circle your answers. Your grade will

More information

Sources for this lecture. 3. Matching in bipartite and general graphs. Symmetric difference

Sources for this lecture. 3. Matching in bipartite and general graphs. Symmetric difference S-72.2420 / T-79.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 information

22 Elementary Graph Algorithms. There are two standard ways to represent a

22 Elementary Graph Algorithms. There are two standard ways to represent a VI Graph Algorithms Elementary Graph Algorithms Minimum Spanning Trees Single-Source Shortest Paths All-Pairs Shortest Paths 22 Elementary Graph Algorithms There are two standard ways to represent a graph

More information

Byzantine Consensus in Directed Graphs

Byzantine Consensus in Directed Graphs Byzantine Consensus in Directed Graphs Lewis Tseng 1,3, and Nitin Vaidya 2,3 1 Department of Computer Science, 2 Department of Electrical and Computer Engineering, and 3 Coordinated Science Laboratory

More information

Advanced 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 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 information

Component connectivity of crossed cubes

Component connectivity of crossed cubes Component connectivity of crossed cubes School of Applied Mathematics Xiamen University of Technology Xiamen Fujian 361024 P.R.China ltguo2012@126.com Abstract: Let G = (V, E) be a connected graph. A r-component

More information

st-orientations September 29, 2005

st-orientations September 29, 2005 st-orientations September 29, 2005 Introduction Let G = (V, E) be an undirected biconnected graph of n nodes and m edges. The main problem this chapter deals with is different algorithms for orienting

More information

arxiv: v2 [math.co] 13 Aug 2013

arxiv: 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 information

Math 443/543 Graph Theory Notes

Math 443/543 Graph Theory Notes Math 443/543 Graph Theory Notes David Glickenstein September 8, 2014 1 Introduction We will begin by considering several problems which may be solved using graphs, directed graphs (digraphs), and networks.

More information

Lecture 2 - Graph Theory Fundamentals - Reachability and Exploration 1

Lecture 2 - Graph Theory Fundamentals - Reachability and Exploration 1 CME 305: Discrete Mathematics and Algorithms Instructor: Professor Aaron Sidford (sidford@stanford.edu) January 11, 2018 Lecture 2 - Graph Theory Fundamentals - Reachability and Exploration 1 In this lecture

More information

Dynamic Graph Algorithms

Dynamic Graph Algorithms Dynamic Graph Algorithms Giuseppe F. Italiano University of Rome Tor Vergata giuseppe.italiano@uniroma2.it http://www.disp.uniroma2.it/users/italiano Outline Dynamic Graph Problems Quick Intro Lecture

More information

2. Lecture notes on non-bipartite matching

2. Lecture notes on non-bipartite matching Massachusetts Institute of Technology 18.433: Combinatorial Optimization Michel X. Goemans February 15th, 013. Lecture notes on non-bipartite matching Given a graph G = (V, E), we are interested in finding

More information

22 Elementary Graph Algorithms. There are two standard ways to represent a

22 Elementary Graph Algorithms. There are two standard ways to represent a VI Graph Algorithms Elementary Graph Algorithms Minimum Spanning Trees Single-Source Shortest Paths All-Pairs Shortest Paths 22 Elementary Graph Algorithms There are two standard ways to represent a graph

More information

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department CS473-Algorithms I Lecture 3-A Graphs Graphs A directed graph (or digraph) G is a pair (V, E), where V is a finite set, and E is a binary relation on V The set V: Vertex set of G The set E: Edge set of

More information

Lecture 2 : Counting X-trees

Lecture 2 : Counting X-trees Lecture 2 : Counting X-trees MATH285K - Spring 2010 Lecturer: Sebastien Roch References: [SS03, Chapter 1,2] 1 Trees We begin by recalling basic definitions and properties regarding finite trees. DEF 2.1

More information

Chordal Graphs: Theory and Algorithms

Chordal 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 information

Super Connectivity of Line Graphs and Digraphs

Super Connectivity of Line Graphs and Digraphs Acta Mathematicae Applicatae Sinica, English Series Vol. 22, No. 1 (2006) 43 48 Super Connectivity of Line Graphs and Digraphs Min Lü 1, Jun-Ming Xu 2 1 Department of Computer Science and Technology, University

More information

THE LEAFAGE OF A CHORDAL GRAPH

THE LEAFAGE OF A CHORDAL GRAPH Discussiones Mathematicae Graph Theory 18 (1998 ) 23 48 THE LEAFAGE OF A CHORDAL GRAPH In-Jen Lin National Ocean University, Taipei, Taiwan Terry A. McKee 1 Wright State University, Dayton, OH 45435-0001,

More information

Augmenting undirected connectivity in RNC and in randomized ~ O(n 3 ) time

Augmenting undirected connectivity in RNC and in randomized ~ O(n 3 ) time Augmenting undirected connectivity in RNC and in randomized ~ O(n 3 ) time András A. Benczúr Department of Mathematics MIT Cambridge MA 02139 benczur@math.mit.edu Abstract In the edge connectivity augmentation

More information

Module 11. Directed Graphs. Contents

Module 11. Directed Graphs. Contents Module 11 Directed Graphs Contents 11.1 Basic concepts......................... 256 Underlying graph of a digraph................ 257 Out-degrees and in-degrees.................. 258 Isomorphism..........................

More information

arxiv: v1 [cs.ds] 11 Nov 2016

arxiv: v1 [cs.ds] 11 Nov 2016 A PTAS for Three-Edge Connectivity in Planar Graphs Glencora Borradaile and Baigong Zheng Oregon State University {glencora, zhengb}@eecs.oregonstate.edu arxiv:1611.03889v1 [cs.ds] 11 Nov 2016 Abstract

More information

Fully Dynamic Maintenance of k-connectivity in Parallel

Fully Dynamic Maintenance of k-connectivity in Parallel 846 IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL. 12, NO. 8, AUGUST 2001 Fully Dynamic Maintenance of k-connectivity in Parallel Weifa Liang, Senior Member, IEEE, Richard P. Brent, Fellow,

More information